Skip to content

Conversation

@maximopalopoli
Copy link
Collaborator

@maximopalopoli maximopalopoli commented Nov 25, 2025

Description

This PR removes the mock functionality from the Aligned Proof Aggregation Service contract, since it had no real uses.

How to test

To test this PR, you should test that the normal workflows are working as expected. This means following these steps:

  1. Start ethereum package:
make ethereum_package_start
  1. Start batcher:
make batcher_start_ethereum_package
  1. Send SP1 and Risc0 proofs:
make batcher_send_sp1_burst BURST_SIZE=1
make batcher_send_risc0_burst BURST_SIZE=1
  1. Run proof aggregator for SP1 and RISC0:
make proof_aggregator_start AGGREGATOR=sp1
make proof_aggregator_start AGGREGATOR=risc0
  1. Verify the proofs have been aggregated:
make verify_aggregated_proof_sp1 FROM_BLOCK=0
make verify_aggregated_proof_risc0 FROM_BLOCK=0

Type of change

Please delete options that are not relevant.

  • New feature
  • Bug fix
  • Optimization
  • Refactor

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 crates/docs/examples
    • This PR updates batcher and docs/examples to the newer version. This requires the operator are already updated to be compatible

@maximopalopoli maximopalopoli self-assigned this Nov 25, 2025
@maximopalopoli maximopalopoli marked this pull request as ready for review November 25, 2025 18:23
Base automatically changed from fix/fusaka-blocks-with-alloy to testnet November 26, 2025 14:36
address public constant VERIFIER_MOCK_ADDRESS = address(0xFF);
/// if true, verification checks are skipped (only for test deployments)
/// This flag is set only at initialization and cannot be changed afterwards.
bool public devMode;
Copy link
Collaborator

Choose a reason for hiding this comment

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

Suggested change
bool public devMode;
bool public immutable devMode;

Copy link
Collaborator Author

Choose a reason for hiding this comment

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

Done in 0d48d3f

Copy link
Contributor

@MauroToscano MauroToscano left a comment

Choose a reason for hiding this comment

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

Make devMode immutable, and rename it to IS_DEV_MODE

@github-actions
Copy link

github-actions bot commented Nov 26, 2025

Changes to gas cost

Generated at commit: b078046dd78f9f13d3139fcfa56b42dd6f69d2e8, compared to commit: d603f66bfdf252e33e35cd1f6a3425d8c2dcad91

🧾 Summary (10% most significant diffs)

Contract Method Avg (+/-) %
AlignedLayerServiceManager createNewTask -155 ✅ -0.20%

Full diff report 👇
Contract Deployment Cost (+/-) Method Min (+/-) % Avg (+/-) % Median (+/-) % Max (+/-) % # Calls (+/-)
AlignedLayerServiceManager 4,398,072 (0) createNewTask
receive
56,874 (-24)
23,301 (0)
-0.04%
0.00%
76,456 (-155)
46,370 (-186)
-0.20%
-0.40%
77,002 (0)
47,115 (0)
0.00%
0.00%
77,884 (0)
47,115 (0)
0.00%
0.00%
256 (0)
256 (0)

@maximopalopoli maximopalopoli changed the title feat: have a dev mode flag which is set on initialize chore: remove dev mode functionality on Proof Aggregation Service contract Nov 27, 2025
Comment on lines 10 to 12
function run(string memory alignedLayerDeploymentFilePath, string memory proofAggregatorConfigFilePath) external returns (address, address) {
string memory aligned_deployment_file = vm.readFile(alignedLayerDeploymentFilePath);
string memory config_data = vm.readFile(proofAggregatorConfigFilePath);
Copy link
Member

Choose a reason for hiding this comment

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

This change can be removed right?

Copy link
Collaborator Author

Choose a reason for hiding this comment

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

Yes, removed in 60b37dc

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

5 participants