automata dcap success log

gistfile1.txt

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 .env.prod
2025-05-09T18:41:37.109097Z  INFO tdx_prover::config::database: Connected to the database!
2025-05-09T18:41:37.803920Z  INFO tdx_prover_cli::prove: Onchain request found: OnchainRequest {
    id: e655fb39-c56c-4be1-90f8-e921b03bacf0,
    creator_address: "0xcb83200d67FDd8d35D7940C6D1896436a63D105B",
    operator_address: "0x548df1990b444F0b658c838bE334149C1eA79833",
    model_id: "0x0ecc64008fbb9df8264afc0f9066c714d8fd5fdb37a078c1cb3410cd4301b25a",
    fee_wei: 0,
    nonce: 3445,
    request_id: "707f4717cb2208cd3fb156af97b827748b08a2a685f0c29740ee49209b491ef3",
    deadline: 2025-05-05T18:48:58Z,
    is_cancelled: false,
    cancelled_at: None,
    created_at: 2025-05-02T18:49:21.507534Z,
    updated_at: 2025-05-02T18:49:21.507534Z,
}
2025-05-09T18:41:38.151148Z  INFO tdx_prover_cli::prove: Attestation found for request ID: 707f4717cb2208cd3fb156af97b827748b08a2a685f0c29740ee49209b491ef3 failure
2025-05-09T18:41:38.151239Z  INFO tdx_prover::zk: Begin fetching the necessary collaterals...
2025-05-09T18:41:38.151438Z  INFO tdx_prover::zk: Quote version: 4
2025-05-09T18:41:38.151456Z  INFO tdx_prover::zk: TEE Type: 129
2025-05-09T18:41:39.654191Z  INFO tdx_prover::zk: All collaterals found! Begin uploading input to Proving Server...
2025-05-09T18:41:39.654242Z  INFO tdx_prover::zk::sp1: Using Sp1 proof type
2025-05-09T18:41:54.480583Z  INFO execute: sp1_core_executor::executor: clk = 0 pc = 0x2032e8
stderr: WARNING: Using insecure random number generator.
2025-05-09T18:42:03.137077Z  INFO execute: sp1_prover: gas: 8173962
2025-05-09T18:42:18.034760Z  INFO sp1_sdk::network::prover: Requesting proof:
2025-05-09T18:42:18.034821Z  INFO sp1_sdk::network::prover: ├─ Cycle limit: 100000000
2025-05-09T18:42:18.034829Z  INFO sp1_sdk::network::prover: ├─ Gas limit: 1000000000
2025-05-09T18:42:18.034835Z  INFO sp1_sdk::network::prover: ├─ Proof mode: Groth16
2025-05-09T18:42:18.034843Z  INFO sp1_sdk::network::prover: ├─ Strategy: Reserved
2025-05-09T18:42:18.034849Z  INFO sp1_sdk::network::prover: ├─ Timeout: 14400 seconds
2025-05-09T18:42:18.034855Z  INFO sp1_sdk::network::prover: └─ Circuit version: v4.0.0-rc.3
2025-05-09T18:42:20.131670Z  INFO sp1_sdk::network::prover: Created request 0x0fddee78293caa79fc1126088ef7c7a7c77afff883ac2a1daabfd0b6ae031823 in transaction 0xc030719bfc2f74be23389cc6c97887c6ddc6f0ae16fd25e60f64d0a8772d65a8
2025-05-09T18:42:20.131710Z  INFO sp1_sdk::network::prover: View request status at: https://network.succinct.xyz/request/0x0fddee78293caa79fc1126088ef7c7a7c77afff883ac2a1daabfd0b6ae031823
2025-05-09T18:42:20.131730Z  INFO tdx_prover::zk::sp1: Prover Request ID: 0fddee78293caa79fc1126088ef7c7a7c77afff883ac2a1daabfd0b6ae031823
2025-05-09T18:42:20.644582Z  INFO sp1_sdk::network::prover: Proof request assigned, proving...
2025-05-09T18:43:26.224608Z  INFO tdx_prover_cli::prove: Proof generated for request ID: "707f4717cb2208cd3fb156af97b827748b08a2a685f0c29740ee49209b491ef3" DcapProof { verified_output: "0004810000000090c06f000000060103000000000000000000000000005b38e33a6487958b72c3c12a938eaa5e3fd4510c51aeeab58c7d5ecee41d7c436489d6c8e4f92f160b7cad34207b00c100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000e702060000000000c68518a0ebb42136c12b2275164f8c72f25fa9a34392228687ed6e9caeb9c0f1dbd895e9cf475121c029dc47e70e91fd00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000085e0855a6384fa1c8a6ab36d0dcbfaa11a5753e5a070c08218ae5fe872fcb86967fd2449c29e22e59dc9fec998cb65474a7db64a609c77e85f603c23e9a9fd03bfd9e6b52ce527f774a598e66d58386026cea79b2aea13b81a0b70cfacdec0ca8a4fe048fea22663152ef128853caa5c033cbe66baf32ba1ff7f6b1afc1624c279f50a4cbc522a735ca6f69551e61ef21f892da92ef3d547206f2ef2555c18a6e52632ac752b9cee1492ed7722cf5100726d187158d5e0374727814c7eddeb4c0000000000000000000000000000000000000000000000000000000000000000707f4717cb2208cd3fb156af97b827748b08a2a685f0c29740ee49209b491ef3", proof: Sp1 { journal: "02550004810000000090c06f000000060103000000000000000000000000005b38e33a6487958b72c3c12a938eaa5e3fd4510c51aeeab58c7d5ecee41d7c436489d6c8e4f92f160b7cad34207b00c100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000e702060000000000c68518a0ebb42136c12b2275164f8c72f25fa9a34392228687ed6e9caeb9c0f1dbd895e9cf475121c029dc47e70e91fd00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000085e0855a6384fa1c8a6ab36d0dcbfaa11a5753e5a070c08218ae5fe872fcb86967fd2449c29e22e59dc9fec998cb65474a7db64a609c77e85f603c23e9a9fd03bfd9e6b52ce527f774a598e66d58386026cea79b2aea13b81a0b70cfacdec0ca8a4fe048fea22663152ef128853caa5c033cbe66baf32ba1ff7f6b1afc1624c279f50a4cbc522a735ca6f69551e61ef21f892da92ef3d547206f2ef2555c18a6e52632ac752b9cee1492ed7722cf5100726d187158d5e0374727814c7eddeb4c0000000000000000000000000000000000000000000000000000000000000000707f4717cb2208cd3fb156af97b827748b08a2a685f0c29740ee49209b491ef300000000681e4c63d13640a487f29bfe9f18245f06947322bc225541c05b27da6c65a17ff486b948a7fa01fc7a25a72b367cd8bd6aed0bb37108920a3292f557465b91fac3a68eb10fa74a3f32c80b978c8ad671395dabf24283eef9091bc3919fd39b9915a87f1adf3061c165c0191e2658256a2855cac9267f179aafb1990c9e918d6452816adf88b0758c525b2f28ee1896907de49511ffb1d919b04bd65b91943be6ebb0a5fe66096086ffedca088493351d3d090e76dad119f6b4bdf34fec7a25e32c68e74e", vk: "0x0036efd519bb371b29a40322e40031833716e9441c6907f8aefc5e52ceebc9a6", proof bytes: "11b6a09d1c933b4f4599a4a21447e8838d64dbedde6e87562f25a5bcc12631faa691191b00ea701740776da64c56d32a7a70c10841b3405a4495209573db720812db623e2081d85588791ad9569dd3e1f726a7d202cf28fb99c58c4d6e9be0b8daaca3af0fe1470664e2d794a03343214c807626437845ee71d0de8e64e65b97652f1eb52c093b134c51a31a22ccc0ec80e2896c2cea89b0742a62dafbc025212e37644e217a8fa81fe0a1d71865784f2333c8e6f1501f8d961481a368a04677d4649d8720902b43c64a93c6830ac2d6f5c4fca72700adaf4662ff1a5fbe31a04ca26ea2081c174e3069eb9b8661171023fd8883e96b8101a0835bf2c2f6a902f238dbe9" } }
2025-05-09T18:43:26.225052Z  INFO tdx_prover_cli::prove: Verifying proof...
[sp1] groth16 circuit artifacts already seem to exist at /Users/dennis.won/.sp1/circuits/groth16/v4.0.0-rc.3. if you want to re-download them, delete the directory
2025-05-09T18:43:41.573130Z  INFO sp1_recursion_gnark_ffi::ffi::docker: Running verify in docker
2025-05-09T18:43:42.412245Z  INFO tdx_prover_cli::prove: Successfully verified proof.
2025-05-09T18:43:42.412297Z  INFO tdx_prover::zk: Submitting proofs to on-chain DCAP contract to be verified...
2025-05-09T18:43:42.412365Z  INFO tdx_prover::zk: Verify only mode enabled
2025-05-09T18:43:42.413076Z  INFO tdx_prover::chain::attestation: Output: 0x02550004810000000090c06f000000060103000000000000000000000000005b38e33a6487958b72c3c12a938eaa5e3fd4510c51aeeab58c7d5ecee41d7c436489d6c8e4f92f160b7cad34207b00c100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000e702060000000000c68518a0ebb42136c12b2275164f8c72f25fa9a34392228687ed6e9caeb9c0f1dbd895e9cf475121c029dc47e70e91fd00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000085e0855a6384fa1c8a6ab36d0dcbfaa11a5753e5a070c08218ae5fe872fcb86967fd2449c29e22e59dc9fec998cb65474a7db64a609c77e85f603c23e9a9fd03bfd9e6b52ce527f774a598e66d58386026cea79b2aea13b81a0b70cfacdec0ca8a4fe048fea22663152ef128853caa5c033cbe66baf32ba1ff7f6b1afc1624c279f50a4cbc522a735ca6f69551e61ef21f892da92ef3d547206f2ef2555c18a6e52632ac752b9cee1492ed7722cf5100726d187158d5e0374727814c7eddeb4c0000000000000000000000000000000000000000000000000000000000000000707f4717cb2208cd3fb156af97b827748b08a2a685f0c29740ee49209b491ef300000000681e4c63d13640a487f29bfe9f18245f06947322bc225541c05b27da6c65a17ff486b948a7fa01fc7a25a72b367cd8bd6aed0bb37108920a3292f557465b91fac3a68eb10fa74a3f32c80b978c8ad671395dabf24283eef9091bc3919fd39b9915a87f1adf3061c165c0191e2658256a2855cac9267f179aafb1990c9e918d6452816adf88b0758c525b2f28ee1896907de49511ffb1d919b04bd65b91943be6ebb0a5fe66096086ffedca088493351d3d090e76dad119f6b4bdf34fec7a25e32c68e74e
2025-05-09T18:43:42.413117Z  INFO tdx_prover::chain::attestation: Proof Type: SP1ZKP
2025-05-09T18:43:42.413135Z  INFO tdx_prover::chain::attestation: Proof: 0x11b6a09d1c933b4f4599a4a21447e8838d64dbedde6e87562f25a5bcc12631faa691191b00ea701740776da64c56d32a7a70c10841b3405a4495209573db720812db623e2081d85588791ad9569dd3e1f726a7d202cf28fb99c58c4d6e9be0b8daaca3af0fe1470664e2d794a03343214c807626437845ee71d0de8e64e65b97652f1eb52c093b134c51a31a22ccc0ec80e2896c2cea89b0742a62dafbc025212e37644e217a8fa81fe0a1d71865784f2333c8e6f1501f8d961481a368a04677d4649d8720902b43c64a93c6830ac2d6f5c4fca72700adaf4662ff1a5fbe31a04ca26ea2081c174e3069eb9b8661171023fd8883e96b8101a0835bf2c2f6a902f238dbe9
2025-05-09T18:43:42.413217Z  INFO tdx_prover::zk: Calldata: 57859ce00000000000000000000000000000000000000000000000000000000000000060000000000000000000000000000000000000000000000000000000000000000200000000000000000000000000000000000000000000000000000000000003a0000000000000000000000000000000000000000000000000000000000000031f02550004810000000090c06f000000060103000000000000000000000000005b38e33a6487958b72c3c12a938eaa5e3fd4510c51aeeab58c7d5ecee41d7c436489d6c8e4f92f160b7cad34207b00c100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000e702060000000000c68518a0ebb42136c12b2275164f8c72f25fa9a34392228687ed6e9caeb9c0f1dbd895e9cf475121c029dc47e70e91fd00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000085e0855a6384fa1c8a6ab36d0dcbfaa11a5753e5a070c08218ae5fe872fcb86967fd2449c29e22e59dc9fec998cb65474a7db64a609c77e85f603c23e9a9fd03bfd9e6b52ce527f774a598e66d58386026cea79b2aea13b81a0b70cfacdec0ca8a4fe048fea22663152ef128853caa5c033cbe66baf32ba1ff7f6b1afc1624c279f50a4cbc522a735ca6f69551e61ef21f892da92ef3d547206f2ef2555c18a6e52632ac752b9cee1492ed7722cf5100726d187158d5e0374727814c7eddeb4c0000000000000000000000000000000000000000000000000000000000000000707f4717cb2208cd3fb156af97b827748b08a2a685f0c29740ee49209b491ef300000000681e4c63d13640a487f29bfe9f18245f06947322bc225541c05b27da6c65a17ff486b948a7fa01fc7a25a72b367cd8bd6aed0bb37108920a3292f557465b91fac3a68eb10fa74a3f32c80b978c8ad671395dabf24283eef9091bc3919fd39b9915a87f1adf3061c165c0191e2658256a2855cac9267f179aafb1990c9e918d6452816adf88b0758c525b2f28ee1896907de49511ffb1d919b04bd65b91943be6ebb0a5fe66096086ffedca088493351d3d090e76dad119f6b4bdf34fec7a25e32c68e74e00000000000000000000000000000000000000000000000000000000000000010411b6a09d1c933b4f4599a4a21447e8838d64dbedde6e87562f25a5bcc12631faa691191b00ea701740776da64c56d32a7a70c10841b3405a4495209573db720812db623e2081d85588791ad9569dd3e1f726a7d202cf28fb99c58c4d6e9be0b8daaca3af0fe1470664e2d794a03343214c807626437845ee71d0de8e64e65b97652f1eb52c093b134c51a31a22ccc0ec80e2896c2cea89b0742a62dafbc025212e37644e217a8fa81fe0a1d71865784f2333c8e6f1501f8d961481a368a04677d4649d8720902b43c64a93c6830ac2d6f5c4fca72700adaf4662ff1a5fbe31a04ca26ea2081c174e3069eb9b8661171023fd8883e96b8101a0835bf2c2f6a902f238dbe900000000000000000000000000000000000000000000000000000000
2025-05-09T18:43:43.208516Z  INFO tdx_prover::zk: Call output: 0000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000004000000000000000000000000000000000000000000000000000000000000002550004810000000090c06f000000060103000000000000000000000000005b38e33a6487958b72c3c12a938eaa5e3fd4510c51aeeab58c7d5ecee41d7c436489d6c8e4f92f160b7cad34207b00c100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000e702060000000000c68518a0ebb42136c12b2275164f8c72f25fa9a34392228687ed6e9caeb9c0f1dbd895e9cf475121c029dc47e70e91fd00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000085e0855a6384fa1c8a6ab36d0dcbfaa11a5753e5a070c08218ae5fe872fcb86967fd2449c29e22e59dc9fec998cb65474a7db64a609c77e85f603c23e9a9fd03bfd9e6b52ce527f774a598e66d58386026cea79b2aea13b81a0b70cfacdec0ca8a4fe048fea22663152ef128853caa5c033cbe66baf32ba1ff7f6b1afc1624c279f50a4cbc522a735ca6f69551e61ef21f892da92ef3d547206f2ef2555c18a6e52632ac752b9cee1492ed7722cf5100726d187158d5e0374727814c7eddeb4c0000000000000000000000000000000000000000000000000000000000000000707f4717cb2208cd3fb156af97b827748b08a2a685f0c29740ee49209b491ef30000000000000000000000
2025-05-09T18:43:43.208639Z  INFO tdx_prover::zk: Chain verified: true
2025-05-09T18:43:43.208705Z  INFO tdx_prover::zk: Chain raw verified output: 0004810000000090c06f000000060103000000000000000000000000005b38e33a6487958b72c3c12a938eaa5e3fd4510c51aeeab58c7d5ecee41d7c436489d6c8e4f92f160b7cad34207b00c100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000e702060000000000c68518a0ebb42136c12b2275164f8c72f25fa9a34392228687ed6e9caeb9c0f1dbd895e9cf475121c029dc47e70e91fd00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000085e0855a6384fa1c8a6ab36d0dcbfaa11a5753e5a070c08218ae5fe872fcb86967fd2449c29e22e59dc9fec998cb65474a7db64a609c77e85f603c23e9a9fd03bfd9e6b52ce527f774a598e66d58386026cea79b2aea13b81a0b70cfacdec0ca8a4fe048fea22663152ef128853caa5c033cbe66baf32ba1ff7f6b1afc1624c279f50a4cbc522a735ca6f69551e61ef21f892da92ef3d547206f2ef2555c18a6e52632ac752b9cee1492ed7722cf5100726d187158d5e0374727814c7eddeb4c0000000000000000000000000000000000000000000000000000000000000000707f4717cb2208cd3fb156af97b827748b08a2a685f0c29740ee49209b491ef3
2025-05-09T18:43:43.208769Z  INFO tdx_prover::zk: On-chain verification succeed.
2025-05-09T18:43:43.208874Z  INFO tdx_prover_cli::prove: Proof submitted for request ID: 707f4717cb2208cd3fb156af97b827748b08a2a685f0c29740ee49209b491ef3 verified: true raw_verified_output: 0004810000000090c06f000000060103000000000000000000000000005b38e33a6487958b72c3c12a938eaa5e3fd4510c51aeeab58c7d5ecee41d7c436489d6c8e4f92f160b7cad34207b00c100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000e702060000000000c68518a0ebb42136c12b2275164f8c72f25fa9a34392228687ed6e9caeb9c0f1dbd895e9cf475121c029dc47e70e91fd00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000085e0855a6384fa1c8a6ab36d0dcbfaa11a5753e5a070c08218ae5fe872fcb86967fd2449c29e22e59dc9fec998cb65474a7db64a609c77e85f603c23e9a9fd03bfd9e6b52ce527f774a598e66d58386026cea79b2aea13b81a0b70cfacdec0ca8a4fe048fea22663152ef128853caa5c033cbe66baf32ba1ff7f6b1afc1624c279f50a4cbc522a735ca6f69551e61ef21f892da92ef3d547206f2ef2555c18a6e52632ac752b9cee1492ed7722cf5100726d187158d5e0374727814c7eddeb4c0000000000000000000000000000000000000000000000000000000000000000707f4717cb2208cd3fb156af97b827748b08a2a685f0c29740ee49209b491ef3