Too many errors logs #667

LautaroLasorsa · 2023-04-30T17:07:17Z

LautaroLasorsa
Apr 30, 2023

Hello,

I am starting using gnark and I've tried running in my computer the samples of the official page, but when I do it there is a lot of logs that I dont understand and I dont know if they are normal or if there is an issue with my computer or enviorment.

My code is the sample of cubic proof:

package cubic

import (
	"github.com/consensys/gnark/frontend"
)

// Circuit defines a simple circuit
// x**3 + x + 5 == y
type Circuit struct {
	// struct tags on a variable is optional
	// default uses variable name and secret visibility.
	X frontend.Variable `gnark:"x"`
	Y frontend.Variable `gnark:",public"`
}

// Define declares the circuit constraints
// x**3 + x + 5 == y
func (circuit *Circuit) Define(api frontend.API) error {
	x3 := api.Mul(circuit.X, circuit.X, circuit.X)
	api.AssertIsEqual(circuit.Y, api.Add(x3, circuit.X, 5))
	return nil
}

I use the following go_test code

package cubic

import (
	"github.com/consensys/gnark-crypto/ecc"
	"github.com/consensys/gnark/test"
	"testing"
)

func TestCubicEquation(t *testing.T) {
	assert := test.NewAssert(t)

	var cubicCircuit Circuit

	assert.ProverFailed(&cubicCircuit, &Circuit{
		X: 42,
		Y: 42,
	}, test.WithCurves(ecc.BN254))

	assert.ProverSucceeded(&cubicCircuit, &Circuit{
		X: 3,
		Y: 35,
	}, test.WithCurves(ecc.BN254))

}

and I get the following output in the terminal of my VS Code:

