Other repositories

Developers are also welcome to contribute to the following repositories to support the Bitcoin Wildlife project.

1. Covenants and Experimental Opcodes

  • covenants-gadgets: Gadgets for covenants: Schnorr trick and txid reflection.
  • covenants-examples: Examples of covenants in Bitcoin script.
  • catnet: Custom Bitcoin signet with OP_CAT enabled, used to test the implementation of Bitcoin Circle STARK Verifier.
  • rust-bitcoin-m31-with-muldiv: Arithmetic over the M31 field assuming OP_MUL and OP_DIV in Bitcoin Script.

2. Bitcoin-friendly Cryptography

  • bitcoin-circle-stark: Building blocks of a Circle STARK verifier in Bitcoin script.
  • catgolfing: Bitcoin Circle Stark performance contest.
  • stwo: A fork of stwo for Bitcoin-friendly proof systems.
  • stwo-bedd93: A fork of stwo for Bitcoin-friendly proof systems (archived).
  • rust-bitcoin-m31: Arithmetic over the M31 or BabyBear field in Bitcoin Script.

3. General Cryptography

  • r1cs-to-circle-plonk: A transpiler, prover, and verifier for proving R1CS in Circle Plonk.
  • circle-plonk: Using stwo to implement a Plonk prover and verifier over Circle STARK.
  • circom-compat: Arkworks bindings to Circom's R1CS, for Groth16 Proof and Witness generation in Rust.
  • circom: zkSnark circuit compiler.
  • r1cs-std: R1CS constraints for bits, fields, and elliptic curves.
  • fri-study: Study and implementation of the FRI (Fast Reed-Solomon Interactive Oracle Proofs of Proximity) protocol in Rust.

4. Bitcoin Script in Rust

5. Development Tooling or Miscellaneous