[BASE] Anemoi hash r1cs#65

Open

vesselinux wants to merge 120 commits intodevelopfrom

anemoi-hash-r1cs

Commits on Oct 31, 2022

Updated libff to point to last commit
Vesselin Velichkov
committed
added TAGS to .gitignore
Vesselin Velichkov
committed
added BLS12-381 curve to CMakeLists.txt
Vesselin Velichkov
committed
added test for plonk in CMakeLists.txt
Vesselin Velichkov
committed
anemoi: added initial directory and files for the implementation of the Anemoi hash function in the R1CS contraint system
Vesselin Velichkov
committed
anemoi: added initial test for Anemoi hash
Vesselin Velichkov
committed
anmeoi: implemented r1cs gadget for the component y = alpha * x^3 + beta
Vesselin Velichkov
committed
anemoi: implemented r1cs gadget for the component y = alpha * x^2 + beta
Vesselin Velichkov
committed
anemoi: major reimplementation of r1cs gadgets for anemoi power 2 and power 3 components addressing latest comments from PR#65
Vesselin Velichkov
committed
anemoi: constructors definition moved from .hpp to .tcc file
Vesselin Velichkov
committed
anemoi: replaced constants names alpha, beta resp. by const_a, const_b; added macros for Anemoi constants values alpha, beta, gamma, delta, some of which are curve-dependent; moved initialization o…
Vesselin Velichkov
committed
anemoi: simplified the addition of r1cs constraints in the power 2 and 3 gadgets
Vesselin Velichkov
committed
anemoi: set constant private members const_a, const_b explicitly as constants
Vesselin Velichkov
committed
anemoi: renamed anemoi_power_* gadgets to flystel_power_* which is technically more correct
Vesselin Velichkov
committed
anemoi: added flystel power 5 gadget for opertion y=x^5
Vesselin Velichkov
committed
anemoi: added gadgets for the Qi and Qf components of the Flystel s-box for prime and binary fields; inherit the power 2 and power 3 gadget classes
Vesselin Velichkov
committed
anemoi: added gadget for the flystel component for prime fields; changed the names of several classes to better reflect their purpouse.
Vesselin Velichkov
committed
anemoi: started implementation of anemoi permutation gadget for prime fields
Vesselin Velichkov
committed
anemoi: started specialization of the components (Q_gamma, Q_delta, Flystel) in terms of the round constants beta, gamma, delta (WIP).
Vesselin Velichkov
committed
anemoi: improved specialization of anemoi components; updated anemoi round permutation gadget.
Vesselin Velichkov
committed
anemoi: updated anemoi permutation class; added function to return the correct mds matrix from the number of columns
Vesselin Velichkov
committed
anemoi: added header file containing all round constants (initial)
Vesselin Velichkov
committed
anemoi: replaced inputs to Q_gamma, Q_delta, E from pb_variable to pb_lienar_combination; added gadget for Q_delta for binary field.
Vesselin Velichkov
committed
anemoi: updated E_power_five gadget
Vesselin Velichkov
committed
anemoi: added a cnstructor of pb_linear_combination initializing an object from a linear_combination oject. needed for r1cs gadget for anemoi flystel sbox.
Vesselin Velichkov
committed
anemoi: updated gadget for flystel sbox using the new constructor of pb_linear_combination from linear_combination object.
Vesselin Velichkov
committed
WIP: draft chages to anemoi circuit

