Skip to content

@Bitcoin-Wildlife-Sanctuary Bitcoin Wildlife Sanctuary

Change the repository type filter

All

    Repositories list

    36 repositories

    • bitcoin-circle-stark

      Public
      Building blocks of a Circle STARK verifier in Bitcoin script
      bitcoinstarkzero-knowledge-proofop-cat
      Rust
      •
      MIT License
      •23•153•0•5•Updated Sep 4, 2025Sep 4, 2025

    • recursive-stwo-cairo

      Public
      Arkworks implementation of the recursive verifier (for Rust expressiveness)
      Rust
      •
      MIT License
      •1•0•0•0•Updated Jun 19, 2025Jun 19, 2025

    • recursive-stwo

      Public
      Arkworks implementation of the recursive verifier (for Rust expressiveness)
      Rust
      •
      MIT License
      •1•3•0•0•Updated Jun 19, 2025Jun 19, 2025

    • stwo-circle-poseidon-plonk

      Public
      Implementation of Circle Plonk + Poseidon31
      Rust
      •
      Apache License 2.0
      •153•4•0•0•Updated Jun 19, 2025Jun 19, 2025

    • rust-bitcoin-m31

      Public
      Arithmetic over the M31 field in Bitcoin Script
      Rust
      •
      MIT License
      •13•1•0•0•Updated Jun 10, 2025Jun 10, 2025

    • cairo-recursion-export

      Public
      Rust
      •
      MIT License
      •0•0•0•0•Updated May 14, 2025May 14, 2025

    • stwo-for-cairo-export

      Public
      Rust
      •
      Apache License 2.0
      •153•0•0•0•Updated May 6, 2025May 6, 2025

    • recursive-stwo-bitcoin

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

    • covenants-gadgets

      Public
      Gadgets for covenants: Schnorr trick and txid reflection
      Rust
      •
      MIT License
      •5•16•0•2•Updated May 4, 2025May 4, 2025

    • bitcoin-simulator

      Public
      a simulator of a local bitcoin testnet based on Rust and Sqlite
      Rust
      •
      MIT License
      •5•7•0•0•Updated May 4, 2025May 4, 2025

    • pontis

      Public
      OP_CAT-Enabled Bitcoin <> Starknet Bridge POC
      TypeScript
      •2•2•0•1•Updated Apr 11, 2025Apr 11, 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
      •153•0•0•1•Updated Dec 24, 2024Dec 24, 2024

    • circom

      Public
      zkSnark circuit compiler
      Rust
      •
      GNU General Public License v3.0
      •332•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
      •129•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•1•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
      •0•2•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
      •3•16•1•0•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

    • rust-bitcoin-script

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

    • BitVM

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

    • btcwild.life

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