Plutusバリデーター用のシンプルなプロパティベーステスト
cooked-validatorsライブラリーでオフチェーンコードを作成し、無料でプロパティベーステストを実行する方法
2022年 1月 27日 15 分で読めます
先日、Tweagでスマートコントラクトの検証と監査を担うチームを率いるVictor Miraldo氏に、分散型金融(DeFi)界で安全面からみた検証の重要性について話を伺いました。Victorは、Haskellおよび形式手法エンジニアで、ツールやプロセスを使った分散型アプリケーション(DApp)の安全性と正確性の確保に取り組んでいます。このブログでVictorは、単にDAppを作成し、デプロイするだけでは十分ではなく、すべての開発者は、さまざまな悪質なユーザーを想定してオンチェーンコードとPlutusスクリプトを徹底的にテストするべきである理由を述べています。このため、ここではTweagが開発したcooked-validatorsと呼ばれるPlutus…
最新の記事
フルP2Pノード稼働に向かって 筆者: Marcin Szamotulski
14 March 2024
28 February 2024
Plutus V3でもっと多くのチャンスを引き出す 筆者: Olga Hryniuk
12 February 2024