比特币财务证明账本：面向可追溯比特币财务的密码学框架

持有比特币的公公司及机构投资者面临日益增长的压力，要求在不暴露内部钱包结构或交易策略的前提下，展示盈余、管理风险并满足监管要求。本文引入了比特币财务证明账本（Treasury Proof Ledger, TPL），这是一种基于比特币的多域财务登记框架，将链上与链下暴露视为具有显式费用槽的守恒状态机。TPL实例记录储备快照、链上链下移动的运输凭证以及政策元数据，并支持基于利益相关方权限的受限视图。我们定义了理想化的TPL模型，将比特币财务视为多域暴露向量，给出部署级安全概念，包括暴露正确性、政策完备性、非等价性以及隐私兼容的政策视图。随后，我们阐述了如何通过结合标准储备证明与运输证明技术，结合基于比特币的哈希承诺，实现上述实用、受限形式的保证。结果为存在类型论断：它们展示了在特定经济与治理假设下，哪些保证是可实现的，而无需声称当前任何系统已经提供这些保证。一个 stylized 的企业财务示例说明了TPL如何支持负责任的透明度政策以及与比特币固定货币供应相容的未来跨机构检查。