PlatON測試網絡貝萊世界今日竣工 可驗證計算壓軸登場

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

　　擴容之道

　　可擴展性一直是分布式計算網絡技術的主要瓶頸，如何進行擴容也一直是研究的熱點。

　　在分布式計算網絡中，生産了區塊之後，各個節點要去驗證區塊裡的每一筆交易中簽名是否正确，是否UTXO合法，金額是否合法……實際上就是把複雜的計算整個重複執行一遍，才能夠驗證這個區塊是否合法。在這種模式下，一旦單個節點的處理能力不夠，或者數據增長的速度非常快，都會導緻整個分布式計算網絡的性能整體變得低下。

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

　　可驗證合約的主要思想是用戶将複雜合約的計算外包給第三方，第三方具有強大的計算處理能力，他的計算成本低于用戶自己直接計算的成本。完成計算後，第三方将結果和相應的計算正确證明上鍊驗證，驗證計算的速度和成本都遠優于直接計算，這樣就可以擴展單節點的計算能力，而且不損失安全性。

　　雖然鍊上已經公認為是一個無需信任的環境，但是鍊下方案的實施又引入新的不信任因素。PlatON的可驗證計算密碼學算法将信任傳遞到鍊下。通過可驗證計算，合約隻需要在鍊下計算一次，所有節點可以快速驗證計算的正确性，一方面提高了交易的處理性能，另一方面也使得PlatON支持複雜合約的Trustless計算。

　　可驗證合約

　　PlatON測試網絡V0.4.0完成更新後，用戶可以根據模闆編寫自己的可驗證合約。合約中可以輸入任意計算模型，并設定好計算請求、生成計算結果和證明以及驗證計算結果和證明。用戶編寫的可驗證合約将會被編譯生成WASM字節碼，合約開發者并不需要關心具體的API使用方法，隻需要編寫好自己的計算模型代碼即可。

　　可驗證合約實現了将計算任務外包給第三方進行執行的過程：用戶可以以合約的方式發布任務，并先質押合适的Energon在合約賬戶中，PlatON的個節點可以以競争的方式自行參與到計算任務當中。一旦計算成功生成了計算結果和證明後，就可以發起交易提交計算結果和計算證明，計算節點會先支付該筆交易的gas費，驗證節點接到請求後執行驗證過程。當交易中攜帶的證明和結果參數驗證通過後，則認為交易請求者計算出了正确的結果，計算發起者質押在合約賬戶中的Energon則會轉賬至成功完成計算的節點賬戶中。

　　通過不斷的算法優化，未來還能夠實現通過編譯器将大型複雜的智能合約中的計算/應用分發給多個計算節點，計算節點分别執行計算任務，從而達到并行計算的效果。通過可驗證計算連接“合約計算化”和“計算合約化”，最終将真正實現利用全球異構算力進行并行計算這一全數字化世界的基礎運行模式。

　　Trustless計算

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

　　通過疊加全同态加密(HE)和安全多方計算(MPC)，實現真正的隐私計算，保證輸入數據以及計算邏輯本身的隐私。通過可驗證計算，讓合約與計算的執行隻需要進行一次，所有節點都可以快速驗證計算的正确性，提高交易的處理性能。PlatON采用全球的密碼學算法，推出可擴展的、隐私的、可驗證的Trustless計算，在破解分布式計算網絡“不可能三角”——去中心化、安全性和可擴展性不可同時化——方面給出了自己的答案。

　　在貝萊世界竣工後，PlatON将繼續推進測試網絡不斷更新調優，在社區和生态建設上持續發力，并不斷推動Trustless計算技術的應用落地。天方破曉，光明在前，PlatON将與社區一起攜手前行，共赴未來。