IP属地:重庆
最简单的多密钥线性同态签名方案 2月6日·2分钟阅读 Diego F. Aranhaand Elena Pagnin (于2019年出版) 我们考虑了不同用户认证数据的外包计...
无许可设置中的可编辑区块链 2月5日·2分钟阅读 Dominic Deuber,Bernardo Magri,Sri Aravinda Krishnan Thyagaraja...
遗忘数据结构的下界 Beni Issembert 1月29日·2分钟阅读 Riko Jacob,Kasper Green Larsen和Jesper Buus Nielsen...
Idris中用于静态信息流控制的从属型库 1月29日·1分钟阅读 原作者:Simon Gregersen,SørenEller Thomsen和Aslan Askarov —...
WIP:在Coq中正式确定Concordium共识协议 作者: Thomas Dinsdale-Young Concordium Ap S,Aarhus大学 SørenEll...
WIP:在Coq中正式制定Concordium共识协议 1月29日 · 1 分钟阅读 原作者:Thomas Dinsdale-Young,Bas Spitters,Søren...
在Coq建立一个智能合约核查框架 Danil Annnkov和Bas Spitters Aarhus大学 PDF版下载:https://kdocs.cn/l/scd3M1Hc...
原作者:来自Aarhus大学的Danil Annenkov和Bas Spitters (这项工作得到丹麦奥尔胡斯大学Concordium区块链研究中心的支持,并于2019年出...