dtebbs
authored and
Vesselin Velichkov
committed
anemoi: implemented Flystel E five root transformation
Vesselin Velichkov
committed
anemoi: implemented new functionality to Flystel gadget for prime fields (WIP)
Vesselin Velichkov
committed
anemoi: debgging info for flystel gadget
Vesselin Velichkov
committed
anemoi: added temporary debug info in protoboard and pb_variable for purpouses of flystel gadget testing
Vesselin Velichkov
committed
anemoi: added more debug code for Flystel gadget
Vesselin Velichkov
committed
anemoi: updated unit tests for the Flystel gadget
Vesselin Velichkov
committed
anemoi: merged bug fix plus more debug tests
Vesselin Velichkov
committed
anemoi: replaced inputs to all gadgets from pb_linear_combination to linear_combination
Vesselin Velichkov
committed
anemoi: added gadget for the flystel sbox plus unit test
Vesselin Velichkov
committed
anemoi: removed debug comments from protoboard.tcc
Vesselin Velichkov
committed
anemoi: completed unit test for flystel sbox; code cleanup
Vesselin Velichkov
committed
anemoi: transposed matrix M4 fixing a bug in the paper
Vesselin Velichkov
committed
anemoi: removed test for plonk in CMakeLists.txt
Vesselin Velichkov
committed
anemoi: added latest revision of depends/libff
Vesselin Velichkov
committed
anemoi: removed default initialization of input var annotation_prefix in anemoi_permutation_round_prime_field_gadget to fix CI error
Vesselin Velichkov
committed
anemoi: removed printing of columns value in std::logic_error to fix CI complaint
Vesselin Velichkov
committed
anemoi: made the declaration of the anemoi_permutation_round_prime_field_gadget constructor consistent with its definition in order to fix CI error
Vesselin Velichkov
committed
anemoi: removed unused parameter pb in anemoi_permutation_round_prime_field_gadget to fix CI complaint
Vesselin Velichkov
committed
anemoi: removed unused parameter annotation_prefix from anemoi_permutation_round_prime_field_gadget to fix CI complaint
Vesselin Velichkov
committed
anemoi: removed default value "" for annotation_prefix (cf. PR #65 https://github.com/clearmatics/libsnark/pull/65#discussion_r992421871)
Vesselin Velichkov
committed
anemoi: set member variables representing intermediate values to be of type const in several classes. resp. added their initialization in the initialization list of the constructor (cf. https://git…
Vesselin Velichkov
committed
anemoi: updated copyright notice in all files
Vesselin Velichkov
committed
anemoi: added formal reference to the eprint version of the Anemoi paper (cf. https://github.com/clearmatics/libsnark/pull/65#discussion_r992439955)
Vesselin Velichkov
committed
anemoi: removed redundant comment (https://github.com/clearmatics/libsnark/pull/65#discussion_r992445155)
Vesselin Velichkov
committed
anemoi: added editorial changes in comments
Vesselin Velichkov
committed
anemoi: changed comments in allocate() to match variable names (https://github.com/clearmatics/libsnark/pull/65#discussion_r992458348)
Vesselin Velichkov
committed
anemoi: uncommented test_pb_verify_circuit which was temporarily commented for debug.
Vesselin Velichkov
committed
anemoi: removed redundant asserts in pb_variable added earlier for debug (https://github.com/clearmatics/libsnark/pull/65#discussion_r992475721, https://github.com/clearmatics/libsnark/pull/65#disc…
Vesselin Velichkov
committed
anemoi: removed redundant "== true" in if-statement (https://github.com/clearmatics/libsnark/pull/65#discussion_r992476857).
Vesselin Velichkov
committed

Commits on Nov 2, 2022

anemoi: removed all printf-s (https://github.com/clearmatics/libsnark/pull/65#discussion_r992448853, https://github.com/clearmatics/libsnark/issues/77)
Vesselin Velichkov
committed
anemoi: clarified comment (https://github.com/clearmatics/libsnark/pull/65#discussion_r992455606)
Vesselin Velichkov
committed
anemoi: added missing calls to test_pb_verify_circuit
Vesselin Velichkov
committed
anemoi: added missing const identifier (https://github.com/clearmatics/libsnark/pull/65#discussion_r1010576258)
Vesselin Velichkov
committed
anemoi: removed redundant comments
Vesselin Velichkov
committed
anemoi: removed redundant include (https://github.com/clearmatics/libsnark/pull/65#discussion_r1010607147)
Vesselin Velichkov
committed
anemoi: switched to gtest framework (https://github.com/clearmatics/libsnark/pull/65#discussion_r992473776, https://github.com/clearmatics/libsnark/issues/77#issue-1431671566)
Vesselin Velichkov
committed
anemoi: added script for generating Anemoi parameters for different curves
Vesselin Velichkov
committed
anemoi: added directory __pycache__ from anemoi sage scripts to .gitignore
Vesselin Velichkov
committed
anemoi: updated sage scripts with latest fixes from the official anemoi-hash repo (matrix transpose bug fix, instances for several new curves)
Vesselin Velichkov
committed
anemoi: added initial implementation of a parametrization class and its instantiation for the curve bls12-381
Vesselin Velichkov
committed
anemoi: created class with all anemoi parameters specialised by a given curve in a separate hpp file. removed all debug macros. added a separate class with anemoi parameters used for debug that is …
Vesselin Velichkov
committed

Commits on Nov 4, 2022

Commits on Nov 8, 2022

anemoi: changed types of debug_parameters_bls12_381 parameters class from bignum to size_t to match the anemoi_parameters class
Vesselin Velichkov
committed
anemoi: added static_assert in flystel_prime_field_gadget to make sure that alpha is equal to 5
Vesselin Velichkov
committed
anemoi: added ppT to be used as a template parameter everywhere instead of FieldT
Vesselin Velichkov
committed
anemoi: added definition of ppT in the paremeters and debug_parameters classes (https://github.com/clearmatics/libsnark/pull/76#discussion_r1015545665)
Vesselin Velichkov
committed
anemoi: updated license text (https://github.com/clearmatics/libsnark/pull/76#discussion_r1015546429)
Vesselin Velichkov
committed
anemoi: removed the copy of the official Anemoi SAGE implementation from the libsnark repo; added a readme file explaining how to download this implementation from the Anemoi repo
Vesselin Velichkov
committed

Commits on Nov 9, 2022

Commits on Nov 10, 2022

Commits on Jan 12, 2023

anemoi: added r1cs gadget for the round transformation of the anemoi permutation
Vesselin Velichkov
committed
anemoi: removed redundant debug code
Vesselin Velichkov
committed
anemoi: added proper fomatting of annotation prefix string (https://github.com/clearmatics/libsnark/pull/98#discussion_r1055583864)
Vesselin Velichkov
committed
anemoi: replaced method push_back with emplace_back (https://github.com/clearmatics/libsnark/pull/98#discussion_r1055584081)
Vesselin Velichkov
committed
anemoi: removed unnecessary guards from cpp file (https://github.com/clearmatics/libsnark/pull/98#discussion_r1055586736)
Vesselin Velichkov
committed
anemoi: updated sage script for generating anemoi parameters to handle 1,2,3,4 columns and to store the results in a file
Vesselin Velichkov
committed
anemoi: added file with all parameters for different instances of anemoi for fast reference. it is automatically generated in sage with the script parameters.sage.
Vesselin Velichkov
committed
anemoi: updated parameters script
Vesselin Velichkov
committed
anemoi: removed parameters.txt file; its content is generated by the parameters.sage script
Vesselin Velichkov
committed
anemoi: added the original round constants instead of just adding zero constants (https://github.com/clearmatics/libsnark/pull/98#discussion_r1055590350)
Vesselin Velichkov
committed
anemoi: fixed the use of emplace_back to directly call the constructor of the added element in place (https://github.com/clearmatics/libsnark/pull/98#discussion_r1067515826)
Vesselin Velichkov
committed

Commits on Jan 13, 2023

anemoi: fixed improper use of types in anemoi_parameters class (https://github.com/clearmatics/libsnark/pull/101#discussion_r1069493909)
Vesselin Velichkov
committed

Commits on Jan 16, 2023

Commits on Jan 17, 2023

Commits on Jan 23, 2023

Merge pull request #102 from clearmatics/anemoi-hash-r1cs-numstatecolumns
dtebbs
authored

Commits on Jan 25, 2023

Merge branch 'develop' into anemoi-hash-r1cs
Vesselin Velichkov
committed

Commits on Jan 26, 2023

anemoi: added support for generating anemoi parameters for all curves of interest, namely Mnt4, Mnt6, BW6_761, BN128, ALT_BN128, BLS12_377, BLS12_381 (https://github.com/clearmatics/libsnark/issues…
Vesselin Velichkov
committed
anemoi: added description of the C,D round constants in comments
Vesselin Velichkov
committed
WIP: anemoi test tweaks

dtebbs
authored and
Vesselin Velichkov
committed
anemoi: added tests for gadget instatiations for all curves (https://github.com/clearmatics/libsnark/pull/106#discussion_r1085118089)
Vesselin Velichkov
committed

Commits on Feb 3, 2023

Commits on Feb 8, 2023

anemoi: added the number of rounds for each instance and for each curve inside the parameters class; modified the SAGE script accordingly
Vesselin Velichkov
committed
anemoi: implemented gadget for the full anemoi permutation (https://github.com/clearmatics/libsnark/issues/104)
Vesselin Velichkov
committed
anemoi: renamed NumStateColumns_L to NumStateColumns
Vesselin Velichkov
committed
anemoi: renamed test_anemoi_permutation_round_prime_field_gadget to test_anemoi_round_prime_field_gadget
Vesselin Velichkov
committed
anemoi: added the round index as a member of the anemoi_round_prime_field_gadget class. it is used to extract the round constants C,D, which arenow removed from the class. removed two unused functi…
Vesselin Velichkov
committed

Commits on Feb 22, 2023

anemoi: added output test values for anemoi with 128-bit security; output number of r1cs constraints and variables
Vesselin Velichkov
committed

Commits on Mar 6, 2023