RegGuard integrates a decidable semantic validator, cross-layer consistency checks with probabilistic bounds, and verifiable fair ordering into optimistic rollups, cutting settlement failures by over 90% while retaining 85% throughput.
Kevm: A complete formal semantics of the ethereum virtual machine,
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.CR 1years
2026 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
RegGuard: Legitimacy and Fairness Enforcement for Optimistic Rollups
RegGuard integrates a decidable semantic validator, cross-layer consistency checks with probabilistic bounds, and verifiable fair ordering into optimistic rollups, cutting settlement failures by over 90% while retaining 85% throughput.