Documentation
¶
Overview ¶
Package logderivprecomp allows computing functions using precomputation.
Instead of computing binary functions and checking that the result is correctly constrained, we instead can precompute all valid values of a function and then perform lookup to obtain the result. For example, for the XOR function we would naively otherwise have to split the inputs into bits, XOR one-by-one and recombine.
With this package, we can instead compute all results for two inputs of length 8 bit and then just perform a lookup on the inputs.
We use the logderivarg package for the actual log-derivative argument.
Index ¶
Constants ¶
This section is empty.
Variables ¶
This section is empty.
Functions ¶
This section is empty.
Types ¶
type Precomputed ¶
type Precomputed struct {
// contains filtered or unexported fields
}
Precomputed holds all precomputed function values and queries.
func New ¶
New returns a new Precomputed. It defers the log-derivative argument.
Source Files