Runtime Verification is honored to announce a new partnership with the Algorand Foundation. Through this partnership, Runtime Verification becomes the Foundation’s preferred security partner, and underlines its security commitment to Algorand and its ecosystem.
Since 2019, RV has worked on a series of engagements with Algorand Inc and the Algorand…
Runtime Verification is thrilled to announce the audit completion of Element’s Finance Governance Protocol’s Smart Contracts. This blog post will dive into why it’s crucial to audit Governance protocols and a detailed audit description.
Decentralized Governance Protocols are on the rise, and with it, a higher risk for exploits associated…
Runtime Verification is thrilled to announce the audit completion of the Rewards Contracts, which are part of Algorand’s Community Governance. …
At Runtime Verification, K framework is the backbone of the company. Since the CEO of Runtime Verification, Grigore Rosu, started the K project back in 2003 for teaching purposes, the K framework has evolved, its user base has grown, and there are more use cases than ever in the ecosystem.
…
Runtime Verification is thrilled to announce Dexter 2’s formal verification completion. Dexter 2 is an open-source, decentralized, non-custodial exchange for XTZ and FA1.2/FA2 tokens on the Tezos blockchain developed by the CamlCase team.
Dexter’s engagement focused on formally verifying the bytecode using K-Michelson, an implementation of Michelson in the K…
Runtime Verification is thrilled to announce XET token audit completion. XET token is the utility and governance token of the Xfinite ecosystem, a blockchain platform redefining the future of digital on-demand entertainment.
XET token is the native currency of the Xfinite ecosystem. The token functions as a unique value of…
Over the past eight months, a series of companies have undergone smart contract security audits with Runtime Verification. These companies have something in common: they are staking providers operating in the DeFi ecosystem.
This blog post aims to explain some common mistakes, patterns and aims to create awareness about security…
Runtime Verification, a startup that uses runtime verification-based techniques to conduct security audits on virtual machines and smart contracts, has raised $5.3 million in a funding round led by IOSG Ventures.
Investment came from a range of notable VC firms including Fenbushi Capital, Maven 11, Borderless Capital (Algorand), cFund (Cardano)…
Elrond and Runtime Verification started as friends, professional admirers of each other’s organizations. The picture attached to this post shows members of both companies together at DevCon IV in Prague, October 2018. Quickly thereafter, Grigore Rosu, Runtime Verification’s founder and CEO, agreed to become an advisor to Elrond.
In a previous blog post, we introduced the K-Michelson project, a project developed by Runtime Verification and funded by a generous grant from the Tezos Foundation. So what is K-Michelson? Simply put, it is a formal verification framework for Michelson smart contracts; see our previous post for details. …
