Code

Add Ligero PCS#125

Code

Closed

autquis wants to merge 132 commits intoarkworks-rs:masterarkworks-rs/poly-commit:masterfrom NP-Eng:ligeroNP-Eng/poly-commit:ligeroCopy head branch name to clipboard

+1,771-2

Commits

Commits on Jun 27, 2023

• Stub out the PolynomialCommitment trait for Ligero

  mmagician

  committed
  a4c6e2b

  Copy full SHA for a4c6e2b

• implementing matrix functionality, not tested

  Antonio95

  committed
  8f6becd

  Copy full SHA for 8f6becd

• further matrix functionality, commit function started

  Antonio95

  committed
  aa94494

  Copy full SHA for aa94494

• testing commit signing

  Antonio95

  committed
  d0f00b1

  Copy full SHA for d0f00b1

• first part of commit function compiling

  Antonio95

  committed
  848933b

  Copy full SHA for 848933b

Commits on Jun 28, 2023

• requested PR changes implemented

  Antonio95

  committed
  543c8e1

  Copy full SHA for 543c8e1

• added to_field function one-liner and tests for all existing matrix functions

  Antonio95

  committed
  a39289d

  Copy full SHA for a39289d

• changed matrix-related functions from F:PrimeField to F:Field

  Antonio95

  committed
  d82c4e3

  Copy full SHA for d82c4e3

• Add params and generics to the Ligero constructor

  mmagician

  committed
  c20d28d

  Copy full SHA for c20d28d

• Create a custom and default constructors for Ligero PCS struct

  mmagician

  committed
  008151b

  Copy full SHA for 008151b

• Merge pull request #2 from mmagician/pcs-constructor

  Show description for ffea25d
  mmagician

  authored
  ffea25d

  Copy full SHA for ffea25d

• in the middle of commit function, not compiling

  Antonio95

  committed
  91184aa

  Copy full SHA for 91184aa

• merged with ligero (constructor added)

  Antonio95

  committed
  2941c8a

  Copy full SHA for 2941c8a

• added reed-solomon encoding and a test for the fft interface

  Antonio95

  committed
  4ef9adb

  Copy full SHA for 4ef9adb

• continued commit method, left placeholders for Merkle-tree parts; NOT compiling

  Antonio95

  committed
  b008983

  Copy full SHA for b008983

• changed reed-solomon code to receive fft_domain from caller; continued work on commit function

  Antonio95

  committed
  c13cf28

  Copy full SHA for c13cf28

• make a Commitment struct with MT root & transcipt

  mmagician

  committed
  dd7e28f

  Copy full SHA for dd7e28f

• stub out the Commitment verify method (well-formedness check)

  mmagician

  committed
  bb3b6bb

  Copy full SHA for bb3b6bb

• Ligero with a sponge for Fiat-Shamir Commitment well-formed check

  mmagician

  committed
  1d6c30b

  Copy full SHA for 1d6c30b

Commits on Jun 29, 2023

• use jf_primitives for IOPTranscript for FS transform

  mmagician

  committed
  129cbfb

  Copy full SHA for 129cbfb

• deleted settings.json file

  Antonio95

  committed
  7183c1e

  Copy full SHA for 7183c1e

• Merge pull request #1 from Antonio95/commit

  Show description for 903eaaf
  mmagician

  authored
  903eaaf

  Copy full SHA for 903eaaf

• Merge branch 'ligero' into commitment-with-transcript

  mmagician

  authored
  5d349b6

  Copy full SHA for 5d349b6

• Merge pull request #4 from mmagician/commitment-with-transcript

  Show description for edae282
  mmagician

  authored
  edae282

  Copy full SHA for edae282

• remove merge artifacts

  mmagician

  committed
  fe63bc2

  Copy full SHA for fe63bc2

• Fix getting the indices from the transcript

  mmagician

  committed
  d58c366

  Copy full SHA for d58c366

• path verification with the random index retrieved from the transcript

  mmagician

  committed
  aa913ef

  Copy full SHA for aa913ef

• verify the random linear combinations in the F-S commitment check

  mmagician

  committed
  243be3d

  Copy full SHA for 243be3d

• hashing columns - WIP

  mmagician

  committed
  4c7631d

  Copy full SHA for 4c7631d

• well_formedness_check completed, not tested

  Antonio95

  committed
  348c88e

  Copy full SHA for 348c88e

• change trait bounds on C::Leaf

  mmagician

  committed
  0b7ee4a

  Copy full SHA for 0b7ee4a

• temp remove hash params

  mmagician

  committed
  5a309e2

  Copy full SHA for 5a309e2

