Orbiter-Finance / zkspv-circuits
☆17Updated 9 months ago
Alternatives and similar repositories for zkspv-circuits:
Users that are interested in zkspv-circuits are comparing it to the libraries listed below
- A collection of works discussing the security aspects of StarkNet☆40Updated 3 months ago
- ☆42Updated 11 months ago
- ☆21Updated 7 months ago
- High performance EraVM for zkSync.☆23Updated last week
- ✨ 🐺 Starknet ERC20 token streaming protocol 💰⏳, inspired by Sablier.☆48Updated last year
- ☆25Updated this week
- ☆49Updated this week
- ZKsync fork of the LLVM framework.☆32Updated this week
- ☆58Updated 7 months ago
- Smart contracts for onchain verification of SP1.☆84Updated 3 weeks ago
- This repo compiles .zkasm to a json ready for the zkExecutor☆31Updated 5 months ago
- Implementation of zero-knowledge proof circuits for Blobstream, Celestia's data availability solution for Ethereum.☆59Updated 7 months ago
- Circuit infrastructure for Aztec 3.0☆13Updated last year
- Definitions of zkEVM opcodes (primary dependency for all other repos)☆37Updated 7 months ago
- zkEVM proof generator reference written in Javascript☆81Updated 2 months ago
- Workshop for starknetCC (nextjs x starknetjs x cairo)☆16Updated 2 years ago
- Out-of-circuit zkEVM implementation☆79Updated 7 months ago
- An efficient implementation of ECDSA on secp256r1 in Cairo☆23Updated last year
- ☆30Updated 2 months ago
- Bridge aTokens to Starknet☆44Updated last year
- A library implementing GPU-accelerated zkSync prover.☆27Updated 7 months ago
- Core SDK elements for Axiom, the ZK Coprocessor for Ethereum.☆36Updated 11 months ago
- ☆15Updated 9 months ago
- 🐺 Starknet Rust types 🦀☆69Updated this week
- customizable halo2 circuits batcher☆30Updated 2 weeks ago
- A toolkit for DAO-like governance on Starknet☆30Updated last month
- ☆21Updated last year
- Symbiotic Core smart contracts☆45Updated last week
- Semi-Fungible Token☆23Updated 6 months ago
- Compare in-circuit and out-of-circuit VMs☆59Updated 7 months ago