Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Refac/groth16 mpc #1372

Open
wants to merge 101 commits into
base: master
Choose a base branch
from
Open

Refac/groth16 mpc #1372

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
101 commits
Select commit Hold shift + click to select a range
2858a22
remove zombie code: rand in InitPhase1
Tabaie Oct 10, 2024
3477517
docs comment genR
Tabaie Oct 10, 2024
2e425fc
revert bring init back
Tabaie Oct 11, 2024
2719edb
refactor: updateValue and verify
Tabaie Oct 11, 2024
7c93ec0
feat new phase struct
Tabaie Oct 11, 2024
c350336
refactor phase1
Tabaie Oct 11, 2024
fcde665
feat complete phase1 verification
Tabaie Oct 14, 2024
6fc1ffe
fix check without assuming alpha, beta in G2
Tabaie Oct 14, 2024
4601ed7
refactor initPhase1
Tabaie Oct 14, 2024
9b82466
feat phase1 marshal
Tabaie Oct 15, 2024
c352cd9
refactor "Parameters"
Tabaie Oct 18, 2024
90f4ed7
chore some comments and name changes
Tabaie Oct 23, 2024
7afabbf
feat phase2 init
Tabaie Oct 24, 2024
0510bd3
Merge branch 'master' into chore/groth16-mpc
Tabaie Dec 9, 2024
b4bbb2d
checkpoint
Tabaie Dec 10, 2024
317ae6d
Merge remote-tracking branch 'origin/master' into chore/groth16-mpc
Tabaie Dec 10, 2024
282484a
feat phase2 verification
Tabaie Dec 11, 2024
b37e663
docs lemma
Tabaie Dec 12, 2024
50cd7e9
docs new ratio check method
Tabaie Dec 12, 2024
527dd22
feat newLinearCombinationsG1
Tabaie Dec 13, 2024
18411e5
clean phase1 ver
Tabaie Dec 13, 2024
849f9d5
docs and fixes
Tabaie Dec 13, 2024
34b3967
feat key extraction - commitments
Tabaie Dec 13, 2024
81fdfb6
reface p *Phase2
Tabaie Dec 13, 2024
ebaff87
feat phase2 final contribution
Tabaie Dec 14, 2024
c2f3b8d
feat marshal
Tabaie Dec 16, 2024
5708047
test integration full - fails
Tabaie Dec 16, 2024
143c2b2
test value update/pok
Tabaie Dec 16, 2024
2afebf1
test setup no contributors
Tabaie Dec 16, 2024
cd1d7a3
fix setOne
Tabaie Dec 16, 2024
db574a4
fix mergeIterator
Tabaie Dec 16, 2024
bd89ca5
fix commitmentInfo in vk
Tabaie Dec 16, 2024
813f559
test found cardinality error
Tabaie Dec 16, 2024
49a22a8
fix beta update
Tabaie Dec 16, 2024
bc3089f
test trivial circuit works
Tabaie Dec 16, 2024
b59aae1
localize choice of circuit
Tabaie Dec 16, 2024
3f224e8
fix phase 2 sigma update
Tabaie Dec 16, 2024
cafdea4
test pedersen
Tabaie Dec 16, 2024
925af79
restore beacon phase2
Tabaie Dec 16, 2024
62a720b
refactor algo utils
Tabaie Dec 17, 2024
7ffc662
algo_utils as alias
Tabaie Dec 17, 2024
12acfe4
generify algo_utils removal
Tabaie Dec 17, 2024
da7241b
fix alpha update test
Tabaie Dec 17, 2024
12780f3
test minimal failing test for multiValueUpdateCheck
Tabaie Dec 17, 2024
a2184d4
test bivariateMonomials
Tabaie Dec 17, 2024
4f16a24
failing linear combination tests
Tabaie Dec 17, 2024
3b05489
fix rewrite linearCombs
Tabaie Dec 17, 2024
d31ad6c
fix some linComb errors
Tabaie Dec 17, 2024
528bc70
fix another linComb case
Tabaie Dec 17, 2024
157c9ea
fix another shifted case
Tabaie Dec 17, 2024
9536668
fix linearCombination
Tabaie Dec 17, 2024
176ef92
remove prints
Tabaie Dec 17, 2024
6650473
fix linearCombs G2
Tabaie Dec 17, 2024
bb91662
fix phase1 verification
Tabaie Dec 17, 2024
74de36a
feat a couple of helper functions
Tabaie Dec 18, 2024
87fbf17
fix Phase2 verification
Tabaie Dec 18, 2024
456a706
build go generate tinyfield
Tabaie Dec 18, 2024
cfd344b
build generify lagrange
Tabaie Dec 18, 2024
3d7e184
refactor AppendRefs
Tabaie Dec 18, 2024
054c42e
build generify marshal
Tabaie Dec 18, 2024
914a075
refactor: delete marshal_test
Tabaie Dec 18, 2024
e418263
build generify phase1
Tabaie Dec 18, 2024
358158b
build generify regular setup changes
Tabaie Dec 18, 2024
5b26861
build generify utils
Tabaie Dec 18, 2024
181d0d7
build generify phase2
Tabaie Dec 18, 2024
bfe1254
build generify setup
Tabaie Dec 18, 2024
198da47
fix benchmarking
Tabaie Dec 18, 2024
757df84
build generify setup_test
Tabaie Dec 18, 2024
77b727a
refactor algo_utils -> utils
Tabaie Dec 18, 2024
ca40c18
build regenerate tinyfield
Tabaie Dec 18, 2024
76cb260
build gnark-crypto dependency
Tabaie Dec 18, 2024
c146e7d
build go mod too tidy
Tabaie Dec 18, 2024
23d87ac
Merge branch 'master' into chore/groth16-mpc
Tabaie Dec 18, 2024
965b713
docs remove inane comments
Tabaie Dec 19, 2024
e4fb52f
Merge branch 'chore/groth16-mpc' of https://github.com/Consensys/gnar…
Tabaie Dec 19, 2024
dd5cac2
perf parallelize phase 2 updates
Tabaie Dec 19, 2024
be02fb6
build generify parallelization
Tabaie Dec 19, 2024
3b19824
refactor sameRatio"Unsafe" -> sameRatio
Tabaie Dec 19, 2024
a314597
build generify refactor
Tabaie Dec 19, 2024
7eeb48a
refactor linearCombCoeffs -> randomMonomials
Tabaie Dec 19, 2024
1e99b58
build generify refactor
Tabaie Dec 19, 2024
605f235
docs scalar goes on the left
Tabaie Dec 19, 2024
8495c2c
style: remove `if i==0` at the beginning of loop
Tabaie Dec 19, 2024
e6f8915
chore minor improvements
Tabaie Dec 19, 2024
d60efa4
style remove deadcode and newline
Tabaie Dec 19, 2024
560d5f0
fix staticcheck
Tabaie Dec 19, 2024
725db38
Merge branch 'master' into chore/groth16-mpc
Tabaie Dec 20, 2024
4ecbbc1
build: update gnark-crypto dep
Tabaie Dec 20, 2024
b83a044
build: update gnark-crypto dep
Tabaie Dec 21, 2024
b994b50
refac: remove tests for utils
Tabaie Dec 24, 2024
bf2d2b3
refactor: trim down mpcsetup "utils"
Tabaie Dec 25, 2024
b3dc401
refactor: groth16 mpcsetup to use gnark-crypto tools
Tabaie Dec 25, 2024
70fc948
refactor: use max instead of utils.Max
Tabaie Dec 25, 2024
8d06fc5
fix: hash() panic on error
Tabaie Dec 25, 2024
f63da80
refactor: clean up unused funcs
Tabaie Dec 25, 2024
8f5e982
chore: generify changes
Tabaie Dec 25, 2024
73dd286
chore: generify
Tabaie Dec 25, 2024
94a58c5
build: update gnark-crypto dep
Tabaie Dec 25, 2024
0f6d281
fix: utils.Max -> max
Tabaie Dec 26, 2024
67cebb2
fix staticcheck
Tabaie Dec 26, 2024
c549cbc
chore: generify staticcheck fix
Tabaie Dec 26, 2024
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
4 changes: 2 additions & 2 deletions backend/groth16/bls12-377/mpcsetup/lagrange.go
View file
Open in desktop

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

272 changes: 176 additions & 96 deletions backend/groth16/bls12-377/mpcsetup/marshal.go
View file
Open in desktop

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

Loading
Loading