IntersectMBO/plutus

(DecodeU8 . EncodeU8) Rewrite Rule

Open

#6,038 创建于 2024年5月17日

在 GitHub 查看
 (0 评论) (0 反应) (1 负责人)Haskell (1,637 star) (511 fork)batch import
BuiltinsGood first issueInternaloptimizationstatus: triaged

描述

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.

贡献者指南

技术栈
无
领域
backendtesting
议题类型
feature
难度面向新贡献者的预计实现难度，1 表示很小改动，5 表示专家级工作。
3
预计时间有经验贡献者完成调查、实现、测试并准备 pull request 的粗略时间范围。
1-3 hours
活动状态议题当前的可参与程度：新鲜、活跃、陈旧、阻塞或等待维护者输入。
blocked
清晰度议题是否清楚说明期望改动、验收标准和下一步。
mostly clear
前置要求
HaskellPlutus coreQuickCheckBasic compiler concepts
新手友好度1-100 的估计分数，表示该议题对首次贡献者的友好程度。
40
研究方向
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.