zkemail / proof-of-twitter
Use https://twitter.prove.email to prove that you own a Twitter username, on-chain.
☆30Updated last week
Related projects: ⓘ
- Email verification circuit in halo2☆62Updated 2 months ago
- ZK Email in Noir☆15Updated last week
- ☆58Updated last month
- Gas-efficient and blazing fast proving for private signaling☆81Updated 7 months ago
- A library to do regex verification in circom, adapted from the original zk-email. It additionally generates lookup tables for halo2-regex…☆76Updated last week
- Poseidon hash function implemented in Solidity☆40Updated last month
- Leveraging zk for trustlessly selling private keys, signatures and groth16 proofs.☆89Updated last year
- ☆53Updated 6 months ago
- Provides tools for testing circom circuits.☆56Updated 2 months ago
- PoC of Revm execution in SGX☆78Updated 11 months ago
- ZK Erdos Numbers using recursive SNARKs☆80Updated last year
- My personal notebook for various zk-related topics☆47Updated 5 months ago
- An onchain game which explores different ZK game mechanics and information asymmetry☆91Updated 11 months ago
- 🦄 UniswapV3 fork that uses a zkVM to compute swaps off-chain.☆80Updated 10 months ago
- Lowering client-side proving cost for private ZK signatures in circom☆106Updated last year
- ☆40Updated 5 months ago
- Monorepo for Summa Proof of Solvency Protocol☆94Updated 3 weeks ago
- ☆91Updated 9 months ago
- Export Circom verifier to Cairo☆48Updated 2 years ago
- Verifier contracts for onchain verification of SP1.☆55Updated this week
- A testing & development environment for Circom.☆93Updated last week
- CircomJS is a javascript framework that allows you to automate your Circom workflow in pure javascript.☆48Updated last year
- ☆48Updated last year
- A curated list of resources on zkECDSA☆36Updated last year
- Core SDK elements for Axiom, the ZK Coprocessor for Ethereum.☆36Updated 5 months ago
- Honk Verifier in Solidity☆48Updated this week
- zkSudoku is a platform that allows users to play zk (zero knowledge) Sudoku games.☆43Updated 10 months ago
- A convenient way for developers to compile, cache, and execute circom circuits, as well as to generate proofs.☆33Updated last year
- group signatures implemented with zkSNARKs☆83Updated 2 years ago
- Basic Noir anonymous proof of membership☆88Updated last year