FairgateLabs / rust-bitcoin-script-stack

Related projects: ⓘ

• Bitcoin-Wildlife-Sanctuary / covenants-gadgets
  Gadgets for covenants: Schnorr trick and txid reflection
  ☆13Updated last week
• BitVM / rust-bitcoin-m31-or-babybear
  Arithmetic over the M31 or BabyBear field in Bitcoin Script
  ☆25Updated last month
• zippiehq / rv32i-to-bitvm
  ☆15Updated 7 months ago
• pool2win / bitcoin-dsl
  Bitcoin DSL for scripting layer two contracts and interactions with bitcoin nodes
  ☆16Updated 3 weeks ago
• succinctlabs / btc-warp
  Proof-of-concept on how to solve Bitcoin's light node sync problem with zkSNARKs
  ☆57Updated last year
• Bitcoin-Wildlife-Sanctuary / catnet
  Catnet custom Bitcoin signet with OP_CAT enabled, used to test implementation of Bitcoin Circle STARK Verifier 🐺-😺
  ☆18Updated 2 months ago
• AbdelStark / askeladd
  Powering Verifiable Computation for Nostr Data Vending Machines.
  ☆14Updated last month
• supertestnet / bitvm-workshop
  Learn how to develop bitvm apps by building tic tac toe
  ☆16Updated 6 months ago
• distributed-lab / bitcoin-window-mul
  Windowed big integer multiplication implementation on Bitcoin Script
  ☆11Updated this week
• zig-bitcoin / bitcoin-primitives
  Libraries and primitives for Bitcoin, written in Zig.
  ☆14Updated this week
• Bitcoin-Wildlife-Sanctuary / covenants-examples
  Examples of covenants in Bitcoin script
  ☆13Updated 2 months ago
• BP-WG / bp-wallet
  Modern, lightweight & standard-compliant bitcoin wallet runtime & cli without rust-bitcoin dependencies
  ☆16Updated last week
• l2iterative / ll0
  Delve into low-level RISC Zero machine
  ☆27Updated 8 months ago
• ZeroSync / header_chain
  A STARK proof of Bitcoin's header chain
  ☆42Updated 4 months ago
• zkMIPS / zkm-prover
  A parallel proving service for ZKM.
  ☆16Updated last week
• bitcoin-stark / khepri
  STARK-proven Stateful Bitcoin client enabling hyper fast trustless sync and checkpoints.
  ☆54Updated 2 years ago
• ZeroSync / giza
  A Cairo VM prover implemented using Winterfell
  ☆17Updated last year
• LedgerHQ / moosig
  Fun with MuSig2 and Ledger devices 🎵
  ☆13Updated 2 months ago
• EDGDrummond / EF-grant
  ☆23Updated 10 months ago
• BitVM / rust-bitcoin-scriptexec
  Bitcoin Script interpreter implemented in Rust
  ☆44Updated last month
• rot256 / research-we-kzg
  Witness encryption for KZG openings
  ☆11Updated last month
• BitVM / bitvm-js
  Experimental draft implementation of BitVM
  ☆36Updated 6 months ago
• EthanHeilman / op_cat_draft
  ☆14Updated 8 months ago
• januszgrze / bitcoinrollups
  An educational website documenting the development of zk-rollups on Bitcoin.
  ☆12Updated 5 months ago
• DelphinusLab / zkWasm-prover
  ☆18Updated this week
• simonkamp / curve-trees
  ☆22Updated 2 months ago
• agglayer / pessimistic-proof
  Pessimistic proof for the AggLayer.
  ☆25Updated 2 months ago
• lyronctk / kzg-blob
  Prove multi-opens of EIP-4844 KZG blobs
  ☆14Updated last year
• kurtpan666 / hash-based-snargs-book-zh
  Source code for "Building Cryptographic Proofs from Hash Functions"
  ☆9Updated 2 months ago
• zig-bitcoin / coconut
  🥥 Cashu wallet and mint implementation in Zig
  ☆17Updated this week