Add initial experimental HyperNova multifolding support#175

Draft

oskarth wants to merge 102 commits intomicrosoft:mainfrom

privacy-ethereum:feat/basic-ccs

Commits on Jul 11, 2023

Add utils for hadamard and matrix vector product
oskarth
committed
utils: Add more utils, sparse matrix vector product etc
oskarth
committed
feat: First cut of CCS (#14)
oskarth
committed
refactor: Remove digest
oskarth
committed
feat(CCS): Add from_r1cs and get rid of hardcoded constants
oskarth
committed
fix(CCS): Add commitment key and CCS is_sat test
oskarth
committed
style(ccs): Remove old comments and unused code, clarify todos
oskarth
committed
refactor(ccs): Add experimental hypernova feature flag (on by default)
oskarth
committed
chore(ccs): Turn off hypernova feature flag by default
oskarth
committed
chore: update dep
oskarth
committed
chore: Cargo.toml
oskarth
committed
add doc and tests for spartan/polynomial.rs

wangtsiao
authored and
oskarth
committed
use pasta instead of defining new fp

wangtsiao
authored and
oskarth
committed
wrap link with <> in comment

wangtsiao
authored and
oskarth
committed
fmt(spartan): cargo fmt
oskarth
committed
Remove: Clippy unused fn lint

CPerezz
authored and
oskarth
committed
change: Impl SparseMatrix type

CPerezz
authored and
oskarth
committed
change: Adopt SparseMatrix type and make `pad` recieve &mut

CPerezz
authored and
oskarth
committed
Fix: Update tests to match new trait bounds

CPerezz
authored and
oskarth
committed
feat(ccs): Sketch out basic CCCS/LCCCS associated data structures
oskarth
committed
feat(utils): Add SparseMatrix n_rows/n_cols utils
oskarth
committed
fix(ccs): Calculcate m n_rows correctly for a set of sparse matrices
oskarth
committed
feat(ccs): Add m, n, s and s_prime to CCS struct
oskarth
committed
WIP CCCS
oskarth
committed
WIP: CCS MLE stuff
oskarth
committed
fix(utils): fix sparse_matrix_to_mlp test
oskarth
committed
refactor(ccs): change c to be Scalar
oskarth
committed
feat(polynomial): Add convenience functions for MLP
oskarth
committed
wip(ccs): compute_g function
oskarth
committed
refactor: use shorthand syntax for add and mul operations
oskarth
committed
feat: Add BooleanHypercube to evaluate multilinear polynomial at given point
oskarth
committed
refactor: Move Boolean hypercube to separate module
oskarth
committed
feat(ccs): compute_sum_Mz
oskarth
committed
fix: Correct SparseMatrix aux methods

CPerezz
authored and
oskarth
committed
fix: Update CCS-related structs & constructor

CPerezz
authored and
oskarth
committed
change: Remove Result from Matrix/vec ops

CPerezz
authored and
oskarth
committed
change: Update CCS.is_sat() to use iterators

CPerezz
authored and
oskarth
committed
change: Move matrix padding to SparseMatrix

CPerezz
authored and
oskarth
committed
change: Update `from_r1cs` & `pad` CCSShape fns

CPerezz
authored and
oskarth
committed
change: Standarize `new` methods & remove CAPS

CPerezz
authored and
oskarth
committed
remove: Unused CCShape::matrix_mul fn

CPerezz
authored and
oskarth
committed
fix: Move test-only fns to test mod & fix sparse tests

CPerezz
authored and
oskarth
committed
change: Remove num_cons & unneeded Results

CPerezz
authored and
oskarth
committed
fix: Add test feature flag to HyperCube tests mod

CPerezz
authored and
oskarth
committed
add: Migrate VirtualPolynomial from espresso/Hyperplonk

CPerezz
authored and
oskarth
committed
fix: Include err variant to handle VirtualPolynomial

CPerezz
authored and
oskarth
committed
change: Move CCS stuff to it's own module

CPerezz
authored and
oskarth
committed
add: Migrate VirtualPolynomial from espresso/HyperPlonk

CPerezz
authored and
oskarth
committed
fix: Correct q_computation & update to VirtualPoly usage

CPerezz
authored and
oskarth
committed
add: Add CCS -> CCCS conversions

CPerezz
authored and
oskarth
committed
change: Update/Improve a bit the HyperCube API

CPerezz
authored and
oskarth
committed
fix: Include n_cos & n_rows info in SparseMatrix

CPerezz
authored and
oskarth
committed
change: Update `pad` and `from_r1cs` CCS methods.

CPerezz
authored and
oskarth
committed
remove: coefficients field from HyperCube & refactor

CPerezz
authored and
oskarth
committed
change: Change HyperCube `evaluate_at` endianness

CPerezz
authored and
oskarth
committed
add: Port MLE support & tests passing

CPerezz
authored and
oskarth
committed
fix: Vec * Sparse

CPerezz
authored and
oskarth
committed
fix: Split Matrix_Vec prod into dense+sparse

CPerezz
authored and
oskarth
committed
this code is cursed

CPerezz
authored and
oskarth
committed
lift the curse:

arnaucube
authored and
oskarth
committed
fix SparseMatrix.to_mle() method, fix test_matrix_to_mle

arnaucube
authored and
oskarth
committed
fix cccs.compute_sum_Mz method, small fix in compute_q, so by consequence compute_q & compute_Q now work fine

arnaucube
authored and
oskarth
committed
change: Get M_j_mle from precomputed CCCS M's

CPerezz
authored and
oskarth
committed
remove: CCS struct which is unused

CPerezz
authored and
oskarth
committed
change: Plce impl blocks under their structs

CPerezz
authored and
oskarth
committed
change: Create utils folder under ccs

CPerezz
authored and
oskarth
committed
change: Move Compute_sum_Mz into util mode

CPerezz
authored and
oskarth
committed
change: Move `fix_variables` & util tests to util mod

CPerezz
authored and
oskarth
committed
change: Move CCS test fns as associated fns

CPerezz
authored and
oskarth
committed
Add: Compute_all_sum_Mz_evals fn to utils module

CPerezz
authored and
oskarth
committed
add: Ck computation & instance satisfaction fns for LCCCS

CPerezz
authored and
oskarth
committed
remove: Rng param in gen_test_ccs instance fn

CPerezz
authored and
oskarth
committed
Add: CCS to LCCCS transformation & v_j s comp

CPerezz
authored and
oskarth
committed
add: LCCCS tests with test_lcccs_v_j FAILING

CPerezz
authored and
oskarth
committed
fix: compute_all_sum_Mz_evals with test

CPerezz
authored and
oskarth
committed
fix: test_lcccs_v_j working

CPerezz
authored and
oskarth
committed
add: Basic multifolding functions & tests

CPerezz
authored and
oskarth
committed
add: Failing test for sigmas_and_thetas comp

CPerezz
authored and
oskarth
committed
fix: test_compute_sigmas_and_thetas

CPerezz
authored and
oskarth
committed
add: Folding functions pending for tests to pass

CPerezz
authored and
oskarth
committed
tmp: Check CCCS instance correctness failing

CPerezz
authored and
oskarth
committed
test(multifolding): Fix CCCS assert
oskarth
committed
refactor(ccs): Remove special CCCSWitness
oskarth
committed
tests(ccs): Fix test_lcccs_fold test
oskarth
committed
chore: fix errors after rebase
oskarth
committed

Commits on Jul 14, 2023

Commits on Jul 20, 2023

Commits on Jul 31, 2023

NIMFS-centric API refactor for multifolding impl (#41)
CPerezz
authored

Commits on Aug 2, 2023

Commits on Aug 4, 2023

Remove witness from CCCS & LCCCS instances (#48)
CPerezz
authored

Commits on Aug 7, 2023

Chore/sync upstream (#51)

authored