View profile

Runtime Verification Newsletter - Issue #7

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

Formal Verification in the Ethereum Ecosystem Event
We are just twelve days away from our online free event about Formal Verification in the Ethereum Ecosystem. We have updated our website with a new agenda and a complete list of speakers. If you are interested in learning more about formal verification or want to get started formally verifying your code, make sure to join us!
Join us at CoinFestUK in Manchester
After a fantastic week in Lisbon, our team is preparing for CoinFestUK in Manchester from 25th to 28th November. Rikard and Everett will host two workshops about Formal Verification: an introductory workshop followed by a more advanced one for those eager to learn more about formally verifying their code. Make sure to register if you are around Manchester on those dates. Oh, and the best part? It’s free!
A pic from the team before going to a side event in Lisbon
A pic from the team before going to a side event in Lisbon
The Rewards contracts, part of Algorand's Governance, have been audited
Our team recently finished auditing the Rewards Contracts, which are part of Algorand’s Community Governance. As usual, we published a public report and a detailed blog post with all the information about the engagement. Algorand’s new Community Governance allows Algo holders the opportunity to participate in the decision-making process and get rewarded by the end of each period.
Folks Finance Design Review
Our team has completed Folks Finance’s protocol design review. The protocol design it’s the first part of the security audit, and a 4-week code review will start shortly to identify any potential vulnerabilities before the project launches.
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