pkg

package
v0.11.0 Latest Latest
Warning

This package is not in the latest version of its module.

 Go to latest Published: Nov 20, 2024 License: MIT Imports: 7 Imported by: 0

Documentation

Index

Constants

This section is empty.

Variables

This section is empty.

Functions

func GenerateIneqProof 

func GenerateIneqProof(x int, outputDir string)

Types

type InequalityCircuit 

type InequalityCircuit struct {
	X frontend.Variable `gnark:"x"`
}

InequalityCircuit defines a simple circuit x != 0

func (*InequalityCircuit) Define 

func (circuit *InequalityCircuit) Define(api frontend.API) error

Define declares the circuit constraints x != 0

Source Files

View all Source files

Jump to

Keyboard shortcuts

? : This menu
/ : Search site
f or F : Jump to
y or Y : Canonical URL
go.dev uses cookies from Google to deliver and enhance the quality of its services and to analyze traffic. Learn more.