Skip to content

@Bitcoin-Wildlife-Sanctuary Bitcoin Wildlife Sanctuary

Change the repository type filter

All

    Repositories list

    33 repositories

    • bitcoin-circle-stark

      Public
      Building blocks of a Circle STARK verifier in Bitcoin script
      bitcoinstarkzero-knowledge-proofop-cat
      Rust
      •
      MIT License
      •25•150•0•1•Updated Mar 27, 2025Mar 27, 2025

    • recursive-stwo

      Public
      Arkworks implementation of the recursive verifier (for Rust expressiveness)
      Rust
      •
      MIT License
      •0•0•0•0•Updated Mar 26, 2025Mar 26, 2025

    • stwo-circle-poseidon-plonk

      Public
      Implementation of Circle Plonk + Poseidon31
      Rust
      •
      Apache License 2.0
      •125•1•0•0•Updated Mar 26, 2025Mar 26, 2025

    • recursive-stwo-bitcoin

      Public
      DSL, primitives, and other components for verifying the recursive Stwo proofs
      Rust
      •
      MIT License
      •0•1•0•0•Updated Mar 24, 2025Mar 24, 2025

    • pontis

      Public
      OP_CAT-Enabled Bitcoin <> Starknet Bridge POC
      TypeScript
      •1•0•0•1•Updated Mar 21, 2025Mar 21, 2025

    • poseidon2-qm31

      Public
      Poseidon2 directly over the degree-4 extension
      MIT License
      •0•0•0•0•Updated Mar 8, 2025Mar 8, 2025

    • circle-plonk-recursive-verifier-circom

      Public archive
      Circom for the Circle Plonk recursive verifier
      Circom
      •
      MIT License
      •0•3•0•0•Updated Jan 16, 2025Jan 16, 2025

    • circle-plonk

      Public
      Using stwo to implement a Plonk prover and verifier over Circle STARK
      Rust
      •
      Other
      •2•3•0•0•Updated Jan 3, 2025Jan 3, 2025

    • poseidon2-m31

      Public
      Poseidon2 over the M31 field
      Rust
      •
      MIT License
      •0•0•0•0•Updated Jan 2, 2025Jan 2, 2025

    • stwo

      Public
      A fork of stwo for Bitcoin-friendly proof systems
      Rust
      •
      Apache License 2.0
      •125•0•0•1•Updated Dec 24, 2024Dec 24, 2024

    • circom

      Public
      zkSnark circuit compiler
      Rust
      •
      GNU General Public License v3.0
      •306•0•0•0•Updated Dec 23, 2024Dec 23, 2024

    • circom-compat

      Public
      Arkworks bindings to Circom's R1CS, for Groth16 Proof and Witness generation in Rust.
      Rust
      •
      Apache License 2.0
      •123•0•0•0•Updated Dec 19, 2024Dec 19, 2024

    • dsl

      Public
      Compiler infrastructure for Bitcoin Script
      Rust
      •
      MIT License
      •1•3•0•0•Updated Dec 14, 2024Dec 14, 2024

    • rust-bitcoin-scriptexec

      Public
      Bitcoin Script interpreter implemented in Rust
      Rust
      •
      Creative Commons Zero v1.0 Universal
      •27•2•0•0•Updated Dec 14, 2024Dec 14, 2024

    • bitvm-stark-verifier

      Public
      A memory abstraction in BitVM
      Rust
      •
      MIT License
      •0•1•0•0•Updated Dec 14, 2024Dec 14, 2024

    • fraud-proof-compiler

      Public
      Compile the code into a fraud proof version
      Rust
      •
      MIT License
      •1•3•1•0•Updated Dec 11, 2024Dec 11, 2024

    • scrypt-poc-bridge

      Public
      TypeScript
      •3•11•1•0•Updated Nov 12, 2024Nov 12, 2024

    • rust-bitcoin-m31-acc

      Public
      Rust
      •
      MIT License
      •2•2•0•0•Updated Oct 27, 2024Oct 27, 2024

    • opcat-slides

      Public
      Deck for some OP-CAT related talks
      MIT License
      •0•2•0•0•Updated Oct 26, 2024Oct 26, 2024

    • covenants-examples

      Public archive
      Examples of covenants in Bitcoin script
      Rust
      •
      MIT License
      •4•15•1•0•Updated Oct 2, 2024Oct 2, 2024

    • covenants-gadgets

      Public
      Gadgets for covenants: Schnorr trick and txid reflection
      Rust
      •
      MIT License
      •6•16•0•2•Updated Oct 2, 2024Oct 2, 2024

    • fibonacci-example-non-table

      Public archive
      Implementation and demo of the Fibonacci example
      Rust
      •
      MIT License
      •0•3•0•0•Updated Oct 1, 2024Oct 1, 2024

    • bitcoin-simulator

      Public
      a simulator of a local bitcoin testnet based on Rust and Sqlite
      Rust
      •
      MIT License
      •6•7•0•0•Updated Sep 30, 2024Sep 30, 2024

    • rust-bitcoin-m31

      Public
      Arithmetic over the M31 field in Bitcoin Script
      Rust
      •
      MIT License
      •13•2•0•0•Updated Sep 30, 2024Sep 30, 2024

    • rust-bitcoin-script

      Public
      Inline Bitcoin scripts in Rust
      Rust
      •22•2•0•0•Updated Sep 30, 2024Sep 30, 2024

    • BitVM

      Public
      Smarter Bitcoin Contracts
      Rust
      •138•1•0•0•Updated Sep 25, 2024Sep 25, 2024

    • btcwild.life

      Public
      Bitcoin Wildlife Conservatorium website
      bitcoinstarkop-cat
      TypeScript
      •
      MIT License
      •4•1•0•1•Updated Aug 8, 2024Aug 8, 2024

    • catgolfing

      Public
      Bitcoin Circle Stark performance contest.
      bitcoinzero-knowledgebitcoin-scriptzero-knowledge-proofsstarks
      JavaScript
      •1•1•0•0•Updated Jul 23, 2024Jul 23, 2024

    • r1cs-std

      Public
      R1CS constraints for bits, fields, and elliptic curves
      Rust
      •
      Apache License 2.0
      •74•1•0•0•Updated Jul 18, 2024Jul 18, 2024

    • catnet

      Public
      Catnet custom Bitcoin signet with OP_CAT enabled, used to test implementation of Bitcoin Circle STARK Verifier 🐺-😺
      bitcoinstarkop-cat
      Python
      •
      MIT License
      •5•20•0•0•Updated Jun 25, 2024Jun 25, 2024