Skip to content

Instantly share code, notes, and snippets.

View denniswon's full-sized avatar

Dennis Won denniswon

38 followers · 48 following
View GitHub Profile
@denniswon
denniswon / gist:c55978970576a470a68e6bddea1523db
Created August 12, 2025 05:38
{
"name": "newton",
"website": "https://magicnewton.com/",
"description": "Magic Newton",
"logo": "https://assets.magiclabs.com/assets/magic-panel.png",
"twitter": "https://x.com/MagicNewton"
}
@denniswon
denniswon / gist:f114d86b1caf3cf7013c93921a5c9728
Created June 22, 2025 02:12
dennis.won@magic ~/projects/tdx-prover (temp-status ✭ ✗) » RUST_LOG=info LOCAL_ENV=prod cargo run -p tdx-prover-cli
prove -i 0x7d70f895908a78253eef4899753484e771b10c45dc395ae27f0ec33b63856102 -t sp1 -p true
Finished `dev` profile [unoptimized + debuginfo] target(s) in 1.21s
Running `target/debug/tdx-prover-cli prove -i 0x7d70f895908a78253eef4899753484e771b10c45dc395ae27f0ec33b63856102 -t sp1 -p true`
2025-06-22T02:11:23.120693Z INFO tdx_prover::config::parameter: Loading environment variables from .env.prod
2025-06-22T02:11:23.123460Z INFO tdx_prover_cli: Proving request_id: 7d70f895908a78253eef4899753484e771b10c45dc395ae27f0ec33b63856102 with proof_type: sp1 and proof_system: groth16 (verify_only: false)
2025-06-22T02:11:23.123581Z INFO tdx_prover::config::parameter: Loading environment variables from .env.prod
2025-06-22T02:11:23.126220Z INFO tdx_prover::config::database: Connected to the database!
2025-06-22T02:11:23.750279Z INFO tdx_prover_cli::prove: Onchain request found: OnchainRequest {
@denniswon
denniswon / gist:807abe826859c08731129053ce29ae0e
Created May 15, 2025 19:49
sp1 proof failure
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
@denniswon
denniswon / gist:aa5165a3a7309e2ed8c874093e4b5e39
Created May 9, 2025 19:01
automata dcap success log
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
@denniswon
denniswon / gist:bc2d1055fdb80c554aa0c932e6088d32
Created May 9, 2025 18:51
halo contract prod
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
@denniswon
denniswon / gist:f5b4526fc5e42249f2f585f0214a30af
Created May 6, 2025 00:57
sp1
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};
@denniswon
denniswon / gist:13c88f6db7932d10f77316b0e3c2dadb
Created April 29, 2025 01:57
sp1 onchain tx success
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
@denniswon
denniswon / gist:3378dc64c67a8f9a2343fef0542a4216
Created April 29, 2025 01:52
risc0 tx onchain success
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
@denniswon
denniswon / gist:967fae62a74b6af9cc628bd33d03a2b6
Created April 29, 2025 01:49
risc0 verify only
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
@denniswon
denniswon / gist:fb9f1027080ada5b11fba0c1b149d115
Created April 28, 2025 22:19
risc0
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