IntersectMBO/plutus

The evaluate-builtins optimization isn't conservative

Open

#6167 aperta il 3 giu 2024

Vedi su GitHub
 (1 commento) (1 reazione) (0 assegnatari)Haskell (511 fork)batch import
Good first issueInternalPlutus IRbugoptimizationstatus: triagedtech debt

Metriche repository

Star
 (1637 star)
Metriche merge PR
 (Merge medio 15g 11h) (13 PR mergiate in 30 g)

Descrizione

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.

Guida contributor

Direzione di ricerca
Scrivi un test basato sulle proprietà che fallisce per l'ottimizzazione evaluate builtins, quindi correggi il bug rendendo l'ottimizzazione conservativa.
Tech stack
Nessuno
Dominio
blockchain
Tipo issue
Bug
DifficoltàQuanto dovrebbe essere impegnativa per un nuovo contributor.
3
Tempo stimatoTempo stimato per completare e verificare uno scope piccolo.
1-3 ore
Stato attivitàQuanto è probabile che la issue sia ancora attiva e reviewable.
Attiva
ChiarezzaQuanto chiaramente la issue descrive problema, scope e risultato atteso.
Chiara
Prerequisiti
HaskellPlutusProperty testing
Adatta ai principiantiQuanto la issue è adatta a contributor alla prima esperienza.
65