Simple property-based tests for Plutus validators
How to write off-chain code with the 'cooked-validators' library and get property-based tests for free
27 January 2022 8 mins read
We recently heard from Victor Miraldo, who leads the smart contract verification and auditing team at Tweag, about the importance of verification for security reasons in the world of decentralized finance (DeFi). Victor is a Haskell and formal methods engineer committed to ensuring the safety and correctness of decentralized apps (DApps) through tools and processes. In this…
Recent posts
From idea to implementation: a look into IO's research and development by Nicolas Biri
26 August 2025
Unlocking zero-knowledge proofs for Cardano: the Halo2-Plutus verifier by Kris Bennett
26 August 2025
Professor Kiayias explores consensus evolution at Science of Blockchain Conference 2025 by Ivan Irakoze
22 August 2025