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

Jump to bottom

Feat/gkr #393

Merged
merged 47 commits into from
Jan 19, 2023
Merged

Feat/gkr #393

merged 47 commits into from
Jan 19, 2023

Conversation

Tabaie
Copy link
Contributor

@Tabaie Tabaie commented Nov 9, 2022

No description provided.

tinywell and others added 30 commits July 29, 2022 12:39
@tinywell
fix: misspelled ("decsribes" -> "describes") (#339)
8bc13b2 
* fix  misspelled ("decsribes" ->  "describes")

* fix  misspelled ("decsribes" ->  "describes") from tmpl file and regenerate

Co-authored-by: tinywell <tinywell@tinywell.com>
@Tabaie
feat: some sumcheck experiments
2f40389
@Tabaie
test: sumcheck in circuit, getting errors
346ae76
@Tabaie
feat!: copy paste gkr verifier from gnark-crypto
8fafec4
@Tabaie
style: Multilin -> MultiLin
cda10b7
@Tabaie
Merge branch 'feat/sumcheck' into feat/gkr
e4bd34d
@Tabaie
feat: gkr verifier
91cbd41
@Tabaie
feat: some sumcheck experiments
3159d31
@Tabaie
test: sumcheck in circuit, getting errors
6d665ea
@Tabaie
style: Multilin -> MultiLin
187bb99
@Tabaie
refactor: use polynomial package
5e03ba1
@Tabaie
fix: Sumcheck verifier usable as circuit
520ce29
@Tabaie
feat: gkr verifier is NOT a witness object
c182f7f
@Tabaie
test: all parts of witness get unconstrained error
25c4c41
@Tabaie
test: counter start from 2
05b8200
@Tabaie
test: circuit and witness cannot be the same object
6ec3f7a
@Tabaie
test: fix incorrect proof
9c520e9
@omahs
Fix: minor typo (#360)
366a0c9 
Fix: minor typo
@Tabaie
fix: simple sumcheck test passes
aaf7472
@Tabaie
Merge branch 'feat/sumcheck' into feat/gkr
4b19fb2
@Tabaie
feat: map in snark
2466ff4
@Tabaie
Merge branch 'master' into feat/gkr
6c62810
@Tabaie
test: singleMap works
cdf3034
@Tabaie
test: doubleMap works
ef885e4
@Tabaie
test: Transcript fails
29251cd
@Tabaie
fix: TestTranscript works
47e654f
@Tabaie
test: routine developed for gkr
aec00bb
@Tabaie
fix: some problems in sumcheck and gkr
d94dc2d
@Tabaie
test: trying to feed proof as circuit input, reflect errors
c0d87a4
@Tabaie
fix: less elegant "hollow", but it works
14ad433
@Tabaie
test!: feed everything into test circuit as secret, TestSingleIdentit…
4607b20 
…yGateTwoInstances crashes backend
@Tabaie
test: all pass except "two_input_single_identity_gate_two_instances"
28c5a2e
@Tabaie
fix: update test vectors, hash finalevalproofs
0a146dc
@Tabaie
fix: multi-fan-out input bug
84ccad0
@Tabaie
test: add four-instance test case
37e2a5a
@Tabaie
Merge branch 'develop' into feat/gkr
7034e4f
@Tabaie
fix: staticcheck
cb1091f
@Tabaie
Merge branch 'develop' into feat/gkr
3c248a9
@Tabaie
Merge branch 'develop' into feat/gkr
3f0a9e5
@Tabaie
refactor: reflect gnark-crypto gkr changes, debug pending
54df7a7
@Tabaie
fix: update test vector proofs to proper size, some bugs
b14a925
@Tabaie
fix: idiotic load circuit bug
5feca04
@Tabaie
fix: verifier input building
ca9880d
@Tabaie
style: clean up unused functions
9709306
@Tabaie
feat: testing options and clearer errors
f260cf9
@Tabaie
Merge branch 'develop' into feat/gkr
8b11c7d
@Tabaie
fix: tests expected to fail
67f8942
@Tabaie Tabaie merged commit aab2cc2 into develop Jan 19, 2023
@Tabaie Tabaie deleted the feat/gkr branch January 30, 2023 15:15
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@ThomasPiellard ThomasPiellard ThomasPiellard approved these changes

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
4 participants
@Tabaie @ThomasPiellard @tinywell @omahs