axiom-crypto / axiom-v2-contractsLinks
Core smart contracts for Axiom V2.
☆32Updated last year
Alternatives and similar repositories for axiom-v2-contracts
Users that are interested in axiom-v2-contracts are comparing it to the libraries listed below
Sorting:
- Axiom Quickstart repository to help you quickly get something built with Axiom.☆30Updated 9 months ago
- Compare in-circuit and out-of-circuit VMs☆60Updated 11 months ago
- Out-of-circuit zkEVM implementation☆80Updated 11 months ago
- 🐺 Starknet Rust types 🦀☆72Updated last week
- ☆61Updated 11 months ago
- ☆78Updated 5 months ago
- Vyper compiler for ZKsync.☆44Updated 3 weeks ago
- Smart contracts for onchain verification of SP1.☆108Updated last month
- A library implementing GPU-accelerated zkSync prover.☆28Updated 11 months ago
- Definitions of zkEVM opcodes (primary dependency for all other repos)☆37Updated 11 months ago
- Library for compiled sway programs☆17Updated 2 months ago
- ☆75Updated 2 years ago
- The zkEVM assembly tools☆11Updated 11 months ago
- Interface to relay messages from L2 to L1 for chains in the Superchain like Base, Zora, and OP Mainnet☆33Updated 5 months ago
- The schelling point for ZK applications.☆141Updated last year
- ✨ 🐺 Starknet ERC20 token streaming protocol 💰⏳, inspired by Sablier.☆49Updated last year
- Template for creating an SP1 project that can generate a proof of any RISC-V program and verify the proof on-chain.☆130Updated 3 weeks ago
- Bringing off-chain compute workloads to on-chain smart contracts.☆105Updated 8 months ago
- Go SDK for building AVSs on Eigenlayer☆76Updated last week
- Resources for building programs on Aleo from ZKCamp's Course (Oct 2023)☆41Updated last year
- Specification of P2P protocol for StarkNet nodes☆49Updated last month
- Symbiotic Collateral smart contracts☆39Updated 6 months ago
- ☆22Updated last year
- Efficient, all-vs-all dispute protocol for Optimistic Rollups☆118Updated last week
- EraVM specification.☆17Updated this week
- ☆51Updated this week
- ZKsync fork of the LLVM framework.☆35Updated this week
- ☆70Updated last week
- A storage system inspired by Besu using Starknet Merkle Trees☆61Updated 4 months ago
- Liquidity aggregator written in Cairo☆38Updated last month