• create the MT Config params using the setup function

  mmagician

  committed
  89286fe

  Copy full SHA for 89286fe

• commit finished up to leaf parameters

  Antonio95

  committed
  0775b24

  Copy full SHA for 0775b24

• one remaining compilation error in commit: construction of the tree

  Antonio95

  committed
  74c7c54

  Copy full SHA for 74c7c54

• commit function compiling

  Antonio95

  committed
  092a22a

  Copy full SHA for 092a22a

Commits on Jun 30, 2023

• (self) PR review

  mmagician

  committed
  64ff2d3

  Copy full SHA for 64ff2d3

• bring back lints

  mmagician

  committed
  958d9cc

  Copy full SHA for 958d9cc

• Merge pull request #5 from HungryCatsStudio/fix-commit

  Show description for 0febe90
  Antonio95

  authored
  0febe90

  Copy full SHA for 0febe90

• fmt tests

  mmagician

  committed
  f8bed31

  Copy full SHA for f8bed31

• use the utils function for getting the indices, since its shared by both

  mmagician

  committed
  1b00e25

  Copy full SHA for 1b00e25

• write first construction tests for LigeroPCS

  mmagician

  committed
  a2addcc

  Copy full SHA for a2addcc

• rename hash_array -> hash_column

  mmagician

  committed
  d48145f

  Copy full SHA for d48145f

• remove stale code and unused imports

  mmagician

  committed
  dde6fb2

  Copy full SHA for dde6fb2

• Merge pull request #6 from HungryCatsStudio/ligero-tests

  Show description for 16ed2be
  Antonio95

  authored
  16ed2be

  Copy full SHA for 16ed2be

• Place params under VerifierKey

  Show description for 7e0b9b2
  mmagician

  committed
  7e0b9b2

  Copy full SHA for 7e0b9b2

• Place params under CommitterKey

  mmagician

  committed
  48e5598

  Copy full SHA for 48e5598

• check and check_well_formedness finished and refactored

  Antonio95

  committed
  2108414

  Copy full SHA for 2108414

• open implemented

  Antonio95

  committed
  5bdee22

  Copy full SHA for 5bdee22

• Merge pull request #7 from HungryCatsStudio/params-trait-bounds

  Show description for 90e3e53
  Antonio95

  authored
  90e3e53

  Copy full SHA for 90e3e53

• just merged with the refactored generics and tests; not compiling

  Antonio95

  committed
  9987c05

  Copy full SHA for 9987c05

• compiling

  Antonio95

  committed
  f896801

  Copy full SHA for f896801

• Merge pull request #8 from HungryCatsStudio/open_and_check

  Show description for 1d8acb9
  mmagician

  authored
  1d8acb9

  Copy full SHA for 1d8acb9

• changed access to params

  

  Antonio95

  authored and

  Diego de Estrada

  committed
  d1a6b6c

  Copy full SHA for d1a6b6c

• Merge pull request #9 from HungryCatsStudio/open_and_check2

  Show description for f2d52b5
  mmagician

  authored
  f2d52b5

  Copy full SHA for f2d52b5

• test: if matrix is square, panics

  mmagician

  committed
  614d586

  Copy full SHA for 614d586

• fix the indexing: should no longer panic on index out of bounds

  mmagician

  committed
  5dcad7b

  Copy full SHA for 5dcad7b

• Merge pull request #10 from HungryCatsStudio/fix-matrix-from-flat

  Show description for 500a67b
  Antonio95

  authored
  500a67b

  Copy full SHA for 500a67b

• compiling

  Antonio95

  committed
  48df32f

  Copy full SHA for 48df32f

• added data_structures.rs

  Antonio95

  committed
  0dfed86

  Copy full SHA for 0dfed86

• Merge pull request #11 from HungryCatsStudio/refactor_prover

  Show description for e8acdf6
  mmagician

  authored
  e8acdf6

  Copy full SHA for e8acdf6

• Call the commit function - currently failing

  mmagician

  committed
  983f7e8

  Copy full SHA for 983f7e8

• comments on const generics are not part of doc

  mmagician

  committed
  7e01340

  Copy full SHA for 7e01340

Commits on Jul 1, 2023

• Use FFTs to compute Reed-Solomon encoding of the vectors

  mmagician

  committed
  3da40e1

  Copy full SHA for 3da40e1

• Expand the FFT interface test, and add Reed-Solomon

  mmagician

  committed
  00a1557

  Copy full SHA for 00a1557

• Setup should check that rho_inv is >=1

  mmagician

  committed
  aa19604

  Copy full SHA for aa19604

• Test that there is a large enough FFT domain on our field

  mmagician

  committed
  d1c7b62

  Copy full SHA for d1c7b62

