在區(qū)塊鏈領域,智能合約具有完全自動化和操作不可逆這兩種特性,因而在啟用之前需要進行徹底的安全檢查。鑒于智能合約的代碼錯誤或打字錯誤
在區(qū)塊鏈領域,智能合約具有完全自動化和操作不可逆這兩種特性,因而在啟用之前需要進行徹底的安全檢查。
鑒于智能合約的代碼錯誤或打字錯誤可能會產(chǎn)生難以預計的財務損失,很多高風險的智能合約用戶通常會在啟用合約之前聘請專家對這些合約進行審計。但是隨著進入?yún)^(qū)塊鏈領域的人數(shù)越來越多,世界上最先進的區(qū)塊鏈和智能合約安全審計公司現(xiàn)在正在擴大其服務范圍。
這也就是引入CertiK x LTO Network的實時合約審計模式的由來。
實時合約在LTO Network上運行。LTO Network于2019年1月推出主網(wǎng),這是一個用于分散工作流的混合區(qū)塊鏈平臺。實時合約的微型私有區(qū)塊鏈可簡化日常業(yè)務流程,從而以符合GDPR的獨特方式在利益相關者之間進行高效的數(shù)據(jù)交換。
CertiK充分認識到在區(qū)塊鏈和商務領域使用實時合約的必要性,因此為LTO Network用戶提供審計服務,以防止實時合約中出現(xiàn)關鍵性攻擊載體和漏洞。
CertiK將使用LTO Network連接全球公鏈,從而確保智能合約審計報告可提供存在性證明。此外,CertiK還將審計即插即用和自定義實時合約模板,以便各團隊歸入到現(xiàn)有系統(tǒng)中,從而在各團隊間實現(xiàn)前所未有的標準化安全協(xié)作。
CertiK和LTO Network的合作關系于今年2月在紐約舉行的全球法律黑客馬拉松(Global Legal Hackathon)上建立。比賽期間,CertiK和LTO Network合作,最終在比賽中獲獎(近30支隊伍中僅有3支獲勝)。在黑客馬拉松上,來自Quislex、CertiK、國際合約與商業(yè)管理協(xié)會(IACCM)、 DocJuris、一家排名前十的律師事務所以及LTO Network的團隊成員們合作開發(fā)了‘the Contract App’。
這是一款手機應用程序,它允許公司代表們根據(jù)他們的公司職位或IACCM的合理職位對B2B合約輕松進行協(xié)商。通過使用人工智能,使用者還可以上傳并分析第三方文件,并將智能合約中的數(shù)據(jù)重新用到新的協(xié)議中。
通過DocuSign簽訂協(xié)議后,LTO Network會在協(xié)議上提供即時‘存在性證明’,第三方可在合約應用程序網(wǎng)站上進行獨立驗證。合約中的每個法律子句都有自己預定的執(zhí)行路徑,實時合約可以自動按照路徑執(zhí)行任務,從而為被執(zhí)行事件創(chuàng)建不可變審計追蹤路徑。官方將在下半年發(fā)布此項合約應用程序。
“在LTO Network推進實時合約解決方案全球化的進程中,CertiK有幸能夠成為其在審計領域的第一個合作伙伴,對此我們感到非常自豪。正如智能合約只能按照預期來執(zhí)行操作,實時合約也是如此,并且這一點對實時合約而言至關重要。我們很高興CertiK能夠為想要使用這項新技術的客戶提供額外的保障。LTO Network的出現(xiàn)標志著區(qū)塊鏈領域的透明度又步入新階段,這與CertiK的愿景不謀而合。”——CertiK首席運營官Daryl Hok
“基于與加密界巨頭合作的經(jīng)驗,我們相信CertiK是LTO Network理想的審計合作伙伴。我們非常開心解決方案能夠獲得CertiK的信任,他們也將在自己的業(yè)務中使用該方案,并作為我們的合作伙伴對實時合約進行審計。建立合作關系是采用新技術的重要一步,我們期待著向全世界的企業(yè)和政府展示這項經(jīng)過審計的即插即用模板。”——LTO Network首席執(zhí)行官:Rick Schmitz