IntersectMBO/plutus

Experiment: replace builtin type Strict Bytestring -> ShortByteString

Open

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

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

描述

As plutus user I want to have fast plutus execution. Perhaps changing strict bytestrings to short bytestrings may improve the performance. This change should not have any observable difference from existing plutus scripts, so it should be (in principle) backwards compatible with older plutus versions.

Acceptance Criteria:

change universe type to be shortbytestring

change all builtins denotations to operate on bytestrings directly.

(optional) add a benchmark that runs exclusively many bytestring operations

run plutus-benchmarks again and compare to see if it is indeed faster

(optional) replay the whole chain to see if anything changed in cek execution?

贡献者指南

技术栈
无
领域
backendperformance
议题类型
performance
难度面向新贡献者的预计实现难度，1 表示很小改动，5 表示专家级工作。
4
预计时间有经验贡献者完成调查、实现、测试并准备 pull request 的粗略时间范围。
3-5 days
活动状态议题当前的可参与程度：新鲜、活跃、陈旧、阻塞或等待维护者输入。
fresh
清晰度议题是否清楚说明期望改动、验收标准和下一步。
mostly clear
前置要求
Haskell proficiencyUnderstanding of Plutus internalsFamiliarity with bytestring types
新手友好度1-100 的估计分数，表示该议题对首次贡献者的友好程度。
30
研究方向
First, locate the Universe type in the plutus core package (likely in src/PlutusCore/Data.hs or similar). Then identify all builtins denotations that operate on bytestrings, which are defined across multiple files. The change involves replacing Data.ByteString with Data.ByteString.Short for these types. Review the existing benchmarks in plutus benchmarks to understand how to add a bytestring heavy benchmark. No linked PRs or comments exist, so the contributor must independently explore the code structure.