risc0 / zirgenLinks
Zirgen compiler and RISC Zero circuits
☆122Updated 2 weeks ago
Alternatives and similar repositories for zirgen
Users that are interested in zirgen are comparing it to the libraries listed below
Sorting:
- Accelerated Zero-knowledge Virtual Machine by Non-uniform Prover Based on GKR Protocol☆132Updated this week
- ☆94Updated 3 weeks ago
- Benchmarks of popular zkVMs including Jolt☆63Updated last year
- Binary Proofs, Blazing Fast☆108Updated last week
- An advanced fork of Nova (contact:@huitseeker)☆87Updated 10 months ago
- ☆106Updated last year
- A rust template that allows any rust dev to easily develop an app made for a zkVM, but abstracting which one to use☆55Updated 9 months ago
- A Plonkish folding framework for Incrementally Verifiable Computation (IVC).☆177Updated 9 months ago
- building blocks for accelerating ZK proofs over binary fields☆48Updated 7 months ago
- DSL for Halo2 circuits☆188Updated last year
- Tutorial for designing and impementing a STARK-compatible VM, along with a fully functional Brainfark instruction set architecture, virtu…☆58Updated last year
- Experimental implementation of the SuperNova protocol. https://eprint.iacr.org/2022/1758☆122Updated 2 years ago
- ☆111Updated last month
- SMT 2023 Submission; license pending☆57Updated last year
- Zk proving the correct execution of encryption operation under BFV Fully Homomorphic Encryption scheme☆114Updated last year
- A SNARK using towers of binary fields, implemented in Rust .☆127Updated 4 months ago
- Benchmark of multiple zk implementations.☆83Updated 2 years ago
- Verifiable and confidential computation based on ZKP and FHE, powered by risc0 zkVM.☆86Updated 2 years ago
- A FRI verifier circuit for the Halo2 proof system☆77Updated 2 years ago
- ☆221Updated 5 months ago
- the race to prove Ethereum in real-time☆135Updated last week
- Frobenius sumcheck for vectorized boolean ops☆56Updated 9 months ago
- Basic scaffolding for setting up and writing a Halo2 ZK circuit☆112Updated 2 years ago
- ☆100Updated 8 months ago
- A Cairo VM prover implemented using Winterfell☆155Updated 3 years ago
- RISC-V prover system for ZKsync OS☆118Updated last week
- Expander, an open-source GKR prover designed for scaling large-scale parallel computing.☆64Updated 11 months ago
- Solidity implementation of Nova proving system verifier☆66Updated last year
- A cutting-edge zkWASM implementation leveraging Nova-NIVC-based folding techniques.☆43Updated 2 months ago
- ☆81Updated last year