Validity, Liquidity, and Fidelity: Verifying Smart Contracts with Confidence
Автор: Input Output Group
Загружено: 2025-11-13
Просмотров: 39
At the UPLC Programming Language Conference 2025, Tudor Ferariu, PhD Student at the University of Edinburgh, presented “Validity, Liquidity, and Fidelity: Formal Verification for Smart Contracts on Cardano.”
Smart contracts are powerful — but expensive to build. Tudor explores how formal verification can make development easier, cheaper, and more efficient, helping developers create reliable contracts without the usual overhead.
📍 Hosted by Input | Output at the University of Edinburgh
Connect with IO:
Visit IO website: https://iohk.io/en/
Follow IO on X: / inputoutputhk
Follow IO on LinkedIn: / input-output-global
#UPLC2025 #IOG #Cardano #SmartContracts #FormalVerification #UPLC #BlockchainResearch
Доступные форматы для скачивания:
Скачать видео mp4
-
Информация по загрузке:
