A logic of blockchain updates
【Author】 Brunnler, Kai; Flumini, Dandolo; Studer, Thomas
【Source】JOURNAL OF LOGIC AND COMPUTATION
【影响因子】0.509
【Abstract】Blockchains are distributed data structures that are used to achieve consensus in systems for cryptocurrencies (like Bitcoin) or smart contracts (like Ethereum). Although blockchains gained a lot of popularity recently, there are only few logic-based models for blockchains available. We introduce BCL, a dynamic logic to reason about blockchain updates, and show that BCL is sound and complete with respect to a simple blockchain model.
【Keywords】blockchain; dynamic epistemic logic; modal logic
【发表时间】2020 DEC
【收录时间】2022-01-02
【文献类型】
【主题类别】
--
【DOI】 10.1093/logcom/exaa045
评论