区块链网站|NFTS 区块链技术 Hyper Oracle王佳田:用零知识证明技术构建区块链Oracle网络Hyper Oracle

Hyper Oracle王佳田:用零知识证明技术构建区块链Oracle网络Hyper Oracle

广告位

Hyper Oracle王家天:以零知识证明技术,构建区块链预言机网络

,一家新的可编程zk Oracle网络正在基于zk-WASM虚拟机开发zk中间件协议和zk Oracle。其zkMiddleware是Web 3.0 zk赛道中的新分类,旨在用新一代区块链技术解决老区块链中间件网络的各种问题,从而提高安全和中和程度,为各种相关应用奠定底层基础设施。

诞生于传统互联网上的WASM(WebAssembly)是万维网联盟(W3C)创建的一种可以在Web上运行的语言格式。具有体积小、性能高、便携性强的特点。更直观的说,WASM生态系统是一个整合了Web 2.0的系统,比现在的Web 3.0生态系统更大,可以让更复杂的应用兼容各种浏览器,运行流畅。

当WASM与zk计算的简单性、零知识、正确性的独特属性——相结合,通过使用zk电路编写WASM,可以使WASM具有Web 3.0的不信任、去中心化等特征。Zk-WASM让Web 3.0的应用更加简单流畅,也让传统互联网用户更容易接触和进入Web 3.0的世界。

Hyper Oracle是一种新的可编程zk Oracle网络,是这一领域的代表性平台之一。Hyper Oracle正在基于zk-WASM虚拟机开发zk中间件协议和zk Oracle,其zk中间件是Web 3.0 zk电路中的新分类,旨在用新一代区块链技术解决老区块链中间件网络的各种问题,以提高安全性和去中心化程度,为各种相关应用奠定底层基础设施。超级Oracle的两个可组合的元应用程序源

Hyper Oracle去年完成了由dao5和红杉中国种子基金联合领投的300万美元种子轮融资,其后是Foresight Ventures、FutureMoney Group和7X venture。

早在高中时期,Hyper Oracle的创始人王家田就开始接触与区块链相关的信息和技术。当时,他立刻被区块链简洁实用的设计所吸引,同时研究开发了一些相关的代码。在美国留学毕业后,他有时会在工作之余与工程师和同事讨论NFT、智能合约等话题,但在讨论实施细节时,他总是会遇到底层基础设施的限制,包括去中心化自动化、预测机器和在线信息搜索。

王家田发现,问题的本质是区块链的中间件网络基本上都是依靠节点承诺来保证节点执行的诚实性。这种依赖于经济假设的方案虽然相对容易实现,但是会有很多衍生问题,比如依赖于冗余计算的安全性,机组运行值的上限等。

Et Denville-Zkedai Source: Super Oracle

当他意识到本质问题后,王家田开始思考解决方案。“如果有一个方案,允许任何一个节点证明自己是老老实实在计算,而且可以很快验证,那么这个区块链辅助网络的本质问题就可以解决了。”他突然想到,大学时见过的“零知识证明系统”或许可以解决这个问题。

于是,他联系了帝国理工学院相关领域的博士朋友讨论可能性,两人一拍即合,随后共同创办了可编程zk甲骨文网络Hyper Oracle。

Hyper Oracle正在基于zk-WASM虚拟机开发zk中间件协议和zk Oracle,将为开发者提供高级语言生成计算过程的零知识证明服务,并在初期提供去中心化的区块链数据查询和自动化服务,使用零知识证明强制保证数据和计算的正确性,解决区块链中间件在安全性、去中心化、计算完整性和性能方面的挑战,真正实现去中心化不可阻挡,但也非常安全。

Oracle网络和区块链网络的计算互补性来源:Hyper Oracle

事实上,王家田和他的团队在创业初期也遇到了很多技术挑战,比如BLS曲线配对和聚合的实现。早期很多人认为zkOracle做不出来,或者性能差,技术上不可行。“我们用5个月的时间对查询进行了一个接一个的篡改,不仅实现了开源Halo2的第一个BLS实现,还在ethDenver的zkDay上展示了一个完整的zkOracle实例的PoC。”王家田说。

目前,Hyper Oracle的核心团队主要聚集在硅谷。在团队中,王家田主要负责产品设计和节点开发。对他来说,创业的核心是做有影响力的产品。他观察到,在Web 3.0领域,有大量的“热钱”,但缺乏创意和技术支持的项目通常很难走得太远。zkoracle与传统oracle的流程差异来源:Hyper Oracle

Hyper Oracle是一个Oracle/中间件网络,它使用零知识证明来确保早期分散节点的数据和计算的正确性。在此之前,Oracle/中间件网络通常依靠pledge来确保安全性,但在去中心化和正确性之间会有一个权衡。“我们应该是为数不多的可以让开发者用高级语言编写程序逻辑,生成零知识证明的项目。

王家田直言,“zkGraph让开发者不用学习非常复杂的C和rust就能生成证明电路。虽然目前支持的线路数量有限,但未来会有很大提高。”

王家天表示,下个阶段将揭示Hyper Oracle对于实现真正的世界网络计算机与合成区块链的计划。不久前,王家天入选“2022福布斯中国Web 3.0创新先锋评选”。对于Web 3.0和区块链,他有着自己的认知:“区块链代表的是一种全新的社会关系,在其安全假设下,个人资产无法被任何人或者组织侵犯,而所有数据和代码又是由所有人免费共享。”

声明:品牌之声相关资讯均属创意内容,非福布斯编辑内容。

精彩资讯永不错过

广告位
本文来自网络,不代表区块链网站|NFTS立场,转载请注明出处:https://www.qklwz.com/qkl/jishu/62408.html

作者: 买土地

上一篇
下一篇

发表回复

您的电子邮箱地址不会被公开。 必填项已用 * 标注

返回顶部