NilFoundation / zkllvm-template
Template repository for zkLLVM-based projects
☆19Updated last year
Alternatives and similar repositories for zkllvm-template:
Users that are interested in zkllvm-template are comparing it to the libraries listed below
- ☆40Updated 5 months ago
- Email verification circuit in halo2☆68Updated 9 months ago
- ☆25Updated last week
- Nova: Recursive SNARKs without trusted setup☆43Updated last year
- On-chain Ethereum light client built with SP1☆46Updated this week
- Implementation of zero-knowledge proof circuits for Blobstream, Celestia's data availability solution for Ethereum.☆59Updated 8 months ago
- A monorepo of reusable Noir circuits.☆39Updated last week
- Circom interpreter to arithmetic circuit description☆53Updated 7 months ago
- Verify a chain of x509 certificates in halo2☆31Updated last year
- A collection of all the project ideas involving zk, blockchains & what not☆24Updated last year
- 🦄 UniswapV3 fork that computes swaps off-chain via a zkVM☆84Updated last year
- Core SDK elements for Axiom, the ZK Coprocessor for Ethereum.☆35Updated last year
- The repository for high quality Trusted setups for groth16 based SNARKS☆22Updated last month
- The Ultimate ZK Fault/Validity Proof Software Suite for Securing Rollups☆41Updated this week
- ZKM Development Template/Framework☆25Updated last week
- Smart contracts for onchain verification of SP1.☆88Updated last month
- A monorepo of reusable Circom circuits.☆25Updated last month
- PoC of Revm execution in SGX☆80Updated last year
- ☆31Updated last year
- Monorepo for Summa Proof of Solvency Protocol☆97Updated 7 months ago
- ☆31Updated last year
- Honk Verifier in Solidity☆50Updated 6 months ago
- My personal notebook for various zk-related topics☆48Updated 3 months ago
- ☆77Updated this week
- Ultimate Boilerplate for building full stack ZK decentralized application, with Circom, Snarkjs and Nextjs☆47Updated 2 years ago
- customizable halo2 circuits batcher☆30Updated last month
- Lecture notes & exercises from Sparkling Water Bootcamp in Cryptography 0b10.☆28Updated 6 months ago
- A set of tooling related to halo2 circuits verification inside Solidity contracts☆65Updated 6 months ago
- client side proving☆28Updated last month
- .ptau deserializer for gnark groth16 bn254 trusted setup☆25Updated 3 weeks ago