Add Ligero PCS #125
Add Ligero PCS #125
Commits on Jun 27, 2023
Commits on Jun 28, 2023
-
-
-
Merge pull request #2 from mmagician/pcs-constructor
PCS Ligero constructor
-
-
-
changed reed-solomon code to receive fft_domain from caller; continue…
…d work on commit function
-
Commits on Jun 29, 2023
-
-
-
-
Merge pull request #4 from mmagician/commitment-with-transcript
Commitment with transcript
-
-
-
-
-
-
-
-
-
Commits on Jun 30, 2023
-
-
-
Merge pull request #5 from HungryCatsStudio/fix-commit
Fix the Commit functionality for Ligero PCS
-
-
-
-
Merge pull request #6 from HungryCatsStudio/ligero-tests
Add first tests for setup of LigeroPCS
-
Place params under VerifierKey
replace local path with HungryCatsStudio fork of crypto-primitives
-
-
-
-
Merge pull request #7 from HungryCatsStudio/params-trait-bounds
Params trait bounds
-
Merge pull request #8 from HungryCatsStudio/open_and_check
Open and check
-
-
Merge pull request #9 from HungryCatsStudio/open_and_check2
changed access to params
-
-
Merge pull request #10 from HungryCatsStudio/fix-matrix-from-flat
Fix matrix `new_from_flat`
-
-
Merge pull request #11 from HungryCatsStudio/refactor_prover
Refactor prover
-
-
Commits on Jul 1, 2023
-
-
-
-
-
-
-
Swap the test field for one with large FFT domain
and add an extra test for a small-FFT-domain-field
Commits on Jul 3, 2023
-
Merge pull request #12 from HungryCatsStudio/functionality-testing
Fix & refactor Reed-Solomon; Functionality testing
-
-
-
Merge pull request #14 from HungryCatsStudio/mt-construction-fix
Merkle Tree construction fix
-
-
-
-
-
Merge pull request #15 from HungryCatsStudio/test-open-and-check
Opening and check fixes
-
-
-
-
-
Merge pull request #16 from HungryCatsStudio/reed-solomon
Reed solomon
Commits on Jul 6, 2023
-
Merge pull request #18 from HungryCatsStudio/functionality_new_rs
Main functionality test passing with the new RS
-
Commits on Jul 7, 2023
Commits on Jul 13, 2023
Commits on Jul 14, 2023
-
Merge pull request #20 from HungryCatsStudio/pin-deps
pin dependencies to original upstreams, not forks
-
-
Merge pull request #19 from HungryCatsStudio/several_polynomials
Several polynomials
Commits on Sep 11, 2023
-
change the git dependency to rely on our own fork
we dont yet want to have `AdditiveGroup` and other algebra changes post-0.4 in
-
Commits on Sep 25, 2023
-
Well-formedness checks refactor (#24)
* Add a flag for keeping the wellformedness check * Rename generics to capital case * WIP: Refactor many checks and data structure * Add the calculation of t * Make the calculation more precise * Fix some error handling and move around stuff * Adjust transcript order, make clippy a bit happy, and fix tests * fix: the loop over merkle paths should use a different index j * refactor: well-formedness check only contains `v` since we're using the same indices as for the opening proof, we can re-use these * remove outdated TODOs; update comments old todo fix some more commetns * rename `well_formedness_proof` var to `well_formedness` * replace panic by error handling * avoid vector size reallocation * replace into_iter with iter * Undo the change in `src/lib.rs` --------- Co-authored-by: Hossein Moghaddas <autquis@gmail.com>
-
Change encoding function (#25)
* reed_solomon -> linear_encode; no longer doing iFFT + FFT; just FFT now * revert naming `linear_encode` -> `reed_solomon` * Update src/ligero/tests.rs
Commits on Sep 26, 2023
-
-
-
-
-
-
-
-
Merge pull request #23 from HungryCatsStudio/what-t
Add the computation of `t`
-
* checking RHO_INV >=1 is too verbose of a sanity check * default params are not used * Revert "checking RHO_INV >=1 is too verbose of a sanity check" This reverts commit fdc1f71. * rename `InvalidSecurityGuarantee` -> `InvalidParameters`; add string err * replace assert with error handling in setup ensure that RHO_INV > 1 * fix error formatting * fix: swap the condidtion on RHO_INV * Improve error description Co-authored-by: Hossein Moghaddas <autquis@gmail.com> --------- Co-authored-by: Hossein Moghaddas <autquis@gmail.com>
Commits on Sep 28, 2023
-
Implementation of
setupandtrim+ Update tests + Clean up (#28)* Change `setup` * Make `setup` and `trim` compatible to arkworks, use a default setup, remove some generics Co-authored-by: mmagician <marcin.gorny.94@protonmail.com> * Fix tests Co-authored-by: mmagician <marcin.gorny.94@protonmail.com> * Add `Metadate` and clean up --------- Co-authored-by: mmagician <marcin.gorny.94@protonmail.com>
-
Add Breakdown and Ligero to
README.md(#27)* Add Breakdown and Ligero to `README.md` * Fix newline * Apply suggestions from code review remove brakedown reference for now --------- Co-authored-by: mmagician <marcin.gorny.94@protonmail.com>
Commits on Sep 29, 2023
-
-
Bring in remaining tests from the test suite (#29)
* make test util functions cfg-gated * Add constant_poly_test * Add quadratic tests * Add linear poly tests * Add all other tests from test suite * fix check_combinations fix combinations remove prints remove old comments * remove deprecated deny * change the signature of rand_point to allow other fields * remove tests superseded by automated test suite * Create a `new` method for `LigeroPCUniversalParams` * document `LigeroPCUniversalParams`
-
Fix
todo(); MoveLigeroimplementation to data_structures; minor ……clippy lints (#31) * replace direct construction by `new` call to LigeroPCUniversalParams * some clippy fixes * replace `todo()`s by `default()` or `()` * move implementation of `Ligero` to data_structures * Add more info to `Ligero` struct incl. link and no-hiding note
-
Copy from
jellyfishand patch dependency (#32)* Copy from `jellyfish` and patch dependency * Use `borrow` from `ark-std` * Remove default from `PhantomData`
-
-
* use Vec/ToString from ark_std * rayon should only be enabled under the parallel feature * for no-std targets, enable Float arithmetic from num_traits
-
-
-