HerodotusDev / hdp-sp1
Herodotus Data Processor using SP1 as backend
☆15Updated 4 months ago
Alternatives and similar repositories for hdp-sp1:
Users that are interested in hdp-sp1 are comparing it to the libraries listed below
- Axiom smart contracts☆26Updated last year
- Circuits for Pluto's `web-prover`☆21Updated last month
- client side proving☆28Updated 2 weeks ago
- An example of how to build an end-to-end dApp with plonky2x☆22Updated last year
- Breathe air☆22Updated 10 months ago
- Adapt your STARK stone proofs for verifications on Ethereum☆17Updated 5 months ago
- halo2-lib-eddsa☆11Updated last year
- Uses magic (zk) to distribute gifts (rewards) to kids (validators)☆13Updated this week
- verify cairo execution in Halo2☆16Updated last year
- Verifying Cairo Programs in SP1☆13Updated 5 months ago
- ☆17Updated 2 years ago
- RLN on KZG☆20Updated last year
- ☆33Updated last year
- ☆17Updated 2 years ago
- ZK Theorem Proving☆10Updated 7 months ago
- Implements ERC-5564 for multiple elliptic curves using arkworks-rs☆35Updated this week
- The repository for high quality Trusted setups for groth16 based SNARKS☆21Updated 3 weeks ago
- ⚙️ A library for proving PLONKish circuits (halo2) in the EVM.☆11Updated last year
- Prove multi-opens of EIP-4844 KZG blobs☆14Updated last year
- Rust implementation of KZG point evaluation☆32Updated 2 months ago
- BN254 Pairing Implementation in Noir☆22Updated last year
- Highly experimental fault-proof program for Optimism Bedrock☆20Updated 2 years ago
- ☆39Updated 2 years ago
- Implementation of the Grumpkin curve in Rust.☆29Updated last year
- Based on https://eprint.iacr.org/2022/1510☆24Updated 5 months ago
- Partial Block Building with TEEs☆17Updated last year
- ☆28Updated 3 years ago
- ☆28Updated last year
- ☆33Updated last year
- openzepplin smart contracts written in rust for arbritum stylus☆13Updated 11 months ago