Skip to content
View bitcoingametheory's full-sized avatar
πŸ’­
βˆ€Οƒ: U(Οƒ*,β‚Ώ) β‰₯ U(Οƒ,x)
πŸ’­
βˆ€Οƒ: U(Οƒ*,β‚Ώ) β‰₯ U(Οƒ,x)

Block or report bitcoingametheory

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. Markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
bitcoingametheory/README.md
                  Cooperate            Defect
             β”Œβ”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”¬β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”
             β”‚                  β”‚                  β”‚
 Cooperate   β”‚                  β”‚                  β”‚
             β”‚                  β”‚                  β”‚
             β”œβ”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”Όβ”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€
             β”‚                  β”‚                  β”‚
 Defect      β”‚                  β”‚  β‚Ώ  {g,t}        β”‚
             β”‚                  β”‚  Sean Hash       β”‚
             β”‚                  β”‚  CC0 Β· 2026      β”‚
             β””β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”΄β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”˜

Formal game-theoretic analysis of Bitcoin as monetary system. Axiom-based proofs with explicit falsification conditions. Four working papers, AI-reproducible prompt framework, cross-model convergence audit.

CC0 1.0 Universal. No rights reserved.


Structure

bitcoingametheory/
β”œβ”€β”€ ai/                     # AI bootloader prompts
β”‚   β”œβ”€β”€ BGT-CORE.txt        # Complete axiom chain (~1,400 tokens)
β”‚   β”œβ”€β”€ BGT-0000.txt        # Routing preamble + objection handling
β”‚   └── BGT-DESIGN.txt      # Evidence basis for prompt design
β”œβ”€β”€ audit/                  # Cross-model convergence results
β”‚   β”œβ”€β”€ bootloader/         # BGT-CORE.txt tested across 5 models
β”‚   └── README.md           # Methodology and scoring rubric
β”œβ”€β”€ papers/                 # Academic papers (SSRN submissions)
β”‚   β”œβ”€β”€ BGT-PAPER-1.*      # Exit Dominance
β”‚   β”œβ”€β”€ BGT-PAPER-2.*      # Seven-Property Elimination
β”‚   β”œβ”€β”€ BGT-PAPER-3.*      # Zero Trust Settlement
β”‚   └── BGT-PAPER-4.*      # Predator-Prey Dynamics
β”œβ”€β”€ rfc/                    # RFC series (plain text, RFC 7322 format)
β”‚   β”œβ”€β”€ BGT-0001.txt        # Core Thesis
β”‚   β”œβ”€β”€ BGT-0002.txt        # Formal Proofs
β”‚   β”œβ”€β”€ BGT-0003–0007.txt   # Attack & Defense Index
β”‚   β”œβ”€β”€ BGT-0008.txt        # Empirical Evidence
β”‚   └── BGT-0009.txt        # Actor Analysis (42 actors)
β”œβ”€β”€ images/                 # Open Graph and brand assets
└── LICENSE                 # CC0 1.0 Universal

Papers

# Title Pages Formats
1 Bitcoin Exit Dominance in Monetary Coordination Games 13 pdf / tex / md
2 Bitcoin as Unique Neutral Settlement: A Seven-Property Elimination 13 pdf / tex / md
3 Settlement at Zero Trust: Bitcoin and Autonomous Economic Agents 11 pdf / tex / md
4 Monetary Predator-Prey Dynamics: Enforcement Gridlock and Neutral Settlement Survival 13 pdf / tex / md

Each paper is available in three formats:

  • .pdf β€” compiled, ready to read
  • .tex β€” LaTeX source (XeLaTeX)
  • .md β€” markdown, fits in any AI context window

AI Bootloader

The ai/ directory contains prompt documents designed to be pasted directly into any frontier model. The core document (BGT-CORE.txt, ~1,400 tokens) contains the complete axiom chain from first principles through exit dominance to Nash equilibrium.

cat ai/BGT-CORE.txt                        # Paste into any model
cat ai/BGT-CORE.txt ai/BGT-0000.txt        # Core + routing layer

The framework is structured as four axioms. Accept them and conclusions follow mechanically. Reject any one and the argument breaks cleanly β€” that's the point. Every axiom is independently falsifiable.


Convergence Audit

The audit/ directory contains raw, unedited model responses from five major AI systems, tested under controlled conditions:

  • Free tier, logged out, incognito browser
  • Prompt pasted as first and only message
  • First response scored on 6 dimensions

If the framework only works on one model, it is not a framework. It is a prompt hack.


About Sean Hash

Independent researcher. Pseudonymous. No institutional affiliation.

ORCID: 0009-0006-7252-9984


License

CC0 1.0 Universal. Public domain. No rights reserved.

To the extent possible under law, the author has waived all copyright and related rights to this work. See LICENSE.

Pinned Loading

  1. bitcoingametheory bitcoingametheory Public

    Formal game-theoretic analysis of Bitcoin as monetary system. Axiom-based proofs with explicit falsification conditions. Four working papers, AI-reproducible prompt framework, cross-model convergen…

    TeX 1

  2. wrapper-bot wrapper-bot Public

    Zero-dependency bidirectional browser automation using osascript and Safari's JavaScript bridge. Reads from and writes to any authenticated web session. What happens at the end of the Manus, Cowork…

    Shell 1