HerodotusDev / hdp-sp1
Herodotus Data Processor using SP1 as backend
☆16Updated 6 months ago
Alternatives and similar repositories for hdp-sp1
Users that are interested in hdp-sp1 are comparing it to the libraries listed below
Sorting:
- Axiom smart contracts☆26Updated last year
- Groth16 verifier in EVM☆21Updated last year
- Circuits for Pluto's `web-prover`☆21Updated 3 weeks ago
- client side proving☆28Updated 2 months ago
- Breathe air☆23Updated 11 months ago
- Uses magic (zk) to distribute gifts (rewards) to kids (validators)☆13Updated last week
- openzepplin smart contracts written in rust for arbritum stylus☆13Updated last year
- An example of how to build an end-to-end dApp with plonky2x☆22Updated last year
- An API compatible port of the Stone prover.☆19Updated 6 months ago
- BN254 Pairing Implementation in Noir☆22Updated last year
- ZK Theorem Proving☆10Updated 9 months ago
- Better assertion macros for pure Huff tests.☆19Updated last year
- ☆28Updated 3 years ago
- ☆12Updated last year
- Adapt your STARK stone proofs for verifications on Ethereum☆17Updated 7 months ago
- The repository for high quality Trusted setups for groth16 based SNARKS☆22Updated 2 months ago
- verify cairo execution in Halo2☆16Updated last year
- ECDSA gadgets for plonky2☆18Updated last year
- compiler tooling for Stark-based zkVMs☆16Updated 2 years ago
- ☆50Updated last year
- ☆18Updated 2 years ago
- An arkworks implementation of the superspartan PIOP☆13Updated 8 months ago
- Based on https://eprint.iacr.org/2022/1510☆26Updated 6 months ago
- Groth16 fraud proof generation PoC using leaked toxic waste. Forked and modified from Arkworks' Rust implementation of the Groth16 zkSNAR…☆11Updated last year
- Partial Block Building with TEEs☆17Updated last year
- ☆33Updated last year
- Write Zero Knowledge Circuits in Solidity☆13Updated last year
- Verifying Cairo Programs in SP1☆14Updated 7 months ago
- ☆28Updated 2 years ago
- A library of gadgets compatible with bellpepper and bellperson (contact: @huitseeker)☆17Updated 2 months ago