commonconstraints

Documentation

Index

• func MustBeActivationColumns(comp *wizard.CompiledIOP, c ifaces.Column, option ...any)
• func MustBeBinary(comp *wizard.CompiledIOP, c ifaces.Column)
• func MustBeMutuallyExclusiveBinaryFlags(comp *wizard.CompiledIOP, isActive ifaces.Column, flags []ifaces.Column)
• func MustZeroWhenInactive(comp *wizard.CompiledIOP, isActive ifaces.Column, cs ...ifaces.Column)

Functions

func MustBeActivationColumns

func MustBeActivationColumns(comp *wizard.CompiledIOP, c ifaces.Column, option ...any)

MustBeActivationColumns constrains all the columns of the form "IsActive" to have the correct form: the column is binary and it cannot transition from 0 to 1.

func MustBeBinary

func MustBeBinary(comp *wizard.CompiledIOP, c ifaces.Column)

MustBeBinary constrains the current column to be binary.

func MustBeMutuallyExclusiveBinaryFlags

func MustBeMutuallyExclusiveBinaryFlags(comp *wizard.CompiledIOP, isActive ifaces.Column, flags []ifaces.Column)

MustBeMutuallyExclusiveBinaryFlags constraints all the flags to be binary and sum to isActive

func MustZeroWhenInactive

func MustZeroWhenInactive(comp *wizard.CompiledIOP, isActive ifaces.Column, cs ...ifaces.Column)

MustZeroWhenInactive constraints the column to cancel when inactive.