誕生于傳統(tǒng)互聯(lián)網(wǎng)的WASM（WebAssembly）,，是由萬(wàn)維網(wǎng)聯(lián)盟（W3C）創(chuàng)建、可在 Web 中運(yùn)行的語(yǔ)言格式,，具有體積小,、性能高、可移植性強(qiáng)的特點(diǎn),。更直觀(guān)地說(shuō),，WASM 生態(tài)系統(tǒng)是一個(gè)融合Web 2.0，且比當(dāng)前Web 3.0生態(tài)更龐大的系統(tǒng),，可以讓較為復(fù)雜的應(yīng)用兼容各個(gè)瀏覽器,，且流暢運(yùn)行。

而當(dāng)將WASM 與 zk計(jì)算簡(jiǎn)潔性,、零知識(shí)和正確性的獨(dú)特屬性相結(jié)合——通過(guò)使用zk電路編寫(xiě) WASM,，即可使WASM具有去信任化、去中心化等Web 3.0特點(diǎn),。zk-WASM讓W(xué)eb 3.0應(yīng)用更簡(jiǎn)單,、更流暢,，也讓傳統(tǒng)互聯(lián)網(wǎng)用戶(hù)更容易觸及并進(jìn)入Web 3.0的世界。

可編程的新興zk預(yù)言機(jī)網(wǎng)絡(luò)Hyper Oracle,，正是該領(lǐng)域內(nèi)的代表性平臺(tái)之一,。Hyper Oracle正在基于zk-WASM 虛擬機(jī)開(kāi)發(fā)zk中間件協(xié)議和 zk預(yù)言機(jī)zk-Oracle，其zkMiddleware 為 Web 3.0 zk賽道中的新分類(lèi),，旨在用新一代區(qū)塊鏈技術(shù)解決舊有區(qū)塊鏈中間件網(wǎng)絡(luò)的各類(lèi)問(wèn)題,，以提高安全和去中心化程度，為各類(lèi)相關(guān)應(yīng)用奠定底層基建（Infrastructure）,。

Hyper Oracle的兩個(gè)可組合元應(yīng)用

圖源：Hyper Oracle

Hyper Oracle已于上一年完成了由 dao5 和紅杉中國(guó)種子基金共同領(lǐng)投的 300 萬(wàn)美元種子輪融資，F(xiàn)oresight Ventures,、FutureMoney Group、7X venture等跟投,。

早在高中時(shí)期,，Hyper Oracle創(chuàng)始人王家天就開(kāi)始接觸到區(qū)塊鏈相關(guān)的信息與技術(shù)，當(dāng)時(shí),，他一下就被區(qū)塊鏈這種簡(jiǎn)潔實(shí)用的設(shè)計(jì)所吸引,，同時(shí)學(xué)習(xí)和開(kāi)發(fā)了一些相關(guān)的代碼。赴美讀書(shū)畢業(yè)后,，他在工作之余有時(shí)會(huì)和工程師同事討論NFT、智能合約之類(lèi)的話(huà)題,，但當(dāng)討論到實(shí)現(xiàn)細(xì)節(jié)的時(shí)候,，總會(huì)遇到底層基建方面的限制，其中就有去中心化自動(dòng)化,、預(yù)言機(jī),、鏈上信息搜索等問(wèn)題。王家天發(fā)現(xiàn)問(wèn)題的本質(zhì)在于,，基本上所有區(qū)塊鏈的中間件網(wǎng)絡(luò)都是依賴(lài)于節(jié)點(diǎn)質(zhì)押來(lái)保證節(jié)點(diǎn)執(zhí)行的誠(chéng)實(shí)性,，這種依賴(lài)經(jīng)濟(jì)假設(shè)的方案雖然比較容易實(shí)現(xiàn)，但是會(huì)有大量的衍生問(wèn)題,，比如安全性依賴(lài)于冗余計(jì)算,、單位操作有價(jià)值上限等。

ethDenver – zkDay

圖源：Hyper Oracle

