搜索结果: 1-1 共查到“public ledgers”相关记录1条 . 查询时间(0.109 秒)
Ledger Design Language: Towards Formal Reasoning and Implementation for Public Ledgers
public ledgers formal verification proverif
2018/5/11
Cryptocurrencies have popularized public ledgers, known colloquially as "blockchains". While the Bitcoin blockchain is relatively simple to reason about as, effectively, a hash chain, more complex pub...