11-14, 17:00–17:30 (Asia/Bangkok), Stage 2
In this talk we will share the design of the methodology checking the compliance of Ethereum consensus layer clients to the fork choice specification. The core of the methodology is based on the constraint solver models which allows to generate huge number of distinct test scenarios providing comprehensive coverage. At the current stage we have ended up at around 13,000 fork choice tests, but the test suite we developed allows to generate a million of tests and even more.
Mikhail have been working full time on Ethereum since 2015, initially as a core developer on an early Mainnet client, and for the last five years in Ethereum research and development. He currently leading a team of researchers focused on the future of Ethereum, namely next generation consensus protocol and data availability sampling.
Software Engineer & Applied Researcher,
Ethereum Researcher, TxRx team @ ConsenSys