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.
Maximal extractable value: Current understanding, categorization, and open research questions
2 Pith papers cite this work. Polarity classification is still indexing.
2
Pith papers citing it
fields
cs.CR 2verdicts
UNVERDICTED 2representative citing papers
BugMagnifier provides a dynamic testing framework that manipulates message queues to expose execution-order vulnerabilities in TON smart contracts that static analysis misses.
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.
-
BugMagnifier: TON Transaction Simulator for Revealing Smart Contract Vulnerabilities
BugMagnifier provides a dynamic testing framework that manipulates message queues to expose execution-order vulnerabilities in TON smart contracts that static analysis misses.