|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
zk甲骨文
区块链智能合约中的预言机是指可信的第三方信息源,它为链提供来自链下来源和查询的信息。查询的数据可以包括代币价格、交易活动和钱包余额等。此外,预言机充当中介,通过分析大量数据集并提供应用程序编程接口(API)来连接高度分散的区块链世界,使它们能够根据现实世界的事件和数据执行计算。简而言之,预言机收集、查询、验证和验证来自不同来源的数据,并将其传递给智能合约。这在功能上与 zkOracles 不同。
zkOracle 怎么样?
zkOracles 利用零知识证明 (ZKP) 作为一种无需信任的媒介,数据可以通过该媒介自由传递,同时保留强大的安全性、隐私性和成本效率标准。
zkOracle中的“zk”代表“零知识”。 zkOracle 是一种高级类型的预言机,它结合了零知识证明,这是一种加密方法,允许一方向另一方证明某个陈述是真实的,而无需透露其他信息。通过集成零知识证明,zkOracles 可以以私密且可验证的方式向智能合约提供数据。
zkOracles 中的数据证明过程从链下开始,链下证明者(节点)利用 zk-SNARK 来证明它们拥有特定信息并已根据源信息执行计算。
然后,消费者将通过智能合约与区块链进行交互,提交请求,然后他们可以依靠这些链下证明者生成的数据和证据来做出明智的决定。然后,智能合约必须处理这些数据并决定该数据的有效性以及是否可信。事实上,初始数据计算和 zkProof 生成是在链外进行的,这使得用户能够在本地运行计算,并灵活地根据需要多次执行定制操作,而不会产生高昂的额外成本。然后将链下数据和zkProof提交到链上进行验证,以确保所提供数据的准确性和安全性。
零知识证明生成用于确保 Oracle 节点计算的完整性。这种无需信任的方法增强了 zkOracle 的安全性,因为当前传统的 Oracle 数据可以更容易地被利用,从而损害利益相关者。这种危害主要源于Oracle可能依赖的数据集数量相对较少;因恶意活动而被没收质押代币的经济惩罚也可能不足以起到威慑作用,理论上广播数据的交易仍然可以提前运行,因为这些信息是公开可见的,可能会破坏所述数据的完整性。
ZKOracles的优点
zkOracles 的主要优势是能够维护数据隐私,同时仍然确保所传递信息的完整性和真实性。
传统的预言机公开或透明地向区块链广播数据,这在处理敏感或私人信息时可能是一个问题。另一方面,zkOracles 可以在不泄露数据本身的情况下提供数据证明,这使得它们非常适合需要透明度和隐私的应用程序。
现实世界的应用
zkOracles 的独特应用包括保密投票系统(可以在不泄露个人投票的情况下验证结果)、需要交易隐私同时保持监管合规性的金融系统,以及需要在不泄露专有信息的情况下验证产品真实性的供应链系统。
此外,在身份验证等用户数据隐私至关重要的领域,zkOracles 可用于验证用户的真实性,而无需暴露其记录的详细信息。总体而言,zkOracles 为许多行业提供了最佳解决方案,平衡了透明度需求和数据隐私需求。
ZKOracles 正在解决的问题
以太坊上的数据可用性面临障碍:只能在链上查询以太坊区块链上最新的 256 个区块,因此需要 Etherscan 等第三方应用程序提供额外数据。不到一小时的以太坊数据就可以轻松访问,这使得第三方应用程序对于填补这一数据缺口至关重要,而用户必须信任这一点。
链下数据存在被篡改的风险,否则需要用户构建自己的数据库管理系统(DBMS)。然而,在本地管理 PB 级数据成本高昂且效率低下。
zkOracle 克服了这些问题,消除了对第三方索引或本地存储的需求。通过零知识证明 (ZKP),可以维护数据完整性,使开发人员能够以不可信的方式访问数据,而无需依赖第三方提供商。
作者:Misha Komarov,=nil 创始人;基础。
Misha 是有效的零知识证明 (ZKP) 生成基础设施的领先开发商。他是密码学和数据库管理系统(DBMS)领域的研究人员和开发人员。他的技术之旅始于 2013 年,当时他开始为 BitMessage(一种点对点加密通信协议)做出贡献。然后,他与区块链网络 BitShares 和 Steemit(第一个基于 Steem 区块链的应用程序)合作。在创立 =nil 之前,Mikhail 在 2017 年至 2018 年期间参与了 Steem 的一个分叉工作; 2018年4月成立