KasarLabs / bitcoin-da
Bitcoin data-availability adapter written in Rust, allowing Madara to interact with Bitcoin as a data-availability layer. 🦀🧙♂️
☆39Updated 10 months ago
Related projects: ⓘ
- Building blocks of a Circle STARK verifier in Bitcoin script☆114Updated this week
- STARK-proven Stateful Bitcoin client enabling hyper fast trustless sync and checkpoints.☆54Updated 2 years ago
- Bitcoin Script VM in Cairo☆52Updated this week
- Bitcoin as a Data Availability layer☆59Updated this week
- Proof-of-concept on how to solve Bitcoin's light node sync problem with zkSNARKs☆57Updated last year
- Catnet custom Bitcoin signet with OP_CAT enabled, used to test implementation of Bitcoin Circle STARK Verifier 🐺-😺☆18Updated 2 months ago
- ☆35Updated last year
- Arithmetic over the M31 or BabyBear field in Bitcoin Script☆25Updated last month
- ☆18Updated last month
- Lecture notes & exercises from Sparkling Water Bootcamp in Cryptography 0b10.☆26Updated 2 months ago
- BitVM Groth16 Verifier Toolkit - WIP☆74Updated 2 months ago
- Validity rollup resources☆101Updated last month
- Bitcoin DA Adapter for Sovereign SDK☆44Updated 5 months ago
- Cairo prover powered by miniSTARK (compatible with StarkWare's verifiers)☆156Updated 6 months ago
- RISC-V ELF interpreter in cairo☆21Updated last month
- A curated list of resources around BitVM☆80Updated this week
- Anonymous Proof of Ethereum Address Ownership☆36Updated this week
- Bitcoin ZK client written in Cairo.☆20Updated this week
- Anon, prove your everAI on starknet — everAI mirroring☆11Updated 10 months ago
- Starknet Stack let's you easily create new Cairo Starknet chains with their own sequencers, provers and verifiers☆42Updated last year
- A community-developed re-implementation of the Starkware Stone Prover☆70Updated 7 months ago
- Citrea's BitVM Based Trust-Minimized Two-Way Peg Program☆54Updated this week
- Bitcoin protocol implementation in Zig.☆29Updated this week
- A comprehensive library for Cairo 🐺☆37Updated last month
- ☆15Updated 7 months ago
- Powering Verifiable Computation for Nostr Data Vending Machines.☆14Updated last month
- ☆61Updated this week
- An efficient implementation of ECDSA on secp256r1 in Cairo☆23Updated last year
- A collection of works discussing the security aspects of StarkNet☆36Updated last year
- A blazingly fast sdk for running proofs on the browser... and verifying them on-chain☆39Updated last year