IntersectMBO/plutus

(DecodeU8 . EncodeU8) Rewrite Rule

Open

#6 038 ouverte le 17 mai 2024

Voir sur GitHub
 (0 commentaires) (0 réactions) (1 assigné)Haskell (1 637 stars) (511 forks)batch import
BuiltinsGood first issueInternaloptimizationstatus: triaged

Description

This is discussed with @Kenneth MacKenzie and considered safe.

Add also a quickcheck that (decodeUtf8 . encodeUtf8) == id to exclude the case of “missing replicating a bug” in the original unoptimized code.

Guide contributeur

Stack technique
Aucun
Domaine
backendtesting
Type d'issue
feature
DifficultéDifficulté estimée pour un nouveau contributeur, de 1 pour un très petit changement à 5 pour un travail expert.
3
Temps estiméFourchette de temps approximative pour investiguer, implémenter, tester et préparer une pull request.
1-3 hours
Statut d'activitéDisponibilité apparente de l'issue : fraîche, active, ancienne, bloquée ou en attente d'un mainteneur.
blocked
ClartéClarté avec laquelle l'issue explique le changement attendu, les critères d'acceptation et la prochaine étape.
mostly clear
Prérequis
HaskellPlutus coreQuickCheckBasic compiler concepts
Accessibilité débutantScore de 1 à 100 estimant l'accessibilité de cette issue pour un premier contributeur.
40
Direction de recherche
Examine existing rewrite rules in the Plutus compiler, e.g., in PlutusCore/src/PlutusCore/RewriteRules.hs. Understand the EncodeU8 and DecodeU8 functions, likely in PlutusCore/src/PlutusCore/Builtins.hs. Add a new rewrite rule in the appropriate module and include a QuickCheck property in the test suite (e.g., plutus core/test/Spec.hs) to verify that (decodeUtf8 . encodeUtf8) == id. Look at other similar rewrite rules for guidance.