Always secure and safer than ever, thanks to next-level smart contract verification on Cardano
Traditional smart contract verification checks high-level code and trusts the compiler. In this second blog post in the formal verification series, we explain how we can verify the actual compiled bytecode that runs on-chain, catching bugs that other approaches miss
2025年 10月 14日 12 分で読めます
It is now possible to formally verify smart contracts at the exact level they execute on Cardano nodes – working directly with Untyped Plutus Core (UPLC) rather than reasoning over abstract models or surface loop.
By directly targeting UPLC, contracts can be verified regardless of the source language, including Plinth, Aiken, Plutarch, or any future language that targets the…
最新の記事
Always secure and safer than ever, thanks to next-level smart contract verification on Cardano 筆者： Romain Soulat
14 October 2025
Input | Output Researchがコミュニティに年度中間研究報告へのフィードバックを呼びかけ 筆者： Fergie Miller
29 August 2025
アイデアから実装まで：IO研究開発の考察 筆者： Nicolas Biri
26 August 2025