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:
- Core SDK elements for Axiom, the ZK Coprocessor for Ethereum.☆35Updated last year
- ✨ 🐺 Starknet ERC20 token streaming protocol 💰⏳, inspired by Sablier.☆49Updated last year
- ☆61Updated 3 months ago
- ☆44Updated last year
- Axiom Quickstart repository to help you quickly get something built with Axiom.☆30Updated last year
- ☆54Updated this week
- Out-of-circuit zkEVM implementation☆80Updated last year
- ☆25Updated last month
- Workshop for starknetCC (nextjs x starknetjs x cairo)☆16Updated 3 years ago
- Compare in-circuit and out-of-circuit VMs☆60Updated last year
- Smart contracts for onchain verification of SP1.☆123Updated last month
- Definitions of zkEVM opcodes (primary dependency for all other repos)☆37Updated last year
- Core smart contracts for Axiom V2.☆32Updated last year
- zkEVM proof generator reference written in Javascript☆82Updated 5 months ago
- ☆23Updated last year
- Implementation of zero-knowledge proof circuits for Blobstream, Celestia's data availability solution for Ethereum.☆61Updated last year
- Symbiotic Core smart contracts☆56Updated last month
- ☆63Updated last year
- ☀️ SUAVE Alpha Protocol Specifications☆41Updated last year
- Celestia -> EVM bridge☆137Updated last week
- Template repository for zkLLVM-based projects☆19Updated last year
- Curated list of ZKML models and use cases made with Giza☆51Updated last year
- High performance EraVM for zkSync.☆23Updated last month
- Implementation of an SP1 program to verify Blobstream, Celestia's data availability solution for Ethereum.☆28Updated 3 weeks ago
- Template for creating an SP1 project that can generate a proof of any RISC-V program and verify the proof on-chain.☆139Updated 4 months ago
- Go SDK for building AVSs on Eigenlayer☆76Updated last month
- This repo compiles .zkasm to a json ready for the zkExecutor☆31Updated last year
- A collection of works discussing the security aspects of StarkNet☆40Updated 11 months ago
- Polynomials Identity Language☆68Updated last year
- Learn how to debug a StarkNet smart contract☆48Updated 2 years ago