Plutusバリデーター用のシンプルなプロパティベーステスト

先日、Tweagでスマートコントラクトの検証と監査を担うチームを率いるVictor Miraldo氏に、分散型金融（DeFi）界で安全面からみた検証の重要性について話を伺いました。Victorは、Haskellおよび形式手法エンジニアで、ツールやプロセスを使った分散型アプリケーション（DApp）の安全性と正確性の確保に取り組んでいます。このブログでVictorは、単にDAppを作成し、デプロイするだけでは十分ではなく、すべての開発者は、さまざまな悪質なユーザーを想定してオンチェーンコードとPlutusスクリプトを徹底的にテストするべきである理由を述べています。このため、ここではTweagが開発したcooked-validatorsと呼ばれるPlutus…