在區(qū)塊鏈領(lǐng)域，智能合約具有完全自動(dòng)化和操作不可逆這兩種特性，因而在啟用之前需要進(jìn)行徹底的安全檢查。鑒于智能合約的代碼錯(cuò)誤或打字錯(cuò)誤

在區(qū)塊鏈領(lǐng)域，智能合約具有完全自動(dòng)化和操作不可逆這兩種特性，因而在啟用之前需要進(jìn)行徹底的安全檢查。

鑒于智能合約的代碼錯(cuò)誤或打字錯(cuò)誤可能會(huì)產(chǎn)生難以預(yù)計(jì)的財(cái)務(wù)損失，很多高風(fēng)險(xiǎn)的智能合約用戶通常會(huì)在啟用合約之前聘請專家對這些合約進(jìn)行審計(jì)。但是隨著進(jìn)入?yún)^(qū)塊鏈領(lǐng)域的人數(shù)越來越多，世界上最先進(jìn)的區(qū)塊鏈和智能合約安全審計(jì)公司現(xiàn)在正在擴(kuò)大其服務(wù)范圍。

這也就是引入CertiK x LTO Network的實(shí)時(shí)合約審計(jì)模式的由來。

實(shí)時(shí)合約在LTO Network上運(yùn)行。LTO Network于2019年1月推出主網(wǎng)，這是一個(gè)用于分散工作流的混合區(qū)塊鏈平臺(tái)。實(shí)時(shí)合約的微型私有區(qū)塊鏈可簡化日常業(yè)務(wù)流程，從而以符合GDPR的獨(dú)特方式在利益相關(guān)者之間進(jìn)行高效的數(shù)據(jù)交換。

CertiK充分認(rèn)識(shí)到在區(qū)塊鏈和商務(wù)領(lǐng)域使用實(shí)時(shí)合約的必要性，因此為LTO Network用戶提供審計(jì)服務(wù)，以防止實(shí)時(shí)合約中出現(xiàn)關(guān)鍵性攻擊載體和漏洞。

CertiK將使用LTO Network連接全球公鏈，從而確保智能合約審計(jì)報(bào)告可提供存在性證明。此外，CertiK還將審計(jì)即插即用和自定義實(shí)時(shí)合約模板，以便各團(tuán)隊(duì)歸入到現(xiàn)有系統(tǒng)中，從而在各團(tuán)隊(duì)間實(shí)現(xiàn)前所未有的標(biāo)準(zhǔn)化安全協(xié)作。

CertiK和LTO Network的合作關(guān)系于今年2月在紐約舉行的全球法律黑客馬拉松(Global Legal Hackathon)上建立。比賽期間，CertiK和LTO Network合作，最終在比賽中獲獎(jiǎng)(近30支隊(duì)伍中僅有3支獲勝)。在黑客馬拉松上，來自Quislex、CertiK、國際合約與商業(yè)管理協(xié)會(huì)(IACCM)、 DocJuris、一家排名前十的律師事務(wù)所以及LTO Network的團(tuán)隊(duì)成員們合作開發(fā)了‘the Contract App’。

這是一款手機(jī)應(yīng)用程序，它允許公司代表們根據(jù)他們的公司職位或IACCM的合理職位對B2B合約輕松進(jìn)行協(xié)商。通過使用人工智能，使用者還可以上傳并分析第三方文件，并將智能合約中的數(shù)據(jù)重新用到新的協(xié)議中。

通過DocuSign簽訂協(xié)議后，LTO Network會(huì)在協(xié)議上提供即時(shí)‘存在性證明’，第三方可在合約應(yīng)用程序網(wǎng)站上進(jìn)行獨(dú)立驗(yàn)證。合約中的每個(gè)法律子句都有自己預(yù)定的執(zhí)行路徑，實(shí)時(shí)合約可以自動(dòng)按照路徑執(zhí)行任務(wù)，從而為被執(zhí)行事件創(chuàng)建不可變審計(jì)追蹤路徑。官方將在下半年發(fā)布此項(xiàng)合約應(yīng)用程序。

“在LTO Network推進(jìn)實(shí)時(shí)合約解決方案全球化的進(jìn)程中，CertiK有幸能夠成為其在審計(jì)領(lǐng)域的第一個(gè)合作伙伴，對此我們感到非常自豪。正如智能合約只能按照預(yù)期來執(zhí)行操作，實(shí)時(shí)合約也是如此，并且這一點(diǎn)對實(shí)時(shí)合約而言至關(guān)重要。我們很高興CertiK能夠?yàn)橄胍褂眠@項(xiàng)新技術(shù)的客戶提供額外的保障。LTO Network的出現(xiàn)標(biāo)志著區(qū)塊鏈領(lǐng)域的透明度又步入新階段，這與CertiK的愿景不謀而合。”——CertiK首席運(yùn)營官Daryl Hok

“基于與加密界巨頭合作的經(jīng)驗(yàn)，我們相信CertiK是LTO Network理想的審計(jì)合作伙伴。我們非常開心解決方案能夠獲得CertiK的信任，他們也將在自己的業(yè)務(wù)中使用該方案，并作為我們的合作伙伴對實(shí)時(shí)合約進(jìn)行審計(jì)。建立合作關(guān)系是采用新技術(shù)的重要一步，我們期待著向全世界的企業(yè)和政府展示這項(xiàng)經(jīng)過審計(jì)的即插即用模板。”——LTO Network首席執(zhí)行官：Rick Schmitz

關(guān)鍵詞： LTO Network 實(shí)時(shí)合約 CertiK