IntersectMBO/plutus

(DecodeU8 . EncodeU8) Rewrite Rule

Open

#6,038 opened on May 17, 2024

View on GitHub
 (0 comments) (0 reactions) (1 assignee)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.

Contributor guide

Tech stack
None
Domain
backendtesting
Issue type
feature
DifficultyEstimated implementation difficulty for a new contributor, from 1 for very small changes to 5 for expert-level work.
3
Estimated timeA rough time range for an experienced contributor to investigate, implement, test, and prepare a pull request.
1-3 hours
Activity statusHow available the issue appears right now: fresh, active, stale, blocked, or waiting on maintainer input.
blocked
ClarityHow clearly the issue explains the expected change, acceptance criteria, and next step.
mostly clear
Prerequisites
HaskellPlutus coreQuickCheckBasic compiler concepts
Newbie friendlinessA 1-100 score estimating how approachable this issue is for first-time contributors.
40
Research direction
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.