verifier

Documentation

Index

• func Verify(vk *types.Vk, proof *types.Proof, inputs []*big.Int) bool
• type Vk

Functions

func Verify

func Verify(vk *types.Vk, proof *types.Proof, inputs []*big.Int) bool

Verify verifies the Groth16 zkSNARK proof

Types

type Vk

type Vk struct {
	Alpha *bn256.G1
	Beta  *bn256.G2
	Gamma *bn256.G2
	Delta *bn256.G2
	IC    []*bn256.G1
}

Vk is the Verification Key data structure