Brakedown #37
Brakedown #37
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
-
-
-
Commits on Oct 4, 2023
Commits on Oct 6, 2023
-
Refactor (univariate) Ligero to pull out a
LinearEncodetrait; impl……ement multilinear Ligero (#1) * start pulling out methods into the LinearEncode trait * move most method implementations onto LinearEncode trait * large refactor: implement the PolyCommit trait for any LinearCode struct * remove the calls to `reed_solomon` from check on polycommit trait * replace the univariate tensoring by a trait on LinearEncode * rename Ligero -> UnivariateLigero * Make LinearEncode trait work on any polynomial, not just univariate * Added ML support for Ligero; WIP * matrix dimensions should be computed from num of "coeffs" not degree; use logs for splitting the tensoring in ML case * Remove tests which didnt specify num_vars * make univariate Ligero into its own module and clean up its tests * move LinearEncode to mod.rs * move unrelated methods out of LinearEncode trait * rename Ligero specific data structures to LinCode * rename directory ligero -> linear_codes * fmt * replace local deps by HCS fork
-
-
Merge pull request #2 from HungryCatsStudio/update-deps
update hashbrown to fix failing builds
Commits on Oct 10, 2023
-
Refactor and enforce having code info and hash parameters (#3)
* Refactor and enforce having hash info * Add `trim` * Unify all Keys and Params * Fix doc test
-
-
Commits on Oct 12, 2023
Commits on Oct 13, 2023
-
-
-
Bring back the default for `compute_matrices`, add `compute_dimension`, add `utils.rs` for crate
-
-
-
-
Merge pull request #5 from HungryCatsStudio/ligero-update
Update Ligero
Commits on Oct 14, 2023
-
* add ColHasher to multilinear ligero * add col hash to univariate; move shared hashers to utils::tests * Remove generic on `Digest` --------- Co-authored-by: Hossein Moghaddas <autquis@gmail.com>
-
Commits on Oct 16, 2023
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
Reduced visibility of linear_codes utils file
Co-authored-by: mmagician <marcin.gorny.94@protonmail.com>
-
-
-
-
-
-
-
-
-
Commits on Oct 17, 2023
-
-
-
-
-
-
-
Merge pull request #8 from HungryCatsStudio/benches
Ligero benchmarks
-
-
-
-
-
-
-
Commits on Oct 18, 2023
Commits on Oct 19, 2023
-
-
-
-
-
-
-
-
Merge pull request #11 from HungryCatsStudio/brakedown-opt
Minor optimizations to Brakedown impl
-
-
-
-
-
-
-
-
-
Commits on Oct 20, 2023
-
-
switched back to pub(crate) at a few places where it's no longer need…
…ed thanks to serialisation
-
-
Merge pull request #12 from HungryCatsStudio/benching-size
Benching size
-
-
Merge pull request #13 from HungryCatsStudio/fair-comparison
tweaked distance formula
Commits on Oct 24, 2023
-
Improve docs and naming for lin code trait (#35)
* Improve docs and naming for lin code trait * Rename `LinCodeInfo` -> `LinCodeParametersInfo` and update its doc * wrap a long comment * Apply suggestions from code review Co-authored-by: Antonio Mejías Gil <anmegi.95@gmail.com> * Move implementation description of `tensor` into implementers, not trait * fmt * remove old todos * explicit description of `tensor` following Thaler 10.5.1 * Minor comment fixes * place util hashers under cfg flags * More inline and doc comment fixes * remove trailing character * Add docs for `data_structure.rs` * Fix typo Co-authored-by: Antonio Mejías Gil <anmegi.95@gmail.com> * Fix the docs for `SprsMat` * Remove the univariate definition from tensoring docs --------- Co-authored-by: Antonio Mejías Gil <anmegi.95@gmail.com> Co-authored-by: Hossein Moghaddas <autquis@gmail.com>
3 people authoredOct 24, 2023