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

Work in progress onchain verifier #419

Merged
merged 60 commits into from
Jul 31, 2024
Merged

Work in progress onchain verifier #419

merged 60 commits into from
Jul 31, 2024

Conversation

aleph-v
Copy link
Collaborator

@aleph-v aleph-v commented Jul 19, 2024

This PR merges the onchain verifier branch into main so we can transition into doing PRs to finish the features. Currently there is still quite a lot of outstanding work before the verifier is functional.

We have working onchain protocols for:

  • Fiat shamir transform
  • Hyper KZG
  • GKR based grand products

MatteoMer and others added 30 commits June 20, 2024 14:10
@MatteoMer
chore: forge init
7ee273f
@MatteoMer
forge install: forge-std
51adf63 
v1.8.2
@MatteoMer
wip jolt verifier
20c4eac
@MatteoMer
wip verifier
81c21bd
@MatteoMer
updated to fork to last version
0ddb373
@aleph-v
Merge pull request #401 from taralli-labs/main
a42ad17 
feat: Jolt verifier in Solidity (WIP)
@aleph-v
Merge branch 'main' into violet/onchain_transcript
4f59f9f
@aleph-v
wip
bfaf5fe
@aleph-v
draft build
ec6ec4b
@aleph-v
in progress test
2ddf280
@aleph-v
uncompressed
0c7edb8
@aleph-v
Merge branch 'main' into onchain_verifier
f24be19
@MatteoMer
grand product argument evm verification v0.1
d7f9e31
@aleph-v
passing integration test for transcript
a88bf7a
@aleph-v
Merge pull request #407 from taralli-labs/main
bf731a7 
grand product argument evm verification v0.1
@aleph-v
Merge branch 'onchain_verifier' into violet/onchain_transcript
c38555b
@aleph-v
fmt
b3b13a6
@aleph-v
removes warnings
13a6371
@aleph-v
adds a CI which checks for builds, tests, and format
884d2c6
@aleph-v
cause ci to run on all PRs
fd2f9b2
@aleph-v
cause ci to run on all PRs
c114d45
@aleph-v
cause ci to run on all PRs
f4726c5
@aleph-v
fix install command
b6da050
@aleph-v
fix out of place check
d0f52c6
@aleph-v
dev to nul
4107af6
@aleph-v
try building as a step
48ad9ec
@aleph-v
reduce usage of intermeidary scripts
558ca3e
@aleph-v
wiring the onchain transcript into the sumcheck
18ce2cd
@aleph-v
test fix
1d855a9
@aleph-v
supress warning
967020f
@aleph-v aleph-v requested a review from sragss July 19, 2024 12:45
sragss
sragss approved these changes Jul 26, 2024
View reviewed changes
Copy link
Collaborator

@sragss sragss left a comment

Choose a reason for hiding this comment

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

Very nice. LGTM

jolt-evm-verifier/README.md Outdated Show resolved Hide resolved
jolt-evm-verifier/script/Counter.s.sol Outdated Show resolved Hide resolved
jolt-evm-verifier/script/src/bin/hyperkzg_batch_example.rs Outdated Show resolved Hide resolved
jolt-evm-verifier/script/src/main.rs Outdated Show resolved Hide resolved
jolt-evm-verifier/src/reference/JoltVerifier.sol Outdated Show resolved Hide resolved
jolt-evm-verifier/src/subprotocols/FiatShamirTranscript.sol Outdated Show resolved Hide resolved
jolt-evm-verifier/script/src/bin/hyperkzg_batch_example.rs Show resolved Hide resolved
@aleph-v aleph-v mentioned this pull request Jul 29, 2024
Closed
@aleph-v aleph-v merged commit 17de761 into main Jul 31, 2024
8 checks passed
@aleph-v aleph-v deleted the onchain_verifier branch July 31, 2024 14:12
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@sragss sragss sragss 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
@aleph-v @sragss @MatteoMer @moodlezoup