From 4264f582275060d378edc09778086b26445446df Mon Sep 17 00:00:00 2001 From: Oleksandr Brezhniev Date: Thu, 7 Mar 2024 21:49:58 +0100 Subject: [PATCH] Update tags-managing.circom Co-authored-by: GopherDID <74898029+vmidyllic@users.noreply.github.com> --- circuits/lib/utils/tags-managing.circom | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/circuits/lib/utils/tags-managing.circom b/circuits/lib/utils/tags-managing.circom index a6f86f2..880a1f6 100644 --- a/circuits/lib/utils/tags-managing.circom +++ b/circuits/lib/utils/tags-managing.circom @@ -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