Orbiter-Finance / zkspv-circuits
☆17Updated 8 months ago
Alternatives and similar repositories for zkspv-circuits:
Users that are interested in zkspv-circuits are comparing it to the libraries listed below
- ☆49Updated this week
- ☆30Updated 3 weeks ago
- Aggregator for the zkEVM network that uses a stateless prover.☆19Updated 4 months ago
- ☆25Updated last month
- customizable halo2 circuits batcher☆30Updated 2 months ago
- A collection of works discussing the security aspects of StarkNet☆40Updated last month
- Core SDK elements for Axiom, the ZK Coprocessor for Ethereum.☆36Updated 10 months ago
- ZKsync fork of the LLVM framework.☆33Updated this week
- This repo compiles .zkasm to a json ready for the zkExecutor☆31Updated 4 months ago
- Circuit infrastructure for Aztec 3.0☆13Updated last year
- ✨ 🐺 Starknet ERC20 token streaming protocol 💰⏳, inspired by Sablier.☆48Updated last year
- Meeting notes and agenda items for the Builders Council☆19Updated 2 years ago
- ☆41Updated 10 months ago
- Bridge aTokens to Starknet☆44Updated last year
- ☆59Updated 6 months ago
- Definitions of zkEVM opcodes (primary dependency for all other repos)☆37Updated 6 months ago
- High performance EraVM for zkSync.☆23Updated 3 weeks ago
- ☆19Updated 8 months ago
- A toolkit for DAO-like governance on Starknet☆30Updated last week
- Implementation of zero-knowledge proof circuits for Blobstream, Celestia's data availability solution for Ethereum.☆59Updated 6 months ago
- Releases of the Vyper compiler for ZKsync.☆27Updated last month
- An efficient implementation of ECDSA on secp256r1 in Cairo☆23Updated last year
- Learn how to debug a StarkNet smart contract☆47Updated last year
- A library implementing GPU-accelerated zkSync prover.☆27Updated 6 months ago
- Compare in-circuit and out-of-circuit VMs☆60Updated 6 months ago
- Smart contracts for onchain verification of SP1.☆78Updated this week
- ZKsync fork of the original Solidity compiler.☆14Updated this week
- ☆21Updated 6 months ago
- 🐺 Starknet Rust types 🦀☆69Updated last week
- A library for encoding blobs into a 2D square of evenly sized chunks designed for sampling and reconstruction☆15Updated this week