Showing 2025Show all
3 papers · 1 filter
cs.DB2025
A Fast Ethereum-Compatible Forkless Database
Herbert Jordan, Kamil Jezek, Pavle Subotic +1
The State Database of a blockchain stores account data and enables authentication. Modern blockchains use fast consensus protocols to avoid forking, improving throughput and finali…
cs.DB2025
Efficient Forkless Blockchain Databases
Herbert Jordan, Kamil Jezek, Pavle Subotic +1
Operating nodes in an L1 blockchain remains costly despite recent advances in blockchain technology. One of the most resource-intensive components of a node is the blockchain datab…
cs.CR2025
Formal Model Guided Conformance Testing for Blockchains
Filip Drobnjakovic, Amir Kashapov, Matija Kupresanin +2
Modern blockchains increasingly consist of multiple clients that implement a single blockchain protocol. If there is a semantic mismatch between the protocol implementations, the b…