test

package
v0.0.0-...-807c682 Latest Latest
Warning

This package is not in the latest version of its module.

Go to latest
Published: Jun 12, 2024 License: MIT Imports: 5 Imported by: 0

Documentation

Index

Constants

This section is empty.

Variables

This section is empty.

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)

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

Types

This section is empty.

Jump to

Keyboard shortcuts

? : This menu
/ : Search site
f or F : Jump to
y or Y : Canonical URL