HerodotusDev / hdpLinks
Enable smart contracts to perform compute over arbitrary on-chain data in a verifiable manner
☆28Updated 4 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
- Groth16 verifier in EVM☆21Updated last year
- Adapt your STARK stone proofs for verifications on Ethereum☆17Updated 8 months ago
- BigInt library for Aztec's noir language☆32Updated last year
- an introduction to noir, with simple examples☆44Updated last year
- ☆31Updated last year
- Herodotus EVM contracts☆18Updated 7 months ago
- Verifying Cairo Programs in SP1☆14Updated 8 months ago
- ☆18Updated 2 years ago
- bn254 pairing library for Cairo Zero☆26Updated 2 years ago
- Implements ERC-5564 for multiple elliptic curves using arkworks-rs☆35Updated this week
- Keccak-f[1600] permutation in the EVM☆28Updated 4 months ago
- client side proving☆31Updated 3 months ago
- ☆40Updated 2 years ago
- Foundry tools for interfacing with Reth Alphanet's bleeding-edge EVM extensions.☆31Updated last year
- ERC4337-based social recovery wallet with Noir zk-ecdsa☆21Updated last year
- Simple EVM implementation in [no_std] Rust to be used in Powdr.☆16Updated last year
- ☆28Updated 3 years ago
- ☆28Updated 2 years ago
- SolChip8 is the first 100% on-chain Chip8 emulator smart contract where you can run chip8 games on EVM☆32Updated 7 months ago
- ☆40Updated 8 months ago
- Rust implementation of KZG point evaluation☆33Updated 3 weeks ago
- Macros + Primitives for PADE format☆29Updated 3 weeks ago
- Shared peer-to-peer network of zero-knowledge provers☆16Updated 6 months ago
- ☆33Updated last year
- ☆17Updated 2 years ago
- Tooling to develop and emulate verifyable programs compatible with Optimism Cannon and the OP Stack 🦀🎆☆55Updated last year
- openzepplin smart contracts written in rust for arbritum stylus☆13Updated last year
- Code used in a recent presentation showing off noir storage proofs☆15Updated last year
- An example of how to build an end-to-end dApp with plonky2x☆22Updated last year