HerodotusDev / herodotus-evmLinks
Herodotus EVM contracts
☆17Updated 2 months ago
Alternatives and similar repositories for herodotus-evm
Users that are interested in herodotus-evm are comparing it to the libraries listed below
Sorting:
- Enable smart contracts to perform compute over arbitrary on-chain data in a verifiable manner☆28Updated 8 months ago
- Axiom smart contracts☆26Updated 2 years ago
- ☆30Updated last year
- Breathe air☆25Updated last year
- ☆31Updated last year
- Core SDK elements for Axiom, the ZK Coprocessor for Ethereum.☆35Updated last year
- an introduction to noir, with simple examples☆44Updated last year
- This repo compiles .zkasm to a json ready for the zkExecutor☆31Updated last year
- Groth16 verifier on Arbitrum Stylus☆25Updated last year
- ☆26Updated last month
- BigInt library for Aztec's noir language☆32Updated last year
- Tooling to develop and emulate verifyable programs compatible with Optimism Cannon and the OP Stack 🦀🎆☆56Updated last year
- ☆50Updated last year
- A Brainfuck zkVM with Circom.☆59Updated 2 years ago
- Monorepo for Summa Proof of Solvency Protocol☆99Updated last year
- ☆34Updated 2 years ago
- zkSNARK circuits for the Telepathy protocol☆53Updated 2 years ago
- Solidity implementation of Nova proving system verifier☆65Updated last year
- PoC of Revm execution in SGX☆79Updated 2 years ago
- ☆40Updated 3 years ago
- Implements ERC-5564 for multiple elliptic curves using arkworks-rs☆36Updated this week
- Circuits for Pluto's `web-prover`☆24Updated 6 months ago
- A Solidity implementation of Halo2's Pasta curves☆50Updated 2 years ago
- Noir implementation of RSA-verify☆43Updated last year
- storage proof made by sp1☆25Updated last year
- Honk Verifier in Solidity☆50Updated last year
- ☆27Updated 2 years ago
- Ethereum stateless tools☆45Updated 6 months ago
- 🌻 use L1 multisig owners to sign on L2 multisigs using zk proofs☆31Updated 2 years ago
- An example of how to build an end-to-end dApp with plonky2x☆22Updated 2 years ago