IntersectMBO/plutus

(DecodeU8 . EncodeU8) Rewrite Rule

Open

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

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

仓库指标

Star
 (1,637 star)
PR 合并指标
 (平均合并 15天 11小时) (30 天内合并 13 个 PR)

描述

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.

贡献者指南

研究方向
检查 Plutus 编译器中的现有重写规则，例如在 PlutusCore/src/PlutusCore/RewriteRules.hs 中。理解 EncodeU8 和 DecodeU8 函数，它们可能在 PlutusCore/src/PlutusCore/Builtins.hs 中。在适当的模块中添加新的重写规则，并在测试套件（例如 plutus core/test/Spec.hs）中包含一个 QuickCheck 属性，以验证 (decodeUtf8 . encodeUtf8) == id。参考其他类似的重写规则作为指导。
技术栈
无
领域
backend
议题类型
测试
难度面向新贡献者的预计实现难度，1 表示很小改动，5 表示专家级工作。
2
预计时间有经验贡献者完成调查、实现、测试并准备 pull request 的粗略时间范围。
1-3 小时
活动状态议题当前的可参与程度：新鲜、活跃、陈旧、阻塞或等待维护者输入。
活跃
清晰度议题是否清楚说明期望改动、验收标准和下一步。
清晰
前置要求
HaskellQuickCheck
新手友好度1-100 的估计分数，表示该议题对首次贡献者的友好程度。
60