Skip to content

Commit

Permalink
Update tags-managing.circom
Browse files Browse the repository at this point in the history
Co-authored-by: GopherDID <[email protected]>
  • Loading branch information
OBrezhniev and vmidyllic authored Mar 7, 2024
1 parent 2d97e76 commit 4264f58
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion circuits/lib/utils/tags-managing.circom
Original file line number Diff line number Diff line change
Expand Up @@ -108,7 +108,7 @@ template ForceBinaryArray(n) {
}

/*
*** AddMaxbitTag(n): template that adds the constraints needed to ensure that a signal can be expressed using n bits(that is, that is value is in [0, 2**n)) and adds the tag maxbit = n to the input
*** AddMaxbitTag(n): template that adds the constraints needed to ensure that a signal can be expressed using n bits(that is value is in [0, 2**n)) and adds the tag maxbit = n to the input
- Inputs: in -> field value
- Output: out -> same value as in, but including maxbit tag with out.maxbit = n
satisfies tag out.maxbit = n
Expand Down

0 comments on commit 4264f58

Please sign in to comment.