|
| 1 | +use std::env; |
| 2 | +use std::fs; |
| 3 | +use tonic::{transport::Server, Request, Response, Status}; |
| 4 | +// Import the generated proto rust code |
| 5 | +pub mod prover { |
| 6 | + tonic::include_proto!("celestia.prover.v1"); |
| 7 | +} |
| 8 | + |
| 9 | +use alloy::primitives::Address; |
| 10 | +use prover::prover_server::{Prover, ProverServer}; |
| 11 | +use prover::{ |
| 12 | + ProveMembershipRequest, ProveMembershipResponse, ProveStateTransitionRequest, |
| 13 | + ProveStateTransitionResponse, |
| 14 | +}; |
| 15 | +use reqwest::Url; |
| 16 | +use sp1_ics07_tendermint_prover::{ |
| 17 | + programs::UpdateClientProgram, |
| 18 | + prover::{SP1ICS07TendermintProver, SupportedProofType}, |
| 19 | +}; |
| 20 | +use sp1_ics07_tendermint_utils::rpc::TendermintRpcExt; |
| 21 | +use tendermint_rpc::HttpClient; |
| 22 | + |
| 23 | +// TODO: swap tendermint prover for blevm sp1 prover |
| 24 | +pub struct ProverService { |
| 25 | + tendermint_prover: SP1ICS07TendermintProver<UpdateClientProgram>, |
| 26 | + tendermint_rpc_client: HttpClient, |
| 27 | + evm_rpc_url: Url, |
| 28 | + evm_contract_address: Address, |
| 29 | +} |
| 30 | + |
| 31 | +impl ProverService { |
| 32 | + fn new() -> ProverService { |
| 33 | + let rpc_url = env::var("RPC_URL").expect("RPC_URL not set"); |
| 34 | + let contract_address = env::var("CONTRACT_ADDRESS").expect("CONTRACT_ADDRESS not set"); |
| 35 | + let url = Url::parse(rpc_url.as_str()).expect("Failed to parse RPC_URL"); |
| 36 | + |
| 37 | + ProverService { |
| 38 | + tendermint_prover: SP1ICS07TendermintProver::new(SupportedProofType::Groth16), |
| 39 | + tendermint_rpc_client: HttpClient::from_env(), |
| 40 | + evm_rpc_url: url, |
| 41 | + evm_contract_address: contract_address |
| 42 | + .parse() |
| 43 | + .expect("Failed to parse contract address"), |
| 44 | + } |
| 45 | + } |
| 46 | +} |
| 47 | + |
| 48 | +#[tonic::async_trait] |
| 49 | +impl Prover for ProverService { |
| 50 | + async fn prove_state_transition( |
| 51 | + &self, |
| 52 | + request: Request<ProveStateTransitionRequest>, |
| 53 | + ) -> Result<Response<ProveStateTransitionResponse>, Status> { |
| 54 | + println!("Got state transition request: {:?}", request); |
| 55 | + |
| 56 | + // TODO: get blevm sp1 proof |
| 57 | + let response = ProveStateTransitionResponse { |
| 58 | + proof: vec![], |
| 59 | + public_values: vec![], |
| 60 | + }; |
| 61 | + |
| 62 | + Ok(Response::new(response)) |
| 63 | + } |
| 64 | + |
| 65 | + async fn prove_membership( |
| 66 | + &self, |
| 67 | + request: Request<ProveMembershipRequest>, |
| 68 | + ) -> Result<Response<ProveMembershipResponse>, Status> { |
| 69 | + println!("Got membership request: {:?}", request); |
| 70 | + |
| 71 | + // Implement your membership proof logic here |
| 72 | + let response = ProveMembershipResponse { |
| 73 | + proof: vec![], |
| 74 | + height: 0, |
| 75 | + }; |
| 76 | + |
| 77 | + Ok(Response::new(response)) |
| 78 | + } |
| 79 | +} |
| 80 | + |
| 81 | +#[tokio::main] |
| 82 | +async fn main() -> Result<(), Box<dyn std::error::Error>> { |
| 83 | + dotenv::dotenv().ok(); |
| 84 | + let addr = "[::1]:50051".parse()?; |
| 85 | + let prover = ProverService::new(); |
| 86 | + |
| 87 | + println!("Prover Server listening on {}", addr); |
| 88 | + |
| 89 | + // Load the file descriptor set |
| 90 | + let file_descriptor_set = fs::read("proto_descriptor.bin")?; |
| 91 | + |
| 92 | + Server::builder() |
| 93 | + .add_service(ProverServer::new(prover)) |
| 94 | + .add_service( |
| 95 | + tonic_reflection::server::Builder::configure() |
| 96 | + .register_encoded_file_descriptor_set(&file_descriptor_set) |
| 97 | + .build_v1() |
| 98 | + .unwrap(), |
| 99 | + ) |
| 100 | + .serve(addr) |
| 101 | + .await?; |
| 102 | + |
| 103 | + Ok(()) |
| 104 | +} |
0 commit comments