tj2025 on Nostr: Abstract. We formalize the Bitcoin system described in Nakamoto's 2008 whitepaper as ...
Abstract.
We formalize the Bitcoin system described in Nakamoto's 2008 whitepaper as a compact topological manifold B_t evolving in discrete time. The Unspent Transaction Output (UTXO) set forms a dynamic graph embedded in this manifold, while the blockchain defines a cellular decomposition.
We prove that the Nakamoto consensus protocol (proof-of-work and longest chain rule) performs a continuous gauge-fixing operation, selecting a unique representative from the cohomology class of possible histories.
The Lightning Network is shown to be a sheaf over this base manifold, implementing étale cohomology for instant payments.
Bitcoin Cash and other content-relevant forks are characterized as Dehn surgeries on the base topology. This framework provides geometric proofs for the whitepaper's security assertions and reveals hidden topological invariants governing network behavior.
https://bsky.app/profile/tcoulon2025.bsky.social/post/3m7giwhqhsc2ePublished at
2025-12-07 21:55:18 UTCEvent JSON
{
"id": "2ee87711191737e401bc007e8a7831c75b5786eb5aa572bba7a011e6cfb81266",
"pubkey": "3a990c6f3753a8b94e4e84ff48aa2f6828843558bf06a552e083da3bd15d09a2",
"created_at": 1765144518,
"kind": 1,
"tags": [
[
"r",
"https://bsky.app/profile/tcoulon2025.bsky.social/post/3m7giwhqhsc2e"
]
],
"content": "Abstract. \n\nWe formalize the Bitcoin system described in Nakamoto's 2008 whitepaper as a compact topological manifold B_t evolving in discrete time. The Unspent Transaction Output (UTXO) set forms a dynamic graph embedded in this manifold, while the blockchain defines a cellular decomposition. \n\nWe prove that the Nakamoto consensus protocol (proof-of-work and longest chain rule) performs a continuous gauge-fixing operation, selecting a unique representative from the cohomology class of possible histories. \n\nThe Lightning Network is shown to be a sheaf over this base manifold, implementing étale cohomology for instant payments. \n\nBitcoin Cash and other content-relevant forks are characterized as Dehn surgeries on the base topology. This framework provides geometric proofs for the whitepaper's security assertions and reveals hidden topological invariants governing network behavior. \n\nhttps://bsky.app/profile/tcoulon2025.bsky.social/post/3m7giwhqhsc2e",
"sig": "64738e49a4bfe7b02d821045813bb552c439917941ca71ccb242ce3754329a25d26a0926095cb00bfbdf15af22b7b5ef8647d278b67723807c6803a543ab9368"
}