Directly include parallel crypto3#2

Closed

AndreyMlashkin wants to merge 422 commits intomasterfrom directly-include-parallel-crypto3

+32,458-1,434

This pull request is big! We're only showing the most recent 250 commits

Commits on Jan 30, 2023

FindFMT.cmake supported fmt versions list extended.
nemothenoone
committed

Commits on Mar 21, 2023

Commits on Mar 23, 2023

Commits on Mar 24, 2023

Commits on Mar 27, 2023

Commits on Mar 30, 2023

Merge pull request #1 from NilFoundation/48-crypto3-zk-changes-23-commits
Zerg1996
authored

Commits on Apr 21, 2023

I forgot .get() in a few places during the last change. (#2 )
martun
authored

Commits on May 2, 2023

Commits on May 17, 2023

Dependencies lookup changes.
nemothenoone
committed

Commits on May 30, 2023

Use http paths for submodules
NickVolynkin
committed

Commits on Jun 7, 2023

Commits on Sep 15, 2023

Commits on Sep 19, 2023

Commits on Sep 29, 2023

Commits on Oct 2, 2023

Commits on Oct 16, 2023

Small fix in in-place division operator operator of polynomial. (#12 )
martun
authored

Commits on Oct 18, 2023

Commits on Oct 25, 2023

Merge pull request #189 from NilFoundation/188-add-missing-typedefs

ETatuzova
authored and
vo-nil
committed

Commits on Oct 26, 2023

191 update placeholder performance test (#192 )

martun
authored and
vo-nil
committed
190 blueprint lookups (#193 )

ETatuzova
authored and
vo-nil
committed
Small cleanup. (#196 )

martun
authored and
vo-nil
committed
In LPC proof instead of dividing by V, divide by smaller polynomials 1 by 1, it's faster that way. (#200 )

martun
authored and
vo-nil
committed
Added sort_terms_by_degree function #202 (#203 )
vo-nil
committed
Remove zero terms from non linear combination.

martun
authored and
vo-nil
committed
Add gate argument multiplication on mask #207 (#208 )

ETatuzova
authored and
vo-nil
committed
206 additional point (#213 )

ETatuzova
authored and
vo-nil
committed
Fix copy-paste errors #18
vo-nil
committed

Commits on Oct 30, 2023

Commits on Oct 31, 2023

Merge pull request #19 from NilFoundation/18-update-changes-from-crypto3-zk
vo-nil
authored

Commits on Nov 14, 2023

Poseidon support provided #2
ETatuzova
committed

Commits on Nov 17, 2023

Optimzied lookup argument code. (#24 )
martun
authored

Commits on Nov 22, 2023

Fix build
x-mass
committed
Fix build
x-mass
authored

Commits on Dec 15, 2023

Saving parameter values which are used to run prover on the research server, also lots of small fixes, with which everything works. (#13 )

authored

Commits on Dec 19, 2023

16 move latest changes from crypto3 math up to commit b6e1a8e (#17 )

martun
and
x-mass
authored

Commits on Dec 21, 2023

Remove a cast.
martun
committed
Merge pull request #3 from NilFoundation/2-poseidon-compatibility
martun
authored
Merge pull request #215 from NilFoundation/194-lookup-table-packer

Iluvmagick
authored and
martun
committed
Fixed horizontal lookup table packer scaling. (#225 )

Iluvmagick
authored and
martun
committed
229 revert table packer changes (#230 )

ETatuzova
authored and
martun
committed
Moved lookup table packer out of detail namespace. (#235 )

Iluvmagick
authored and
martun
committed
232 optimize lookup argument (#233 )

ETatuzova
and
martun
committed
replaced boost_check with boost_assert (#226 )

CblPOK-git
authored and
martun
committed
Pass min selector index

akokoshn
authored and
martun
committed
Append fri_params, field modulus, arithmetization params and other initialization context to transcript. [SyncWith: crypto3-zk#201] (#223 )
martun
committed
Make number of quotient polynomials fixed #243 (#245 )

ETatuzova
authored and
martun
committed
Added the missing include. (#247 )
martun
committed
248 recover performance test build, disable most tests by default. (#249 )
martun
committed
Use reusable workflow in testing action (#244 )

x-mass
authored and
martun
committed
Comment out transcript init for now. (#251 )
martun
committed
214 Make it possible to use poseidon hash function in transcript [SyncWith: crypto3-zk#214] (#241 )

ETatuzova
and
martun
committed
Fixing everything
martun
committed
Remove the ci, it doesn't work anyway.
martun
committed
Small fix.
martun
committed

Commits on Dec 25, 2023

Commits on Jan 8, 2024

Reduce prover memory usage. (#262 )

martun
and
x-mass
committed
Mini fri fix expand_factor=0#263

ETatuzova
authored and
martun
committed
Return empty vector to transcript initialization#255

ETatuzova
authored and
martun
committed
Return empty vector to transcript initialization #255

ETatuzova
authored and
martun
committed

Commits on Jan 11, 2024

Changed placeholder test to check for verification on single-threaded verifier.

martun
authored and
x-mass
committed

Commits on Jan 24, 2024

proof of work, parallel grinding with actor, #34
vo-nil
committed

Commits on Jan 25, 2024

Commits on Jan 29, 2024

Commits on Feb 1, 2024

Commits on Feb 5, 2024

Commits on Feb 18, 2024

Commits on Feb 20, 2024

Parallelize query phase of FRI commitment.
martun
committed

Commits on Feb 23, 2024

Deleted ArithmetizationParams from template arguments. (#292 )

Iluvmagick
authored and
x-mass
committed
Add guide how to fetch updates from crypto3-zk
x-mass
committed
Corrected error handling in generate_poseidon_leaf_hash.

Iluvmagick
authored and
x-mass
committed

Commits on Feb 26, 2024

Commits on Mar 4, 2024

Fix var capture for debug build
x-mass
committed

Commits on Mar 22, 2024

Public input sizes

akokoshn
authored and
akokoshn
committed
public input sizes function #52 (#53 )
ETatuzova
authored

Commits on Apr 29, 2024

Revert to b689bc5 crypto3-zk
x-mass
committed
Reworked placeholder scheme for new marshaling intf #291 (#294 )

vo-nil
authored and
x-mass
committed
Goldilocks test added #298 (#301 )

ETatuzova
authored and
x-mass
committed
added tests for mnt curves #296 (#297 )

vo-nil
authored and
x-mass
committed
KZGv2 implementation (#304 )

vo-nil
authored and
x-mass
committed
Public input sizes, table description in common data structure #302

ETatuzova
authored and
x-mass
committed
Added public_input_sizes function #311

ETatuzova
authored and
x-mass
committed
FRI x_indices, FRI round proof poly values ordering, lookup and permutation argument partition products, copy_constraints, commitment_params #305

ETatuzova
authored and
x-mass
committed
Fixed constraint evaluator #315

ETatuzova
authored and
x-mass
committed
Fix includes
x-mass
committed
Parallel bottlenecks
x-mass
committed
Add canon data test for poseidon
x-mass
committed
Refactor Poseidon usage
x-mass
committed

Commits on Jun 3, 2024

Initial implementation #67

nemothenoone
authored and
x-mass
committed
Minor changes #67

nemothenoone
authored and
x-mass
committed
Add evaluate domain tests for goldilocks64 field

akokoshn
authored and
x-mass
committed
Add inline for bitreverse for multi-module usage

makxenov
authored and
x-mass
committed
Minor changes #67

nemothenoone
authored and
x-mass
committed
Unnecessary modifiers removed #67

nemothenoone
authored and
x-mass
committed
Unnecessary uniqueness (disabling a copy constructor) changed to be a

nemothenoone
authored and
x-mass
committed
Unused modifiers removed #67

nemothenoone
authored and
x-mass
committed
Remove expressions
x-mass
committed
Use per-element pow in polynomial_dfs #40
x-mass
committed
Some changes related to recent changes in multiprecision. (#84 )

martun
authored and
x-mass
committed
operator *= now works on scalars

vo-nil
authored and
x-mass
committed
Improve polynomial sum [SyncWith: crypto3-math#87] (#87 )
x-mass
committed
Refactor poseidon usage
x-mass
committed
Add transcript poseidon empty init_blob test
x-mass
committed
Use variable comparison operator in plonk copy constraint
x-mass
committed
add uninitialized plonk variable type

CblPOK-git
authored and
x-mass
committed
add check for ivalid var type

CblPOK-git
authored and
x-mass
committed
remove performance test

MALASHKIN Andrei
authored and
x-mass
committed
Updated placeholder and hashes. (#321 )

ETatuzova
and
x-mass
committed
Add iostream header for std::cerr

makxenov
authored and
x-mass
committed
remove ccache

MALASHKIN Andrei
authored and
x-mass
committed
Move random_test_initializer to separate file
x-mass
committed
Changes related to changes in multiprecision. (#326 )

martun
authored and
x-mass
committed
cleanup cmake; use nix-based CI

MALASHKIN Andrei
authored and
x-mass
committed
Removed divisions (#336 )

vo-nil
authored and
x-mass
committed
Add missing includes of std types (#290 )

aleasims
authored and
x-mass
committed
Use polynomial_sum instead of naive sum (#333 )
x-mass
committed
Copy work from crypto3-zk repo #216

vo-nil
authored and
x-mass
committed
Adjust update doc to crypto3 monorepo design
x-mass
committed
fix(zk): BOOST_CHECK -> BOOST_ASSERT in non-test header
x-mass
committed
Fix merkle tree test. (#30 )

martun
authored and
x-mass
committed
Set constexpr step limit to a large number. (#31 )

martun
authored and
x-mass
committed
cleanup cmake

MALASHKIN Andrei
authored and
x-mass
committed

Commits on Jun 5, 2024

Commits on Jun 7, 2024

Commits on Jun 10, 2024

Commits on Jun 11, 2024

work on transcript #247

vo-nil
authored and
x-mass
committed
Initial patch #254

nemothenoone
authored and
x-mass
committed
Minor formatting changes #254

nemothenoone
authored and
x-mass
committed
Fix equality checks for modular numbers in multiprecision.

Martun Karapetyan
authored and
x-mass
committed

Commits on Jun 20, 2024

Improve polynomial division

martun
authored and
x-mass
committed
Optimise zk parallelization, add LASTPOOL thread pool

Martun Karapetyan
authored and
x-mass
committed
Change scheme of cmake_modules submodule
x-mass
committed
Remove boost options from flake.nix
x-mass
committed

Commits on Jul 1, 2024

Fix proof producer bug for Boost 1.83
x-mass
committed

Commits on Jul 12, 2024

Optimized gate argument code. (#10 )

martun
and
Martun Karapetyan
authored

Commits on Jul 17, 2024

Fix prover segfault
x-mass
committed

Commits on Jul 18, 2024

Merge pull request #255 from NilFoundation/254-zk-tests-build-fixes

nemothenoone
authored and
vo-nil
committed
cleanup cmake polices

AndreyMlashkin
authored and
vo-nil
committed
Fix proof producer bug for Boost 1.83

x-mass
authored and
vo-nil
committed
Remove failing tests from cmake files.

martun
authored and
vo-nil
committed
Disable slow and failing tests.

martun
authored and
vo-nil
committed
Fix multiprecision for mac, there's a difference related to std::vector<bool>

martun
authored and
vo-nil
committed
Reworked test for kzg commitment #281
vo-nil
committed
Fix tests on ci and move slow tests to bench_tests folder.

martun
authored and
vo-nil
committed
Removed bogus test #285
vo-nil
committed
Fixed comparison of numbers of different bit length.

martun
authored and
vo-nil
committed
Synchronize changes from crypto3, fix broken tests
vo-nil
committed
Changed interface for proof_of_work #11
vo-nil
committed

Commits on Jul 19, 2024

chore: nix flake dependencies updated
x-mass
committed

Commits on Jul 30, 2024

Parallelize gate argument outside the expression tree. (#19 )

martun
and
Martun Karapetyan
authored

Commits on Aug 2, 2024

Move nix related changes from crypto3 to parallel-crypto3. (#21 )
martun
authored

Commits on Aug 23, 2024