Runtime Assertions: A New Paradigm for Customized Smart Contract Security

Runtime Assertions: A New Paradigm for Customized Smart Contract Security

|Fri. Jun. 27, 2025
UTC

We propose a novel approach to blockchain security through concurrent runtime assertions - a modified EVM that enables real-time customized transaction validation alongside execution. By introducing an extended runtime environment applied to the current network's state, this system allows developers to define invariants about their protocols. These invariants are continuously verified, running in parallel to transaction execution, enabling immediate detection and prevention of security violations.

More videos

See more videos