Created
May 15, 2025 19:49
-
-
Save denniswon/807abe826859c08731129053ce29ae0e to your computer and use it in GitHub Desktop.
sp1 proof failure
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| 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: "00048100000000b0c06f000000060102000000000000000000000000005b38e33a6487958b72c3c12a938eaa5e3fd4510c51aeeab58c7d5ecee41d7c436489d6c8e4f92f160b7cad34207b00c100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000e702060000000000c68518a0ebb42136c12b2275164f8c72f25fa9a34392228687ed6e9caeb9c0f1dbd895e9cf475121c029dc47e70e91fd0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000bb3d6375f94482cdd24b767e4a0d720348527c4f2ab433d77f842b9394fa1638bb6df83fb0a1301f29c71bf60da48bb4a7db64a609c77e85f603c23e9a9fd03bfd9e6b52ce527f774a598e66d58386026cea79b2aea13b81a0b70cfacdec0ca8a4fe048fea22663152ef128853caa5c033cbe66baf32ba1ff7f6b1afc1624c279f50a4cbc522a735ca6f69551e61ef293b841fe6a6527389baf7262c6083ed4a5be3c6dbc97c8efa269de046d54d82b54f511b8cbac5d354294050bbf07caab0000000000000000000000000000000000000000000000000000000000000000920544af41146a3f044eac3cb3d7d6c9a478d7a9c3e5ba1920eb2b4490002e64", proof: Sp1 { journal: "025500048100000000b0c06f000000060102000000000000000000000000005b38e33a6487958b72c3c12a938eaa5e3fd4510c51aeeab58c7d5ecee41d7c436489d6c8e4f92f160b7cad34207b00c100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000e702060000000000c68518a0ebb42136c12b2275164f8c72f25fa9a34392228687ed6e9caeb9c0f1dbd895e9cf475121c029dc47e70e91fd0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000bb3d6375f94482cdd24b767e4a0d720348527c4f2ab433d77f842b9394fa1638bb6df83fb0a1301f29c71bf60da48bb4a7db64a609c77e85f603c23e9a9fd03bfd9e6b52ce527f774a598e66d58386026cea79b2aea13b81a0b70cfacdec0ca8a4fe048fea22663152ef128853caa5c033cbe66baf32ba1ff7f6b1afc1624c279f50a4cbc522a735ca6f69551e61ef293b841fe6a6527389baf7262c6083ed4a5be3c6dbc97c8efa269de046d54d82b54f511b8cbac5d354294050bbf07caab0000000000000000000000000000000000000000000000000000000000000000920544af41146a3f044eac3cb3d7d6c9a478d7a9c3e5ba1920eb2b4490002e64000000006826446a3c23d714188cce3c1ff0ba9e9f96217aacc7364bab3700c43b7dba096f6e451aa7fa01fc7a25a72b367cd8bd6aed0bb37108920a3292f557465b91fac3a68eb10fa74a3f32c80b978c8ad671395dabf24283eef9091bc3919fd39b9915a87f1a5c939ffcb58648463f420bffe0c03e3580331c42fc4d48dbe05ae881cb4b1c1188b0758c525b2f28ee1896907de49511ffb1d919b04bd65b91943be6ebb0a5fe324ac2b35a6d3003135bce0226ae7f525907caabf8570053e1ada3e8662709b9", vk: "0x0036efd519bb371b29a40322e40031833716e9441c6907f8aefc5e52ceebc9a6", proof bytes: "11b6a09d02b09b10711c83b621edcb845d9e3bab644629c4ca0e4061e8bc7ba78978a90913421e3a42343fb15de692143424666e64038002f1f74bfe35cd2e38ade57b001996cdc721e2e6e394b6d112ab579f5591af648a29f3b69ff6869f43450bf9d32899c869a5a6e7f7351f28e3169a6c750563fe1bddc5848df0f2ba911c3be8f8217b2061ea1bb82938a87fb53d4440c0255f3322782ffd7fddb5c9f2729d5052008630b98fd3d22f3978204f7d66468540dc68f9c876824e6c7679984765bd8707ba0b002d5c4cd5603efb2d396a2dacdc2a8bfa9a8cb5c01f779e5f4a8558ab24f67625a38ce70c5cc1e400a13e020871975ae385fddb919b5932c1627109a2" } } | |
| 2025-05-15T19:48:13.765658Z 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 | |
| thread 'main' panicked at /Users/dennis.won/.cargo/registry/src/index.crates.io-1949cf8c6b5b557f/sp1-recursion-gnark-ffi-4.2.0/src/ffi/docker.rs:29:9: | |
| Failed to run `docker info`. Please ensure that docker is installed and running. | |
| note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment