arXiv subjects

Zhiheng Cai

Publications and source records attributed to Zhiheng Cai.

3 recordsLinked to original sources

arXiv2026

Intraday Gas Fee Heterogeneity on Ethereum: Evidence from Operational Firms

Ethereum's EIP-1559 fee mechanism was designed under the assumption of homogeneous, myopic agents responding to a single congestion signal. We examine how this assumption interacts with the heterogeneous demand structure of real-world Ethereum users. Analyzing 62,142 confirmed transactions from seven operational firms across seven industries (January--March 2026), we document significant intraday gas-fee variation: fees peak at hour~12 UTC (7\,AM ET, $\hatβ_{12}=\$0.054$ above the U.S.\ evening baseline, $p<0.001$) and are associated with periods of elevated speculative-arbitrage activity. Operational firms exhibit heterogeneous scheduling responses moderated by transaction deferrability and gas intensity. Residual cost floors, i.e. the gap between observed expenditure and the counterfactual under perfect off-peak scheduling, range from 40.7\% to 92.5\% of actual expenditure, and persist even during the lowest-cost hours ($h\in\{20,21,22,23\}$ UTC, 3--6\,PM ET). We introduce an On-Chain Scheduling Matrix that maps firms to four scheduling regimes as a practical framework for managing gas-fee exposure under the current mechanism.

econ.EM↗

arXiv2026

Extending Elle for Transaction Workloads with Duplicate Values

Elle is one of the most widely adopted black-box isolation validators. It crucially relies on the unique-value assumption for sound and efficient isolation validation. Yet, transaction workloads with duplicate values are highly relevant in practice: they naturally arise in real database systems, and many isolation bugs manifest only in their presence. In this paper, we extend Elle to handle such workloads by introducing a fine-grained dependency model that enables reasoning about dependencies between individual operations. We establish the soundness and completeness of our approach and implement it in a prototype. We also demonstrate its effectiveness in detecting isolation bugs and its promising performance.

cs.DB↗

arXiv2025

Fast Verification of Strong Database Isolation (Extended Version)

Strong isolation guarantees, such as serializability and snapshot isolation, are essential for maintaining data consistency and integrity in modern databases. Verifying whether a database upholds its claimed guarantees is increasingly critical, as these guarantees form a contract between the vendor and its users. However, this task is challenging, particularly in black-box settings, where only observable system behavior is available and often involves uncertain dependencies between transactions. In this paper, we present VeriStrong, a fast verifier for strong database isolation. At its core is a novel formalism called hyper-polygraphs, which compactly captures both certain and uncertain transactional dependencies in database executions. Leveraging this formalism, we develop sound and complete encodings for verifying both serializability and snapshot isolation. To achieve high efficiency, VeriStrong tailors SMT solving to the characteristics of database workloads, in contrast to prior general-purpose approaches. Our extensive evaluation across diverse benchmarks shows that VeriStrong not only significantly outperforms state-of-the-art verifiers on the workloads they support, but also scales to large, general workloads beyond their reach, while maintaining high accuracy in detecting isolation anomalies.

cs.DB↗