Aditya Asgaonkar

Aditya Asgaonkar co-authored research on formal verification of the Ethereum Beacon Chain.

11 talks by Aditya Asgaonkar

• Ethereum PoS
• Distributed Validator Technology_Aditya Asgaonkar
• All Core Devs - Consensus #61
• All Core Devs - Consensus #59
• All Core Devs - Consensus #52
• Weak Subjectivity in Eth2
• All Core Devs - Consensus #41
• All Core Devs - Consensus #38
• ETH2 Staking Community Call #8 - Joseph Chow, Lakshman Sankar, and Aditya Asgaonkar
• Design Choices in Eth2.0
• Towards a Practical CBC Casper