ludamad
ludamad
@AztecProtocol
Passionate hobby programmer, into games, compilers, tools and low-level systems.
https://ludamad.itch.io
Alberto Centelles
Acentelles
Constantly looking for the pleasure of finding things out. Algebraic number theory and cryptography.
London
Michael J Klein
michaeljklein
I like building and fixing tools to scale with high assurance 😄
🔧 Vim, Zsh, C, Coq, Haskell, Docker, Ubuntu, etc.
Verified zk(E)VM
Verified-zkEVM
Github organization for the verified zk(E)VM formal verification project
Hideaki Takahashi
Koukyosyumei
Ph.D. student @columbia working on Crypto, ZKP, and AI/ML
Columbia University Tokyo → New York
Remco Bloemen
recmo
Klotzkettenfachmann at Worldcoin.
Prev Technical Fellow at 0x.
@worldcoin San Francisco
Starling Cybernetics
starlingcyber
Starling Cybernetics creates infrastructure to empower communities of people and machines to harmoniously find collective consensus.
Daniel Marin
danielmarinq
Building @nexus-xyz | prev. Stanford.
@nexus-xyz San Francisco, California
PreviousNext