A Logic of Blockchain Updates

Summaries already available in other languages: fr

Authors: Kai Brünnler, Dandolo Flumini, Thomas Studer

arXiv: 1707.01766v1 - DOI (cs.LO)
License: NONEXCLUSIVE-DISTRIB 1.0

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 is no logic-based model 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.

Submitted to arXiv on 06 Jul. 2017

Ask questions about this paper to our AI assistant

You can also chat with multiple papers at once here.

⚠The license of the paper does not allow us to build upon its content and the AI assistant only knows about the paper metadata rather than the full article.

AI assistant instructions?

Results of the summarizing process for the arXiv paper: 1707.01766v1

⚠This paper's license doesn't allow us to build upon its content and the summarizing process is here made with the paper's metadata rather than the article.

The summary is not ready yet
Created on 05 May. 2023
Available in other languages: fr

Assess the quality of the AI-generated content by voting

Score: 0

Why do we need votes?

Votes are used to determine whether we need to re-run our summarizing tools. If the count reaches -10, our tools can be restarted.

The previous summary was created more than a year ago and can be re-run (if necessary) by clicking on the Run button below.

⚠The license of this specific paper does not allow us to build upon its content and the summarizing tools will be run using the paper metadata rather than the full article. However, it still does a good job, and you can also try our tools on papers with more open licenses.

Similar papers summarized with our AI tools

75.3%
Design, Implementation, and Evaluation of Blockchain-Based Trusted Achievemen…
cs.CR
73.3%
Brief Lecture Notes on Self-Referential Mathematics, and Beyond
math.GM
73.1%
Graph rules for recurrent neural network dynamics: extended version
q-bio.NC
72.3%
Langlands correspondence and Bezrukavnikov's equivalence
math.RT
72.2%
Forecasting the movements of Bitcoin prices: an application of machine learni…
q-fin.CP
72.1%
Bag of Tricks for Efficient Text Classification
cs.CL
72.0%
A Blockchain-based Decentralized Federated Learning Framework with Committee …
cs.DC

Navigate through even more similar papers through a

tree representation

Look for similar papers (in beta version)

By clicking on the button above, our algorithm will scan all papers in our database to find the closest based on the contents of the full papers and not just on metadata. Please note that it only works for papers that we have generated summaries for and you can rerun it from time to time to get a more accurate result while our database grows.

Disclaimer: The AI-based summarization tool and virtual assistant provided on this website may not always provide accurate and complete summaries or responses. We encourage you to carefully review and evaluate the generated content to ensure its quality and relevance to your needs.