PlatON測(cè)試網(wǎng)絡(luò)貝萊世界今日竣工 可驗(yàn)證計(jì)算壓軸登場(chǎng)

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

　　擴(kuò)容之道

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

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

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

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

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

　　可驗(yàn)證合約

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

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

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

　　Trustless計(jì)算

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

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

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

生成海報(bào)

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