Raj Gill

Raj Gill is a blockchain engineer working on Ethereum and zero-knowledge infrastructure. Their Etheorem project aims to make Ethereum consensus formally specified and verifiable in Lean 4.

1 talk by Raj Gill