14:02:55 INF compiling circuit
14:02:55 INF parsed circuit inputs nbPublic=1 nbSecret=1
14:02:55 INF building constraint builder nbConstraints=3
14:02:55 INF compiling circuit
14:02:55 INF parsed circuit inputs nbPublic=1 nbSecret=1
14:02:55 INF building constraint builder nbConstraints=3
14:02:55 DBG running circuit in test engine
14:02:55 INF compiling circuit
14:02:55 INF parsed circuit inputs nbPublic=1 nbSecret=1
14:02:55 INF building constraint builder nbConstraints=5
14:02:55 INF compiling circuit
14:02:55 INF parsed circuit inputs nbPublic=1 nbSecret=1
14:02:55 INF building constraint builder nbConstraints=5
14:02:55 DBG running circuit in test engine
14:02:55 INF compiling circuit
14:02:55 INF parsed circuit inputs nbPublic=1 nbSecret=1
14:02:55 INF building constraint builder nbConstraints=5
14:02:55 INF compiling circuit
14:02:55 INF parsed circuit inputs nbPublic=1 nbSecret=1
14:02:55 INF building constraint builder nbConstraints=5
14:02:55 DBG running circuit in test engine
14:02:55 DBG running circuit in test engine
14:02:55 DBG counters add=2 equals=1 fromBinary=0 mul=2 sub=0 toBinary=0
14:02:55 DBG running circuit in test engine
14:02:55 DBG counters add=2 equals=1 fromBinary=0 mul=2 sub=0 toBinary=0
14:02:55 DBG running circuit in test engine
14:02:55 DBG counters add=2 equals=1 fromBinary=0 mul=2 sub=0 toBinary=0
14:02:55 DBG running circuit in test engine
14:02:55 DBG running circuit in test engine
14:02:55 DBG running circuit in test engine
14:02:55 ERR error="unsatisfied constraint" backend=groth16 id=2 nbConstraints=3
14:02:55 DBG running circuit in test engine
14:02:55 DBG running circuit in test engine
14:02:55 DBG running circuit in test engine
14:02:55 ERR error="unsatisfied constraint" backend=groth16 id=2 nbConstraints=3
14:02:55 DBG running circuit in test engine
14:02:55 DBG running circuit in test engine
14:02:55 DBG running circuit in test engine
14:02:55 ERR error="unsatisfied constraint" backend=groth16 id=2 nbConstraints=3
14:02:55 DBG running circuit in test engine
14:02:55 DBG running circuit in test engine
14:02:55 DBG running circuit in test engine
14:02:55 ERR error="unsatisfied constraint" backend=groth16 id=2 nbConstraints=3
14:02:55 DBG running circuit in test engine
14:02:55 DBG running circuit in test engine
14:02:55 DBG running circuit in test engine
14:02:55 ERR error="unsatisfied constraint" backend=groth16 id=2 nbConstraints=3
14:02:55 DBG running circuit in test engine
14:02:55 DBG running circuit in test engine
14:02:55 DBG running circuit in test engine
14:02:55 ERR error="unsatisfied constraint" backend=groth16 id=2 nbConstraints=3
14:02:55 DBG running circuit in test engine
14:02:55 DBG running circuit in test engine
14:02:55 DBG running circuit in test engine
14:02:55 ERR error="unsatisfied constraint" backend=groth16 id=2 nbConstraints=3
14:02:55 DBG running circuit in test engine
14:02:55 DBG running circuit in test engine
14:02:55 DBG running circuit in test engine
14:02:55 ERR error="unsatisfied constraint" backend=groth16 id=2 nbConstraints=3
14:02:55 DBG running circuit in test engine
14:02:55 DBG running circuit in test engine
14:02:55 DBG running circuit in test engine
14:02:55 ERR error="unsatisfied constraint" backend=groth16 id=2 nbConstraints=3
14:02:55 DBG running circuit in test engine
14:02:55 DBG running circuit in test engine
14:02:55 DBG running circuit in test engine
14:02:55 ERR error="unsatisfied constraint" backend=groth16 id=2 nbConstraints=3
14:02:55 DBG running circuit in test engine
14:02:55 DBG running circuit in test engine
14:02:55 DBG running circuit in test engine
14:02:55 ERR error="unsatisfied constraint" backend=groth16 id=2 nbConstraints=3
14:02:55 DBG running circuit in test engine
14:02:55 DBG running circuit in test engine
14:02:55 DBG running circuit in test engine
14:02:55 ERR error="unsatisfied constraint" backend=groth16 id=2 nbConstraints=3
14:02:55 DBG running circuit in test engine
14:02:55 DBG running circuit in test engine
14:02:55 DBG running circuit in test engine
14:02:55 ERR error="unsatisfied constraint" backend=groth16 id=2 nbConstraints=3
14:02:55 DBG running circuit in test engine
14:02:55 DBG running circuit in test engine
14:02:55 DBG running circuit in test engine
14:02:55 ERR error="unsatisfied constraint" backend=groth16 id=2 nbConstraints=3
14:02:55 DBG running circuit in test engine
14:02:55 DBG running circuit in test engine
14:02:55 DBG running circuit in test engine
14:02:55 ERR error="unsatisfied constraint" backend=groth16 id=2 nbConstraints=3
14:02:55 DBG running circuit in test engine
14:02:55 DBG running circuit in test engine
14:02:55 DBG running circuit in test engine
14:02:55 ERR error="unsatisfied constraint" backend=groth16 id=2 nbConstraints=3
14:02:55 DBG running circuit in test engine
14:02:55 DBG running circuit in test engine
14:02:55 DBG running circuit in test engine
14:02:55 ERR error="unsatisfied constraint" backend=plonk id=4 nbConstraints=5
14:02:55 DBG running circuit in test engine
14:02:55 DBG running circuit in test engine
14:02:55 DBG running circuit in test engine
14:02:55 ERR error="unsatisfied constraint" backend=plonk id=4 nbConstraints=5
14:02:55 DBG running circuit in test engine
14:02:55 DBG running circuit in test engine
14:02:55 DBG running circuit in test engine
14:02:55 ERR error="unsatisfied constraint" backend=plonk id=4 nbConstraints=5
14:02:55 DBG running circuit in test engine
14:02:55 DBG running circuit in test engine
14:02:55 DBG running circuit in test engine
14:02:55 ERR error="unsatisfied constraint" backend=plonk id=4 nbConstraints=5
14:02:55 DBG running circuit in test engine
14:02:55 DBG running circuit in test engine
14:02:55 DBG running circuit in test engine
14:02:55 ERR error="unsatisfied constraint" backend=plonk id=4 nbConstraints=5
14:02:55 DBG running circuit in test engine
14:02:55 DBG running circuit in test engine
14:02:55 DBG running circuit in test engine
14:02:55 ERR error="unsatisfied constraint" backend=plonk id=4 nbConstraints=5
14:02:55 DBG running circuit in test engine
14:02:55 DBG running circuit in test engine
14:02:55 DBG running circuit in test engine
14:02:55 ERR error="unsatisfied constraint" backend=plonk id=4 nbConstraints=5
14:02:55 DBG running circuit in test engine
14:02:55 DBG running circuit in test engine
14:02:55 DBG running circuit in test engine
14:02:55 ERR error="unsatisfied constraint" backend=plonk id=4 nbConstraints=5
14:02:55 DBG running circuit in test engine
14:02:55 DBG running circuit in test engine
14:02:55 DBG running circuit in test engine
14:02:55 ERR error="unsatisfied constraint" backend=plonk id=4 nbConstraints=5
14:02:55 DBG running circuit in test engine
14:02:55 DBG running circuit in test engine
14:02:55 DBG running circuit in test engine
14:02:55 ERR error="unsatisfied constraint" backend=plonk id=4 nbConstraints=5
14:02:55 DBG running circuit in test engine
14:02:55 DBG running circuit in test engine
14:02:55 DBG running circuit in test engine
14:02:55 ERR error="unsatisfied constraint" backend=plonk id=4 nbConstraints=5
14:02:55 DBG running circuit in test engine
14:02:55 DBG running circuit in test engine
14:02:55 DBG running circuit in test engine
14:02:55 ERR error="unsatisfied constraint" backend=plonk id=4 nbConstraints=5
14:02:55 DBG running circuit in test engine
14:02:55 DBG running circuit in test engine
14:02:55 DBG running circuit in test engine
14:02:55 ERR error="unsatisfied constraint" backend=plonk id=4 nbConstraints=5
14:02:55 DBG running circuit in test engine
14:02:55 DBG running circuit in test engine
14:02:55 DBG running circuit in test engine
14:02:55 ERR error="unsatisfied constraint" backend=plonk id=4 nbConstraints=5
14:02:55 DBG running circuit in test engine
14:02:55 DBG running circuit in test engine
14:02:55 DBG running circuit in test engine
14:02:55 ERR error="unsatisfied constraint" backend=plonk id=4 nbConstraints=5
14:02:55 DBG running circuit in test engine
14:02:55 DBG running circuit in test engine
14:02:55 DBG running circuit in test engine
14:02:55 ERR error="unsatisfied constraint" backend=plonk id=4 nbConstraints=5
14:02:55 DBG running circuit in test engine
14:02:55 DBG running circuit in test engine
14:02:55 DBG running circuit in test engine
14:02:55 ERR error="unsatisfied constraint" backend=plonk id=4 nbConstraints=5
14:02:55 DBG running circuit in test engine
14:02:55 DBG running circuit in test engine
14:02:55 DBG running circuit in test engine
14:02:55 ERR error="unsatisfied constraint" backend=plonk id=4 nbConstraints=5
14:02:55 DBG running circuit in test engine
14:02:55 DBG running circuit in test engine
14:02:55 DBG running circuit in test engine
14:02:55 ERR error="unsatisfied constraint" backend=plonk id=4 nbConstraints=5
14:02:55 DBG running circuit in test engine
14:02:55 DBG running circuit in test engine
14:02:55 DBG running circuit in test engine
14:02:55 ERR error="unsatisfied constraint" backend=plonk id=4 nbConstraints=5
14:02:55 DBG running circuit in test engine
14:02:55 DBG running circuit in test engine
14:02:55 DBG running circuit in test engine
14:02:55 ERR error="unsatisfied constraint" backend=plonk id=4 nbConstraints=5
14:02:55 DBG running circuit in test engine
14:02:55 DBG running circuit in test engine
14:02:55 DBG running circuit in test engine
14:02:55 ERR error="unsatisfied constraint" backend=plonk id=4 nbConstraints=5
14:02:55 DBG running circuit in test engine
14:02:55 DBG running circuit in test engine
14:02:55 DBG running circuit in test engine
14:02:55 ERR error="unsatisfied constraint" backend=plonk id=4 nbConstraints=5
14:02:55 DBG running circuit in test engine
14:02:55 DBG running circuit in test engine
14:02:55 DBG running circuit in test engine
14:02:55 ERR error="unsatisfied constraint" backend=plonk id=4 nbConstraints=5
14:02:55 DBG running circuit in test engine
14:02:55 DBG running circuit in test engine
14:02:55 DBG running circuit in test engine
14:02:55 ERR error="unsatisfied constraint" backend=plonk id=4 nbConstraints=5
14:02:55 DBG running circuit in test engine
14:02:55 DBG running circuit in test engine
14:02:55 DBG running circuit in test engine
14:02:55 ERR error="unsatisfied constraint" backend=plonk id=4 nbConstraints=5
14:02:55 DBG running circuit in test engine
14:02:55 DBG running circuit in test engine
14:02:55 DBG running circuit in test engine
14:02:55 ERR error="unsatisfied constraint" backend=plonk id=4 nbConstraints=5
14:02:55 DBG running circuit in test engine
14:02:55 DBG running circuit in test engine
14:02:55 DBG running circuit in test engine
14:02:55 ERR error="unsatisfied constraint" backend=plonk id=4 nbConstraints=5
14:02:55 DBG running circuit in test engine
14:02:55 DBG running circuit in test engine
14:02:55 DBG running circuit in test engine
14:02:55 ERR error="unsatisfied constraint" backend=plonk id=4 nbConstraints=5
14:02:55 DBG running circuit in test engine
14:02:55 DBG running circuit in test engine
14:02:55 DBG running circuit in test engine
14:02:55 ERR error="unsatisfied constraint" backend=plonk id=4 nbConstraints=5
14:02:55 DBG running circuit in test engine
14:02:55 DBG running circuit in test engine
14:02:55 DBG running circuit in test engine
14:02:55 ERR error="unsatisfied constraint" backend=plonk id=4 nbConstraints=5
14:02:55 DBG running circuit in test engine
14:02:55 DBG running circuit in test engine
14:02:55 DBG running circuit in test engine
14:02:55 ERR error="unsatisfied constraint" backend=plonk id=4 nbConstraints=5
14:02:55 ERR error="invalid witness size, got 1, expected 2 = 1 (public) + 1 (secret)" backend=groth16 nbConstraints=3
14:02:55 ERR error="unsatisfied constraint" backend=groth16 id=2 nbConstraints=3
14:02:55 DBG prover done backend=groth16 curve=bn254 nbConstraints=3 took=6.758
14:02:56 ERR error="unsatisfied constraint" backend=plonk id=4 nbConstraints=5
14:02:56 DBG constraint system solver done backend=groth16 nbConstraints=3 took=0
14:02:56 DBG constraint system solver done backend=plonk nbConstraints=5 took=0
14:02:56 DBG prover done backend=groth16 curve=bn254 nbConstraints=3 took=328.8049
14:02:56 DBG verifier done backend=groth16 curve=bn254 took=33.1044
14:02:56 ERR error="unsatisfied constraint" backend=plonk id=4 nbConstraints=5
14:02:56 DBG constraint system solver done backend=plonk nbConstraints=5 took=0
14:02:56 DBG prover done backend=plonk curve=bn254 nbConstraints=5 took=11.0988
14:02:56 DBG prover done backend=plonk curve=bn254 nbConstraints=5 took=13.084
14:02:56 DBG verifier done backend=plonk curve=bn254 took=8.0034
PASS
ok      cubic   2.413s

Thanks in advance for any help.

Lautaro Lasorsa

gbotrel · 2023-04-30T19:26:38Z

gbotrel
Apr 30, 2023
Maintainer

hi -- using the test helper (test.NewAssert) does a bit more behind the scenes; see https://pkg.go.dev/github.com/consensys/gnark/test#Assert .

in particular there is a fuzzing step that may be responsible for this verbose output (i.e; we fuzz the circuit and "execute" it as is using a test engine, and compile it to a constraint system and check that we get the expected result)

1 reply

LautaroLasorsa May 23, 2023
Author

Thanks a lot

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Too many errors logs #667

{{title}}

Replies: 1 comment 1 reply

{{title}}

{{title}}

Select a reply

Too many errors logs #667

LautaroLasorsa Apr 30, 2023

Replies: 1 comment · 1 reply

gbotrel Apr 30, 2023 Maintainer

LautaroLasorsa May 23, 2023 Author

LautaroLasorsa
Apr 30, 2023

Replies: 1 comment 1 reply

gbotrel
Apr 30, 2023
Maintainer

LautaroLasorsa May 23, 2023
Author