lambdaclass / starknet_rollup_on_bitcoin
Soverign rollup based on Rollkit, Cairo VM for the application layer and Bitcoin as a DA layer
☆13Updated last year
Related projects: ⓘ
- Minimal Merkle Tree implementations☆23Updated this week
- A Cairo VM prover implemented using Winterfell☆17Updated last year
- ZK Theorem Proving☆12Updated last month
- Groth16 verifier in EVM☆20Updated last year
- ☆23Updated last year
- ☆15Updated last week
- ☆39Updated 2 years ago
- ☆15Updated 8 months ago
- ☆30Updated last year
- Rust implementation of KZG point evaluation☆16Updated 3 weeks ago
- Discrete event simulator built in Rust 🦀☆13Updated last year
- Simple rust interface to get derived analytical information of algorithmic market making models (M3).☆12Updated last year
- ☆24Updated 7 months ago
- ☆21Updated last year
- A repository for the Leela VS the World project for On-Chain machine learning☆17Updated last year
- Andromeda revm execution service☆29Updated last month
- ☆30Updated last year
- ☆13Updated last year
- ☆15Updated this week
- P256 (a.k.a. secp256r1 elliptic curve) signature verification 🐍Vyper contract.☆19Updated this week
- Scikit-learn compatible Python library for generating ZK proofs of execution☆18Updated last year
- ☆13Updated this week
- A tool for single Ethereum archival block state proofs.☆33Updated 11 months ago
- relays blocks from the shared sequencer to the DA layer☆27Updated last year
- Terminal interface tracking gas, transactions and data processed by Decentralized Networks.☆14Updated last month
- A SIMD implementation of Keccak256 for aarch64, forked from Remco Bloeman's Goldilocks K12 implementation.☆19Updated 10 months ago
- An API compatible port of the Stone prover.☆13Updated last week
- A persistent, robust, and composable proposal service for rollup stacks written in pure rust.☆18Updated last year
- ☆17Updated last year
- A Cairo playground☆10Updated 2 years ago