shuklaayush / chip0
The first CHIP-8 zkvm
☆19Updated 9 months ago
Alternatives and similar repositories for chip0:
Users that are interested in chip0 are comparing it to the libraries listed below
- openzepplin smart contracts written in rust for arbritum stylus☆13Updated 11 months ago
- Rust implementation of KZG point evaluation☆32Updated 2 months ago
- Circuits for Pluto's `web-prover`☆21Updated last month
- Highly experimental fault-proof program for Optimism Bedrock☆20Updated 2 years ago
- Noir library to verify JWT tokens, and prove claims.☆21Updated 2 weeks ago
- Arkworks made simple for us: the non cryptographer software plumbers☆21Updated 2 years ago
- client side proving☆28Updated 3 weeks ago
- KZG commitments over BLS12-381☆34Updated 2 years ago
- Breathe air☆23Updated 10 months ago
- Adapt your STARK stone proofs for verifications on Ethereum☆17Updated 6 months ago
- ☆12Updated last year
- Code used in a recent presentation showing off noir storage proofs☆14Updated last year
- Delve into low-level RISC Zero machine☆27Updated last year
- ☆33Updated last year
- prove eth_call result☆15Updated last year
- Groth16 verifier in EVM☆20Updated last year
- Partial Block Building with TEEs☆17Updated last year
- Implementation of the Grumpkin curve in Rust.☆29Updated last year
- Shared peer-to-peer network of zero-knowledge provers☆16Updated 3 months ago
- Rust port of c-kzg-4844☆16Updated last year
- High Performance SSZ Implementation☆13Updated 3 months ago
- Prove multi-opens of EIP-4844 KZG blobs☆14Updated last year
- An ABI compatible for KZG EIP-4844 in Rust☆23Updated last year
- The repository for high quality Trusted setups for groth16 based SNARKS☆22Updated 3 weeks ago
- ☆28Updated 3 years ago
- Uses magic (zk) to distribute gifts (rewards) to kids (validators)☆13Updated last week
- ☆17Updated 2 years ago
- ☆17Updated 2 years ago
- Mozak RISC-V Virtual Machine☆24Updated last week
- ☆49Updated last year