SemaphoreNetwork / semaphore_network_ethsimLinks
☆19Updated last year
Alternatives and similar repositories for semaphore_network_ethsim
Users that are interested in semaphore_network_ethsim are comparing it to the libraries listed below
Sorting:
- Circom interpreter to arithmetic circuit description☆58Updated last year
- ☆71Updated last year
- Poseidon hash function implemented in Solidity☆58Updated last year
- ZK Email in Noir☆82Updated 2 months ago
- Nova Verifier in Circom so it can be verified onChain☆59Updated 2 years ago
- A PoC repo for a HyperNova impl☆83Updated 2 years ago
- Gas-efficient and blazing fast proving for private signaling☆81Updated 2 years ago
- Implementation of ERC 7524 - PLUME for ECDSA Nullifiers☆139Updated 8 months ago
- STARK - SNARK recursive zero knowledge proofs, combinaison of the Winterfell library and the Circom language☆103Updated 2 years ago
- Verify a chain of x509 certificates in halo2☆33Updated 2 years ago
- ☆24Updated 2 years ago
- The PSE website☆25Updated this week
- ☆63Updated last week
- A library to do regex verification in circom, adapted from the original zk-email. It additionally generates lookup tables for halo2-regex…☆102Updated this week
- ☆133Updated 3 years ago
- Monorepo for Summa Proof of Solvency Protocol☆99Updated last year
- Export Circom verifier to Cairo☆49Updated 3 years ago
- Reusable component to add a designated verifier to your zk circom circuit. It means that the zk proof generated from your circuit cannot …☆42Updated 2 years ago
- rapidsnark is a fast zkSNARK prover written in C++, that generates proofs for circuits created with circom and snarkjs.☆87Updated last month
- Comprehensive collection of reusable, standardized contracts for the Aztec Network☆30Updated this week
- Proving physical interactions with digital signatures☆33Updated last year
- 🌐 🔌 💀 CryptKeeper browser extension is a zero knowledge identity management and proof generation tool.☆36Updated last year
- ☆94Updated last year
- Basic scaffolding for setting up and writing a Halo2 ZK circuit☆112Updated 2 years ago
- ☆22Updated 9 months ago
- A testing & development environment for Circom.☆117Updated 6 months ago
- Include halo2 example circuits☆92Updated 2 years ago
- Provable play of Nintendo Entertainment System in Noir☆137Updated last year
- Cairo STARK proof verifier for Starknet☆74Updated last week
- Zk proving the correct execution of encryption operation under BFV Fully Homomorphic Encryption scheme☆114Updated last year