IntersectMBO/plutus

Provide expected result of compress and uncompress builtins for UPLC conformance

Open

#5,814 创建于 2024年3月2日

在 GitHub 查看
 (5 评论) (0 反应) (1 负责人)Haskell (511 fork)batch import
BuiltinsGood first issueLow prioritySpecificationstatus: triagedtech debt

仓库指标

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

描述

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

贡献者指南