5 papers
SonicDB S6: A Storage-Efficient Verkle Trie for High-Throughput Blockchains
Luigi Crisci, Lorenz Schuler, Herbert Jordan +1
The Ethereum state database uses Merkle Patricia Trie (MPT), which suffers from large witness proof sizes and high storage overhead. Verkle Tries have been proposed as a replacemen…
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…
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…
Reusable Formal Verification of DAG-based Consensus Protocols
Nathalie Bertrand, Pranav Ghorpade, Sasha Rubin +2
Blockchains use consensus protocols to reach agreement, e.g., on the ordering of transactions. DAG-based consensus protocols are increasingly adopted by blockchain companies to red…
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…