Bitcoin Optech #273: Payments Contingent on Arbitrary Computation

This week’s newsletter briefly mentions a recent security disclosure affecting LN users, describes a paper about making payments contingent on the result of running arbitrary programs, and announces a proposed BIP to add fields to PSBTs for MuSig2.

Bitcoin Optech #273: Payments Contingent on Arbitrary Computation

Bitcoin Optech newsletter #273 is here:

  • Antoine Riard posted to the Bitcoin-Dev and Lightning-Dev mailing list the full disclosure of an issue he had previously responsibly disclosed to developers working on the Bitcoin protocol and various popular LN implementations...
  • Robin Linus posted to the Bitcoin-Dev mailing list a paper he’s written about BitVM, a combination of methods that allows bitcoins to be paid to someone who successfully proves that an arbitrary program executed successfully. Notably, this is possible on Bitcoin today - no consensus change is required...
  • Andrew Chow posted to the Bitcoin-Dev mailing list with a draft BIP, partly on prior work by Sanket Kanjalkar, for adding several fields to all versions of PSBTs for the "keys, public nonces, and partial signatures produced with MuSig2."
  • Bitcoin Core 24.2rc2 and Bitcoin Core 25.1rc1 are release candidates for maintenance versions of Bitcoin Core.
  • "Bitcoin Optech will host an audio recap discussion of this newsletter with special guests Robin Linus and Antoine Poinsot on Twitter Spaces Thursday at 15:00 UTC. Join us to discuss or ask questions!"

Full Newsletter
Archive