lambdaclass / starknet_rollup_on_bitcoinView external linksLinks
Soverign rollup based on Rollkit, Cairo VM for the application layer and Bitcoin as a DA layer
☆13Jul 14, 2023Updated 2 years ago
Alternatives and similar repositories for starknet_rollup_on_bitcoin
Users that are interested in starknet_rollup_on_bitcoin are comparing it to the libraries listed below
Sorting:
- 🔴 💬 A hack for the OP Stack enabling sequencer commitments.☆28Dec 4, 2023Updated 2 years ago
- OS for next iteration of the world computer☆43Aug 24, 2023Updated 2 years ago
- Docs and utils for the Zero-knowledge state bridge from Mina to Ethereum☆97Nov 6, 2025Updated 3 months ago
- Writing MACI circuits in Noir☆16Oct 8, 2023Updated 2 years ago
- plonky2 implementation of bn254 pairing☆19Feb 1, 2024Updated 2 years ago
- relays blocks from the shared sequencer to the DA layer☆27May 25, 2023Updated 2 years ago
- An ABI compatible for KZG EIP-4844 in Rust☆23Jun 2, 2023Updated 2 years ago
- FHE in the Risc0 zkVM☆25Nov 16, 2023Updated 2 years ago
- Groth16 verifier in EVM☆23Jul 8, 2023Updated 2 years ago
- Bitcoin data-availability adapter written in Rust, allowing Madara to interact with Bitcoin as a data-availability layer. 🦀🧙♂️☆38Oct 27, 2023Updated 2 years ago
- Bitcoin DA Adapter for Sovereign SDK☆46Mar 28, 2024Updated last year
- storage proof made by sp1☆25Sep 20, 2024Updated last year
- Modular aggregated order book for CeFi exchanges☆14May 25, 2023Updated 2 years ago
- Tornado cash fork with blacklist to prevent illegal money laundering☆10Mar 13, 2023Updated 2 years ago
- Starknet Stack let's you easily create new Cairo Starknet chains with their own sequencers, provers and verifiers☆43Sep 12, 2023Updated 2 years ago
- A community-developed re-implementation of the Starkware Stone Prover☆69Oct 29, 2024Updated last year
- Proof-of-concept on how to solve Bitcoin's light node sync problem with zkSNARKs☆60May 19, 2023Updated 2 years ago
- ☆10Sep 15, 2023Updated 2 years ago
- Superset of Yul☆17Aug 11, 2025Updated 6 months ago
- Rust client library for Flashbot's mev-share.☆20Apr 19, 2023Updated 2 years ago
- Tendermint implementation of the blockchain of Aleo verifiable computing model built by LambdaClass☆15Feb 8, 2023Updated 3 years ago
- Prove multi-opens of EIP-4844 KZG blobs☆16Jun 15, 2023Updated 2 years ago
- A tool for single Ethereum archival block state proofs.☆35Oct 19, 2023Updated 2 years ago
- ☆15Dec 27, 2023Updated 2 years ago
- repository for core circom and smart contract☆13Apr 23, 2023Updated 2 years ago
- 🦄 UniswapV3 fork that computes swaps off-chain in a zero-knowledge virtual machine☆84Oct 24, 2023Updated 2 years ago
- Elliptic Curve Fast Fourier Transform built on @arkworks-rs☆67Jun 18, 2023Updated 2 years ago
- Code for Dynamic Pricing for Non-fungible Resources☆17Oct 31, 2022Updated 3 years ago
- partnership with DelphinusLab targeting on trustless offchain monitor.☆14Jan 26, 2024Updated 2 years ago
- A compiler to convert Cairo's intermediate representation "Sierra" code to MLIR.☆137Updated this week
- Secure and performant zkEVM compiled from evmone via zkLLVM☆16Jan 3, 2024Updated 2 years ago
- STARK-proven Stateful Bitcoin client enabling hyper fast trustless sync and checkpoints.☆53Sep 12, 2022Updated 3 years ago
- Poseidon Rust library☆38Mar 13, 2023Updated 2 years ago
- STARK 101 Workshop in Rust 🐺🦀☆140Apr 28, 2023Updated 2 years ago
- zkDatabase, a distributed off-chain database with ZK prover☆59Feb 12, 2025Updated last year
- Benchmarking framework for general purpose zero-knowledge proofs languages and libraries☆102Dec 2, 2024Updated last year
- To bring zero knowledge privacy primitives to all web3 developers.☆13Oct 20, 2023Updated 2 years ago
- ☆17Feb 13, 2023Updated 3 years ago
- ☆14Feb 7, 2023Updated 3 years ago