Skip to content

Simplify ZSA features#41

Merged
ConstanceBeguier merged 5 commits intozsa1from
clean_zsa_code
Jun 20, 2025
Merged

Simplify ZSA features#41
ConstanceBeguier merged 5 commits intozsa1from
clean_zsa_code

Conversation

@ConstanceBeguier
Copy link
Copy Markdown

@ConstanceBeguier ConstanceBeguier commented Jun 19, 2025

  • Move lookup table load function into LookupRangeCheck trait (and remove table_range_check_tag function which is no longer used)
  • Move some imports to reduce the diff with the main branch
  • Standardize test circuit names
  • Reduce visibility of some functions
  • Update changelog file

Move some imports to reduce the diff with the main branch
Standardize test circuit names
Reduce visibility of some functions
Update changelog file
Copy link
Copy Markdown

@PaulLaux PaulLaux left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

added some questions and comments

/// Multiply the point by sign, using the q_mul_fixed_short gate.
/// Constraints `sign` in {-1, 1}
pub fn assign_scalar_sign(
pub(crate) fn assign_scalar_sign(
Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

why the visiability reduction?

Copy link
Copy Markdown
Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

To evaluate a variable-base sign-scalar multiplication in Orchard, we use the function mul_sign.
This function assign_scalarmulis used internally withinmul_sign` and is never called outside of Halo2.

Copy link
Copy Markdown

@PaulLaux PaulLaux left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Very nice.
Please add the naming change to the upstream PR description.

@ConstanceBeguier ConstanceBeguier merged commit aaa53aa into zsa1 Jun 20, 2025
62 checks passed
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