From 2918d4ebc10dbf47176a6d3bdaf0b6f2fbea6dda Mon Sep 17 00:00:00 2001 From: Sean Bowe Date: Sat, 5 Dec 2015 10:58:45 -0700 Subject: [PATCH] fix comments --- src/gadget.tcc | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/gadget.tcc b/src/gadget.tcc index 2d738ea..0fde5a1 100644 --- a/src/gadget.tcc +++ b/src/gadget.tcc @@ -43,10 +43,10 @@ void l_gadget::generate_r1cs_constraints() // enforce solution is subset of puzzle - // puzzle_numbers[i] must be 0 or 1 + // puzzle_enforce[i] must be 0 or 1 generate_boolean_r1cs_constraint(this->pb, puzzle_enforce[i], "enforcement bitness"); - // puzzle_numbers[i] must be 1 if the puzzle value is nonzero + // puzzle_enforce[i] must be 1 if puzzle_numbers[i] is nonzero this->pb.add_r1cs_constraint(r1cs_constraint(puzzle_numbers[i], 1 - puzzle_enforce[i], 0), "enforcement"); // solution_numbers[i] must equal puzzle_numbers[i] if puzzle_enforce[i] is 1