View profile

Runtime Verification Newsletter - Issue #5

Runtime Verification  Newsletter
Runtime Verification Newsletter - Issue #5
Hi everyone! In this issue, we are bringing all the updates and news from Runtime Verification for the month of August. 
If you enjoy this newsletter, share it with your friends and don’t forget to join us in Discord!

From 0 to K Tutorial
A new blog post tutorial with a youtube walk-through about proving in K from zero is already available. The blog post covers different resources and six exercises with tutorials and solutions. It’s the first tutorial of many more to come, so stay tuned! 
Harmony Hackathon: Bridging TradFi to DeFi
Our CTO, Everett Hildenbrandt, will be part of Harmony’s Hackathon: Bridging TradFi to DeFi. Everett will take part in a Security panel and he will also host a KEVM workshop. Keep an eye on Harmony’s youtube channel and our Discord for more details.
Summertime Engagements
For some, it’s been hot DeFi summer, but in our case, we surely had a hot security summer (If that’s even a thing). Our team has been working side-by-side with projects built on the Ethereum, Algorand, and Tezos blockchains to review their code and catch any potential exploits.
Say Hi to our New Team Members!
A few months have passed since we announced our $5.3 million funding round. A lot has happened, but today, we are thrilled to announce some updates, such as opening our first office in Asia, located in Singapore, and a 25% team size growth.
Did you enjoy this issue?
Runtime Verification  Newsletter

Monthly updates about Runtime Verification and K Framework.

In order to unsubscribe, click here.
If you were forwarded this newsletter and you like it, you can subscribe here.
Powered by Revue