Documentation
¶
Index ¶
Constants ¶
This section is empty.
Variables ¶
This section is empty.
Functions ¶
func GenerateIneqProof ¶
func GenerateIneqProof(x int)
Types ¶
type InequalityCircuit ¶
type InequalityCircuit struct {
// struct tags on a variable is optional
// default uses variable name and secret visibility.
X frontend.Variable `gnark:"x"`
}
CubicCircuit defines a simple circuit x != 0
Click to show internal directories.
Click to hide internal directories.