發(fā)簡信
IP屬地：重慶
-
-
最簡單的多密鑰線性同態(tài)簽名方案
最簡單的多密鑰線性同態(tài)簽名方案 2月6日·2分鐘閱讀 Diego F. Aranhaand Elena Pagnin （于2019年出版） 我們...
-
無許可設(shè)置中的可編輯區(qū)塊鏈
無許可設(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)信息流控制的從屬型庫
Idris中用于靜態(tài)信息流控制的從屬型庫 1月29日·1分鐘閱讀 原作者：Simon Gregersen，S?renEller Thomsen和...
-
WIP：在Coq中正式確定Concordium共識協(xié)議
WIP：在Coq中正式確定Concordium共識協(xié)議 作者： Thomas Dinsdale-Young Concordium Ap S，Aa...
-
WIP：在Coq中正式制定Concordium共識協(xié)議
WIP：在Coq中正式制定Concordium共識協(xié)議 1月29日 · 1 分鐘閱讀 原作者：Thomas Dinsdale-Young，Bas...
-
在Coq建立一個智能合約核查框架(中文論文)在Coq建立一個智能合約核查框架 Danil Annnkov和Bas Spitters Aarhus大學(xué) PDF版下載：https://kdoc...
-
在Coq語言中建立智能合約驗證框架
原作者：來自Aarhus大學(xué)的Danil Annenkov和Bas Spitters （這項工作得到丹麥奧爾胡斯大學(xué)Concordium區(qū)塊鏈研...