zk-pin / pinView external linksLinks
Trust-minimized commitment pools with zkSNARKs
☆38Apr 10, 2023Updated 2 years ago
Alternatives and similar repositories for pin
Users that are interested in pin are comparing it to the libraries listed below
Sorting:
- Benchmarking Polynomial Commitments☆51Jul 3, 2023Updated 2 years ago
- ☆22Oct 11, 2022Updated 3 years ago
- Nova Verifier in Circom so it can be verified onChain☆59Jun 9, 2023Updated 2 years ago
- A zero-knowledge virtual machine with only one instruction☆13Mar 3, 2022Updated 3 years ago
- JWT verification with zero knowledge proofs☆49Dec 2, 2023Updated 2 years ago
- CosmWasm + zkVM RISC-V EFI template☆23Oct 20, 2022Updated 3 years ago
- [WIP] Indistinguishability/Ideal Obfuscation (iO) Library based on https://eprint.iacr.org/2021/1334.pdf☆36Oct 10, 2024Updated last year
- ZK Erdos Numbers using recursive SNARKs☆78Sep 24, 2022Updated 3 years ago
- ☆40Sep 23, 2022Updated 3 years ago
- Elliptic Curve arithmetic operations written in Noir☆16Dec 31, 2022Updated 3 years ago
- wipppp☆18May 15, 2022Updated 3 years ago
- ☆17Mar 18, 2023Updated 2 years ago
- Basic scaffolding for setting up and writing a Halo2 ZK circuit☆112Jan 2, 2024Updated 2 years ago
- Ecne: An engine for verifying the soundness of R1CS constraints☆114Aug 2, 2022Updated 3 years ago
- A FRI verifier circuit for the Halo2 proof system☆77Feb 22, 2023Updated 2 years ago
- Generate an optimized Groth16 SNARK verification smart contract for use on EVM-based blockchains.☆127Sep 4, 2022Updated 3 years ago
- Options for ERC721 assets via fractionalizing into ERC20 tokens & depositing into Primitve's RMM-01☆42Apr 10, 2022Updated 3 years ago
- ☆12Feb 3, 2022Updated 4 years ago
- 🏗 forkable Ethereum dev stack focused on fast product iterations☆10Aug 28, 2021Updated 4 years ago
- Circuits used by heyanon☆21Sep 14, 2022Updated 3 years ago
- Implementation of ERC 7524 - PLUME for ECDSA Nullifiers☆139Jun 6, 2025Updated 8 months ago
- Robust, Extensible Template for Huff Projects☆27Oct 25, 2022Updated 3 years ago
- zero knowledge proof aggregator for general circuit☆73May 20, 2024Updated last year
- Eddy255 elliptic curve parameters and implementation (embedding Ed25519)☆12Feb 18, 2023Updated 2 years ago
- Historical L1Block snapshotter for OP Stack chains☆16Jul 12, 2023Updated 2 years ago
- Designatived verifier Schnorr signatures☆13Nov 4, 2022Updated 3 years ago
- Generate a zero-knowledge proof for a SHA1 pre-image.☆12Mar 29, 2024Updated last year
- Evaluating & benchmarking ZKP compilation strategies.☆121Dec 19, 2023Updated 2 years ago
- Halo2 Merkle tree circuits☆33May 28, 2021Updated 4 years ago
- zkSNARK circuits for the Telepathy protocol☆53Aug 28, 2023Updated 2 years ago
- ☆16Dec 2, 2025Updated 2 months ago
- ☆13Nov 10, 2023Updated 2 years ago
- repository for core circom and smart contract☆13Apr 23, 2023Updated 2 years ago
- The MPC suite of tools for conducting zkSNARK Phase 2 Trusted Setup ceremonies☆106Jul 12, 2025Updated 7 months ago
- Gas-efficient and blazing fast proving for private signaling☆81Feb 3, 2024Updated 2 years ago
- Experimental folding schemes library☆260Feb 6, 2026Updated last week
- ☆26Feb 25, 2024Updated last year
- A tool to work with zkSNARK circuits generated by Circom compiler☆103Nov 16, 2021Updated 4 years ago
- Draft documents for standardization of Plonkish arithmetization☆23Mar 15, 2024Updated last year