fix sgx ckzg issue (#162)

taikoxyz · May 6, 2024 · 73a9da8 · 73a9da8
1 parent 039d2fa
commit 73a9da8
Show file tree

Hide file tree

Showing 5 changed files with 28 additions and 19 deletions.
diff --git a/host/src/preflight.rs b/host/src/preflight.rs
@@ -289,6 +289,10 @@ fn get_blob_data(beacon_rpc_url: &str, block_id: u64) -> Result<GetBlobsResponse
             let blob_response: GetBlobsResponse = response.json().await?;
             Ok(blob_response)
         } else {
+            println!(
+                "Request {url} failed with status code: {}",
+                response.status()
+            );
             Err(anyhow::anyhow!(
                 "Request failed with status code: {}",
                 response.status()

diff --git a/lib/src/protocol_instance.rs b/lib/src/protocol_instance.rs
@@ -95,8 +95,7 @@ pub fn assemble_protocol_instance(
 ) -> Result<ProtocolInstance> {
     let blob_used = input.taiko.block_proposed.meta.blobUsed;
     let tx_list_hash = if blob_used {
-        #[cfg(not(any(feature = "sgx", feature = "sp1")))]
-        {
+        if cfg!(not(feature = "sp1")) {
             println!("kzg check enabled!");
             let mut data = Vec::from(KZG_TRUST_SETUP_DATA);
             let kzg_settings = KzgSettings::from_u8_slice(&mut data);
@@ -108,9 +107,7 @@ pub fn assemble_protocol_instance(
             let versioned_hash = kzg_to_versioned_hash(kzg_commit);
             assert_eq!(versioned_hash, input.taiko.tx_blob_hash.unwrap());
             versioned_hash
-        }
-        #[cfg(any(feature = "sgx", feature = "sp1"))]
-        {
+        } else {
             println!("kzg check disabled!");
             input.taiko.tx_blob_hash.unwrap()
         }

diff --git a/prove_block.sh b/prove_block.sh
@@ -53,31 +53,37 @@ elif [ "$proof" == "sgx" ]; then
 	proofParam='
     "proof_type": "sgx",
     "prover_args": {
-        "instance_id": 456,
-        "setup": true,
-        "bootstrap": true,
-        "prove": true,
-        "input_path": null
-      }
+        "sgx" : {
+            "instance_id": 123,
+            "setup": false,
+            "bootstrap": false,
+            "prove": true,
+            "input_path": null
+        }
+    }
     '
 elif [ "$proof" == "risc0" ]; then
 	proofParam='
     "proof_type": "risc0",
     "prover_args": {
-      "bonsai": false,
-      "snark": false,
-      "profile": true,
-      "execution_po2": 18
+        "risc0": {
+            "bonsai": false,
+            "snark": false,
+            "profile": true,
+            "execution_po2": 18
+        }
     }
   '
 elif [ "$proof" == "risc0-bonsai" ]; then
 	proofParam='
     "proof_type": "risc0",
     "prover_args": {
-      "bonsai": true,
-      "snark": true,
-      "profile": false,
-      "execution_po2": 20
+        "risc0": {
+            "bonsai": true,
+            "snark": true,
+            "profile": false,
+            "execution_po2": 20
+        }
     }
   '
 else

diff --git a/provers/sgx/config/sgx-guest.docker.manifest.template b/provers/sgx/config/sgx-guest.docker.manifest.template
@@ -38,3 +38,4 @@ sgx.max_threads = 16
 sgx.remote_attestation = "dcap"
 sys.enable_extra_runtime_domain_names_conf = true
 sys.insecure__allow_eventfd = true
+sys.stack.size = "8M"
diff --git a/provers/sgx/config/sgx-guest.local.manifest.template b/provers/sgx/config/sgx-guest.local.manifest.template
@@ -49,3 +49,4 @@ sgx.max_threads = 16
 sgx.remote_attestation = "dcap"
 sys.enable_extra_runtime_domain_names_conf = true
 sys.insecure__allow_eventfd = true
+sys.stack.size = "8M"