ICME Labs
ICME-Lab
We build memory efficient zero-knowledge proofs for private and trustless agents.
Alberto Centelles
Acentelles
Constantly looking for the pleasure of finding things out. Algebraic number theory and cryptography.
London
Samuel Vivien
samsa1
PL PhD student currently working on adding modular implicits to the OCaml compiler
INRIA Paris - France
zkBankai
zk-bankai
zkBankai is a community of core protocol developers, engineers, researchers, mathematicians, and zk enthusiasts dedicated to advancing zk tech
India
Nadim Kobeissi
nadimkobeissi
OH, IT'S JUST A SIMPLE NUMBERS GAME.
@symbolicsoft, @cure53berlin Paris, France
Web3Privacy Now
web3privacy
Research project aimed at discovering, highlighting, and analyzing privacy-enhancing services within the Web3 industry
Truffle Box
truffle-box
A set of boilerplates to help developers quickly build distributed applications on the Ethereum blockchain with Truffle.
Thomas Coratger
tcoratger
PhD in applied mathematics.
Research at Ethereum Foundation.
Ethereum Foundation France
Kevin Buzzard
kbuzzard
Professor of pure mathematics at Imperial College London.
Currently learning about theorem provers.
@ImperialCollegeLondon London
Giacomo Fenzi
WizardOfMenlo
PhD student in Cryptography at EPFL.
Interested in proofs systems, zkSNARKs, and more!
EPFL Italy
Renaud Dubois
rdubois-crypto
- Expert Cryptographer in Ethereum Ecosystem (mainnet + L2's) for 4 years.
- Expert Cryptographer for the Defense Industry (17 years).
Erdos Number : 4 zknox.eth
alessandra simmons
MixedMatched
compilers, pl, and formal methods enthusiast / curry-howard-brained / compiler dev at amd!
Herman Bergwerf
bergwerf
Life is an experience, computers are only a tool.
Bergwerf Labs Amsterdam, Netherlands