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.

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

feat: add remote block prover as optional #719

Merged
merged 3 commits into from
Mar 9, 2025

Conversation

SantiagoPittella
Copy link
Collaborator

Closes #717

@SantiagoPittella SantiagoPittella force-pushed the santiagopittella-use-remote-block-prover branch from 7b5d726 to 2d25220 Compare February 24, 2025 21:15
Copy link
Contributor

@Mirko-von-Leipzig Mirko-von-Leipzig left a comment

Choose a reason for hiding this comment

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

Code looks good to me thanks.

@SantiagoPittella SantiagoPittella force-pushed the santiagopittella-use-remote-batch-prover branch from 99be9e4 to c0e0b04 Compare February 25, 2025 15:18
@SantiagoPittella SantiagoPittella force-pushed the santiagopittella-use-remote-block-prover branch from baf3f44 to 3fdeddb Compare February 25, 2025 15:51
docs: add PR number to Changelog

remove remote prover from CI and makefile

remove remote prover from README

feat: create BatchProver enum, make remote proving optional

update to latest changes in miden-base

fix: udpate with miden-base latest

review: use multiple statements to print the configs

review: replace warn! with info! in prover init

review: add instrumentation to batch prover

review: rename remote_batch_prover to batch_prover_url

review: remove default batch prover url constant

review: move the batch_prover field from BatchProducer to BatchBuilder

fix: rollback changes in Makefile

docs: update CHANGELOG, add change to readme

fix: make it compatible with miden-base
@SantiagoPittella SantiagoPittella force-pushed the santiagopittella-use-remote-batch-prover branch from c0e0b04 to 7b80750 Compare February 25, 2025 18:22
@SantiagoPittella SantiagoPittella force-pushed the santiagopittella-use-remote-block-prover branch from 3fdeddb to dcb309a Compare February 25, 2025 19:02
docs: add changelog entry

docs: update readme

fix: make it compatible with miden-base
@SantiagoPittella SantiagoPittella force-pushed the santiagopittella-use-remote-block-prover branch from dcb309a to 613b842 Compare February 25, 2025 19:09
Base automatically changed from santiagopittella-use-remote-batch-prover to next March 9, 2025 21:20
Copy link
Contributor

@bobbinth bobbinth left a comment

Choose a reason for hiding this comment

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

Looks good! Thank you!

Comment on lines +377 to +380
pub fn new_remote(endpoint: impl Into<String>) -> Self {
info!(target: COMPONENT, "Using remote block prover");
Self::Remote(RemoteBlockProver::new(endpoint))
}
Copy link
Contributor

Choose a reason for hiding this comment

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

Similar comment here re specifying the security level and then making sure that generated proofs comply with it as in the other PR.

@bobbinth bobbinth merged commit 7546dc7 into next Mar 9, 2025
10 checks passed
@bobbinth bobbinth deleted the santiagopittella-use-remote-block-prover branch March 9, 2025 21:33
This was referenced Mar 9, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants