diff --git a/evm_bridge/src/verifier/batch.ts b/evm_bridge/src/verifier/batch.ts index 30a5c135..d9fe680e 100644 --- a/evm_bridge/src/verifier/batch.ts +++ b/evm_bridge/src/verifier/batch.ts @@ -18,12 +18,12 @@ export class Batch extends Verifier { let lgr_comm = verifier_index.srs.lagrangeBases.get(verifier_index.domain_size)!; let com = lgr_comm?.slice(0, verifier_index.public); let elm = public_input.map(s => s.neg()); - let public_comm = PolyComm.msm(com, elm); - let f_comm = verifier_index + let non_hiding_public_comm = PolyComm.msm(com, elm); + let public_comm = verifier_index .srs - .maskCustom(public_comm, + .maskCustom(non_hiding_public_comm, new PolyComm([Scalar.from(1)], undefined))?.commitment; - return f_comm; + return public_comm; /* Check the length of evaluations inside the proof. Commit to the negated public input polynomial.