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

Partial verifier step 6 #33

Merged
merged 43 commits into from
Oct 11, 2023
Merged

Partial verifier step 6 #33

merged 43 commits into from
Oct 11, 2023

Conversation

xqft
Copy link
Contributor

@xqft xqft commented Oct 10, 2023

No description provided.

xqft added 30 commits September 29, 2023 17:05
@xqft
WIP continuing fiat-shamir (step 20)
6af84a1
@xqft
Upto step 20 implemented
fff4a38
@xqft
Upto step 22
68535b8
@xqft
Upto step 28
64d8a63
@xqft
Merge branch 'main' into fiat_shamir_continued
48ef687
@xqft
Added tests
87d36f7
@xqft
Fix build errors
fdff5ad
@xqft
Merge branch 'main' into fiat_shamir_continued
8f8e94f
@xqft
Small fix
c6e8302
@xqft
Finished fiatshamir, except from some details
7083dca
@xqft
Build fixes
dacc763
@xqft
Fix errors
4078bfe
@xqft
Partially implemented PolishToken
bc88bbf
@xqft
Implemented cell variant in evaluate
9882f77
@xqft
Merge branch 'main' into fiat_shamir_inner
db69abf
@xqft
Fix srs
fbb05df
@xqft
Format verifier_circuit_tests
e9f5fc8
@xqft
Ignore inv test
7f954bb
@xqft
Fixed scalar and polycomm tests
36dea2e
@xqft
Added extended euclidean for scalar inverse
9fbcf46
@xqft
WIP updating VerifierIndex deser
3a1e27f
@xqft
WIP
b1dd096
@xqft
WIP VerifierIndex serde
8c29af2
@xqft
Finished VerifierIndex serde
58ce5bd
@xqft
Added ft_eval1 field to proof serde
79e70f0
@xqft
Fix absorbScalars()
314f0c7
@xqft
Fixed powers of alpha
c2523ba
@xqft
Fix alphas
4b0247a
@xqft
Finished fiat-shamir
c52c7ca
@xqft
Merge branch 'main' into fix_fiatshamir_tests
92ae992
@xqft xqft marked this pull request as ready for review October 11, 2023 16:38
Base automatically changed from partial_verifier_step5 to main October 11, 2023 20:54
pablodeymo
pablodeymo approved these changes Oct 11, 2023
View reviewed changes
Copy link
Contributor

@pablodeymo pablodeymo left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM

@pablodeymo pablodeymo merged commit f8712b0 into main Oct 11, 2023
@pablodeymo pablodeymo deleted the partial_verifier_step6 branch October 11, 2023 21:56
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@pablodeymo pablodeymo pablodeymo 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.
2 participants
@xqft @pablodeymo