logup

package

v1.2.0 Latest Latest Go to latest Published: Jun 23, 2025 License: AGPL-3.0 Imports: 7 Imported by: 0

Documentation ¶

const (
	Poly = iota
	FullRandom
)

View Source

var (
	Table           [][]frontend.Variable
	QueryID         []frontend.Variable
	QueryResult     [][]frontend.Variable
	LookupTableBits int
)

func BatchQuery(keys []frontend.Variable, values [][]frontend.Variable)

func CombineColumn(api ecgo.API, vec_2d [][]frontend.Variable, randomness []frontend.Variable) []frontend.Variable

func FinalCheck(api frontend.Variable, column_combine_option ColumnCombineOptions)

func GetColumnRandomness(api ecgo.API, n_columns uint, column_combine_options ColumnCombineOptions) []frontend.Variable

func IsPowerOf2(n int) bool

0 is considered a power of 2 in this case

func NewRangeProof(bits int)

this interface write to a single (default) rangeProof table

func NewTable(key []frontend.Variable, value [][]frontend.Variable)

this interface write to a single (default) table, the table size must be a power of 2

func Query(key frontend.Variable, value []frontend.Variable)

this interface write a query to the default table, Table a query is a pair of key and values

func QueryCountBaseKeysHintFn(field *big.Int, inputs []*big.Int, outputs []*big.Int) error

func QueryCountHintFn(field *big.Int, inputs []*big.Int, outputs []*big.Int) error

TODO: Do we need bits check for the count?

func QueryRange(key frontend.Variable)

this interface write a query to the default table, Table For a range query that checks if a key is in a table while ignoring the value (RangeProof)

func RangeProof(api frontend.API, a frontend.Variable, n int)

func Reset()

func SimpleMin(a uint, b uint) uint

type ColumnCombineOptions int

const ColumnCombineOption ColumnCombineOptions = FullRandom

type LogUpCircuit struct {
	Table       [][]frontend.Variable
	QueryID     []frontend.Variable
	QueryResult [][]frontend.Variable
}

func NewRandomCircuit(
	n_table_rows uint,
	n_queries uint,
	n_columns uint,
	fill_values bool,
) *LogUpCircuit

func (c *LogUpCircuit) Check(api ecgo.API, column_combine_option ColumnCombineOptions) error

func (c *LogUpCircuit) Define(api frontend.API) error

Define declares the circuit's constraints

type RationalNumber struct {
	Numerator   frontend.Variable
	Denominator frontend.Variable
}

func SumRationalNumbers(api frontend.API, rs []RationalNumber) RationalNumber

Construct a binary summation tree to sum all the values

func (r *RationalNumber) Add(api frontend.API, other *RationalNumber) RationalNumber