axiom-crypto / axiom-v1-contracts
Axiom smart contracts
☆26Updated last year
Alternatives and similar repositories for axiom-v1-contracts:
Users that are interested in axiom-v1-contracts are comparing it to the libraries listed below
- an introduction to noir, with simple examples☆45Updated last year
- storage proof made by sp1☆24Updated 7 months ago
- client side proving☆28Updated last month
- BigInt library for Aztec's noir language☆32Updated last year
- Foundry tools for interfacing with Reth Alphanet's bleeding-edge EVM extensions.☆31Updated last year
- Breathe air☆23Updated 11 months ago
- ☆34Updated last year
- ☆31Updated last year
- CAN YOU HEAR IT, CAN YOU FEEEEEEL IT☆16Updated 11 months ago
- ☆28Updated last year
- Ethereum stateless tools☆46Updated 2 weeks ago
- Implements ERC-5564 for multiple elliptic curves using arkworks-rs☆35Updated this week
- Simple Proof of Concept demonstrating a 7683 + 7702 cross chain delegated transaction experience☆33Updated 4 months ago
- ☆40Updated 2 years ago
- Infinitely Compressible Governance using Recursive SNARKs☆31Updated 2 years ago
- ☆10Updated last year
- SolChip8 is the first 100% on-chain Chip8 emulator smart contract where you can run chip8 games on EVM☆32Updated 5 months ago
- Rust implementation of KZG point evaluation☆33Updated 2 weeks ago
- ERC4337-based social recovery wallet with Noir zk-ecdsa☆21Updated last year
- Noir implementation of BattleZips circuits☆27Updated last year
- The Spire Based Stack☆17Updated this week
- Template using EIP-3074 - AUTH and AUTHCALL in Solidity☆29Updated last year
- Groth16 verifier in EVM☆21Updated last year
- An example of how to build an end-to-end dApp with plonky2x☆22Updated last year
- Behold the almighty 🗿totem🗿☆17Updated 7 months ago
- 🔴 💬 A hack for the OP Stack enabling sequencer commitments.☆28Updated last year
- Optimized, in-memory, memory safe data structures written in Solidity.☆36Updated last year
- The repository for high quality Trusted setups for groth16 based SNARKS☆22Updated last month
- Macros + Primitives for PADE format☆29Updated last week
- Circuits for Pluto's `web-prover`☆21Updated last week