• fmt and remove unused imports

  mmagician

  committed
  3614b6c

  Copy full SHA for 3614b6c

• Apply suggestions from (self) code review

  mmagician

  authored
  da676d3

  Copy full SHA for da676d3

• Swap the test field for one with large FFT domain

  Show description for 62071b3
  mmagician

  committed
  62071b3

  Copy full SHA for 62071b3

Commits on Jul 3, 2023

• Merge pull request #12 from HungryCatsStudio/functionality-testing

  Show description for dce829c
  Antonio95

  authored
  dce829c

  Copy full SHA for dce829c

• Pad the leaves with zeros to create MT

  mmagician

  committed
  43d7fbb

  Copy full SHA for 43d7fbb

• test MT creation and proof verification

  mmagician

  committed
  136a639

  Copy full SHA for 136a639

• Merge pull request #14 from HungryCatsStudio/mt-construction-fix

  Show description for af8b464
  Antonio95

  authored
  af8b464

  Copy full SHA for af8b464

• Test open & check methods

  mmagician

  committed
  b8ca9c8

  Copy full SHA for b8ca9c8

• test well formedness and verifier's check

  mmagician

  committed
  a6db789

  Copy full SHA for a6db789

• bug fix: length of r should be m, not t

  mmagician

  committed
  9c91d72

  Copy full SHA for 9c91d72

• Fix the Path checking: index into paths by loop index, not q_i

  mmagician

  committed
  27320ec

  Copy full SHA for 27320ec

• fix the transcript consistency between prover and verifier

  mmagician

  committed
  16ecc28

  Copy full SHA for 16ecc28

• refactor check_linear_combinations to take proof, m & root, not comm

  mmagician

  committed
  d8d7132

  Copy full SHA for d8d7132

• Merge pull request #15 from HungryCatsStudio/test-open-and-check

  Show description for 26c0103
  Antonio95

  authored
  26c0103

  Copy full SHA for 26c0103

• reed solomon function and test working

  Antonio95

  committed
  99fa3a7

  Copy full SHA for 99fa3a7

• changed test bound

  Antonio95

  committed
  e74a522

  Copy full SHA for e74a522

