collaborators

1 paper

cs.CR2025

Theorem-Carrying Transactions: Runtime Verification to Ensure Interface Specifications for Smart Contract Safety

Thomas Ball, Nikolaj S. Bjørner, Ashley J. Chen +6

Security bugs and trapdoors in smart contracts have been impacting the Ethereum community since its inception. Conceptually, the 1.45-million Ethereum's contracts form a single "gi…