The highest tagged major version is
v2.
package
Version:
v1.2.0
Opens a new window with list of versions in this module.
Published: Jul 18, 2024
License: Apache-2.0
Opens a new window with license information.
Imports: 2
Opens a new window with list of imports.
Imported by: 0
Opens a new window with list of known importers.
Documentation
¶
EvalEq returns Πⁿ₁ Eq(xᵢ, yᵢ) = Πⁿ₁ xᵢyᵢ + (1-xᵢ)(1-yᵢ) = Πⁿ₁ (1 + 2xᵢyᵢ - xᵢ - yᵢ). Is assumes len(x) = len(y) =: n
InterpolateLDE fits a polynomial f of degree len(values)-1 such that f(i) = values[i] whenever defined. Returns f(at)
Evaluate assumes len(m) = 1 << len(at)
it doesn't modify m
Output:
r1cs size: 1048627
scs size: 2097226
Source Files
¶
Click to show internal directories.
Click to hide internal directories.