tokamak-network / DEPRECATED-zvmLinks
Zero Knowledge based Ethereum Virtual Machine in Circom language
☆17Updated 4 months ago
Alternatives and similar repositories for DEPRECATED-zvm
Users that are interested in DEPRECATED-zvm are comparing it to the libraries listed below
Sorting:
- zero knowledge proof aggregator for general circuit☆72Updated last year
- ☆50Updated last year
- EraVM implementation☆19Updated last year
- Solidity verifier for Plonk☆42Updated last year
- Circom circuits of Ethereum arithmetic and bitwise operators☆20Updated 8 months ago
- A program for creating and verifying zkSNARKs to prove the results of Orbis smart contract executions and other TinyRAM program execution…☆38Updated 2 years ago
- A collection of resources relevant to the PSE Security Team.☆12Updated 2 years ago
- Nova: Recursive SNARKs without trusted setup☆44Updated 2 years ago
- ☆17Updated 2 years ago
- ☆28Updated 3 weeks ago
- Benchmarking Polynomial Commitments☆50Updated 2 years ago
- A collection of technical notes from the Geometry research team.☆47Updated 2 years ago
- ☆81Updated 4 years ago
- A toolkit to compile and debug circom circuit.☆27Updated 2 years ago
- ☆40Updated 2 years ago
- Implementation of Nova using arkworks for learning purposes. https://eprint.iacr.org/2021/370.pdf☆45Updated 2 years ago
- Cryptographic protocols☆39Updated 2 years ago
- The repository for high quality Trusted setups for groth16 based SNARKS☆22Updated 2 months ago
- ☆62Updated last month
- SMT 2023 Submission; license pending☆56Updated 10 months ago
- RLN on KZG☆21Updated 2 years ago
- Curdleproofs is a zero-knowledge shuffle argument☆69Updated last year
- A collection of comparison-benchmarks for Nova & related Proving systems☆44Updated 2 years ago
- Some very rough benchmarks between sha256 circuits in different proving systems☆52Updated 3 years ago
- For practice to using halo2☆23Updated 2 years ago
- A collection of the Notes on the Nova folding scheme explained from scratch☆28Updated last year
- Rescue and Poseidon hash function implementations☆43Updated last year
- polynomial commitments from linear codes☆46Updated 9 months ago
- zkSNARK circuits for the Telepathy protocol☆53Updated 2 years ago
- Using folding schemes for a provable bitcoin light client☆34Updated last year