exponentiate

Documentation

Index

• type Circuit
  • func (circuit *Circuit) Define(curveID ecc.ID, cs *frontend.ConstraintSystem) error

Types

type Circuit

type Circuit struct {
	// tagging a variable is optional
	// default uses variable name and secret visibility.
	X frontend.Variable `gnark:",public"`
	Y frontend.Variable `gnark:",public"`

	E frontend.Variable
}

Circuit y == x**e only the bitSize least significant bits of e are used

func (*Circuit) Define

func (circuit *Circuit) Define(curveID ecc.ID, cs *frontend.ConstraintSystem) error

Define declares the circuit's constraints y == x**e