IntersectMBO / IntersectMBO/plutus
Provide expected result of compress and uncompress builtins for UPLC conformance
- 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
Assessment
This issue has not been assessed yet.