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

Hyper Oracle王家天:以零知识证明技术,构建区块链预言机网络
2023年03月17日 20:43 福布斯中文网

可编程的新兴zk预言机网络Hyper Oracle,正在基于zk-WASM 虚拟机开发zk中间件协议和 zk预言机zk-Oracle,其zkMiddleware 为 Web 3.0 zk 赛道中的新分类,旨在用新一代区块链技术解决旧有区块链中间件网络的各类问题,以提高安全和去中性化程度,为各类相关应用奠定底层基建(Infrastructure)。

诞生于传统互联网的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的世界。

可编程的新兴zk预言机网络Hyper Oracle,正是该领域内的代表性平台之一。Hyper Oracle正在基于zk-WASM 虚拟机开发zk中间件协议和 zk预言机zk-Oracle,其zkMiddleware 为 Web 3.0 zk赛道中的新分类,旨在用新一代区块链技术解决旧有区块链中间件网络的各类问题,以提高安全和去中心化程度,为各类相关应用奠定底层基建(Infrastructure)

Hyper Oracle的两个可组合元应用

图源:Hyper Oracle

Hyper Oracle已于上一年完成了由 dao5 和红杉中国种子基金共同领投的 300 万美元种子轮融资,Foresight Ventures、FutureMoney Group、7X venture等跟投。

早在高中时期,Hyper Oracle创始人王家天就开始接触到区块链相关的信息与技术,当时,他一下就被区块链这种简洁实用的设计所吸引,同时学习和开发了一些相关的代码。赴美读书毕业后,他在工作之余有时会和工程师同事讨论NFT、智能合约之类的话题,但当讨论到实现细节的时候,总会遇到底层基建方面的限制,其中就有去中心化自动化、预言机、链上信息搜索等问题。王家天发现问题的本质在于,基本上所有区块链的中间件网络都是依赖于节点质押来保证节点执行的诚实性,这种依赖经济假设的方案虽然比较容易实现,但是会有大量的衍生问题,比如安全性依赖于冗余计算、单位操作有价值上限等。

ethDenver - zkDay

图源:Hyper Oracle

当认知到本质问题后,王家天开始思考解决办法。“要是有一种方案能够让任意节点证明自己是在诚实计算,且验证起来非常快,那么就能解决这个区块链辅助性网络的本质问题。”他突然想起,在大学时看过的“零知识证明系统”或许能够解决这一问题。于是,他联系到帝国理工大学相关领域的博士好友一起探讨可能性,二人一拍即合,随后共同创立了可编程的zk预言机网络Hyper Oracle。

Hyper Oracle正在进行基于zk-WASM 虚拟机开发zk中间件协议和 zk预言机zk-Oracle,将为开发者提供用高级语言生成计算过程的零知识证明服务,初期主要提供去中心化的区块链数据查询和自动化服务,并且用零知识证明强制保证数据与计算的正确性,以解决区块链中间件的安全性、去中心化、计算完整性和性能方面的挑战,真正做到去中心化不可被停止的同时,又非常安全。

预言机网络和区块链网络计算互补

图源:Hyper Oracle

事实上,创业初期,王家天与团队亦遇到不少技术方面的挑战,比如BLS曲线Pairing(配对)和Aggregation(聚合)的实现。早期,很多人认为zkOracle是做不出来的,或者性能很差,技术上不可行。“我们在5个月内把质疑一个个证伪,不仅做到了第一个开源Halo2的BLS实现,也在ethDenver的zkDay上展示了一个完整zkOracle instance的PoC。”王家天说道。

目前,Hyper Oracle的核心团队主要聚集在硅谷,在团队中,王家天主要负责产品设计和节点开发的工作。对他来说,创业的核心还是要做出有影响力的产品。他观察到,在Web 3.0领域,“热钱”很多,但缺乏创意与技术支撑的项目,通常很难走得太远。

zkOracle和传统oracle的流程区别

图源:Hyper Oracle

Hyper Oracle是较早用零知识证明来保证去中心化节点的数据和计算正确性的预言机/中间件网络,在此之前,预言机/中间件网络一般都是依赖质押保证安全性,但是这就会有去中心化和正确性的权衡。“我们应该是目前少数可以允许开发者用高级语言编写程序逻辑,并且生成零知识证明的项目。”王家天直言,“zkGraph允许开发者不需要学习非常复杂的C和rust就能生成证明电路,虽然目前支持的行数有限,但未来会大有改进。”

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

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

财经自媒体联盟更多自媒体作者

新浪首页 语音播报 相关新闻 返回顶部