succinctlabs / telepathy-circuitsLinks
zkSNARK circuits for the Telepathy protocol
☆53Updated last year
Alternatives and similar repositories for telepathy-circuits
Users that are interested in telepathy-circuits are comparing it to the libraries listed below
Sorting:
- A Solidity implementation of Halo2's Pasta curves☆49Updated 2 years ago
- ☆33Updated last year
- ☆17Updated 2 years ago
- Curdleproofs is a zero-knowledge shuffle argument☆69Updated last year
- Some very rough benchmarks between sha256 circuits in different proving systems☆52Updated 2 years ago
- A Brainfuck zkVM with Circom.☆59Updated 2 years ago
- The repository for high quality Trusted setups for groth16 based SNARKS☆22Updated 2 weeks ago
- Smart contracts for the Telepathy protocol☆77Updated last year
- ☆28Updated 3 years ago
- ERC4337-based social recovery wallet with Noir zk-ecdsa☆21Updated 2 years ago
- https://geometryresearch.xyz/notebook/zkhack-groth-challenge☆49Updated 2 years ago
- Solidity verifier for Plonk☆42Updated 11 months ago
- ETHPrague☆31Updated last year
- ☆34Updated last year
- Gas-efficient and blazing fast proving for private signaling☆82Updated last year
- Shield is a development framework for circom developers. The core reason is to provide libraries, plugins, and testing tools to ensure co…☆60Updated 2 years ago
- ☆36Updated 2 years ago
- Email verification circuit in halo2☆68Updated last year
- ☆46Updated 3 years ago
- Cryptographic protocols☆39Updated 2 years ago
- Enable smart contracts to perform compute over arbitrary on-chain data in a verifiable manner☆28Updated 5 months ago
- Prove multi-opens of EIP-4844 KZG blobs☆14Updated 2 years ago
- ☆33Updated last year
- storage proof made by sp1☆25Updated 10 months ago
- Axiom smart contracts☆26Updated 2 years ago
- A convenient way for developers to compile, cache, and execute circom circuits, as well as to generate proofs.☆34Updated 2 years ago
- neural network inference standard for zero-knowledge-proof systems☆34Updated last year
- Infinitely Compressible Governance using Recursive SNARKs☆31Updated 2 years ago
- Breathe air☆25Updated last year
- Circuits, written in circom, for Proof Of Solvency☆26Updated 2 years ago