發(fā)簡(jiǎn)信
IP屬地：重慶
-
-
最簡(jiǎn)單的多密鑰線性同態(tài)簽名方案
最簡(jiǎn)單的多密鑰線性同態(tài)簽名方案 2月6日·2分鐘閱讀 Diego F. Aranhaand Elena Pagnin （于2019年出版） 我們...
-
無(wú)許可設(shè)置中的可編輯區(qū)塊鏈
無(wú)許可設(shè)置中的可編輯區(qū)塊鏈 2月5日·2分鐘閱讀 Dominic Deuber,Bernardo Magri,Sri Aravinda Kris...
-
遺忘數(shù)據(jù)結(jié)構(gòu)的下界
遺忘數(shù)據(jù)結(jié)構(gòu)的下界 Beni Issembert 1月29日·2分鐘閱讀 Riko Jacob，Kasper Green Larsen和Jesp...
-
Idris中用于靜態(tài)信息流控制的從屬型庫(kù)
Idris中用于靜態(tài)信息流控制的從屬型庫(kù) 1月29日·1分鐘閱讀 原作者：Simon Gregersen，S?renEller Thomsen和...
-
WIP：在Coq中正式確定Concordium共識(shí)協(xié)議
WIP：在Coq中正式確定Concordium共識(shí)協(xié)議 作者： Thomas Dinsdale-Young Concordium Ap S，Aa...
-
WIP：在Coq中正式制定Concordium共識(shí)協(xié)議
WIP：在Coq中正式制定Concordium共識(shí)協(xié)議 1月29日 · 1 分鐘閱讀 原作者：Thomas Dinsdale-Young，Bas...
-
在Coq建立一個(gè)智能合約核查框架(中文論文)在Coq建立一個(gè)智能合約核查框架 Danil Annnkov和Bas Spitters Aarhus大學(xué) PDF版下載：https://kdoc...
-
在Coq語(yǔ)言中建立智能合約驗(yàn)證框架
原作者：來(lái)自Aarhus大學(xué)的Danil Annenkov和Bas Spitters （這項(xiàng)工作得到丹麥奧爾胡斯大學(xué)Concordium區(qū)塊鏈研...