From 57b7937ae805bd03e485f61122018ff72cf38ead Mon Sep 17 00:00:00 2001 From: Kevin Jue Date: Fri, 31 Mar 2023 10:35:42 -0700 Subject: [PATCH] added comment for where the custom gate constraints logic should be implemented --- plonky2_verifier/plonk.go | 2 ++ 1 file changed, 2 insertions(+) diff --git a/plonky2_verifier/plonk.go b/plonky2_verifier/plonk.go index fc495dd..5c0f9de 100644 --- a/plonky2_verifier/plonk.go +++ b/plonky2_verifier/plonk.go @@ -117,6 +117,8 @@ func (p *PlonkChip) checkPartialProducts( } func (p *PlonkChip) evalVanishingPoly(proofChallenges ProofChallenges, openings OpeningSet, zetaPowN QuadraticExtension) []QuadraticExtension { + // TODO: evaluate_gate_contraints logic should be implemented here. See https://github.com/mir-protocol/plonky2/blob/main/plonky2/src/plonk/vanishing_poly.rs#L39 + // Calculate the k[i] * x sIDs := make([]QuadraticExtension, p.commonData.Config.NumRoutedWires)