Documentation
¶
Index ¶
Constants ¶
This section is empty.
Variables ¶
This section is empty.
Functions ¶
func CheckCircuit ¶
func CheckCircuit(rc *layered.RootCircuit, witness *irwg.Witness) bool
check if first output is zero
func CheckCircuitMultiWitness ¶
func CheckCircuitMultiWitness(rc *layered.RootCircuit, witness *irwg.Witness) []bool
func EvalCircuit ¶
Types ¶
type Assert ¶
type Assert struct {
// contains filtered or unexported fields
}
func (*Assert) ProveFailed ¶
func (a *Assert) ProveFailed(cr *ecgo.CompileResult, assignment frontend.Circuit)
func (*Assert) ProveSucceeded ¶
func (a *Assert) ProveSucceeded(cr *ecgo.CompileResult, assignment frontend.Circuit)
Source Files
Click to show internal directories.
Click to hide internal directories.