一種可更新的智能合約的動態(tài)驗證方法

基本信息

申請?zhí)?/td> CN202110433470.7 申請日 -
公開（公告）號 CN113191774A 公開（公告）日 2021-07-30
申請公布號 CN113191774A 申請公布日 2021-07-30
分類號 G06Q20/40;G06F8/41;G06F8/65 分類 計算；推算；計數(shù);
發(fā)明人 羅少龍;胥勇;柳發(fā)健 申請（專利權(quán)）人 深圳前海移聯(lián)科技有限公司
代理機構(gòu) 深圳市中融創(chuàng)智專利代理事務(wù)所（普通合伙） 代理人 葉垚平
地址 518000 廣東省深圳市前海深港合作區(qū)前灣一路1號A棟201室
法律狀態(tài) -

摘要

摘要 本發(fā)明公開了一種可更新的智能合約的動態(tài)驗證方法。該可更新的智能合約的動態(tài)驗證方法包括以下步驟，步驟S1：編譯器接收一份智能合約源代碼作為輸入；步驟S2：編譯器接收一份驗證條件作為輸入；步驟S3：編譯器輸出經(jīng)修改后的安全智能合約。本發(fā)明的可更新的智能合約的動態(tài)驗證方法具有準確率高、可大規(guī)模驗證擴展等優(yōu)點。