Runtime Verification becomes Algorand Foundation’s security partner

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 Foundation, including modeling the Pure Proof-of-Stake protocol, proving its safety theorem, and developing a formal semantic framework for Algorand’s smart contracts. This year has seen Runtime Verification work with the Algorand Foundation to review and audit several exciting projects, including Tinyman, Yieldly, StakerDAO, and AlgoDex.

With this new partnership, Runtime Verification consolidates its position towards helping to build one of the safest blockchain ecosystems using formal verification techniques and conducting audits in several projects built in the Algorand blockchain.

“RV is pleased to advance and accelerate our relationship with the Algorand Foundation, with whom we share the belief that security is fundamental to the eventual adoption of decentralized finance. This partnership announcement is a wonderful bookend to the year, and excites all of us for what’s in store for 2022” said Patrick MacKay, COO at Runtime Verification.

“Independent audits are essential to maintain the security and integrity of the Algorand network. Runtime Verification Inc have conducted audits for the Algorand Foundation and our partners previously, and have shown themselves to be an industry leader and company with verification expertise for blockchain audits. We look forward to our partnership and welcome Runtime Verification Inc as our security partner” said Addie Wagenknecht, Head of Global Ecosystems and Technical Operations at the Algorand Foundation.

Finally, we would like to take the opportunity to thank the Algorand Foundation, the ecosystem projects and the larger Algorand community. We are excited to work with all of you, today, tomorrow, and in the future.

--

--

--

Runtime Verification Inc. is a technology startup providing cutting edge formal verification tools and services for aerospace, automotive, and the blockchain.

Love podcasts or audiobooks? Learn on the go with our new app.

Recommended from Medium

Lightning 101: Lightning Network Fees

DREP Biweekly Updates 02.04–02.18

Blockchain: the future backseat driver of the car industry?

BaaS: How Blockchain as a Service is Shaping Business

The Metaverse shouldn’t be an actual yacht club.

Building a Blockchain Marketplace for Fintech Apps

Gate.io Bi-Weekly Report, 2020 June Issue #1

Get the Medium app

A button that says 'Download on the App Store', and if clicked it will lead you to the iOS App store
A button that says 'Get it on, Google Play', and if clicked it will lead you to the Google Play store
Runtime Verification

Runtime Verification

Runtime Verification Inc. is a technology startup providing cutting edge formal verification tools and services for aerospace, automotive, and the blockchain.

More from Medium

What does Transparency Cost You?

InvArch news for half of January 2022

Axelar Network