EPISODE · Nov 11, 2022 · 14 MIN
Verification of Tezos smart contracts with K-Michelson
from Iowa Type Theory Commute · host Aaron Stump
In this episode (proudly wearing my "I am not an expert" hat), I discuss efforts by Runtime Verification to verify the Dexter2 defi smart contract, using their K-Michelson tool, which provides an executable description of the operational semantics of the Michelson language used for smart contracts on the Tezos blockchain.
Embed this episode
NOW PLAYING
Verification of Tezos smart contracts with K-Michelson
0:00
14:24
1×
No transcript for this episode yet
Similar Episodes
No similar episodes found.
Similar Podcasts
No similar podcasts found.
Frequently Asked Questions
How long is this episode of Iowa Type Theory Commute?
This episode is 14 minutes long.
When was this Iowa Type Theory Commute episode published?
This episode was published on November 11, 2022.
Can I download this Iowa Type Theory Commute episode?
Yes. Use the download control on the episode player to save the publisher-provided media file.
URL copied to clipboard!