在以太坊区块链上流行的 zk-proofs 也即将进入比特币网络。
ZeroSync Association 正在将 zk-proofs(零知识)引入比特币(比特币) 即使加密技术在 以太坊 区块链。 报道称,瑞士非营利协会 ZeroSync 获得了加密投资平台 Geometry Research 和 StarkWare Industries 的赞助。 新成立的协会已经有了一个工作原型,允许用户验证比特币区块链的状态和交易历史。 ZeroSync 的原型无需下载整个链或信任第三方即可实现此目的。
ZeroSync Bitcoin zk-proofs 原型可以验证比特币共识规则,但不能验证交易签名。 此外,该原型似乎也很慢,仍然需要速度和安全优化。 尽管有这些限制,原型开发的主要收获是它可以工作。 ZeroSync 联合创始人 Robin Linus 评论比特币 zk-proof 原型 解释 在媒体会议上:
“它还处于原型阶段。 但宏伟的愿景是,你下载了 1 兆字节的证据,就好像你下载了 500 GB 一样好。”
关于 ZeroSync 通过加密证明验证交易的能力,而不是像假名比特币开发人员所建议的那样仅仅信任诚实的节点 中本聪,莱纳斯说:
“你不必信任; 这就是重点。 证据证明给你看; 这就是伟大的发明。”
在比特币白皮书中,中本聪提出了 BTC 区块链上存在的简单支付验证 (SPV) 节点的概念。 据化名的比特币开发者称,这些节点对于无法下载整个区块链的手机等小型设备至关重要。 “只要诚实的节点控制网络,验证就是可靠的,”中本聪当时说。 然而,比特币白皮书作者也指出,验证过程在网络网络攻击时会受到损害。
基于 StarkWare 编程语言构建的 ZeroSync 比特币 zk-Proofs
ZeroSync 在其软件的第一个版本中使用了 Cairo,一种支持 StarkWare 的编程语言。 在权衡 ZeroSync 对比特币区块链的变革潜力时,StarkWare 的生态系统负责人 Louis Guthmann 表示,“ZeroSync 是第一次从根本上升级比特币协议的生产尝试。 这将从根本上改变人们对该系统的看法。”
zk-proof 加密技术创建了一个开发人员工具包,以促进交易所储备证明等应用程序。 此外,ZeroSync 还寻求在第二层协议(例如 Lightning Labs 的 Taro)上启用交易历史压缩。
零知识证明部署密码学来证明信息的有效性而不泄露信息本身。 使用 zk-proofs 验证比特币网络可以看到节点即时同步,而不是花费数小时或数天来下载过多的数据。
以太坊上的 zk 证明
Zk-proofs 在以太坊网络上流行起来, 最近推出 Polygon zkEVM Beta 就是一个典型的例子。 昨天的报道称,Polygon zkEVM Mainnet Beta 为去中心化应用程序 (dApp) 用户提供了更低的汽油费。
该公告还透露,以太坊联合开发者 维塔利克布特林 将在网络的 zk 虚拟机测试版上进行第一笔交易。
Tolu 是位于拉各斯的加密货币和区块链爱好者。 他喜欢将加密故事神秘化为最基本的知识,这样任何地方的任何人都可以在没有太多背景知识的情况下理解。 当他不沉迷于加密故事时,Tolu 喜欢音乐,喜欢唱歌并且是一个狂热的电影爱好者。