shuklaayush / chip0Links
The first CHIP-8 zkvm
☆20Updated last year
Alternatives and similar repositories for chip0
Users that are interested in chip0 are comparing it to the libraries listed below
Sorting:
- Rust implementation of KZG point evaluation☆33Updated last week
- openzepplin smart contracts written in rust for arbritum stylus☆13Updated last year
- ☆23Updated this week
- client side proving☆30Updated 2 months ago
- ☆18Updated 2 years ago
- ☆28Updated 3 years ago
- verify cairo execution in Halo2☆15Updated last year
- RLN on KZG☆20Updated last year
- ☆50Updated last year
- ☆13Updated 2 weeks ago
- Circuits for Pluto's `web-prover`☆21Updated last month
- Mozak RISC-V Virtual Machine☆25Updated 2 months ago
- Minimal Merkle Tree implementations☆29Updated last week
- Implementation of the Grumpkin curve in Rust.☆29Updated last year
- Highly experimental fault-proof program for Optimism Bedrock☆20Updated 2 years ago
- Polynomial Expression Engine☆35Updated last year
- KZG commitments over BLS12-381☆34Updated 2 years ago
- A pqSNARK with lightweight proofs, powered by the Whir PCS.☆19Updated this week
- Breathe air☆24Updated last year
- Honk Verifier in Solidity☆50Updated 7 months ago
- Groth16 verifier in EVM☆21Updated last year
- Code used in a recent presentation showing off noir storage proofs☆15Updated last year
- Better assertion macros for pure Huff tests.☆19Updated last year
- A collection of comparison-benchmarks for Nova & related Proving systems☆44Updated 2 years ago
- Noir library to verify JWT tokens, and prove claims.☆28Updated last month
- Decentralised Privacy-Preserving Contact Discovery☆18Updated last year
- ☆33Updated last year
- High Performance SSZ Implementation☆13Updated 5 months ago
- SolChip8 is the first 100% on-chain Chip8 emulator smart contract where you can run chip8 games on EVM☆32Updated 6 months ago
- Partial Block Building with TEEs☆17Updated last year