Hazync开发者表示,根据8月15日披露的信息,一个独立的1.7 MB验证器在27毫秒内验证了一份226,434字节的加密收据,该收据涵盖比特币最初的1,789个区块。该结果仅适用于比特币历史的早期部分;从创世区块到当前链顶端的完整证明工作尚未完成。Hazync利用RISC Zero的零知识虚拟机(zkVM,即用于证明计算过程的系统)运行比特币验证规则,并生成一份紧凑型收据,其他参与者可以对其进行验证。该设计将高昂的证明生成工作集中在证明者手中,同时让规模大得多的群体能够检查收据。Hazync估计,完成历史数据回填约需17个GPU年,处理新区块所需的算力则相当于约6块英伟达L40S GPU。针对第741,000个区块的一项基准测试涉及670个输入和394个UTXO叶节点,使用两块L40S GPU分16个分块进行证明,耗时约55分钟,其中聚合耗时27分钟。该项目对全链的估算基于具有代表性的基准测试,而不是对比特币历史各个时期进行审计后得出的测量结果。收据与编译后访客程序的METHOD_ID绑定,因此软件变更可能使此前生成的工作失效;8月4日,在内部审计要求采用新的基线后,Hazync重启了其创世看板。该收据并不能取代归档运营商、比特币的最大工作量链选择规则或外部审查。归档机构必须保留交易、见证数据和签名数据,而节点仍需比较相互竞争的链顶端,审计人员则需评估访客程序及其证明组件。Hazync表示,其公开代码在8月接受了两次由人工智能辅助的外部审查,但专业审计仍未完成。因此,报告中的27毫秒验证时间仅涵盖有限的已证明范围,而17个GPU年则描述了一条尚未完成、通往比特币当前链顶端的路径。