diff --git a/host/src/preflight.rs b/host/src/preflight.rs index 490c7961..59c1fe37 100644 --- 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 Result { 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 index dae1724d..35c549c7 100755 --- 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 index 304c392e..011bf7b9 100644 --- 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 index 245de162..b6b24d5d 100644 --- 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"