Results 31 to 40 of about 168,416,722 (298)
CoRR, 2019 Most cryptocurrencies rely on Proof-of-Work (PoW) "mining" for resistance to Sybil and double-spending attacks, as well as a mechanism for currency issuance. Hashcash PoW has successfully secured the Bitcoin network since its inception, however, as the network has expanded to take on additional value storage and transaction volume, Bitcoin PoW's heavy ...
Michael Dubrovsky +2 more
openaire +2 more sources
BlockSim: An Extensible Simulation Tool for Blockchain Systems
Frontiers in Blockchain, 2020 Both in the design and deployment of blockchain solutions many performance-impacting configuration choices need to be made. We introduce BlockSim, a framework and software tool to build and simulate discrete-event dynamic systems models for blockchain ...
Maher Alharby +2 more
doaj +1 more source
Cut-elimination, substitution and normalisation [PDF]
, 2014 Date of Acceptance: 01/2015We present a proof (of the main parts of which there is a formal version, checked with the Isabelle proof assistant) that, for a G3-style calculus covering all of intuitionistic zero-order logic, with an associated term ...
Roy Dyckhoff, Dyckhoff, Roy
core +1 more source
Blockchain Networks – Security Aspects and Consensus Models
Journal of Telecommunications and Information Technology, 2019 Data integration and fast effective data processing are the primary challenges in today’s high-performance computing systems used for Big Data processing and analysis in practical scenarios.
Andrzej Wilczyński, Adrian Widłak
doaj +1 more source
The Cost of Bitcoin Mining Has Never Really Increased
Frontiers in Blockchain, 2020 The Bitcoin network is burning a large amount of energy for mining. In this paper, we estimate the lower bound for the global mining energy cost for a period of 10 years from 2010 to 2020, taking into account changes in energy costs, improvements in ...
Yo-Der Song +3 more
doaj +1 more source
Proofs of Proofs of Work with Sublinear Complexity
, 2016 In the setting of blockchain based transaction ledgers we study the problem of “simplified payment verification” (SPV) which refers to the setting of a transaction verifier that wishes to examine the last k blocks of the blockchain (e.g., for the purpose of verification of a certain transaction) using as only advice the genesis block (or some ...
Kiayias, A., Lamprou, N., Stouka, A.-P.
openaire +2 more sources
Decentralizing democracy: approaches to consensus within blockchain communities
Revista Teknokultura, 2019 Creating fair, transparent and genuinely democratic modes of decentralized decision-making has been a key concern for many developers and users of blockchains.
Christopher Tozzi
doaj +1 more source
CBCIoT: A Consensus Algorithm for Blockchain-Based IoT Applications
Applied Sciences, 2021 Internet of things is widely used in the current era to collect data from sensors and perform specific tasks through processing according to the requirements.
Moin Uddin +5 more
doaj +1 more source
IEEE Access, 2019 The rapid development of blockchain technology and their numerous emerging applications has received huge attention in recent years. The distributed consensus mechanism is the backbone of a blockchain network.
Cong T. Nguyen +5 more
doaj +1 more source
Future Internet, 2021 Blockchain technology is a sustainable technology that offers a high level of security for many industrial applications. Blockchain has numerous benefits, such as decentralisation, immutability and tamper-proofing. Blockchain is composed of two processes,
Nur Arifin Akbar +3 more
doaj +1 more source