Runtime Verification Extends Their Commitment Towards Elrond And Is Now Offering Non-Custodial EGLD Delegation Services

Lucian Mincu
Sep 16, 2022
1 min read

Developed over 15 years to help ensure the safety and correctness of computer programs using formal methods, the high-level Runtime Verification framework and tools, previously pioneered at NASA, turned into an indispensable foundation for the development of the Elrond protocol, its core components and the applications operating on it.

Our close collaboration with the Runtime Verification team is bound by our shared approach to testing and auditing, contrary to established industry practices, which generally imply audits on the last mile to get the “audited by X” status.

We therefore worked together over the years with a security-first approach in mind, taking the continuous auditing path that allowed us to multiply the added value of these kinds of collaborations, before and even after launches.

Today, we are excited to announce that Runtime Verification have extended their commitment towards the Elrond Ecosystem by becoming staking providers, offering non-custodial EGLD delegation services and further contributing to the network’s security and decentralization.

The Runtime Verification non-custodial staking pool currently has 5 active nodes and offers ±11% APR with a capped delegation limit. You can find more details about RuntimeVerification as a verified Staking Provider on the Elrond Explorer:

About Runtime Verification

Runtime Verification is a technology startup based in Champaign-Urbana, Illinois. The company uses runtime verification-based techniques to perform security audits on virtual machines and smart contracts on public blockchains. It is dedicated to using its dynamic software analysis approach to improve the safety, reliability, and correctness of software systems in the blockchain field.

For more information, please visit us:


Written by
Lucian Mincu
CIO, Elrond Network