Hi everyone! In this issue, we are bringing all the updates and news from Runtime Verification for the month of July.
If you enjoy this newsletter, share it with your friends and don’t forget to join us in Discord!
Runtime Verification at EthCC Paris
Rikard Hjort hosted a workshop about a technical hands-on introduction to formal verification at EthCC Paris last week. Some team members also went to Paris and attended side events happening around Paris during the week. If you want to reconnect, please say hi!!
Dexter's Formal Verification
We are proud to announce the completion of Dexter V2’s formal verification. 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. A detailed report and a dedicated blog post are available to anyone wanting to know more about the engagement and its results.
XET Token Audit
Runtime Verification has finished auditing XET token and its deployment script. A detailed report and a dedicated blog post are available to anyone wanting to know more about the engagement and its results.
DeFi Summer Hackathon
Our CTO, Everett Hildenbrant, hosted a workshop at DeFi Summer Hackathon where he talked about Formal Verification for DeFi Projects. The workshop recording is available on youtube in addition to the blog post written by the Minority Programmers, summarizing the workshop and the Q&A