You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
22 lines
805 B
22 lines
805 B
package verifier
|
|
|
|
import (
|
|
"github.com/consensys/gnark/frontend"
|
|
gl "github.com/succinctlabs/gnark-plonky2-verifier/goldilocks"
|
|
"github.com/succinctlabs/gnark-plonky2-verifier/types"
|
|
"github.com/succinctlabs/gnark-plonky2-verifier/variables"
|
|
)
|
|
|
|
type ExampleVerifierCircuit struct {
|
|
PublicInputs []gl.Variable `gnark:",public"`
|
|
Proof variables.Proof `gnark:",secret"`
|
|
VerifierOnlyCircuitData variables.VerifierOnlyCircuitData `gnark:",secret"`
|
|
CommonCircuitData types.CommonCircuitData `gnark:",-"`
|
|
}
|
|
|
|
func (c *ExampleVerifierCircuit) Define(api frontend.API) error {
|
|
verifierChip := NewVerifierChip(api, c.CommonCircuitData)
|
|
verifierChip.Verify(c.Proof, c.PublicInputs, c.VerifierOnlyCircuitData)
|
|
|
|
return nil
|
|
}
|