Show HN: LIBR tracing with source ledger rows and byte-exact PDF verification
11 days ago
- #financial-forensics
- #deterministic-replay
- #ledger-tracing
- LIBR追踪是一种确定性的账本状态机，通过重播有序金融交易来计算可追踪余额。
- 当提款导致账户余额下降时，可追踪余额会减少，遵循规则：traceable_after = min(traceable_before, account_balance_after)。
- 后续的存款不会自动恢复先前因余额下降而减少的可追踪金额，这是LIBR的关键假设。
- 当日交易排序假设（例如：账本、最佳情况、最坏情况）会影响重播结果，但退出协议产品采用中性策略处理模糊性。
- 公共存储库提供了无依赖的Python代码、合成的CSV测试数据以及回归测试，以实现透明检查和可复现的结果。
- 退出协议产品通过私有工作流、基于角色的访问、财务记录标准化以及法律审查导出功能扩展了这一计算。