Runtime Vеrification (@rv_inc) — Twitter Score 58 out of 1000

Runtime Vrification is a formal-methods software assurance and blockchain security firm founded by Grigore Rosu that applies rigorous verification techniques to improve the safety and correctness of computing systems. Runtime Vrification's Twitter Score is 58 out of 1000 (a Good rating) as of August 2026, ranking #15,098 (top 5%) among 483,944 tracked accounts.

Runtime Vrification was spun out of the University of Illinois at Urbana-Champaign, with which it was formerly affiliated. The firm formalized EVM semantics in the K framework as KEVM, a contribution that helped pioneer formal verification for blockchain systems. Its past crypto clients include Ethereum, Algorand, Polkadot, Solana Foundation, Cosmos, Optimism, Arbitrum, zkSync, EigenLayer, Lido, Maker, Uniswap, and Gnosis, spanning a broad range of protocols and ecosystems.

Runtime Vrification describes itself as having secured more than $100 billion in total value across more than 100 clients, with a team of 22 security experts. Its advisory bench includes Philip Daian and Rikard Hjort as Security Advisors, Darko Marinov as Testing Advisor, Andrew Miller as Cryptography Advisor, Bogdan Stanciu as Product and Branding Advisor, Jed Taylor and Sriram Vishwanath as Business Advisors, and Vlad Zamfir as Ethereal Advisor. Runtime Vrification has published 2,067 posts on the platform and has been mentioned by 134 accounts a total of 422 times.

Who follows Runtime Vrification on X?

Runtime Vrification draws a technically oriented audience on the platform. The accounts that follow Runtime Vrification include 225 founders, 49 angel investors, 36 influencers and 5 VCs, among them Tarun Chitra, Polygon, Tay, John Wang, Banteg and 0xMaki.