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.