From 64456ee08286eb0c7cf7108af669f393f9c5677d Mon Sep 17 00:00:00 2001 From: Nicholas Ward Date: Wed, 5 Apr 2023 18:20:49 -0700 Subject: [PATCH] initial work on PoseidonGate --- plonky2_verifier/public_input.go | 28 ---------------------------- 1 file changed, 28 deletions(-) delete mode 100644 plonky2_verifier/public_input.go diff --git a/plonky2_verifier/public_input.go b/plonky2_verifier/public_input.go deleted file mode 100644 index 962c557..0000000 --- a/plonky2_verifier/public_input.go +++ /dev/null @@ -1,28 +0,0 @@ -package plonky2_verifier - -import ( - . "gnark-plonky2-verifier/field" -) - -type PublicInputGate struct { -} - -func (p *PublicInputGate) WiresPublicInputsHash() []uint64 { - return []uint64{0, 1, 2, 3} -} - -func (p *PublicInputGate) EvalUnfiltered(pc *PlonkChip, vars EvaluationVars) []QuadraticExtension { - constraints := []QuadraticExtension{} - - wires := p.WiresPublicInputsHash() - hash_parts := vars.publicInputsHash - for i := 0; i < 4; i++ { - wire := wires[i] - hash_part := hash_parts[i] - - diff := pc.qeAPI.SubExtension(vars.localWires[wire], pc.qeAPI.FieldToQE(hash_part)) - constraints = append(constraints, diff) - } - - return constraints -}