Verified zk(E)VM
Verified-zkEVM
Github organization for the verified zk(E)VM formal verification project
Maja Kądziołka
meithecatte
Systems software toucher. Functional programming enjoyer. Alleged math nerd. Fascinated by compilers and proof assistants.
Probably near my computer
Thomas Coratger
tcoratger
PhD in applied mathematics.
Research at Ethereum Foundation.
Ethereum Foundation France
Crystal Durham
CAD97
Video game engine & tooling developer, programming languages nerd, @rust-lang enthusiast, and on at least one too many layers of abstraction
Earth, Solar System
Emilia Hane
emhane
former ethereum core dev • professional experience in execution & consensus layer clients written in rust
@ethereum-optimism
srrrse
withoutboats
In civilizations without boats, dreams dry up, espionage takes the place of adventure, and police take the place of pirates.
Berlin
Ibraheem Ahmed
ibraheemdev
Software developer interested in building fast, concurrent, and robust systems.
@astral-sh Toronto, Canada
Mara Bos
m-ou-se
Rust leadership council member, Rust library team lead, Author of Rust Atomics and Locks, Founder of Fusion Engineering and Hexcat
Netherlands
Kai Geffen
KaiGeffen
Passionate about Zero-Knowledge, Cryptography, Functional Paradigms, Differential Privacy, and more!
New York
Daniel Henry-Mantilla
danielhenrymantilla
Thinking about the immortality of the 🦀
https://danielhenrymantilla.github.io
https://www.ditto.live/ France - Spain
Robin Salen
Nashtare
Sr Manager, Engineering & Cryptography at Polygon Labs.
Previously Lead Cryptographer at
@toposware.
Polygon Labs
PreviousNext