distributed data structures
Recently Published Documents


TOTAL DOCUMENTS

53
(FIVE YEARS 0)

H-INDEX

9
(FIVE YEARS 0)

2020 ◽  
Vol 30 (8) ◽  
pp. 1469-1485
Author(s):  
Kai Brünnler ◽  
Dandolo Flumini ◽  
Thomas Studer

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 $\mathsf{BCL}$, a dynamic logic to reason about blockchain updates, and show that $\mathsf{BCL}$ is sound and complete with respect to a simple blockchain model.



Author(s):  
Spyros Sioutas ◽  
Gerasimos Vonitsanos ◽  
Nikolaos Zacharatos ◽  
Christos Zaroliagis




Author(s):  
Benjamin A. Brock ◽  
Yuxin Chen ◽  
Jiakun Yan ◽  
John Owens ◽  
Aydin Buluc ◽  
...  


2019 ◽  
pp. 135-148
Author(s):  
Suman Saha ◽  
Shailendra Shukla


Sign in / Sign up

Export Citation Format

Share Document