Function CheckCircuit

ecgo/test/eval.go:13–24

check if first output is zero

(rc *layered.RootCircuit, witness *irwg.Witness)

// check if first output is zero
func CheckCircuit(rc *layered.RootCircuit, witness *irwg.Witness) bool {
	if witness.NumWitnesses != 1 {
		panic("expected 1 witness, if you need to check multiple witnesses, use CheckCircuitMultiWitness")
	}
	out := evalCircuit(rc, witness.Values[:witness.NumInputsPerWitness], witness.Values[witness.NumInputsPerWitness:])
	for i := 0; i < rc.ExpectedNumOutputZeroes; i++ {
		if out[i].Cmp(big.NewInt(0)) != 0 {
			return false
		}
	}
	return true
}

func CheckCircuitMultiWitness(rc *layered.RootCircuit, witness *irwg.Witness) []bool {
	if witness.NumWitnesses == 0 {