test

Documentation

Index

• func IsSolved(t *testing.T, circuit, assign sdk.AppCircuit, in sdk.CircuitInput)
• func ProverFailed(t *testing.T, circuit, assign sdk.AppCircuit, in sdk.CircuitInput)
• func ProverSucceeded(t *testing.T, circuit, assign sdk.AppCircuit, in sdk.CircuitInput, ...)

Functions

func IsSolved

func IsSolved(t *testing.T, circuit, assign sdk.AppCircuit, in sdk.CircuitInput)

IsSolved checks if the given application circuit/assignment and the input can be solved

func ProverFailed

func ProverFailed(t *testing.T, circuit, assign sdk.AppCircuit, in sdk.CircuitInput)

ProverFailed checks: - a proof cannot be generated with the application circuit & invalid assignment and the sdk generated circuit inputs.

func ProverSucceeded

func ProverSucceeded(t *testing.T, circuit, assign sdk.AppCircuit, in sdk.CircuitInput, hints ...solver.Hint)

ProverSucceeded checks: - a proof can be generated with the application circuit/assignment and the sdk generated circuit inputs. - the generated proof can be verified.