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

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

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

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

圖源：Hyper Oracle

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

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

ethDenver – zkDay

圖源：Hyper Oracle

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

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

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

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

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

圖源：Hyper Oracle

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