IntersectMBO/plutus

(DecodeU8 . EncodeU8) Rewrite Rule

Open

#6,038 opened on 2024年5月17日

GitHub で見る
 (0 comments) (0 reactions) (1 assignee)Haskell (511 forks)batch import
BuiltinsGood first issueInternaloptimizationstatus: triaged

Repository metrics

Stars
 (1,637 stars)
PR merge metrics
 (平均マージ 15d 11h) (30d で 13 merged PRs)

説明

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
Issue 種別
テスト
難度新しい貢献者にとっての実装難度です。1 は非常に小さな変更、5 は専門的な作業です。
2
推定時間経験ある貢献者が調査、実装、テスト、pull request 準備にかけるおおよその時間範囲です。
1-3時間
活動状況Issue が今どれだけ取り組みやすいかを示します。新しい、活発、古い、ブロック中、またはメンテナー入力待ちなどです。
アクティブ
明確さ期待される変更、受け入れ条件、次の手順がどれだけ明確かを示します。
明確
前提条件
HaskellQuickCheck
初心者向け度初回貢献者にどれだけ取り組みやすいかを 1-100 で推定したスコアです。
60