Скачать или смотреть Nomadic Labs Research Seminars #8 | Bringing K Powered Blockchain Security to Tezos

The Nomadic Labs Research Seminars series is dedicated to promoting and discussing the extensive list of Tezos research and development projects.

The series includes live presentations from major research projects happening within the Tezos ecosystem. These hour-long sessions consist of an expert-led presentation for 45 minutes plus a 15 minutes live Q&A between developers, academics, and members of the Tezos community.

This session features a presentation with Everett Hildenbrandt and Stephen Skeirik from Runtime Verification.

Runtime Verification has a history of supplying software quality assurance services to the Ethereum ecosystem using the K-powered technology stack. K, being a language design and modelling framework, makes it easy to adapt the same tools to new languages. Recently, Everett Hildenbrandt & Stephen Skeirik engaged with members of the Tezos ecosystem to bring the same tooling and service offerings to the broader Tezos community, where new tooling is certainly needed. In this talk, they discussed how using the K approach makes porting the tooling from Ethereum to Tezos easier, and showed some of the medium and long-term plans for the Tezos ecosystem.

Everett Hildenbrandt has worked at Runtime Verification since 2018. His background is in physics and computer science, and his goal is to make tooling based on formal methods accessible and cheap for everyone. Stephen Skeirik joined Runtime Verification in 2020, after obtaining his PhD in formal modelling and verification at University of Illinois at Urbana Champaign. His goals include grounding system design on practical logical foundations, which enables real-world design and system formal verification.