IntersectMBO/plutus

The evaluate-builtins optimization isn't conservative

Open

#6,167 opened on 2024年6月3日

GitHub で見る
 (1 comment) (1 reaction) (0 assignees)Haskell (1,637 stars) (511 forks)batch import
Good first issueInternalPlutus IRbugoptimizationstatus: triagedtech debt

説明

PlutusIR.Transform.EvaluateBuiltins turns ifThenElse True x y into x. That is not conservative: if y throws then the former term will throw and the latter one won't. So this is a bug that needs to be fixed. It wasn't discussed in the original PR.

More importantly, this looks like something that the proper property testing should catch. Look like a perfect opportunity for the PIR generators to show their power. So it'd be best to first write a failing property, then fix the bug.

コントリビューターガイド

技術スタック
なし
領域
backendtesting
Issue 種別
bug
難度新しい貢献者にとっての実装難度です。1 は非常に小さな変更、5 は専門的な作業です。
4
推定時間経験ある貢献者が調査、実装、テスト、pull request 準備にかけるおおよその時間範囲です。
3-5 days
活動状況Issue が今どれだけ取り組みやすいかを示します。新しい、活発、古い、ブロック中、またはメンテナー入力待ちなどです。
stale
明確さ期待される変更、受け入れ条件、次の手順がどれだけ明確かを示します。
clear
前提条件
Plutus IR basicsProperty testingHaskell
初心者向け度初回貢献者にどれだけ取り組みやすいかを 1-100 で推定したスコアです。
40
調査方針
Examine the transformation in PlutusIR.Transform.EvaluateBuiltins that reduces ifThenElse with a constant boolean. Understand the original PR #5269 for context. Then design a property test using the PIR generators that checks that the transformation preserves semantics even when branches may throw. After a failing test is produced, fix the transformation to be conservative.