搜索结果: 1-3 共查到“军事学 Bitcoin smart contracts”相关记录3条 . 查询时间(0.125 秒)
Besides simple transfers of currency, Bitcoin also enables various forms of smart contracts, i.e. protocols where users interact within pre-agreed rules, which determine (possibly depending on the act...
Albeit the primary usage of Bitcoin is to exchange currency, its blockchain and consensus mechanism can also be exploited to securely execute some forms of smart contracts. These are agreements among ...
BitML: a calculus for Bitcoin smart contracts
Bitcoin smart contracts computational attacks
2018/2/1
We propose a domain-specific language for smart contracts, which allows participants to transfer cryptocurrency according to agreed contract terms. We define a symbolic and a computational model for r...