hashcloak / fhe_risc0_zkvm
FHE in the Risc0 zkVM
☆25Updated last year
Alternatives and similar repositories for fhe_risc0_zkvm:
Users that are interested in fhe_risc0_zkvm are comparing it to the libraries listed below
- Nova: Recursive SNARKs without trusted setup☆43Updated last year
- A STARK-friendly elliptic curve defined over a sextic extension of a small prime field.☆39Updated last year
- zkSNARK circuits for the Telepathy protocol☆53Updated last year
- ☆33Updated last year
- RLN on KZG☆20Updated last year
- Cryptographic protocols☆38Updated 2 years ago
- Starknet sequencer built with Tendermint Core☆53Updated 2 years ago
- STARK book☆20Updated 6 months ago
- Polynomial Expression Engine☆35Updated last year
- Curdleproofs is a zero-knowledge shuffle argument☆69Updated last year
- Mozak RISC-V Virtual Machine☆25Updated 3 weeks ago
- ☆24Updated last year
- Benchmarking Polynomial Commitments☆49Updated last year
- ☆50Updated last year
- Implementation of Nova using arkworks for learning purposes. https://eprint.iacr.org/2021/370.pdf☆45Updated last year
- ☆38Updated last year
- ☆18Updated last week
- Some very rough benchmarks between sha256 circuits in different proving systems☆51Updated 2 years ago
- On-chain Ethereum light client built with SP1☆46Updated this week
- ☆27Updated this week
- ☆17Updated 2 years ago
- Batch ECDSA in circom☆33Updated 2 years ago
- Spartan on Arkworks☆41Updated 4 months ago
- Using folding schemes for a provable bitcoin light client☆34Updated 11 months ago
- ECDSA gadgets for plonky2☆18Updated last year
- ☆26Updated last year
- Noir implementation of RSA-verify☆42Updated last year
- Plonky2 Semaphore example for ZKHack☆26Updated 3 years ago
- A Solidity implementation of Halo2's Pasta curves☆49Updated 2 years ago
- The repository for high quality Trusted setups for groth16 based SNARKS☆22Updated last month