Skip to content

Minor changes in binnum and bitify -> adding AliasCheck test to Num2Bits - #159

Open
clararod9 wants to merge 1 commit into
iden3:circomlib_busesfrom
clararod9:circomlib_buses
Open

clararod9 wants to merge 1 commit into
iden3:circomlib_busesfrom
clararod9:circomlib_buses

Conversation

@clararod9

Copy link
Copy Markdown

This PR adds a call to AliasCheck to ensure that the output of the Num2Bits template is deterministic when instantiated with $n = \text{maxbits}()$. It also simplifies the condition for invoking AliasCheck, restricting it strictly to the $n = \text{maxbits}()$ case.

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.

1 participant