PlatON測試網(wǎng)絡(luò)貝萊世界今日竣工 可驗證計算壓軸登場

今日，致力于成為面向未來下一代計算架構(gòu)的PlatON，完成了V0.4.0版本的升級，開始支持基于可驗證計算(Verifiable computation，簡稱VC)的可驗證合約發(fā)布?？沈炞C計算可以說是解決分布式計算網(wǎng)絡(luò)可擴展性的有效方案，PlatON自此成為全球首個使用VC算法構(gòu)建layer2層，來解決可擴展性問題的計算網(wǎng)絡(luò)。

　　擴容之道

　　可擴展性一直是分布式計算網(wǎng)絡(luò)技術(shù)的主要瓶頸，如何進行擴容也一直是研究的熱點。

　　在分布式計算網(wǎng)絡(luò)中，生產(chǎn)了區(qū)塊之后，各個節(jié)點要去驗證區(qū)塊里的每一筆交易中簽名是否正確，是否UTXO合法，金額是否合法……實際上就是把復雜的計算整個重復執(zhí)行一遍，才能夠驗證這個區(qū)塊是否合法。在這種模式下，一旦單個節(jié)點的處理能力不夠，或者數(shù)據(jù)增長的速度非?？?，都會導致整個分布式計算網(wǎng)絡(luò)的性能整體變得低下。

　　實際上，在區(qū)塊生成的時候，打包者已經(jīng)把整個過程做過一遍的，其他的節(jié)點完全不需要把這個過程重復一遍，只需要進行驗證即可。所以完全可以生成一個比較短的證明，其他節(jié)點去驗證這個證明，就能知道計算結(jié)果的正確性從而完成驗證了。只需要知道計算結(jié)果是對的，而無需把整個計算過程重新算一遍，以大大節(jié)省驗證時間，從而提升整體的性能，這就是可驗證計算提出的分布式計算網(wǎng)絡(luò)的擴容解決方案。

　　可驗證合約的主要思想是用戶將復雜合約的計算外包給第三方，第三方具有強大的計算處理能力，他的計算成本低于用戶自己直接計算的成本。完成計算后，第三方將結(jié)果和相應(yīng)的計算正確證明上鏈驗證，驗證計算的速度和成本都遠優(yōu)于直接計算，這樣就可以擴展單節(jié)點的計算能力，而且不損失安全性。

　　雖然鏈上已經(jīng)公認為是一個無需信任的環(huán)境，但是鏈下方案的實施又引入新的不信任因素。PlatON的可驗證計算密碼學算法將信任傳遞到鏈下。通過可驗證計算，合約只需要在鏈下計算一次，所有節(jié)點可以快速驗證計算的正確性，一方面提高了交易的處理性能，另一方面也使得PlatON支持復雜合約的Trustless計算。

　　可驗證合約

　　PlatON測試網(wǎng)絡(luò)V0.4.0完成更新后，用戶可以根據(jù)模板編寫自己的可驗證合約。合約中可以輸入任意計算模型，并設(shè)定好計算請求、生成計算結(jié)果和證明以及驗證計算結(jié)果和證明。用戶編寫的可驗證合約將會被編譯生成WASM字節(jié)碼，合約開發(fā)者并不需要關(guān)心具體的API使用方法，只需要編寫好自己的計算模型代碼即可。

　　可驗證合約實現(xiàn)了將計算任務(wù)外包給第三方進行執(zhí)行的過程：用戶可以以合約的方式發(fā)布任務(wù)，并先質(zhì)押合適的Energon在合約賬戶中，PlatON的個節(jié)點可以以競爭的方式自行參與到計算任務(wù)當中。一旦計算成功生成了計算結(jié)果和證明后，就可以發(fā)起交易提交計算結(jié)果和計算證明，計算節(jié)點會先支付該筆交易的gas費，驗證節(jié)點接到請求后執(zhí)行驗證過程。當交易中攜帶的證明和結(jié)果參數(shù)驗證通過后，則認為交易請求者計算出了正確的結(jié)果，計算發(fā)起者質(zhì)押在合約賬戶中的Energon則會轉(zhuǎn)賬至成功完成計算的節(jié)點賬戶中。

　　通過不斷的算法優(yōu)化，未來還能夠?qū)崿F(xiàn)通過編譯器將大型復雜的智能合約中的計算/應(yīng)用分發(fā)給多個計算節(jié)點，計算節(jié)點分別執(zhí)行計算任務(wù)，從而達到并行計算的效果。通過可驗證計算連接“合約計算化”和“計算合約化”，最終將真正實現(xiàn)利用全球異構(gòu)算力進行并行計算這一全數(shù)字化世界的基礎(chǔ)運行模式。

　　Trustless計算

　　從2018年的12月18日，正式宣布測試網(wǎng)絡(luò)貝萊世界上線，到今天發(fā)布可驗證合約，PlatON如約完成了技術(shù)路線圖中第一階段“破曉”的上半部分。PlatON面向未來全數(shù)字化世界提出的全新計算范式——Trustless計算，也完整地展現(xiàn)出如何無需依賴第三方就能驗證計算結(jié)果完整性。

　　通過疊加全同態(tài)加密(HE)和安全多方計算(MPC)，實現(xiàn)真正的隱私計算，保證輸入數(shù)據(jù)以及計算邏輯本身的隱私。通過可驗證計算，讓合約與計算的執(zhí)行只需要進行一次，所有節(jié)點都可以快速驗證計算的正確性，提高交易的處理性能。PlatON采用全球領(lǐng)先的密碼學算法，推出可擴展的、隱私的、可驗證的Trustless計算，在破解分布式計算網(wǎng)絡(luò)“不可能三角”——去中心化、安全性和可擴展性不可同時最優(yōu)化——方面給出了自己的答案。

　　在貝萊世界竣工后，PlatON將繼續(xù)推進測試網(wǎng)絡(luò)不斷更新調(diào)優(yōu)，在社區(qū)和生態(tài)建設(shè)上持續(xù)發(fā)力，并不斷推動Trustless計算技術(shù)的應(yīng)用落地。天方破曉，光明在前，PlatON將與社區(qū)一起攜手前行，共赴未來。

生成海報

免責聲明：本網(wǎng)站內(nèi)容主要來自原創(chuàng)、合作伙伴供稿和第三方自媒體作者投稿，凡在本網(wǎng)站出現(xiàn)的信息，均僅供參考。本網(wǎng)站將盡力確保所提供信息的準確性及可靠性，但不保證有關(guān)資料的準確性及可靠性，讀者在使用前請進一步核實，并對任何自主決定的行為負責。本網(wǎng)站對有關(guān)資料所引致的錯誤、不確或遺漏，概不負任何法律責任。任何單位或個人認為本網(wǎng)站中的網(wǎng)頁或鏈接內(nèi)容可能涉嫌侵犯其知識產(chǎn)權(quán)或存在不實內(nèi)容時，應(yīng)及時向本網(wǎng)站提出書面權(quán)利通知或不實情況說明，并提供身份證明、權(quán)屬證明及詳細侵權(quán)或不實情況證明。本網(wǎng)站在收到上述法律文件后，將會依法盡快聯(lián)系相關(guān)文章源頭核實，溝通刪除相關(guān)內(nèi)容或斷開相關(guān)鏈接。