Skip to content

Instantly share code, notes, and snippets.

View denniswon's full-sized avatar

Dennis Won denniswon

View GitHub Profile
2025-05-15T19:46:24.317586Z INFO tdx_prover::zk::sp1: Prover Request ID: 3423be1502cda04766a0457ca16689bb2dd99af08794b771da975b91ecc48302
2025-05-15T19:46:24.784566Z INFO sp1_sdk::network::prover: Proof request assigned, proving...
2025-05-15T19:48:13.765202Z INFO tdx_prover_cli::prove: Proof generated for request ID: "920544af41146a3f044eac3cb3d7d6c9a478d7a9c3e5ba1920eb2b4490002e64" DcapProof { verified_output: "00048100000000b0c06f000000060102000000000000000000000000005b38e33a6487958b72c3c12a938eaa5e3fd4510c51aeeab58c7d5ecee41d7c436489d6c8e4f92f160b7cad34207b00c100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000e702060000000000c68518a0ebb42136c12b2275164f8c72f25fa9a34392228687ed6e9caeb9c0f1dbd895e9cf475121c029dc47e70e91fd000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
dennis.won@magiclabs ~/projects/tdx-prover (sp1-exec-fix ✭ ✔) » RUST_LOG=info LOCAL_ENV=prod cargo run -p tdx-prove
r-cli prove --onchain-request-id 707f4717cb2208cd3fb156af97b827748b08a2a685f0c29740ee49209b491ef3 -t sp1 -v true
Compiling tdx-prover v0.1.0 (/Users/dennis.won/projects/tdx-prover/prover)
Compiling tdx-prover-cli v0.1.0 (/Users/dennis.won/projects/tdx-prover/cli)
Finished `dev` profile [unoptimized + debuginfo] target(s) in 10.81s
Running `target/debug/tdx-prover-cli prove --onchain-request-id 707f4717cb2208cd3fb156af97b827748b08a2a685f0c29740ee49209b491ef3 -t sp1 -v true`
2025-05-09T18:41:37.104712Z INFO tdx_prover::config::parameter: Loading environment variables from .env.prod
2025-05-09T18:41:37.106600Z INFO tdx_prover_cli: Proving request_id: 707f4717cb2208cd3fb156af97b827748b08a2a685f0c29740ee49209b491ef3 with proof_type: sp1 and proof_system: groth16 (verify_only: true)
2025-05-09T18:41:37.106667Z INFO tdx_prover::config::parameter: Loading environment variables from .en
dennis.won@magiclabs ~/projects/tdx-prover (sp1-exec-fix ✭ ✔) » RUST_LOG=info LOCAL_ENV=prod cargo run -p tdx-prove
r-cli prove --onchain-request-id 707f4717cb2208cd3fb156af97b827748b08a2a685f0c29740ee49209b491ef3 -t sp1
Finished `dev` profile [unoptimized + debuginfo] target(s) in 0.87s
Running `target/debug/tdx-prover-cli prove --onchain-request-id 707f4717cb2208cd3fb156af97b827748b08a2a685f0c29740ee49209b491ef3 -t sp1`
2025-05-09T18:48:08.581609Z INFO tdx_prover::config::parameter: Loading environment variables from .env.prod
2025-05-09T18:48:08.583156Z INFO tdx_prover_cli: Proving request_id: 707f4717cb2208cd3fb156af97b827748b08a2a685f0c29740ee49209b491ef3 with proof_type: sp1 and proof_system: groth16 (verify_only: false)
2025-05-09T18:48:08.583212Z INFO tdx_prover::config::parameter: Loading environment variables from .env.prod
2025-05-09T18:48:08.585368Z INFO tdx_prover::config::database: Connected to the database!
2025-05-09T18:48:09.100177Z INFO tdx_prover_cli::prove: Onchain request f
use std::time::Duration;
use crate::{entity::{
quote::ProofType,
zk::{DcapProof, ProofResponse, ProofSystem, ZkvmProof, DCAP_SP1_ELF}
}, zk::extract_proof_output};
use anyhow::Result;
use sp1_sdk::{network::FulfillmentStrategy, HashableKey, Prover, ProverClient, SP1Stdin};
2025-04-29T01:54:53.203127Z INFO tdx_prover::lambda::function: Event: LambdaEvent { payload: EventBridgeEvent { version: Some("0"), id: Some("4b48e319-3c2d-0cec-05fb-145fd206b7ce"), detail_type: "tdx-quote", source: "com.magic.newton", account: Some("641838893963"), time: Some(2025-04-22T22:11:06Z), region: Some("us-east-2"), resources: Some([]), detail: Object {"proof_type": String("sp1"), "request_id": String("0x3446b352dcf9434354ca995cab0df91396ad2087132a81a4496cdeb68197f781")} }, context: Context { request_id: "f2ce181a-97bc-4ce7-b3c7-d738de62effa", deadline: 600000, invoked_function_arn: "function-arn", xray_trace_id: Some("Root=1-6810316b-b2867abda71a3647f535e1c6;Parent=358f727c8c4ce18b;Sampled=1"), client_context: None, identity: None, env_config: Config { function_name: "tdx-prover", memory: 4096, version: "1", log_stream: "", log_group: "" } } }
2025-04-29T01:54:53.203604Z INFO tdx_prover::lambda::function: Request ID hex: 0x3446b352dcf9434354ca995cab0df91396ad2087132a81a4496cdeb68197f781
2025-04-2
2025-04-29T01:50:52.967108Z INFO tdx_prover::lambda::function: Event: LambdaEvent { payload: EventBridgeEvent { version: Some("0"), id: Some("4b48e319-3c2d-0cec-05fb-145fd206b7ce"), detail_type: "tdx-quote", source: "com.magic.newton", account: Some("641838893963"), time: Some(2025-04-22T22:11:06Z), region: Some("us-east-2"), resources: Some([]), detail: Object {"proof_type": String("risc0"), "request_id": String("0x0d879b28222a939ce05a25eb5ccaed385779e9684b0cfc1782fc6d4ef8cb7efe")} }, context: Context { request_id: "5540493e-bc2e-4f85-a5b5-268dd552d32a", deadline: 600000, invoked_function_arn: "function-arn", xray_trace_id: Some("Root=1-6810307b-d72e19cfaf50a980467d77a9;Parent=1c7f7642ef6c9ef2;Sampled=1"), client_context: None, identity: None, env_config: Config { function_name: "tdx-prover", memory: 4096, version: "1", log_stream: "", log_group: "" } } }
2025-04-29T01:50:52.968393Z INFO tdx_prover::lambda::function: Request ID hex: 0x0d879b28222a939ce05a25eb5ccaed385779e9684b0cfc1782fc6d4ef8cb7efe
2025-04
2025-04-29T01:48:03.626170Z INFO tdx_prover::lambda::function: Event: LambdaEvent { payload: EventBridgeEvent { version: Some("0"), id: Some("4b48e319-3c2d-0cec-05fb-145fd206b7ce"), detail_type: "tdx-quote", source: "com.magic.newton", account: Some("641838893963"), time: Some(2025-04-22T22:11:06Z), region: Some("us-east-2"), resources: Some([]), detail: Object {"proof_type": String("risc0"), "request_id": String("0x0d879b28222a939ce05a25eb5ccaed385779e9684b0cfc1782fc6d4ef8cb7efe")} }, context: Context { request_id: "f8d689cf-0807-48b3-a1a4-48a6c7edac7f", deadline: 600000, invoked_function_arn: "function-arn", xray_trace_id: Some("Root=1-68102fd1-4c297df6a8feb8e6abe52a7b;Parent=ea994b1203922db0;Sampled=1"), client_context: None, identity: None, env_config: Config { function_name: "tdx-prover", memory: 4096, version: "1", log_stream: "", log_group: "" } } }
2025-04-29T01:48:03.626867Z INFO tdx_prover::lambda::function: Request ID hex: 0x0d879b28222a939ce05a25eb5ccaed385779e9684b0cfc1782fc6d4ef8cb7efe
2025-04
2025-04-28T22:14:33.399924Z INFO tdx_prover::lambda::function: Event: LambdaEvent { payload: EventBridgeEvent { version: Some("0"), id: Some("4b48e319-3c2d-0cec-05fb-145fd206b7ce"), detail_type: "tdx-quote", source: "com.magic.newton", account: Some("641838893963"), time: Some(2025-04-22T22:11:06Z), region: Some("us-east-2"), resources: Some([]), detail: Object {"proof_type": String("risc0"), "request_id": String("0x0d879b28222a939ce05a25eb5ccaed385779e9684b0cfc1782fc6d4ef8cb7efe")} }, context: Context { request_id: "426466dd-4073-41f6-a49c-37b7798df6c0", deadline: 600000, invoked_function_arn: "function-arn", xray_trace_id: Some("Root=1-680ffdc7-8ea4c2c874806fc32e985a2e;Parent=d3a4043a30932642;Sampled=1"), client_context: None, identity: None, env_config: Config { function_name: "tdx-prover", memory: 4096, version: "1", log_stream: "", log_group: "" } } }
2025-04-28T22:14:33.400662Z INFO tdx_prover::lambda::function: Request ID hex: 0x0d879b28222a939ce05a25eb5ccaed385779e9684b0cfc1782fc6d4ef8cb7efe
2025-04
2025-04-27T17:48:12.143217Z INFO tdx_prover::lambda::function: Request ID hex: 0x2ca7162ec996ded457feadf49634d6ee73cfc4c6aad7d6e498689a628f167fa7
2025-04-27T17:48:12.143499Z INFO tdx_prover::lambda::function: Proof type: sp1
2025-04-27T17:48:12.654010Z INFO tdx_prover::config::database: Connected to the database!
2025-04-27T17:48:12.753237Z INFO tdx_prover::lambda::function: Onchain request found: OnchainRequest {
id: 0aef6993-2831-4f45-9419-ffb408bd15c6,
creator_address: "0x450c1a0560D8156Ab1a21Fc2DCe42AD693207519",
operator_address: "0x548df1990b444F0b658c838bE334149C1eA79833",
model_id: "0x682db2fe997945208caa888543ffca2ad2c7edf1ab0b02899b9977e6d18af477",
fee_wei: 0,
nonce: 92,
2025-04-26T23:30:18.794740Z INFO tdx_prover::lambda::function: Event: LambdaEvent { payload: EventBridgeEvent { version: Some("0"), id: Some("4b48e319-3c2d-0cec-05fb-145fd206b7ce"), detail_type: "tdx-quote", source: "com.magic.newton", account: Some("641838893963"), time: Some(2025-04-22T22:11:06Z), region: Some("us-east-2"), resources: Some([]), detail: Object {"request_id": String("0x115317290445a0ad2e5b6d6bcfaab8f97a344779bcab806c56d221bd4b9ba24d")} }, context: Context { request_id: "db13f430-080e-4a0b-8cee-f2c6980f9f56", deadline: 600000, invoked_function_arn: "function-arn", xray_trace_id: Some("Root=1-680d6c8a-70d04ea65ef27347a97bc5f9;Parent=7c9254b636c0ff7a;Sampled=1"), client_context: None, identity: None, env_config: Config { function_name: "tdx-prover", memory: 4096, version: "1", log_stream: "", log_group: "" } } }
2025-04-26T23:30:18.795909Z INFO tdx_prover::lambda::function: Request ID hex: 0x115317290445a0ad2e5b6d6bcfaab8f97a344779bcab806c56d221bd4b9ba24d
2025-04-26T23:30:19.267919Z INFO tdx_