Skip to content
You are reading gnark development version documentation and some displayed features may not be available in the stable release. You can switch to stable version using the version box at screen bottom.

Updated on January 4, 2022

Debug and test circuits

Common errors

The most common error you may get while trying to create a proof is:

constraint is not satisfied: [(.. * ..) != (.. * ..) + (.. * ..) + (.. * ..)]

The error means the solver couldn’t satisfy at least one of the constraints with the provided witness.

Note

In some cases, you may encounter a couldn't solve computational constraint error, which means the solver couldn’t perform an operation needed to verify a constraint. For example, a division by 0.

Tip

You can run the program with -tags=debug to display a more verbose stack trace.

The easiest way to debug a circuit is to use api.Println(), which behaves like fmt.Println, except it outputs the values when they are solved. For example:

api.Println("A.X", pubKey.A.X)

Note

With solving errors and api.Println, gnark outputs a stack trace which contain the exact line number to refer to in the circuit definition.

Test

You can implement tests as Go unit tests, in a _test.go file. For example:

// assert object wrapping testing.T
assert := test.NewAssert(t)

// declare the circuit
var cubicCircuit Circuit

assert.ProverFailed(&cubicCircuit, &Circuit{
    PreImage:   frontend.Value(42),
    Hash:       frontend.Value(42),
})

assert.ProverSucceeded(&cubicCircuit, &Circuit{
    PreImage:   frontend.Value(35),
    Hash:       frontend.Value("16130099170765464552823636852555369511329944820189892919423002775646948828469"),
}, test.WithCurves(ecc.BN254))

See the test package documentation for more details.

In particular, the default behavior of the assert helper is to test the circuit across all supported curves and backends, ensure correct serialization, and cross-test the constraint system solver against a big.Int test execution engine.

Questions or feedback? You can discuss issues and obtain free support on gnark discussions channel.
For paid professional support by Consensys, contact us at [email protected].