- ๐ Hi, I am Mukesh Tiwari
- ๐ I am interested in formal verification (Coq theorem prover), election security, cryptography, and social choice theory.
- ๐ฑ Iโm currently learning ZKSNARK because I belive it can change the landscape of electronic voting.
- ๐๏ธ Iโm looking to collaborate on formal verification of cryptographic primitives, vote-counting algorithms.
- ๐ซ How to reach me [email protected]
mukeshtiwari / awesome-zero-knowledge-proofs Goto Github PK
View Code? Open in Web Editor NEWThis project forked from matter-labs/awesome-zero-knowledge-proofs
A curated list of awesome things related to learning Zero-Knowledge Proofs (ZKP).
License: Other