Orbiter-Finance / zkspv-circuitsLinks
☆19Updated last year
Alternatives and similar repositories for zkspv-circuits
Users that are interested in zkspv-circuits are comparing it to the libraries listed below
Sorting:
- ✨ 🐺 Starknet ERC20 token streaming protocol 💰⏳, inspired by Sablier.☆49Updated last year
- Definitions of zkEVM opcodes (primary dependency for all other repos)☆37Updated last year
- Implementation of zero-knowledge proof circuits for Blobstream, Celestia's data availability solution for Ethereum.☆61Updated last year
- Core SDK elements for Axiom, the ZK Coprocessor for Ethereum.☆35Updated last year
- A collection of works discussing the security aspects of StarkNet☆40Updated 8 months ago
- Circuit infrastructure for Aztec 3.0☆13Updated 2 years ago
- Out-of-circuit zkEVM implementation☆80Updated last year
- Workshop for starknetCC (nextjs x starknetjs x cairo)☆16Updated 3 years ago
- ☆62Updated last year
- ☆21Updated last year
- zkEVM proof generator reference written in Javascript☆80Updated 2 months ago
- Core smart contracts for Axiom V2.☆32Updated last year
- ☆25Updated last month
- Smart contracts for onchain verification of SP1.☆110Updated 2 months ago
- Curated list of ZKML models and use cases made with Giza☆49Updated last year
- Compare in-circuit and out-of-circuit VMs☆60Updated last year
- ☆51Updated last week
- Go SDK for building AVSs on Eigenlayer☆76Updated this week
- A library implementing GPU-accelerated cryptographic functionality for the zkSync prover.☆25Updated last year
- High performance EraVM for zkSync.☆23Updated 4 months ago
- Polynomials Identity Language☆68Updated last year
- Ethereum <> Starknet RPC middleware.☆43Updated 2 months ago
- Meeting notes and agenda items for the Builders Council☆19Updated 2 years ago
- 🐺 Starknet Rust types 🦀☆73Updated this week
- Template repository for zkLLVM-based projects☆19Updated last year
- Template for creating an SP1 project that can generate a proof of any RISC-V program and verify the proof on-chain.☆134Updated last month
- Bridge aTokens to Starknet☆45Updated 2 years ago
- Liquidity aggregator written in Cairo☆38Updated 2 months ago
- ☆42Updated last year
- ☆60Updated 9 months ago