Author: Antoine Riard 2023-07-20 05:46:25+00:00
Published on: 2023-07-20T05:46:25+00:00
Antoine expresses agreement with Greg's development approach regarding starting small with consensus change primitives. Antoine mentions that taproot has demonstrated a good historical process and refers to the community-wide taproot review, which served as the basis for the Bitcoin Contracting Primitives WG. However, Antoine disagrees with the idea that BOLTs (Bitcoin Operational Lightning Tool Specifications) should have authority over the running code of implementations. He believes that each BOLT should be individually judged on its technical merits. Antoine also points out that there are areas of critical Lightning operations that are not documented by the BOLTs, such as fee-bumping and transaction broadcast reactions for on-chain DLCs.Antoine raises uncertainty about the technical fitness of Simplicity for small party channels. He recalls a presentation by Russell O'connor about Simplicity and questions how it would work in a chain of transactions, particularly in the context of off-chain states that advance independently from the on-chain state between multiple counterparties. Antoine suggests that a consensus should be reached regarding the model of logic used for analyzing such distributed systems, referencing Leslie Lamport's temporal logic.Furthermore, Antoine mentions that Xavier Leroy at the College de France is actively studying the theoretical foundations of the Coq prover. Antoine suggests that the insights gained from this research may be valuable for using formal verification in Bitcoin consensus changes development.
Updated on: 2023-08-11T15:34:56.315465+00:00