chainwayxyz / clementine
Citrea's BitVM Based Trust-Minimized Two-Way Peg Program
☆78Updated this week
Alternatives and similar repositories for clementine:
Users that are interested in clementine are comparing it to the libraries listed below
- BitVM Groth16 Verifier Toolkit - WIP☆77Updated 10 months ago
- ☆28Updated last year
- Bitcoin data-availability adapter written in Rust, allowing Madara to interact with Bitcoin as a data-availability layer. 🦀🧙♂️☆39Updated last year
- Building blocks of a Circle STARK verifier in Bitcoin script☆153Updated last week
- Bitcoin DA Adapter for Sovereign SDK☆46Updated last year
- Bitcoin as a Data Availability layer☆60Updated 2 months ago
- Experimental draft implementation of BitVM☆42Updated last year
- A curated list of resources around BitVM☆107Updated last week
- Demo of an onchain Bitcoin Vault using OP_CAT☆61Updated 7 months ago
- Validity rollup resources☆102Updated 8 months ago
- Arithmetic over the M31 or BabyBear field in Bitcoin Script☆27Updated 9 months ago
- Rust implementation of the Strata protocol☆73Updated this week
- STARK-proven Stateful Bitcoin client enabling hyper fast trustless sync and checkpoints.☆55Updated 2 years ago
- Gadgets for covenants: Schnorr trick and txid reflection☆17Updated this week
- Bitcoin Script VM in Cairo☆68Updated 3 months ago
- Bitcoin ZK client written in Cairo.☆61Updated last week
- Proof-of-concept on how to solve Bitcoin's light node sync problem with zkSNARKs☆59Updated last year
- Cairo prover powered by miniSTARK (compatible with StarkWare's verifiers)☆159Updated 3 months ago
- Bitcoin Script interpreter implemented in Rust☆52Updated 4 months ago
- Powering Verifiable Computation for Nostr Data Vending Machines.☆20Updated 5 months ago
- Examples of covenants in Bitcoin script☆16Updated 7 months ago
- Catnet custom Bitcoin signet with OP_CAT enabled, used to test implementation of Bitcoin Circle STARK Verifier 🐺-😺☆21Updated 10 months ago
- ☆23Updated last week
- ☆58Updated 5 months ago
- ☆39Updated 7 months ago
- A Cryptographic Library for Smooth Blockchain uses☆73Updated 4 months ago
- zkBitcoin: zero-knowledge proofs on Bitcoin!☆166Updated 8 months ago
- ☆75Updated this week
- Expander Compiler☆35Updated this week
- Core components of the Miden protocol☆77Updated this week