Pinned Loading

1. bitcoin bitcoin Public

   Forked from bitcoin/bitcoin

   Bitcoin Core integration/staging tree

   C++

2. catnet catnet Public

   Forked from Bitcoin-Wildlife-Sanctuary/catnet

   Catnet custom Bitcoin Signet with SIGHASH_ANYPREVOUT (BIP-118), OP_CHECKTEMPLATEVERIFY (BIP-119) and OP_CAT (BIP-347) enabled, used to test implementation of Bitcoin Circle STARK Verifier 🐺-😺

   Python

3. risc0 risc0 Public

   Forked from risc0/risc0

   RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture.

   C++

4. bitcoin-circle-stark bitcoin-circle-stark Public

   Forked from Bitcoin-Wildlife-Sanctuary/bitcoin-circle-stark

   Building blocks of a Circle STARK verifier in Bitcoin script

   Rust

5. revm revm Public

   Forked from bluealloy/revm

   Rust implementation of the Ethereum Virtual Machine.

   Rust

6. stwo stwo Public

   Forked from Bitcoin-Wildlife-Sanctuary/stwo

   A fork of stwo for Bitcoin-friendly proof systems

   Rust