HerodotusDev / hdp
Enable smart contracts to perform compute over arbitrary on-chain data in a verifiable manner
☆28Updated 2 months ago
Alternatives and similar repositories for hdp
Users that are interested in hdp are comparing it to the libraries listed below
Sorting:
- Axiom smart contracts☆26Updated last year
- Herodotus EVM contracts☆17Updated 5 months ago
- client side proving☆28Updated 2 months ago
- Adapt your STARK stone proofs for verifications on Ethereum☆17Updated 7 months ago
- an introduction to noir, with simple examples☆45Updated last year
- ☆34Updated last year
- ☆40Updated 2 years ago
- Verifying Cairo Programs in SP1☆14Updated 7 months ago
- High performance EraVM for zkSync.☆24Updated 3 weeks ago
- Breathe air☆23Updated 11 months ago
- Spire Labs' litepaper (it's pretty based bro)☆16Updated 6 months ago
- BigInt library for Aztec's noir language☆32Updated last year
- The Spire Based Stack☆17Updated last week
- ☆28Updated 2 years ago
- ☆31Updated last year
- RLN circuits in Circom☆29Updated 10 months ago
- RLN on KZG☆20Updated last year
- Groth16 verifier in EVM☆21Updated last year
- ☆18Updated 2 years ago
- Implements ERC-5564 for multiple elliptic curves using arkworks-rs☆35Updated this week
- Herodotus Data Processor using SP1 as backend☆16Updated 6 months ago
- Foundry tools for interfacing with Reth Alphanet's bleeding-edge EVM extensions.☆31Updated last year
- bn254 pairing library for Cairo Zero☆26Updated 2 years ago
- Simple EVM implementation in [no_std] Rust to be used in Powdr.☆17Updated last year
- ☆40Updated 6 months ago
- Circuits for Pluto's `web-prover`☆21Updated 3 weeks ago
- A minimal example of recursion in Noir.☆11Updated last year
- The repository for high quality Trusted setups for groth16 based SNARKS☆22Updated 2 months ago
- Keccak-f[1600] permutation in the EVM☆27Updated 3 months ago
- Noir implementation of BattleZips circuits☆27Updated 2 years ago