一種基于HASKELL實現(xiàn)安全可證明的智能合約平臺

基本信息

申請?zhí)?/td> CN202110169753.5 申請日 -
公開（公告）號 CN112887321A 公開（公告）日 2021-06-01
申請公布號 CN112887321A 申請公布日 2021-06-01
分類號 H04L29/06;H04L29/08 分類 電通信技術(shù);
發(fā)明人 謝海琴;魏緒文;盛國軍;朱升平;張宏權(quán) 申請（專利權(quán)）人 海爾數(shù)字科技（上海）有限公司
代理機構(gòu) 蘇州中合知識產(chǎn)權(quán)代理事務(wù)所（普通合伙） 代理人 阮梅
地址 201600 上海市松江區(qū)漕河涇開發(fā)區(qū)松江高科技園莘磚公路668號305室
法律狀態(tài) -

摘要

摘要 本發(fā)明提供一種基于HASKELL實現(xiàn)安全可證明的智能合約平臺。所述基于HASKELL實現(xiàn)安全可證明的智能合約平臺，包括：業(yè)務(wù)空間模塊、數(shù)學空間模塊、計算機空間模塊和動物世界模塊。本發(fā)明提供的基于HASKELL實現(xiàn)安全可證明的智能合約平臺，通過業(yè)務(wù)空間模塊、數(shù)學空間模塊、計算機空間模塊和動物世界模塊構(gòu)成智能合約平臺，通過設(shè)置動物世界模塊，主要采用HASKELL來建立數(shù)學模型，并對智能合約源代碼進行正確性驗，可以很方便地將數(shù)學模型映射到物理世界，有效的減少因合約程序出現(xiàn)漏洞時，導(dǎo)致交易安全事故多次發(fā)生的情況，本發(fā)明專利屬于2019年工業(yè)互聯(lián)網(wǎng)創(chuàng)新發(fā)展工程?工業(yè)互聯(lián)網(wǎng)標識解析二級節(jié)點（家電行業(yè)應(yīng)用服務(wù)平臺）專項研究成果。