mirror of
https://github.com/logos-storage/gnark-plonky2-verifier.git
synced 2026-01-02 13:13:06 +00:00
25 lines
763 B
Go
25 lines
763 B
Go
package variables
|
|
|
|
import (
|
|
gl "github.com/codex-storage/gnark-plonky2-verifier/goldilocks"
|
|
"github.com/codex-storage/gnark-plonky2-verifier/poseidon"
|
|
)
|
|
|
|
type Proof struct {
|
|
WiresCap FriMerkleCap // length = 2^CircuitConfig.FriConfig.CapHeight
|
|
PlonkZsPartialProductsCap FriMerkleCap // length = 2^CircuitConfig.FriConfig.CapHeight
|
|
QuotientPolysCap FriMerkleCap // length = 2^CircuitConfig.FriConfig.CapHeight
|
|
Openings OpeningSet
|
|
OpeningProof FriProof
|
|
}
|
|
|
|
type ProofWithPublicInputs struct {
|
|
Proof Proof
|
|
PublicInputs []gl.Variable // Length = CommonCircuitData.NumPublicInputs
|
|
}
|
|
|
|
type VerifierOnlyCircuitData struct {
|
|
ConstantSigmasCap FriMerkleCap
|
|
CircuitDigest poseidon.BN254HashOut
|
|
}
|