Versions in this module Expand all Collapse all v1 v1.0.1 Dec 19, 2023 Changes in this version + func AssertIsTrit(api frontend.API, v frontend.Variable) + func FromBase(api frontend.API, base Base, digits []frontend.Variable, ...) frontend.Variable + func FromBinary(api frontend.API, digits []frontend.Variable, opts ...BaseConversionOption) frontend.Variable + func FromTernary(api frontend.API, digits []frontend.Variable, opts ...BaseConversionOption) frontend.Variable + func GetHints() []solver.Hint + func ToBase(api frontend.API, base Base, v frontend.Variable, opts ...BaseConversionOption) []frontend.Variable + func ToBinary(api frontend.API, v frontend.Variable, opts ...BaseConversionOption) []frontend.Variable + func ToNAF(api frontend.API, v frontend.Variable, opts ...BaseConversionOption) []frontend.Variable + func ToTernary(api frontend.API, v frontend.Variable, opts ...BaseConversionOption) []frontend.Variable + type Base uint8 + const Binary + const Ternary + type BaseConversionOption func(opt *baseConversionConfig) error + func OmitModulusCheck() BaseConversionOption + func WithNbDigits(nbDigits int) BaseConversionOption + func WithUnconstrainedInputs() BaseConversionOption + func WithUnconstrainedOutputs() BaseConversionOption
Go to main page