Skip to content

feat: deploy risc0 groth16 verifier contracts in anvil #1876

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
Merged
MauroToscano merged 46 commits into from
Apr 28, 2025
Merged

feat: deploy risc0 groth16 verifier contracts in anvil #1876

MauroToscano merged 46 commits into from
Apr 28, 2025

Conversation

@MarcosNicolau
Copy link
Member

@MarcosNicolau MarcosNicolau commented Apr 16, 2025

Description

Add scripts to deploy risc0 groth16 verifier on anvil state.

Type of change

  • New feature

Checklist

  • “Hotfix” to testnet, everything else to staging
  • Linked to Github Issue
  • This change depends on code or research by an external entity
    • Acknowledgements were updated to give credit
  • Unit tests added
  • This change requires new documentation.
    • Documentation has been added/updated.
  • This change is an Optimization
    • Benchmarks added/run
  • Has a known issue
  • If your PR changes the Operator compatibility (Ex: Upgrade prover versions)
    • This PR adds compatibility for operator for both versions and do not change batcher/docs/examples
    • This PR updates batcher and docs/examples to the newer version. This requires the operator are already updated to be compatible

@MarcosNicolau
feat: risc0 aggregation program
3200e0c
@MarcosNicolau
feat: [wip] risc0 aggregator backend
2f54502
@MarcosNicolau
feat: ProofAggregationService risc0 verification
62bfb60
@MarcosNicolau
feat: error handling + fetch risc0 proofs
c475a63
@MarcosNicolau
feat: send risc0 aggregated proof to AlignedProofAggregationService c…
e2dcf30 
…ontract
@MarcosNicolau
feat: deploy AlignedProofAggregationService contract with risc0 verifier
1c4440b
@MarcosNicolau
feat: allow risc0 succinct proofs
df1d83a
@MarcosNicolau
chore: modified risc0 no_pub_inputs to generate a succinct proof inst…
4bc1a52 
…ead of a composite
@MarcosNicolau
feat: fetch proofs based on zkvm engine
56a9d87
@MarcosNicolau
feat: deploy risc0 groth16 verifier
09fbad3
@MarcosNicolau
chore: commands to start proof agregator based on verifier
6c544d0
@MarcosNicolau
Merge branch 'feat/aggregation-mode-risc0' into feat/aggregation-mode…
fb0ed79 
…-risc0-contracts
@MarcosNicolau
chore: anvil deploy target
85667e1
@MarcosNicolau
chore: update risc0 to v2.0.0
4d77ae9
@MarcosNicolau
tmp update contract to send journal digest direclty instead of comput…
9a375ce 
…ing it in solidity
@MarcosNicolau
chore: bump risc0-ethereum to v2.0.1
c57229a
@MarcosNicolau
debug: assert digest match
85ae0f6
@MarcosNicolau
debug: using static image id
c5e330a
@MarcosNicolau
fix: compute image id bytes in little endian not in be
b137020
@MarcosNicolau
feat: local verification of aggregated risc0 proof
d0a4be6
@MarcosNicolau
chore: undo debug changes
8a70e50
@MarcosNicolau
Merge branch 'staging' into feat/aggregation-mode-risc0
8309ea8
@MarcosNicolau
Merge branch 'feat/aggregation-mode-risc0' into feat/aggregation-mode…
b7198f7 
…-risc0-contracts
@MarcosNicolau
chore: remove elf and imageid .sol files
ad02b7b
@MarcosNicolau
chore: add gpu feature flag to run with cuda
369cdc6
@MarcosNicolau
Merge branch 'feat/aggregation-mode-risc0' into feat/aggregation-mode…
54c35d0 
…-risc0-contracts
@MarcosNicolau
docs: add gpu command
7720553
@MarcosNicolau
chore: undo no_pub_input file changes
ebdc910
@MarcosNicolau
fix: risc0 remappings compilation
ef4419f
@github-actions
Copy link

github-actions bot commented Apr 21, 2025 •
edited
Loading

Changes to gas cost

Generated at commit: 002a32b41d33ddd14d09c4165962ef7bf81c7f98, compared to commit: 837b4fbe4715d1b848b001bf77ce517608ae7d02

🧾 Summary (10% most significant diffs)

Contract Method Avg (+/-) %
AlignedLayerServiceManager createNewTask +45 ❌ +0.06%
Full diff report 👇
Contract Deployment Cost (+/-) Method Min (+/-) % Avg (+/-) % Median (+/-) % Max (+/-) % # Calls (+/-)
AlignedLayerServiceManager 8,319,208 (0) createNewTask
receive		 57,818 (-24)
23,496 (0)		 -0.04%
0.00%		 77,842 (+45)
47,284 (+93)		 +0.06%
+0.20%		 77,904 (-18)
47,472 (0)		 -0.02%
0.00%		 78,705 (-87)
47,472 (0)		 -0.11%
0.00%		 256 (0)
256 (0)
TransparentUpgradeableProxy 897,987 (-12)

@MarcosNicolau MarcosNicolau force-pushed the feat/aggregation-mode-risc0-contracts branch from 87297b3 to ef4419f Compare April 22, 2025 13:33
@MarcosNicolau MarcosNicolau mentioned this pull request Apr 22, 2025
Merged
14 tasks
@MarcosNicolau MarcosNicolau marked this pull request as ready for review April 22, 2025 14:00
JuArce
JuArce requested changes Apr 23, 2025
View reviewed changes
@MarcosNicolau MarcosNicolau requested a review from JuArce April 23, 2025 20:44
Base automatically changed from feat/aggregation-mode-risc0 to staging April 24, 2025 20:06
@MauroToscano MauroToscano added this pull request to the merge queue Apr 28, 2025
Merged via the queue into staging with commit 3ef2976 Apr 28, 2025
3 checks passed
@MauroToscano MauroToscano deleted the feat/aggregation-mode-risc0-contracts branch April 28, 2025 19:10
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

@MauroToscano MauroToscano MauroToscano approved these changes

@JuArce JuArce JuArce approved these changes

Assignees

@MarcosNicolau MarcosNicolau

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

4 participants

@MarcosNicolau @MauroToscano @JuArce