HerodotusDev / hdp
Enable smart contracts to perform compute over arbitrary on-chain data in a verifiable manner
☆28Updated last month
Alternatives and similar repositories for hdp:
Users that are interested in hdp are comparing it to the libraries listed below
- client side proving☆28Updated 3 weeks ago
- Adapt your STARK stone proofs for verifications on Ethereum☆17Updated 6 months ago
- ☆39Updated 2 years ago
- Indexer for Ethereum Layer 2s (OP Stack rollups, Arbitrum, etc...)☆34Updated this week
- Groth16 verifier in EVM☆20Updated last year
- ☆31Updated last year
- Herodotus EVM contracts☆17Updated 4 months ago
- Shared peer-to-peer network of zero-knowledge provers☆16Updated 3 months ago
- an introduction to noir, with simple examples☆43Updated last year
- Breathe air☆23Updated 10 months ago
- bn254 pairing library for Cairo Zero☆26Updated 2 years ago
- Verifying Cairo Programs in SP1☆13Updated 5 months ago
- Axiom smart contracts☆26Updated last year
- Tooling to develop and emulate verifyable programs compatible with Optimism Cannon and the OP Stack 🦀🎆☆55Updated last year
- ☆33Updated last year
- Utility features to play with EIP-4844 blobs for Starknet usage.☆14Updated 10 months ago
- Circuits for Pluto's `web-prover`☆21Updated last month
- An alternative implementation of the OP Stack's Cannon, a MIPS emulator for the EVM.☆63Updated 8 months ago
- Foundry tools for interfacing with Reth Alphanet's bleeding-edge EVM extensions.☆31Updated 11 months ago
- openzepplin smart contracts written in rust for arbritum stylus☆13Updated 11 months ago
- A comprehensive library for Cairo 🐺☆38Updated last month
- BigInt library for Aztec's noir language☆32Updated last year
- Noir library to verify JWT tokens, and prove claims.☆21Updated 3 weeks ago
- An efficient implementation of ECDSA on secp256r1 in Cairo☆23Updated last year
- storage proof made by sp1☆24Updated 6 months ago
- Implementing the Ethereum Virtual Machine from scratch & documenting the process☆23Updated 2 years ago
- ☆17Updated 2 years ago
- ERC4337-based social recovery wallet with Noir zk-ecdsa☆21Updated last year
- Andromeda revm execution service☆31Updated 8 months ago
- A rewrite of Optimism's MIPS.sol thread context in Huff☆25Updated last year