當(dāng)認(rèn)知到本質(zhì)問(wèn)題后,，王家天開(kāi)始思考解決辦法?！耙怯幸环N方案能夠讓任意節(jié)點(diǎn)證明自己是在誠(chéng)實(shí)計(jì)算,，且驗(yàn)證起來(lái)非?？欤敲淳湍芙鉀Q這個(gè)區(qū)塊鏈輔助性網(wǎng)絡(luò)的本質(zhì)問(wèn)題,?！彼蝗幌肫穑诖髮W(xué)時(shí)看過(guò)的“零知識(shí)證明系統(tǒng)”或許能夠解決這一問(wèn)題,。于是,，他聯(lián)系到帝國(guó)理工大學(xué)相關(guān)領(lǐng)域的博士好友一起探討可能性，二人一拍即合,，隨后共同創(chuàng)立了可編程的zk預(yù)言機(jī)網(wǎng)絡(luò)Hyper Oracle,。

Hyper Oracle正在進(jìn)行基于zk-WASM 虛擬機(jī)開(kāi)發(fā)zk中間件協(xié)議和 zk預(yù)言機(jī)zk-Oracle，將為開(kāi)發(fā)者提供用高級(jí)語(yǔ)言生成計(jì)算過(guò)程的零知識(shí)證明服務(wù),，初期主要提供去中心化的區(qū)塊鏈數(shù)據(jù)查詢(xún)和自動(dòng)化服務(wù),，并且用零知識(shí)證明強(qiáng)制保證數(shù)據(jù)與計(jì)算的正確性，以解決區(qū)塊鏈中間件的安全性,、去中心化,、計(jì)算完整性和性能方面的挑戰(zhàn)，真正做到去中心化不可被停止的同時(shí),，又非常安全,。

事實(shí)上,，創(chuàng)業(yè)初期,，王家天與團(tuán)隊(duì)亦遇到不少技術(shù)方面的挑戰(zhàn)，比如BLS曲線(xiàn)Pairing（配對(duì)）和Aggregation（聚合）的實(shí)現(xiàn),。早期,，很多人認(rèn)為zkOracle是做不出來(lái)的，或者性能很差,，技術(shù)上不可行,。“我們?cè)?個(gè)月內(nèi)把質(zhì)疑一個(gè)個(gè)證偽,，不僅做到了第一個(gè)開(kāi)源Halo2的BLS實(shí)現(xiàn),，也在ethDenver的zkDay上展示了一個(gè)完整zkOracle instance的PoC?！蓖跫姨煺f(shuō)道,。

目前，Hyper Oracle的核心團(tuán)隊(duì)主要聚集在硅谷,，在團(tuán)隊(duì)中,，王家天主要負(fù)責(zé)產(chǎn)品設(shè)計(jì)和節(jié)點(diǎn)開(kāi)發(fā)的工作。對(duì)他來(lái)說(shuō),，創(chuàng)業(yè)的核心還是要做出有影響力的產(chǎn)品,。他觀(guān)察到,，在Web 3.0領(lǐng)域，“熱錢(qián)”很多,，但缺乏創(chuàng)意與技術(shù)支撐的項(xiàng)目,，通常很難走得太遠(yuǎn)。

zkOracle和傳統(tǒng)oracle的流程區(qū)別

圖源：Hyper Oracle

Hyper Oracle是較早用零知識(shí)證明來(lái)保證去中心化節(jié)點(diǎn)的數(shù)據(jù)和計(jì)算正確性的預(yù)言機(jī)/中間件網(wǎng)絡(luò),，在此之前，預(yù)言機(jī)/中間件網(wǎng)絡(luò)一般都是依賴(lài)質(zhì)押保證安全性,，但是這就會(huì)有去中心化和正確性的權(quán)衡,。“我們應(yīng)該是目前少數(shù)可以允許開(kāi)發(fā)者用高級(jí)語(yǔ)言編寫(xiě)程序邏輯，并且生成零知識(shí)證明的項(xiàng)目,?！?/strong>王家天直言，“zkGraph允許開(kāi)發(fā)者不需要學(xué)習(xí)非常復(fù)雜的C和rust就能生成證明電路,，雖然目前支持的行數(shù)有限,，但未來(lái)會(huì)大有改進(jìn)?！?/p>