Protocol Berg v2: Frederik Luehrs - Runtime Assertions New Paradigm for Customized Contract Security

Thu, Oct 2, 2025, 12:00 AM

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. Allowing for embedded security is a paradigm shift which fundamentally changes the way we approach blockchain safety, while maintaining transaction throughput through parallel validation. Protocol Berg v2 12-13 June 2025 Berlin https://v2.protocol.berlin