IntersectMBO/plutus

Use type-level Nats for `safeEncodeBits`

Open

Aperta il 17 mag 2024

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

Descrizione

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

Guida contributor

Tech stack
Nessuno
Dominio
backend
Tipo issue
feature
DifficoltàQuanto dovrebbe essere impegnativa per un nuovo contributor.
5
Tempo stimatoTempo stimato per completare e verificare uno scope piccolo.
over 1 week
Stato attivitàQuanto è probabile che la issue sia ancora attiva e reviewable.
fresh
ChiarezzaQuanto chiaramente la issue descrive problema, scope e risultato atteso.
clear
Prerequisiti
HaskellGHC type level programmingDataKindsPlutus core
Adatta ai principiantiQuanto la issue è adatta a contributor alla prima esperienza.
10
Direzione di ricerca
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.