axiom-crypto / axiom-v1-contractsView external linksLinks
Axiom smart contracts
☆26Jul 17, 2023Updated 2 years ago
Alternatives and similar repositories for axiom-v1-contracts
Users that are interested in axiom-v1-contracts are comparing it to the libraries listed below
Sorting:
- Prove multi-opens of EIP-4844 KZG blobs☆16Jun 15, 2023Updated 2 years ago
- Noir support for Zed☆11May 3, 2024Updated last year
- eip-x☆12Mar 22, 2024Updated last year
- Hanji generates docs for your Cairo library☆10Jun 5, 2023Updated 2 years ago
- Core SDK elements for Axiom, the ZK Coprocessor for Ethereum.☆35Apr 19, 2024Updated last year
- A simple TUI to assist in diffing bodies of text☆15May 9, 2024Updated last year
- ☆17Apr 25, 2023Updated 2 years ago
- ☆94Aug 19, 2024Updated last year
- a reference on testing and constraining circom☆21Oct 2, 2024Updated last year
- Spire Labs' litepaper (it's pretty based bro)☆16Oct 31, 2024Updated last year
- Secure and performant zkEVM compiled from evmone via zkLLVM☆16Jan 3, 2024Updated 2 years ago
- Whitenoise CTF I: Doves in the Wind☆20Oct 11, 2022Updated 3 years ago
- All we want is revm and commonware. Leave everything else at the door.☆44Feb 2, 2026Updated 2 weeks ago
- ☆21May 9, 2023Updated 2 years ago
- ☆38Jul 30, 2025Updated 6 months ago
- ☆20Jul 10, 2025Updated 7 months ago
- ECDSA gadgets for plonky2☆19Oct 20, 2023Updated 2 years ago
- ☆22Nov 21, 2023Updated 2 years ago
- RLP encoding in Solidity☆27Sep 11, 2023Updated 2 years ago
- ☆193Jun 14, 2023Updated 2 years ago
- Nova: Recursive SNARKs without trusted setup☆44Aug 21, 2023Updated 2 years ago
- 🔎 Highly optimized Solidity library of statistical functions rationally approximated☆28Oct 15, 2024Updated last year
- A portable library for proving & verifying ethereum's sync committee consensus proofs.☆29Nov 10, 2023Updated 2 years ago
- A rewrite of Optimism's MIPS.sol thread context in Huff☆26Aug 6, 2023Updated 2 years ago
- Minimal Merkle Tree implementations☆32Jun 13, 2025Updated 8 months ago
- Fork of OP-Reth for developing capability to server proofs in FP window☆74Feb 8, 2026Updated last week
- ☆23Mar 8, 2024Updated last year
- Private transactions on EVM chains, supporting dynamic deposit amounts, partial withdrawals and shielded/confidential transfer of value.☆23Nov 18, 2023Updated 2 years ago
- The repository for high quality Trusted setups for groth16 based SNARKS☆22Jul 18, 2025Updated 6 months ago
- Reference manual for the RustCrypto project, implemented as an MDBook [WIP]☆22Jan 18, 2024Updated 2 years ago
- ABCDE Internal POC: Parallel go-ethereum☆29Dec 15, 2023Updated 2 years ago
- storage proof made by sp1☆25Sep 20, 2024Updated last year
- Boot an Optimism Node, Blazingly Fast.☆25Oct 1, 2023Updated 2 years ago
- 🔒💬 A protocol for credible commitments.☆75Feb 2, 2024Updated 2 years ago
- A comprehensive gas report comparing all four versions of Uniswap, a popular decentralized exchange protocol.☆11Jun 16, 2023Updated 2 years ago
- Walkthroughs to leverage Odyssey's features from the future.☆106Jun 18, 2025Updated 7 months ago
- Solidity Function Selector Miner (AVX2 + Multithreaded)☆10Nov 27, 2023Updated 2 years ago
- Howitzer is a Fault Proof VM based on the MIPS64 architecture☆14Sep 4, 2024Updated last year
- An automated market maker running on top of CoW Protocol☆17Jul 31, 2025Updated 6 months ago