一種基于HASKELL實(shí)現(xiàn)安全可證明的智能合約平臺(tái)
基本信息
| 申請(qǐng)?zhí)?/td> | CN202110169753.5 | 申請(qǐng)日 | - |
| 公開(kāi)（公告）號(hào) | CN112887321A | 公開(kāi)（公告）日 | 2021-06-01 |
| 申請(qǐng)公布號(hào) | CN112887321A | 申請(qǐng)公布日 | 2021-06-01 |
| 分類(lèi)號(hào) | H04L29/06;H04L29/08 | 分類(lèi) | 電通信技術(shù); |
| 發(fā)明人 | 謝海琴;魏緒文;盛國(guó)軍;朱升平;張宏權(quán) | 申請(qǐng)（專(zhuān)利權(quán)）人 | 海爾數(shù)字科技（上海）有限公司 |
| 代理機(jī)構(gòu) | 蘇州中合知識(shí)產(chǎn)權(quán)代理事務(wù)所（普通合伙） | 代理人 | 阮梅 |
| 地址 | 201600 上海市松江區(qū)漕河涇開(kāi)發(fā)區(qū)松江高科技園莘磚公路668號(hào)305室 | ||
| 法律狀態(tài) | - | ||
摘要
| 摘要 | 本發(fā)明提供一種基于HASKELL實(shí)現(xiàn)安全可證明的智能合約平臺(tái)。所述基于HASKELL實(shí)現(xiàn)安全可證明的智能合約平臺(tái)，包括：業(yè)務(wù)空間模塊、數(shù)學(xué)空間模塊、計(jì)算機(jī)空間模塊和動(dòng)物世界模塊。本發(fā)明提供的基于HASKELL實(shí)現(xiàn)安全可證明的智能合約平臺(tái)，通過(guò)業(yè)務(wù)空間模塊、數(shù)學(xué)空間模塊、計(jì)算機(jī)空間模塊和動(dòng)物世界模塊構(gòu)成智能合約平臺(tái)，通過(guò)設(shè)置動(dòng)物世界模塊，主要采用HASKELL來(lái)建立數(shù)學(xué)模型，并對(duì)智能合約源代碼進(jìn)行正確性驗(yàn)，可以很方便地將數(shù)學(xué)模型映射到物理世界，有效的減少因合約程序出現(xiàn)漏洞時(shí)，導(dǎo)致交易安全事故多次發(fā)生的情況，本發(fā)明專(zhuān)利屬于2019年工業(yè)互聯(lián)網(wǎng)創(chuàng)新發(fā)展工程?工業(yè)互聯(lián)網(wǎng)標(biāo)識(shí)解析二級(jí)節(jié)點(diǎn)（家電行業(yè)應(yīng)用服務(wù)平臺(tái)）專(zhuān)項(xiàng)研究成果。 |
