Raj gill
I'm a blockchain researcher and developer focused on Ethereum protocol research, zero-knowledge proofs, and cryptographic systems. i enjoys exploring consensus-layer mechanisms, building secure and verifiable protocols, and contributing to open-source projects that advance Ethereum’s technology.
Session
11-04
14:20
15min
Etheorem: Lean 4 Consensus-Spec Proofs
Ivan Anishchuk, Raj gill
Formalization of consensus spec in Lean4 and proving protocol invariants and rules. I will go over six months of proving work during EPF and explain the tool-assisted proving pipeline used.
[CLS] - EPF
Workshop 2