fix: kzg-rs + docs (#62)

* docs: vkey, bls

* refactor

Cargo.toml

@@ -4,7 +4,7 @@ members = [
     "crates/*",
     "native-host",
     "zkvm-host",
-    "prover-server",
+    "op-succinct-proposer",
 ]
 resolver = "2"
 
@@ -58,7 +58,7 @@ hex = "0.4.3"
 client-utils = { path = "crates/client-utils" }
 host-utils = { path = "crates/host-utils" }
 zkvm-host = { path = "zkvm-host" }
-prover-server = { path = "prover-server" }
+op-succinct-proposer = { path = "op-succinct-proposer" }
 
 # ethereum
 alloy = { version = "0.2", default-features = false, features = ["full"] }
@@ -101,4 +101,4 @@ tiny-keccak = { git = "https://github.com/sp1-patches/tiny-keccak", branch = "pa
 sha2 = { git = "https://github.com/sp1-patches/RustCrypto-hashes", branch = "patch-v0.10.8", package = "sha2" }
 ecdsa-core = { git = "https://github.com/sp1-patches/signatures", package = "ecdsa", branch = "patch-ecdsa-v0.16.9" }
 bls12_381 = { git = "https://github.com/leruaa/bls12_381", branch = "msm_variable_base" }
-bn = { git = "https://github.com/0xWOLAND/bn.git", package = "substrate-bn", default-features = false }
+bn = { git = "https://github.com/0xWOLAND/bn.git", package = "substrate-bn" }

crates/client-utils/src/oracle/mod.rs

@@ -148,29 +148,18 @@ impl InMemoryOracle {
             }
         }
 
-        println!("cycle-tracker-report-start: blob-verification");
-        let commitments: Vec<Bytes48> = blobs
-            .keys()
-            .cloned()
-            .map(|blob| Bytes48::from_slice(&blob.0).unwrap())
-            .collect_vec();
-        let kzg_proofs: Vec<Bytes48> = blobs
-            .values()
-            .map(|blob| Bytes48::from_slice(&blob.kzg_proof.0).unwrap())
-            .collect_vec();
-        let blob_datas: Vec<KzgRsBlob> = blobs
-            .values()
-            .map(|blob| KzgRsBlob::from_slice(&blob.data.0).unwrap())
-            .collect_vec();
-        // Verify reconstructed blobs.
-        kzg_rs::KzgProof::verify_blob_kzg_proof_batch(
-            blob_datas,
-            commitments,
-            kzg_proofs,
-            &get_kzg_settings(),
-        )
-        .map_err(|e| anyhow!("blob verification failed for batch: {:?}", e))?;
-        println!("cycle-tracker-report-end: blob-verification");
+        let kzg_settings = get_kzg_settings();
+        for (commitment, blob) in blobs.iter() {
+            println!("cycle-tracker-report-start: blob-verification");
+            kzg_rs::KzgProof::verify_blob_kzg_proof(
+                KzgRsBlob::from_slice(&blob.data.0).unwrap(),
+                &Bytes48::from_slice(&commitment.0).unwrap(),
+                &Bytes48::from_slice(&blob.kzg_proof.0).unwrap(),
+                &kzg_settings,
+            )
+            .map_err(|e| anyhow!("blob verification failed: {:?}", e))?;
+            println!("cycle-tracker-report-end: blob-verification");
+        }
 
         Ok(())
     }

docker-compose.yml

@@ -3,7 +3,7 @@ services:
   op-succinct-server:
     build:
       context: .
-      dockerfile: Dockerfile.server
+      dockerfile: ./op-succinct-proposer/Dockerfile.op_proposer
     env_file:
       - .env.server
     restart: unless-stopped
@@ -14,7 +14,7 @@ services:
   op-succinct-proposer:
     build:
       context: .
-      dockerfile: Dockerfile.op_proposer
+      dockerfile: ./op-succinct-proposer/Dockerfile.op_proposer
     env_file:
       - .env.server
     restart: unless-stopped

prover-server/Cargo.toml → op-succinct-proposer/Cargo.toml

@@ -1,5 +1,5 @@
 [package]
-name = "prover-server"
+name = "op-succinct-proposer"
 version = "0.1.0"
 edition.workspace = true
 license.workspace = true

Dockerfile.op_proposer → op-succinct-proposer/Dockerfile.op_proposer

@@ -19,7 +19,7 @@ RUN apt-get update && apt-get install -y \
 COPY --from=optimism-builder /optimism/op-proposer/bin/op-proposer /usr/local/bin/op-proposer
 
 # Set the entrypoint to run op-proposer with environment variables
-COPY op_proposer.sh /usr/local/bin/op_proposer.sh
+COPY ./op-succinct-proposer/op_proposer.sh /usr/local/bin/op_proposer.sh
 
 # Make the binary and entrypoint executable.
 RUN chmod +x /usr/local/bin/op-proposer

prover-server/bin/server.rs → op-succinct-proposer/bin/server.rs

@@ -10,7 +10,7 @@ use base64::{engine::general_purpose, Engine as _};
 use client_utils::{RawBootInfo, BOOT_INFO_SIZE};
 use host_utils::{fetcher::SP1KonaDataFetcher, get_agg_proof_stdin, get_proof_stdin, ProgramType};
 use log::info;
-use prover_server::run_native_host;
+use op_succinct_proposer::run_native_host;
 use serde::{Deserialize, Deserializer, Serialize};
 use sp1_sdk::{
     network::client::NetworkClient,

prover-server/bin/vkey.rs → op-succinct-proposer/bin/vkey.rs

@@ -54,22 +54,11 @@ async fn main() -> Result<()> {
 
     let (_, agg_vk) = prover.setup(AGG_ELF);
     info!("Aggregation ELF Verification Key: {}", agg_vk.bytes32());
+    println!("Aggregation ELF Verification Key: {}", agg_vk.bytes32());
     let agg_vk_bytes: [u8; 32] = hex::decode(agg_vk.bytes32().replace("0x", ""))
         .unwrap()
         .try_into()
         .unwrap();
 
-    // Check the aggregate vkey against the contract.
-    let provider = ProviderBuilder::new().on_http(Url::from_str(&args.rpc_url.unwrap()).unwrap());
-
-    let contract = L2OutputOracle::new(
-        Address::from_str(&args.contract_address.unwrap()).unwrap(),
-        provider,
-    );
-    let vkey = contract.vkey().call().await?;
-
-    assert_eq!(vkey.vkey, B256::from(agg_vk_bytes));
-    info!("The verification key matches the contract.");
-
     Ok(())
 }