IntersectMBO/plutus

The evaluate-builtins optimization isn't conservative

Open

#6 167 ouverte le 3 juin 2024

Voir sur GitHub
 (1 commentaire) (1 réaction) (0 assignés)Haskell (1 637 stars) (511 forks)batch import
Good first issueInternalPlutus IRbugoptimizationstatus: triagedtech debt

Description

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.

Guide contributeur

Stack technique
Aucun
Domaine
backendtesting
Type d'issue
bug
DifficultéDifficulté estimée pour un nouveau contributeur, de 1 pour un très petit changement à 5 pour un travail expert.
4
Temps estiméFourchette de temps approximative pour investiguer, implémenter, tester et préparer une pull request.
3-5 days
Statut d'activitéDisponibilité apparente de l'issue : fraîche, active, ancienne, bloquée ou en attente d'un mainteneur.
stale
ClartéClarté avec laquelle l'issue explique le changement attendu, les critères d'acceptation et la prochaine étape.
clear
Prérequis
Plutus IR basicsProperty testingHaskell
Accessibilité débutantScore de 1 à 100 estimant l'accessibilité de cette issue pour un premier contributeur.
40
Direction de recherche
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.