chainwayxyz / clementineLinks
Citrea's BitVM Based Trust-Minimized Two-Way Peg Program
☆84Updated this week
Alternatives and similar repositories for clementine
Users that are interested in clementine are comparing it to the libraries listed below
Sorting:
- BitVM Groth16 Verifier Toolkit - WIP☆77Updated 10 months ago
- ☆27Updated last year
- Building blocks of a Circle STARK verifier in Bitcoin script☆155Updated last week
- A curated list of resources around BitVM☆109Updated last month
- Bitcoin as a Data Availability layer☆59Updated 3 months ago
- Bitcoin ZK client written in Cairo.☆64Updated last week
- Experimental draft implementation of BitVM☆43Updated last year
- Bitcoin data-availability adapter written in Rust, allowing Madara to interact with Bitcoin as a data-availability layer. 🦀🧙♂️☆38Updated last year
- Bitcoin Script VM in Cairo☆69Updated 4 months ago
- Rust implementation of the Alpen protocol☆73Updated this week
- Bitcoin DA Adapter for Sovereign SDK☆46Updated last year
- Validity rollup resources☆102Updated 9 months ago
- Demo of an onchain Bitcoin Vault using OP_CAT☆61Updated 8 months ago
- Gadgets for covenants: Schnorr trick and txid reflection☆17Updated last month
- Bitcoin Script interpreter implemented in Rust☆52Updated 5 months ago
- zkBitcoin: zero-knowledge proofs on Bitcoin!☆166Updated 9 months ago
- ☆23Updated last week
- Arithmetic over the M31 or BabyBear field in Bitcoin Script☆27Updated 10 months ago
- BOB is a hybrid L2 that combines the security of Bitcoin with the versatility of Ethereum.☆107Updated this week
- ☆59Updated 6 months ago
- STARK-proven Stateful Bitcoin client enabling hyper fast trustless sync and checkpoints.☆55Updated 2 years ago
- Citrea, Bitcoin's First ZK Rollup 🍊🍋☆175Updated this week
- Reference implementation of the node for the Miden blockchain☆64Updated this week
- ☆21Updated 9 months ago
- Opensource code to replicate the whole process of BitVM white paper☆28Updated last year
- Examples of covenants in Bitcoin script☆16Updated 8 months ago
- ☆39Updated 8 months ago
- Powering Verifiable Computation for Nostr Data Vending Machines.☆20Updated 6 months ago
- Helper lib to write complex bitcoin scripts☆21Updated last month
- Cairo prover powered by miniSTARK (compatible with StarkWare's verifiers)☆160Updated 4 months ago