IntersectMBO/plutus

Specify the exact meaning of "pure" in the PIR optimizer

Open

#6077 aperta il 21 mag 2024

Vedi su GitHub
 (0 commenti) (0 reazioni) (0 assegnatari)Haskell (511 fork)batch import
Good first issueInternalPlutus IRstatus: triaged

Metriche repository

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

Descrizione

We have that PlutusIR.Purity.isPure and its semantics seems to be underspecified. You can see how it causes confusion here for example.

We need to properly specify the semantics of this function and the entire concept of purity. Ideally, even formalize it. Otherwise we may run into a situation where the PIR optimizer changes the behavior of the program potentially introducing a severe bug into the smart contract.

And do we need the same for UPLC?

Guida contributor

Direzione di ricerca
Studia la funzione isPure esistente e il suo utilizzo nell'ottimizzatore PIR. Identifica i casi in cui il suo comportamento è ambiguo. Proponi una definizione formale di purezza nel contesto di PIR, possibilmente utilizzando un formalismo esistente. Documenta la definizione e aggiorna la specifica della funzione.
Tech stack
Nessuno
Dominio
compilersblockchain
Tipo issue
Documentazione
DifficoltàQuanto dovrebbe essere impegnativa per un nuovo contributor.
4
Tempo stimatoTempo stimato per completare e verificare uno scope piccolo.
3-5 giorni
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
HaskellPlutus
Adatta ai principiantiQuanto la issue è adatta a contributor alla prima esperienza.
20