• .vscode/* deleted and added to gitignore

  Antonio95

  committed
  e31deb4

  Copy full SHA for e31deb4

• Update .gitignore

  mmagician

  authored
  0bd313a

  Copy full SHA for 0bd313a

• Merge pull request #16 from HungryCatsStudio/reed-solomon

  Show description for 6e9c2dd
  mmagician

  authored
  6e9c2dd

  Copy full SHA for 6e9c2dd

Commits on Jul 4, 2023

• adapted to new RS, now leaf index check failing

  Antonio95

  committed
  f510f54

  Copy full SHA for f510f54

• non-randomised test working

  Antonio95

  committed
  ff3b27b

  Copy full SHA for ff3b27b

• randomised test also working

  Antonio95

  committed
  7b36322

  Copy full SHA for 7b36322

• matrix dimension computation fixed; formatted

  Antonio95

  committed
  4b1647f

  Copy full SHA for 4b1647f

Commits on Jul 6, 2023

• Merge pull request #18 from HungryCatsStudio/functionality_new_rs

  Show description for 8adde17
  Antonio95

  authored
  8adde17

  Copy full SHA for 8adde17

• commit now runs over all polynomials

  Antonio95

  committed
  660cd1d

  Copy full SHA for 660cd1d

• changed proof type to array of former proofs (matching open())

  Antonio95

  committed
  3c5d056

  Copy full SHA for 3c5d056

Commits on Jul 7, 2023

• compiling with new multi-polynomial functionality, old tests passing

  Antonio95

  committed
  817f566

  Copy full SHA for 817f566

• new tests for new multi-polynomial functionality passing

  Antonio95

  committed
  f5f2f56

  Copy full SHA for f5f2f56

• cleaned up unnecessary variables

  Antonio95

  committed
  990782d

  Copy full SHA for 990782d

• addressed minor requested changes to the PR

  Antonio95

  committed
  5f9dbf3

  Copy full SHA for 5f9dbf3

Commits on Jul 13, 2023

• pin dependencies to original upstreams, not forks

  mmagician

  committed
  5f4774d

  Copy full SHA for 5f4774d

Commits on Jul 14, 2023

• Merge pull request #20 from HungryCatsStudio/pin-deps

  Show description for 2bc0620
  Antonio95

  authored
  2bc0620

  Copy full SHA for 2bc0620

• added expected panic messages to tests, formatted/clipped only ligero files

  Antonio95

  committed
  9df98d2

  Copy full SHA for 9df98d2

• formatted utils.rs

  Antonio95

  committed
  ba00e0a

  Copy full SHA for ba00e0a

• Merge pull request #19 from HungryCatsStudio/several_polynomials

  Show description for 2c5d814
  mmagician

  authored
  2c5d814

  Copy full SHA for 2c5d814

Commits on Sep 11, 2023

• change the git dependency to rely on our own fork

  Show description for 4105abe
  mmagician

  committed
  4105abe

  Copy full SHA for 4105abe

• add back newline to gitignore

  mmagician

  committed
  1af21e5

  Copy full SHA for 1af21e5

Commits on Sep 25, 2023

• Well-formedness checks refactor (#24)

  Show description for ef6be5d
  

  mmagician

  and

  autquis

  authored
  ef6be5d

  Copy full SHA for ef6be5d

• Change encoding function (#25)

  Show description for 1e3afee
  mmagician

  authored
  1e3afee

  Copy full SHA for 1e3afee

Commits on Sep 26, 2023

• Change the signature of calculate_t

  autquis

  committed
  01a0f94

  Copy full SHA for 01a0f94

• Rebase to ligero and fixing callers of calculate_t

  autquis

  committed
  c61ec6d

  Copy full SHA for c61ec6d

• Delete extra TODO

  autquis

  committed
  498613d

  Copy full SHA for 498613d

• Add sanity check for t

  autquis

  committed
  d5b7e6f

  Copy full SHA for d5b7e6f

• Use is_normal instead of manual check

  autquis

  committed
  e1e5a1f

  Copy full SHA for e1e5a1f

• Delete map_error since it was unnecessary

  autquis

  committed
  bce0670

  Copy full SHA for bce0670

• Add test for calculate_t

  autquis

  committed
  7abaffb

  Copy full SHA for 7abaffb

• Merge pull request #23 from HungryCatsStudio/what-t

  Show description for 7360276
  mmagician

  authored
  7360276

  Copy full SHA for 7360276

• Cleanup (#26)

  Show description for 61d58fe
  

  mmagician

  and

  autquis

  authored
  61d58fe

  Copy full SHA for 61d58fe

Commits on Sep 28, 2023

• Implementation of setup and trim + Update tests + Clean up (#28)

  Show description for 356ecd8
  

  autquis

  and

  mmagician

  authored
  356ecd8

  Copy full SHA for 356ecd8

• Add Breakdown and Ligero to README.md (#27)

  Show description for d450683
  

  autquis

  and

  mmagician

  authored
  d450683

  Copy full SHA for d450683

Commits on Sep 29, 2023

• code and comments cleanup (#30)

  mmagician

  authored
  2b72639

  Copy full SHA for 2b72639

• Bring in remaining tests from the test suite (#29)

  Show description for 845989d
  mmagician

  authored
  845989d

  Copy full SHA for 845989d

• Fix todo(); Move Ligero implementation to data_structures; minor clippy lints (#31)

  Show description for 332fde5
  mmagician

  authored
  332fde5

  Copy full SHA for 332fde5

• Copy from jellyfish and patch dependency (#32)

  Show description for 9e40efb
  autquis

  authored
  9e40efb

  Copy full SHA for 9e40efb

• Merge branch 'master' into ligero

  mmagician

  authored
  6ce243b

  Copy full SHA for 6ce243b

• no-std compat (#33)

  Show description for 840ee52
  mmagician

  authored
  840ee52

  Copy full SHA for 840ee52

• Merge branch 'master' into ligero

  mmagician

  authored
  6e2c946

  Copy full SHA for 6e2c946

• post merge fmt

  mmagician

  committed
  46a6a85

  Copy full SHA for 46a6a85

• place all PhantomData in one struct

  mmagician

  committed
  a46ea25

  Copy full SHA for a46ea25

Commits on Oct 4, 2023

• remove Debug bounds

  mmagician

  committed
  61f3c64

  Copy full SHA for 61f3c64

• PreparedCommitment = Commitment

  mmagician

  committed
  44d2004

  Copy full SHA for 44d2004

• define an error string once, reuse in setup and trim

  mmagician

  committed
  780f525

  Copy full SHA for 780f525

• Merge branch 'master' into ligero

  mmagician

  authored
  46a28c8

  Copy full SHA for 46a28c8

• LigeroPCRandomness left temporarily unimplemented

  mmagician

  committed
  8d15d4e

  Copy full SHA for 8d15d4e

• empty is unimplemented, so let's explicitly insert ()

  mmagician

  committed
  6f3c663

  Copy full SHA for 6f3c663