← Back to series

Delving Bitcoin

slug: delving-bitcoin

First-hand research posts on Delving Bitcoin: Bitcoin Inquisition signet experiments and covenant design, several with on-chain signet TXIDs in-thread.

Articles (8)

  1. #1

    Bitcoin Inquisition 29.2 (opcode experiment index)

    Inquisition 29.2 (on Core 29.3rc2) heretically activates BIP 118 (ANYPREVOUT), BIP 119 (CTV), BIP 347 (OP_CAT) and BIP 348 (CSFS) on signet — the opcode playground these experiments run on.

    —

  2. #2

    Eltoo State Chain on Signet — 3 rounds, 6 tx (APO+CTV)

    A three-round Eltoo-style state chain on Inquisition signet, each state UTXO a three-leaf Taproot tree (CTV settle, APO update, CSV escape) — six confirmed transactions.

    —

  3. #3

    Eltoo State Chain on Signet Again — 3 rounds, 2 tx (CSFS+CTV, rekey+ladder, no CAT)

    Same three-round scenario, primitive switched to CSFS+CTV: a single CSFS delegation ladder with CTV-enforced settlement compresses the six transactions down to two — no OP_CAT.

    —

  4. #4

    Challenge: Covenants for Braidpool

    Bob McElrath's open challenge to find covenant constructions for Braidpool's rolling coinbase aggregation (RCA → UHPO) custody; Aaron joined the thread with a reply.

    —

  5. #5

    What exactly is bound in CSFS, IK+CSFS, and CHECKSIG?

    An observable comparison of what three Tapscript constructions actually bind: CSFS binds a stack-supplied message (replayable), IK+CSFS binds identity, CHECKSIG binds the tx sighash (non-replayable).

    —

  6. #6

    Taproot-native prevout binding via sighash-preimage decomposition

    Binding one input's outpoint to another using the sha_prevouts field of the sighash preimage as the anchor — full witness layout for the CTV+CSFS BitVM-bridge binding problem.

    —

  7. #7

    CTV+CSFS: Can We Reach Consensus on a First Step Towards Covenants

    The long-running debate on whether CTV+CSFS is the right first covenant step — including whether it is truly equivalent to APO / Lightning Symmetry; Aaron participated in the discussion.

    —

  8. #8

    CTV / APO / CAT Activity on Signet

    AJ Towns' survey of how BIP 118 (APO), BIP 119 (CTV) and BIP 347 (OP_CAT) have actually been used on signet since 2022; Aaron participated in the thread.

    —