debug

func NewDebugProver ¶

func NewDebugProver(t *testing.T) types.ProverFunc

NewDebugProver creates a prover that runs test.IsSolved before normal proving. This is used in test environments to debug circuit execution.

Parameters:

• t: The testing.T instance from the test

Returns a ProverFunc that will execute test.IsSolved and then groth16.Prove

func PrintProofForDebug ¶

func PrintProofForDebug(proof groth16.Proof)

PrintProofForDebug prints the Groth16 proof components for debugging purposes.

func VerifyProofForDebug ¶

func VerifyProofForDebug(curve ecc.ID, vk groth16.VerifyingKey, proof groth16.Proof, assignment frontend.Circuit) error

VerifyProofForDebug verifies a Groth16 proof against a verifying key and a circuit assignment for debugging purposes.