Verified zk(E)VM
Verified-zkEVM
Github organization for the verified zk(E)VM formal verification project
Mojtaba Bisheh-Niasar
mojtaba-bisheh
Hardware architecture expert with focus on cryptographic primitives.
Microsoft
Sabyasachi Karati
skarati
Assistant Professor,
C.S.R.U,
R. C. Bose Centre for Cryptology and Security,
ISI Kolkata
India
Ayush Mishra
TheConstructorTheorist
Questions are the engines of intellect — cerebral machines that convert curiosity into controlled inquiry.
iden3
iden3
Blockchain-based identity management solution including privacy by design with zkSNARKs
Consensys
Consensys
Consensys is the software engineering leader of the blockchain space. Our full-stack Ethereum products help developers build next-generation networks.
The Blockchain
Giacomo Borin
giacomoborin
Pre-doc researcher at IBM working on cryptography based upon isogeny and other isomorphism problems
IBM Research & University of Zurich
Cyfrin
Cyfrin
We bring world-class smart contract audits, tools, and education to hundreds of thousands of users, partners, and blockchain protocols.
United States of America
passagemath
passagemath
General purpose mathematical software system, fork of SageMath supporting modularized installation with pip
United States of America
Nipun Ramakrishnan
nipunramk
Software Engineer, Educator, Creator of Reducible: https://www.patreon.com/reducible
Emily Dumas
emilydumas
Mathematical research and visualization.
University of Illinois at Chicago Chicago, IL
albert_g
albert-garreta
Mathematician and computer scientist
Researcher at Nethermind
Nethermind and Basque Center of Applied Mathematics Barcelona, Spain
Jorge Arce-Garro
jorem321
Blockchain and cryptography researcher @NethermindEth. PhD candidate at University of Michigan.
Nethermind Costa Rica
PreviousNext