Skip to content

Commit

Permalink
remove log
Browse files Browse the repository at this point in the history
  • Loading branch information
SoraSuegami committed Oct 10, 2024
1 parent 91b809d commit d929a31
Show file tree
Hide file tree
Showing 2 changed files with 0 additions and 5 deletions.
2 changes: 0 additions & 2 deletions packages/circuits/tests/fp-mul.test.ts
Original file line number Diff line number Diff line change
Expand Up @@ -38,7 +38,6 @@ describe('FpMul', () => {
};

const witness = await circuit1.calculateWitness(input);
console.log(witness);
await circuit1.checkConstraints(witness);

await circuit1.assertOut(witness, {
Expand All @@ -58,7 +57,6 @@ describe('FpMul', () => {
expect.assertions(1);
try {
const witness = await circuit2.calculateWitness(input);
console.log(witness);
await circuit2.checkConstraints(witness);
} catch (error) {
expect((error as Error).message).toMatch("Assert Failed");
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -32,7 +32,6 @@ template FpMul_TestRangeCheck(n, k) {
var v_a = poly_eval(k, a, x);
var v_b = poly_eval(k, b, x);
v_ab[x] <== v_a * v_b;
log("v_a", v_a, "v_b", v_b, "v_ab", v_ab[x]);
}


Expand Down Expand Up @@ -60,13 +59,11 @@ template FpMul_TestRangeCheck(n, k) {
var v_q = poly_eval(k, q, x);
var v_r = poly_eval(k, r, x);
v_pq_r[x] <== v_p * v_q + v_r;
log("v_p:", v_p, "v_q:", v_q, "v_r:", v_r, "v_pq_r:", v_pq_r[x]);
}

signal v_t[2*k-1];
for (var x = 0; x < 2*k-1; x++) {
v_t[x] <== v_ab[x] - v_pq_r[x];
log("v_t", v_t[x]);
}

var t[200] = poly_interp(2*k-1, v_t);
Expand Down

0 comments on commit d929a31

Please sign in to comment.