数学保证的对象是什么
讨论区块链数学发展的应用边界是什么，首先要明确保证对象。哈希、共识规则与确定性计算，主要处理数字记录及其状态变化：记录是否匹配、交易是否符合规则、相同输入能否得到一致结果。现实事件如何被观察、描述并输入系统，则涉及这些规则之外的条件。
记录完整性的边界
比特币开发者指南介绍，交易通过默克尔树汇总，区块通过前一区块的哈希相连，工作量证明增加改写历史的成本。这些机制支持记录校验及重复花费防护；安全性仍依赖相应的计算与网络条件。
由此可以区分两类问题：某条记录是否被修改，可以通过数字结构进行检查；记录描述的事情是否真实发生，需要额外证据。即使一份错误记录被完整保存，完整性验证也不会自动纠正其内容。
外部数据进入合约的边界
以太坊预言机文档说明，智能合约默认不能直接访问链外信息。预言机将外部数据引入链上，使节点能够基于共同输入执行合约，同时带来数据正确性、可用性和激励相容性问题。
以天气触发的农业保险为例，合约可以按输入判断约定条件是否成立，但观测地点、数据更新时间和异常处理规则都影响输入的含义。节点对计算结果达成一致，并不意味着它们独立核实了当地天气。
哪些条件下适用
规则清楚、输入能够明确表示、结果可以重复验证，是这类机制适用的重要条件。应用还需明确数据由谁提供、不同报告如何合并，以及数据缺失时如何处理。多方报告可以减少对单一报告者的依赖，但若各方使用同一错误来源，一致报告仍可能失真。
链外动作同样存在边界。链上条件成立后，外部系统可以接收信息并尝试执行动作，但现实设备是否正常工作，仍取决于设备和通信环节。链上验证覆盖到哪里，应与实际执行责任分开说明。
常见问题：数学进步能消除全部信任吗
更强的数学方法可以改善特定验证环节，却不能仅凭计算证明未经可靠观测的现实事实。评估一种区块链应用，应分别问：它验证了什么命题，输入从何而来，结论依赖哪些假设？只有这些问题有明确答案，才能判断技术保证是否覆盖实际需求。