IntersectMBO/plutus

The evaluate-builtins optimization isn't conservative

Open

#6.167 geöffnet am 3. Juni 2024

Auf GitHub ansehen
 (1 Kommentar) (1 Reaktion) (0 zugewiesene Personen)Haskell (1.637 Stars) (511 Forks)batch import
Good first issueInternalPlutus IRbugoptimizationstatus: triagedtech debt

Beschreibung

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.

Contributor Guide

Tech Stack
Keine
Domain
backendtesting
Issue Type
bug
SchwierigkeitGeschätzte Implementierungsschwierigkeit für neue Contributors, von 1 für sehr kleine Änderungen bis 5 für Expertenarbeit.
4
Geschätzte ZeitEin grober Zeitrahmen, um zu recherchieren, zu implementieren, zu testen und einen Pull Request vorzubereiten.
3-5 days
AktivitätsstatusWie verfügbar das Issue gerade wirkt: frisch, aktiv, stale, blockiert oder wartet auf Maintainer-Input.
stale
KlarheitWie klar das Issue die erwartete Änderung, Akzeptanzkriterien und den nächsten Schritt erklärt.
clear
Voraussetzungen
Plutus IR basicsProperty testingHaskell
EinsteigerfreundlichkeitEin Score von 1 bis 100, der schätzt, wie zugänglich dieses Issue für First-Time Contributors ist.
40
Research-Richtung
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.