Concordium中文社区

IP属地：重庆

Concordium中文白皮书 2020 Q1

2507 0 1
最简单的多密钥线性同态签名方案
最简单的多密钥线性同态签名方案 2月6日·2分钟阅读 Diego F. Aranhaand Elena Pagnin （于2019年出版）我们...

4822 0 0

无许可设置中的可编辑区块链
无许可设置中的可编辑区块链 2月5日·2分钟阅读 Dominic Deuber,Bernardo Magri,Sri Aravinda Kris...

3717 0 0
遗忘数据结构的下界
遗忘数据结构的下界 Beni Issembert 1月29日·2分钟阅读 Riko Jacob，Kasper Green Larsen和Jesp...

1760 0 0
Idris中用于静态信息流控制的从属型库
Idris中用于静态信息流控制的从属型库 1月29日·1分钟阅读原作者：Simon Gregersen，SørenEller Thomsen和...

1742 0 0
WIP：在Coq中正式确定Concordium共识协议
WIP：在Coq中正式确定Concordium共识协议作者： Thomas Dinsdale-Young Concordium Ap S，Aa...

3196 0 0
WIP：在Coq中正式制定Concordium共识协议
WIP：在Coq中正式制定Concordium共识协议 1月29日 · 1 分钟阅读原作者：Thomas Dinsdale-Young，Bas...

3440 0 0

在Coq建立一个智能合约核查框架(中文论文)
在Coq建立一个智能合约核查框架 Danil Annnkov和Bas Spitters Aarhus大学 PDF版下载：https://kdoc...

4583 0 0
在Coq语言中建立智能合约验证框架
原作者：来自Aarhus大学的Danil Annenkov和Bas Spitters （这项工作得到丹麦奥尔胡斯大学Concordium区块链研...

3579 0 0