1package variables
 2
 3import (
 4	gl "github.com/succinctlabs/gnark-plonky2-verifier/goldilocks"
 5	"github.com/succinctlabs/gnark-plonky2-verifier/poseidon"
 6)
 7
 8type Proof struct {
 9	WiresCap                  FriMerkleCap // length = 2^CircuitConfig.FriConfig.CapHeight
10	PlonkZsPartialProductsCap FriMerkleCap // length = 2^CircuitConfig.FriConfig.CapHeight
11	QuotientPolysCap          FriMerkleCap // length = 2^CircuitConfig.FriConfig.CapHeight
12	Openings                  OpeningSet
13	OpeningProof              FriProof
14}
15
16type ProofWithPublicInputs struct {
17	Proof        Proof
18	PublicInputs []gl.Variable // Length = CommonCircuitData.NumPublicInputs
19}
20
21type VerifierOnlyCircuitData struct {
22	ConstantSigmasCap FriMerkleCap
23	CircuitDigest     poseidon.BN254HashOut
24}