IntersectMBO / IntersectMBO/plutus

Provide expected result of compress and uncompress builtins for UPLC conformance

Open
#5,814 5 comments 0 reactions 1 assignee Claimed by @ramsay-t View on GitHub
Builtins Good first issue Low priority Specification status: triaged tech debt
Dominant language
Haskell
Stars
1.6k
Forks
508
Avg merge
3d 10h
Merged PRs (30d)
22

Description

### 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_

Contributor guide

Open the contributing guide

Assessment

This issue has not been assessed yet.

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.