1package verifier
 2
 3import (
 4	"github.com/succinctlabs/gnark-plonky2-verifier/field"
 5	"github.com/succinctlabs/gnark-plonky2-verifier/verifier/common"
 6	"github.com/succinctlabs/gnark-plonky2-verifier/verifier/internal/plonk"
 7)
 8
 9type Proof struct {
10	WiresCap                  common.MerkleCap
11	PlonkZsPartialProductsCap common.MerkleCap
12	QuotientPolysCap          common.MerkleCap
13	Openings                  plonk.OpeningSet
14	OpeningProof              common.FriProof
15}
16
17type ProofWithPublicInputs struct {
18	Proof        Proof
19	PublicInputs []field.F
20}
21
22type ProofChallenges struct {
23	PlonkBetas    []field.F
24	PlonkGammas   []field.F
25	PlonkAlphas   []field.F
26	PlonkZeta     field.QuadraticExtension
27	FriChallenges common.FriChallenges
28}