Hi everyone! In this issue, we are bringing all the updates and news from Runtime Verification for the month of September. 

If you enjoy this newsletter, share it with your friends and don’t forget to join us in Discord!

We are thrilled to announce Tinyman‘s audit completion and the publication of the official report and a dedicated blog post. Tinyman is a permissionless and trustless trading protocol built on the Algorand Blockchain.

Some members of our team will be going to Lisbon to attend Liscon, Ethlisbon, and some side events, and of course, to enjoy some Mediterranean food and wine. If you are going to be in Lisbon too, follow us on Twitter, come to our discord and let us know!

Get ready for next November 16th for our first online event of the year: Formal Verification in the Ethereum Ecosystem. The event will cover the essential aspects of formal verification, different languages, tools, approaches, and methods applied by key players in the ecosystem.

You can already register for free at our Crowdcast page

The panel discussion about Privacy and Security in DeFi, part of Harmony’s Hackathon: Bridging TradFi to DeFi, is already available. Stephen Tse, the founder of Harmony, hosted the session together with Drew Stone from Webb Protocol, Everett Hildenbrandt from Runtime Verification, and Dionysis Zindros from the University of Athens.