halo2kzg

Documentation

Index

• Constants
• func VerifyHalo2KzgProof(proofBuffer [MaxProofSize]byte, proofLen_u32 uint32, ...) bool

Constants

const MaxConstraintSystemSize = 2 * 1024

MaxConstraintSystemSize 2KB

const MaxKzgParamsSize = 4 * 1024

MaxKzgParamsSize 4KB

const MaxParamsSize = 8 * 1024

MaxProofSize 4KB

const MaxProofSize = 8 * 1024

MaxProofSize 4KB

const MaxPublicInputSize = 4 * 1024

MaxPublicInputSize 4KB

const MaxVerifierKeySize = 1024

MaxVerificationKeySize 1KB

Functions

func VerifyHalo2KzgProof

func VerifyHalo2KzgProof(
	proofBuffer [MaxProofSize]byte, proofLen_u32 uint32,
	csBuffer [MaxConstraintSystemSize]byte, csLen_u32 uint32,
	vkBuffer [MaxVerifierKeySize]byte, vkLen_u32 uint32,
	kzgParamBuffer [MaxKzgParamsSize]byte, kzgParamLen_u32 uint32,
	publicInputBuffer [MaxPublicInputSize]byte, publicInputLen_u32 uint32,
) bool