IntersectMBO/plutus

Provide expected result of compress and uncompress builtins for UPLC conformance

Open

#5,814 建立於 2024年3月2日

在 GitHub 查看
 (5 留言) (0 反應) (1 負責人)Haskell (1,637 star) (511 fork)batch import
BuiltinsGood first issueLow prioritySpecificationstatus: triagedtech debt

描述

Describe the feature you'd like

To facilitate independent implementations of builtins that can not leverage the usage of the same blst dependency used in this repository, it would be useful to provide the expected results of the builtins.

this is not currently the case, especially for builtins expecting bls12_381_G1_element and bls12_381_G2_element arguments like

  • bls12_381_G1_compress
  • bls12_381_G1_uncompress
  • bls12_381_G2_compress
  • bls12_381_G2_uncompress

given that, as per section C.3.4 of the plutus-core-specification pdf; these are always represented in the "uncompressed" form;

This makes it really hard to prove the result of the builtin is the one intended

Describe alternatives you've considered

No response

貢獻者指南

技術棧
無
領域
documentation
議題類型
feature
難度面向新貢獻者的預計實作難度，1 表示很小改動，5 表示專家級工作。
3
預計時間有經驗貢獻者完成調查、實作、測試並準備 pull request 的粗略時間範圍。
half day
活動狀態議題目前的可參與程度：新鮮、活躍、陳舊、阻塞或等待維護者輸入。
needs maintainer response
清晰度議題是否清楚說明預期改動、驗收標準和下一步。
clear
前置要求
BLS12-381 primitivesPlutus Core specification
新手友善度1-100 的估計分數，表示該議題對首次貢獻者的友善程度。
40
研究方向
Investigate the plutus core specification, particularly section C.3.4, to understand the uncompressed representation. Then, based on the existing implementation in the repository (using blst library), compute and document the expected compressed and uncompressed values for G1 and G2 elements. The expected results should be provided in a format that enables independent implementors to verify correctness.