ZeroSync协会将零知识证明引入比特币网络
新成立的ZeroSync协会正在将零知识证明(ZKPs)技术引入比特币(BTC)网络,使用户无需下载数百GB的区块链历史数据或依赖第三方即可验证网络状态。
技术背景与团队构成
总部位于瑞士楚格的ZeroSync协会是一个非营利实体,得到了多个社区利益相关者的支持,包括核心贡献者以及Lightning Labs等合作伙伴。该协会首版软件采用StarkWare开发的Cairo编程语言。StarkWare是以色列知名公司,专注于以太坊二层扩展解决方案StarkEx和StarkNet的开发。
StarkWare生态系统负责人Louis Guthmann表示:"ZeroSync是彻底升级比特币协议的首次生产尝试,它将从根本上改变人们对系统的认知方式。"StarkWare的ZKPs版本被称为zk-STARKs,与zk-SNARKs相比,它不需要潜在易受攻击的可信设置阶段,同时声称具有更高的可扩展性和效率。
技术应用与创新
StarkWare首席执行官Uri Kolodny指出:"这可能会对比特币用户与网络的交互方式产生深远影响。"为了便于比特币开发者使用ZKPs,ZeroSync正在开发一个软件开发工具包(SDK),使他们能够根据具体用例生成自定义的有效性证明。
该SDK的核心组件是ZeroSync客户端,它支持快速初始区块下载(IBD)并实现首个完整的比特币共识证明。根据ZeroSync的说法,其客户端不仅可以显著加快全节点同步速度,而且无需对比特币核心软件进行任何代码修改。
技术影响与未来展望
这项技术还可用于压缩验证协议的交易历史,例如用于在比特币闪电网络上发行稳定币的Taro协议。同时,它也能帮助比特币交易所和托管服务提供商提供储备金证明。STARKs共同发明者Eli Ben-Sasson表示:"在经历了多年缓慢同步的困扰后,用户将能够以更快的速度和更少的计算量与网络同步。这就像是互联网从低速拨号到高速宽带的跨越。"
虽然与Geometry Research共同资助该项目的StarkWare计划继续专注于以太坊,但对Ben-Sasson个人而言,这一发展意味着"一个完整的循环"。他回忆起2013年参加的一次比特币会议,在那里他获得了"顿悟时刻",意识到自己帮助发明的加密技术可以改变区块链。他说:"但很明显,这段旅程需要从以太坊开始。如今,整整十年后,STARKs已经在以太坊上证明了自己,并正在向比特币进军,开拓新的领域。"