starkware-bitcoin / mikanLinks
Mikan π: The ZK Friendly DA Layer for Bitcoin L2s
β24Updated last week
Alternatives and similar repositories for mikan
Users that are interested in mikan are comparing it to the libraries listed below
Sorting:
- A privacy-preserving payment network. Enabling seamless off-chain transactions with bearer tokens backed by on-chain assets.β31Updated this week
- cairo-vm_in_C is a C implementation of the Cairo VM. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writβ¦β20Updated 2 years ago
- Verify a chain of x509 certificates in halo2β31Updated last year
- Blazing fast tool to benchmark Starknet sequencers π¦β24Updated 10 months ago
- RISC-V ELF interpreter in cairoβ35Updated 10 months ago
- β26Updated 2 weeks ago
- Cairo Merkle Mountain Rangeβ37Updated last year
- The Mobile first, Cpu AIR (aka zkVM), using M31 and Stwo's Max powerβ37Updated this week
- Starknet Stack let's you easily create new Cairo Starknet chains with their own sequencers, provers and verifiersβ43Updated last year
- Shenlong is a blazingly fast β‘ tool to generate LLVM IR from Cairo, written in Rust π¦β67Updated 2 years ago
- A FRI verifier circuit for the Halo2 proof systemβ76Updated 2 years ago
- Starknet sequencer built with Tendermint Coreβ53Updated 2 years ago
- A rust template that allows any rust dev to easily develop an app made for a zkVM, but abstracting which one to useβ54Updated 4 months ago
- A blazingly fast sdk for running proofs on the browser... and verifying them on-chainβ39Updated 2 years ago
- Client side zero-knowledge proving.β77Updated this week
- Monorepo for Summa Proof of Solvency Protocolβ98Updated last year
- β27Updated 4 months ago
- A collection of ZK light client libraries for various blockchainsβ58Updated 8 months ago
- Adapt your STARK stone proofs for verifications on Ethereumβ17Updated 10 months ago
- β42Updated 10 months ago
- Diamond iO implementation https://eprint.iacr.org/2025/236β78Updated 2 weeks ago
- β40Updated 3 months ago
- Rust implementation of KZG point evaluationβ33Updated 3 weeks ago
- Writing tasm with Rust syntaxβ14Updated 3 months ago
- Basic scaffolding for setting up and writing a Halo2 ZK circuitβ109Updated last year
- Old, obsolete version of the Valida compiler; its replacement will become public laterβ51Updated 2 years ago
- barretenburg in rust (here we go)β98Updated last year
- A community-developed re-implementation of the Starkware Stone Proverβ69Updated 10 months ago
- Implementation of zero-knowledge proof circuits for Blobstream, Celestia's data availability solution for Ethereum.β61Updated last year
- β60Updated last year