Orbiter-Finance / zkspv-circuits
☆16Updated 3 months ago
Related projects: ⓘ
- A collection of works discussing the security aspects of StarkNet☆36Updated last year
- ☆34Updated this week
- ☆19Updated last month
- Aggregator for the zkEVM network that uses a stateless prover.☆18Updated this week
- ✨ 🐺 Starknet ERC20 token streaming protocol 💰⏳, inspired by Sablier.☆45Updated 7 months ago
- ☆40Updated 5 months ago
- Meeting notes and agenda items for the Builders Council☆17Updated last year
- ☆28Updated last week
- Bridge aTokens to Starknet☆44Updated last year
- Core SDK elements for Axiom, the ZK Coprocessor for Ethereum.☆36Updated 5 months ago
- Implementation of zero-knowledge proof circuits for Blobstream, Celestia's data availability solution for Ethereum.☆59Updated last month
- High performance EraVM for zkSync.☆21Updated this week
- ☆59Updated last month
- ZKsync fork of the LLVM framework☆30Updated this week
- Symbiotic Core smart contracts☆31Updated last week
- ☀️ SUAVE Alpha Protocol Specifications☆35Updated 2 months ago
- Learn how to debug a StarkNet smart contract☆47Updated last year
- Go SDK for building AVSs on Eigenlayer☆62Updated last week
- ☆35Updated this week
- Verifier contracts for onchain verification of SP1.☆55Updated this week
- Circuit infrastructure for Aztec 3.0☆12Updated last year
- ☆15Updated this week
- 🐺 Starknet Rust types 🦀☆62Updated this week
- An Attestation Registry for securely using Smart Account Modules☆39Updated 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.☆62Updated this week
- Definitions of zkEVM opcodes (primary dependency for all other repos)☆38Updated last month
- Secure-Signer☆56Updated 4 months ago
- Liquidity aggregator written in Cairo☆34Updated 3 weeks ago
- Ethereum <> Starknet RPC middleware.☆34Updated 2 weeks ago
- A community project to standardise plugins in StarkNet account contracts☆21Updated last year