search

lurk-lab / arecibo

An advanced fork of Nova
https://lurk-lang.org/
MIT License
63 stars 27 forks source link

Refinement in IPA templating #359

Closed storojs72 closed 3 months ago

storojs72 commented 3 months ago

This PR helps in partial solving of https://github.com/lurk-lab/solidity-verifier/issues/52.

It adds more accurate representing of CompressedCommitment value when using it in Solidity templating. "More accurate" means that Grumpkin point compression is also taken to consideration.

To produce compatible unit test for IPA in Solidity, requires merging https://github.com/lurk-lab/solidity-verifier/pull/63