IntersectMBO/plutus

Use type-level Nats for `safeEncodeBits`

Open

#6.048 aberto em 17 de mai. de 2024

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

Description

Right now safeEncodeBits act like a C-assertion. Use instead GHC.TypeLits/DataKinds to enforce safety statically.

Guia do colaborador

Pilha de tecnologia
None
Domain
backend
Tipo Issue
feature
DifficultyDificuldade de implementação estimada para um novo contribuidor, de 1 para alterações muito pequenas a 5 para trabalho de nível especializado.
5
Tempo estimadoUm intervalo de tempo aproximado para um colaborador experiente investigar, implementar, testar e preparar um pull request.
over 1 week
Status da atividadeQuão disponível o issue aparece agora: novo, ativo, obsoleto, bloqueado ou aguardando entrada do mantenedor.
fresh
ClarityCom que clareza o issue explica a mudança esperada, os critérios de aceitação e a próxima etapa.
clear
Prerequisites
HaskellGHC type level programmingDataKindsPlutus core
Simpatia para novatosUma pontuação de 1 a 100 que estima o quão acessível este issue é para colaboradores iniciantes.
10
Direção de pesquisa
Examine the implementation of `safeEncodeBits` in the Plutus source code. Investigate how GHC.TypeLits and DataKinds can be used to lift bit length constraints to the type level, removing the need for runtime assertions. Look at existing uses of type level naturals in the codebase for guidance.