Skip to content

Conversation

@manishbista28
Copy link
Contributor

A function that is supposed to assume runtime input in stack had hardcoded those values on script. This PR fixes the issue.
The function hinted_from_eval_point is used to calculate p'x and p'y given px and py.
The values of px and py are part of groth16 proof.

Unit tests have been added for the function changed.

The function was used in test units, all of which have been appropriately modified i.e. now receive 'p' on stack.

@lucidLuckylee lucidLuckylee merged commit b5dfc4b into BitVM:main Dec 16, 2024
stillsaiko pushed a commit that referenced this pull request Dec 16, 2024
* fix: issue where precompute p bakes runtime input

* chore: unchanged gitignore

---------

Co-authored-by: Manish Bista <[email protected]>
stillsaiko added a commit that referenced this pull request Dec 16, 2024
* Chore `fp_lc_mul` clippy lint `reversed_empty_ranges`

* Chore `#![allow(clippy::*)]`

* Chore `.div_ceil()` in `fq.rs`

* fix(blake3_u4): issue with insufficient size of precompute table (#154)

* fix(blake3_u4): issue with insufficient size of precompute table

* chore: use get_script len function

---------

Co-authored-by: Manish Bista <[email protected]>

* fix: issue where precompute p function bakes runtime input (#155)

* fix: issue where precompute p bakes runtime input

* chore: unchanged gitignore

---------

Co-authored-by: Manish Bista <[email protected]>

---------

Co-authored-by: manishbista28 <[email protected]>
Co-authored-by: Manish Bista <[email protected]>
@manishbista28 manishbista28 deleted the fix/issue_hinted_from_eval_bakes_p branch February 23, 2025 11:05
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants