public_input

Documentation

Index

• func VerifyBlobConsistency(api frontend.API, blobCrumbs []frontend.Variable, ...) (evaluation [2]frontend.Variable, err error)

Functions

func VerifyBlobConsistency

func VerifyBlobConsistency(api frontend.API, blobCrumbs []frontend.Variable, evaluationChallenge [32]frontend.Variable, eip4844Enabled frontend.Variable) (evaluation [2]frontend.Variable, err error)

VerifyBlobConsistency opens the "commitment" to the blob at evaluationChallenge; if bypassEip4844 is set, it does so in a KZG-like manner using a Lagrange basis on the unit circle. if not, a Reed-Solomon type method is used. TODO consider using the batch hashes as "snarkHash" instead of hashing the data here to save on constraints