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 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!"