IntersectMBO/plutus

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

Open

#6.077 aberto em 21 de mai. de 2024

Ver no GitHub
 (0 comments) (0 reactions) (0 assignees)Haskell (511 forks)batch import
Good first issueInternalPlutus IRstatus: triaged

Métricas do repositório

Stars
 (1.637 stars)
Métricas de merge de PR
 (Mesclagem média 15d 11h) (13 fundiu PRs em 30d)

Description

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?

Guia do colaborador

Direção de pesquisa
Estude a função isPure existente e seu uso no otimizador PIR. Identifique casos em que seu comportamento é ambíguo. Proponha uma definição formal de pureza no contexto do PIR, possivelmente usando um formalismo existente. Documente a definição e atualize a especificação da função.
Pilha de tecnologia
None
Domain
compilersblockchain
Tipo Issue
Documentação
DifficultyDificuldade de implementação estimada para um novo contribuidor, de 1 para alterações muito pequenas a 5 para trabalho de nível especializado.
4
Tempo estimadoUm intervalo de tempo aproximado para um colaborador experiente investigar, implementar, testar e preparar um pull request.
3-5 dias
Status da atividadeQuão disponível o issue aparece agora: novo, ativo, obsoleto, bloqueado ou aguardando entrada do mantenedor.
Ativo
ClarityCom que clareza o issue explica a mudança esperada, os critérios de aceitação e a próxima etapa.
Claro
Prerequisites
HaskellPlutus
Simpatia para novatosUma pontuação de 1 a 100 que estima o quão acessível este issue é para colaboradores iniciantes.
20