This repository has been archived by the owner on Jun 20, 2024. It is now read-only.
-
Notifications
You must be signed in to change notification settings - Fork 11
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
- Loading branch information
Showing
9 changed files
with
349 additions
and
392 deletions.
There are no files selected for viewing
Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.
Oops, something went wrong.
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -1,70 +1,118 @@ | ||
| use std::{ | ||
| fs::{create_dir_all, File}, | ||
| io::Write, | ||
| path::PathBuf, | ||
| sync::Arc, | ||
| }; | ||
| use std::io::Write; | ||
| use std::path::PathBuf; | ||
|
|
||
| use alloy::transports::http::reqwest::Url; | ||
| use anyhow::Result; | ||
| use common::block_interval::BlockInterval; | ||
| use common::fs::generate_block_proof_file_name; | ||
| use paladin::runtime::Runtime; | ||
| use proof_gen::types::PlonkyProofIntern; | ||
| use rpc::retry::build_http_retry_provider; | ||
| use proof_gen::proof_types::GeneratedBlockProof; | ||
| use rpc::{retry::build_http_retry_provider, RpcType}; | ||
| use tracing::{error, info, warn}; | ||
|
|
||
| /// The main function for the jerigon mode. | ||
| #[allow(clippy::too_many_arguments)] | ||
| pub(crate) async fn rpc_main( | ||
| rpc_type: &str, | ||
| rpc_url: Url, | ||
| #[derive(Debug)] | ||
| pub struct RpcParams { | ||
| pub rpc_url: Url, | ||
| pub rpc_type: RpcType, | ||
| pub backoff: u64, | ||
| pub max_retries: u32, | ||
| } | ||
|
|
||
| #[derive(Debug, Default)] | ||
| pub struct ProofParams { | ||
| pub checkpoint_block_number: u64, | ||
| pub previous_proof: Option<GeneratedBlockProof>, | ||
| pub proof_output_dir: Option<PathBuf>, | ||
| pub save_inputs_on_error: bool, | ||
| pub keep_intermediate_proofs: bool, | ||
| } | ||
|
|
||
| /// The main function for the client. | ||
| pub(crate) async fn client_main( | ||
| runtime: Runtime, | ||
| block_number: u64, | ||
| checkpoint_block_number: u64, | ||
| previous: Option<PlonkyProofIntern>, | ||
| proof_output_path_opt: Option<PathBuf>, | ||
| save_inputs_on_error: bool, | ||
| backoff: u64, | ||
| max_retries: u32, | ||
| ) -> anyhow::Result<()> { | ||
| let prover_input = match rpc_type { | ||
| "jerigon" => { | ||
| rpc::jerigon::prover_input( | ||
| build_http_retry_provider(rpc_url, backoff, max_retries), | ||
| block_number.into(), | ||
| checkpoint_block_number.into(), | ||
| ) | ||
| .await? | ||
| } | ||
| "native" => { | ||
| rpc::native::prover_input( | ||
| Arc::new(build_http_retry_provider(rpc_url, backoff, max_retries)), | ||
| block_number.into(), | ||
| checkpoint_block_number.into(), | ||
| ) | ||
| .await? | ||
| } | ||
| _ => unreachable!(), | ||
| }; | ||
| rpc_params: RpcParams, | ||
| block_interval: BlockInterval, | ||
| mut params: ProofParams, | ||
| ) -> Result<()> { | ||
| let prover_input = rpc::prover_input( | ||
| build_http_retry_provider( | ||
| rpc_params.rpc_url, | ||
| rpc_params.backoff, | ||
| rpc_params.max_retries, | ||
| ), | ||
| block_interval, | ||
| params.checkpoint_block_number.into(), | ||
| rpc_params.rpc_type, | ||
| ) | ||
| .await?; | ||
|
|
||
| if cfg!(feature = "test_only") { | ||
| info!("All proof witnesses have been generated successfully."); | ||
| } else { | ||
| info!("All proofs have been generated successfully."); | ||
| } | ||
|
|
||
| let proof = prover_input | ||
| .prove(&runtime, previous, save_inputs_on_error) | ||
| // If `keep_intermediate_proofs` is not set we only keep the last block | ||
| // proof from the interval. It contains all the necessary information to | ||
| // verify the whole sequence. | ||
| let proved_blocks = prover_input | ||
| .prove( | ||
| &runtime, | ||
| params.previous_proof.take(), | ||
| params.save_inputs_on_error, | ||
| params.proof_output_dir.clone(), | ||
| ) | ||
| .await; | ||
| runtime.close().await?; | ||
| let proved_blocks = proved_blocks?; | ||
|
|
||
| let proof = serde_json::to_vec(&proof?.intern)?; | ||
| write_proof(proof, proof_output_path_opt) | ||
| } | ||
|
|
||
| fn write_proof(proof: Vec<u8>, proof_output_path_opt: Option<PathBuf>) -> anyhow::Result<()> { | ||
| match proof_output_path_opt { | ||
| Some(p) => { | ||
| if let Some(parent) = p.parent() { | ||
| create_dir_all(parent)?; | ||
| } | ||
|
|
||
| let mut f = File::create(p)?; | ||
| f.write_all(&proof)?; | ||
| if params.keep_intermediate_proofs { | ||
| if params.proof_output_dir.is_some() { | ||
| // All proof files (including intermediary) are written to disk and kept | ||
| warn!("Skipping cleanup, intermediate proof files are kept"); | ||
| } else { | ||
| // Output all proofs to stdout | ||
| std::io::stdout().write_all(&serde_json::to_vec( | ||
| &proved_blocks | ||
| .into_iter() | ||
| .filter_map(|(_, block)| block) | ||
| .collect::<Vec<_>>(), | ||
| )?)?; | ||
| } | ||
| } else if let Some(proof_output_dir) = params.proof_output_dir.as_ref() { | ||
| // Remove intermediary proof files | ||
| proved_blocks | ||
| .into_iter() | ||
| .rev() | ||
| .skip(1) | ||
| .map(|(block_number, _)| { | ||
| generate_block_proof_file_name(&proof_output_dir.to_str(), block_number) | ||
| }) | ||
| .for_each(|path| { | ||
| if let Err(e) = std::fs::remove_file(path) { | ||
| error!("Failed to remove intermediate proof file: {e}"); | ||
| } | ||
| }); | ||
| } else { | ||
| // Output only last proof to stdout | ||
| if let Some(last_block) = proved_blocks | ||
| .into_iter() | ||
| .filter_map(|(_, block)| block) | ||
| .last() | ||
| { | ||
| std::io::stdout().write_all(&serde_json::to_vec(&last_block)?)?; | ||
| } | ||
| None => std::io::stdout().write_all(&proof)?, | ||
| } | ||
|
|
||
| Ok(()) | ||
| } | ||
|
|
||
| impl From<super::cli::Command> for RpcType { | ||
| fn from(command: super::cli::Command) -> Self { | ||
| match command { | ||
| super::cli::Command::Native { .. } => RpcType::Native, | ||
| super::cli::Command::Jerigon { .. } => RpcType::Jerigon, | ||
| _ => panic!("Unsupported command type"), | ||
| } | ||
| } | ||
| } |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Oops, something went wrong.