AztecProtocol / engineering-designsLinks
Internal engineering designs
β11Updated last week
Alternatives and similar repositories for engineering-designs
Users that are interested in engineering-designs are comparing it to the libraries listed below
Sorting:
- πΊ Starknet Rust types π¦β72Updated this week
- β70Updated last week
- All of Aztec's workshops, resources, tutorials, ideas, and useful toolsβ61Updated this week
- Kakarot zkEVM - rewrite in the latest version of Cairoβ135Updated 7 months ago
- Smart contracts for onchain verification of SP1.β109Updated last month
- The schelling point for ZK applications.β141Updated last year
- Succinct's Production-Grade Proving Engine for the OP Stackβ182Updated last week
- A framework to build smart contracts on the Fluent L2 as well as blockchains and verifiable compute environments that compile to rWasmβ77Updated this week
- β54Updated this week
- Code for Counter Workshop using latest Starknet syntax.β49Updated 8 months ago
- Kakarot ZK EVM Ethereum RPC adapterβ135Updated 7 months ago
- A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.β132Updated last week
- Synthetics platform for Starknet, inspired by GMX v2 design.β112Updated last year
- Specification of P2P protocol for StarkNet nodesβ49Updated last month
- Mirror of AztecProtocol/aztec-packages/aztec-nrβ121Updated this week
- A toolkit for DAO-like governance on Starknetβ30Updated 5 months ago
- Rust Library for running the Starknet OS via the Cairo VMβ66Updated 2 months ago
- Liquidity aggregator written in Cairoβ38Updated last month
- Blockifier is a Rust implementation for the transaction-executing component in the StarkNet sequencer, in charge of creating state diffs β¦β171Updated 2 months ago
- Template for creating an SP1 project that can generate a proof of any RISC-V program and verify the proof on-chain.β130Updated 3 weeks ago
- β44Updated 3 months ago
- β142Updated this week
- β¨ πΊ Starknet ERC20 token streaming protocol π°β³, inspired by Sablier.β49Updated last year
- Code for Account Abstraction workshop using latest Starknet syntaxβ24Updated last year
- A collection of works discussing the security aspects of StarkNetβ40Updated 7 months ago
- Public ABIs for the Ekubo contractsβ29Updated 2 months ago
- starknet-stakingβ94Updated last week
- ArkProject is a liquidity layer for digital assets, uniting markets, empowering creators, and bridging the gap to mass adoption. Built onβ¦β29Updated 4 months ago
- Out-of-circuit zkEVM implementationβ80Updated 11 months ago
- The new proof-powered L1 to build the next generation of apps.β93Updated this week