HerodotusDev / hdp-sp1
Herodotus Data Processor using SP1 as backend
☆14Updated this week
Related projects ⓘ
Alternatives and complementary repositories for hdp-sp1
- Axiom smart contracts☆27Updated last year
- Web Proofs using zk-SXG☆22Updated this week
- Verifying Cairo Programs in SP1☆13Updated 3 weeks ago
- An example of how to build an end-to-end dApp with plonky2x☆22Updated last year
- Curta CTF #12☆20Updated last year
- ☆28Updated last year
- ☆17Updated last year
- Implements ERC-5564 for multiple elliptic curves using arkworks-rs☆33Updated this week
- halo2-lib-eddsa☆11Updated 9 months ago
- Breathe air☆22Updated 5 months ago
- ☆28Updated 2 years ago
- Adapt your STARK stone proofs for verifications on Ethereum☆17Updated last month
- An ABI compatible for KZG EIP-4844 in Rust☆23Updated last year
- prove eth_call result☆15Updated 7 months ago
- a reference on testing and constraining circom☆16Updated last month
- An arkworks implementation of the superspartan PIOP☆13Updated 2 months ago
- Prove multi-opens of EIP-4844 KZG blobs☆14Updated last year
- Rust implementation of KZG point evaluation☆26Updated last month
- Andromeda revm execution service☆30Updated 3 months ago
- openzepplin smart contracts written in rust for arbritum stylus☆12Updated 6 months ago
- ☆39Updated 2 years ago
- Scikit-learn compatible Python library for generating ZK proofs of execution☆18Updated last year
- ZK Theorem Proving☆12Updated 3 months ago
- Partial Block Building with TEEs☆17Updated 7 months ago
- an introduction to noir, with simple examples☆42Updated 10 months ago
- Code used in a recent presentation showing off noir storage proofs☆13Updated last year
- verify cairo execution in Halo2☆17Updated last year
- Minimal Merkle Tree implementations☆26Updated 3 weeks ago
- RLN circuits in Circom☆29Updated 3 months ago