We present BlockSci, an open-source software platform for blockchain analysis.
Cryptography and Security Databases
Blockchain technologies are gaining massive momentum in the last few years.
Databases Cryptography and Security
The Bit Machine is used as a tool for measuring the computational space and time resources needed to evaluate Simplicity programs.
Programming Languages
Machine learning has recently enabled large advances in artificial intelligence, but these tend to be highly centralized.
However, there is a clear lack of a systematic framework with which different systems can be analyzed and compared against each other.
Databases Cryptography and Security Distributed, Parallel, and Cluster Computing
The framework allows participants to collaboratively build a dataset and use smart contracts to share a continuously updated model on a public blockchain.
Consensus in decentralized systems that asynchronously receive events and which are subject to Byzantine faults is a common problem with many real-life applications.
Distributed, Parallel, and Cluster Computing
In this paper, we describe the formal verification of Smart Contracts offered as part of the Azure Blockchain Content and Samples on github.
Programming Languages F.3.1
We present HotStuff, a leader-based Byzantine fault-tolerant replication protocol for the partially synchronous model.
Distributed, Parallel, and Cluster Computing
However, we have not yet found a testbed that enables researchers to develop and evaluate their new consensus algorithms or new protocols for blockchain sharding systems.
Cryptography and Security Distributed, Parallel, and Cluster Computing