A new era of smart contract verification on Cardano
Security matters. Learn more about a new tool that makes automated formal verification of Cardano contracts easier, faster, and more accessible than ever
2025年 7月 17日 7 分で読めます
On Cardano, smart contracts are written in powerful surface languages, such as Plinth, Aiken, and Plu–ts, among others. These contracts control real, valuable assets. If they fail, funds could be stolen or permanently locked.
Input | Output (IO) is developing a new tool to bring formal verification to Cardano smart contracts. While existing tools in the ecosystem – based on…
A new era of smart contract verification on Cardano
Security matters. Learn more about a new tool that makes automated formal verification of Cardano contracts easier, faster, and more accessible than ever
2025年 7月 17日 7 分で読めます
On Cardano, smart contracts are written in powerful surface languages, such as Plinth, Aiken, and Plu–ts, among others. These contracts control real, valuable assets. If they fail, funds could be stolen or permanently locked.
Input | Output (IO) is developing a new tool to bring formal verification to Cardano smart contracts. While existing tools in the ecosystem – based on…