[INFO] cloning repository https://github.com/uawl/zprove [INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/uawl/zprove" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fuawl%2Fzprove", kill_on_drop: false }` [INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fuawl%2Fzprove'... [INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }` [INFO] [stdout] 0322f5a8525f9f8a08c563bd27d18b3c8410b69e [INFO] testing uawl/zprove against try#dec9417b8611e34e787a3e4c37686b5131f9e5c5 for pr-154210 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fuawl%2Fzprove" "/workspace/builds/worker-0-tc2/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-0-tc2/source'... [INFO] [stderr] done. [INFO] started tweaking git repo https://github.com/uawl/zprove [INFO] finished tweaking git repo https://github.com/uawl/zprove [INFO] tweaked toml for git repo https://github.com/uawl/zprove written to /workspace/builds/worker-0-tc2/source/Cargo.toml [INFO] validating manifest of git repo https://github.com/uawl/zprove on toolchain dec9417b8611e34e787a3e4c37686b5131f9e5c5 [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+dec9417b8611e34e787a3e4c37686b5131f9e5c5" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] crate git repo https://github.com/uawl/zprove already has a lockfile, it will not be regenerated [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+dec9417b8611e34e787a3e4c37686b5131f9e5c5" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+dec9417b8611e34e787a3e4c37686b5131f9e5c5" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] 954d9577bbab1b5e303c0f09c47ddce20264cb405ee1fd0f34d2b168932b91d6 [INFO] running `Command { std: "docker" "start" "-a" "954d9577bbab1b5e303c0f09c47ddce20264cb405ee1fd0f34d2b168932b91d6", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "954d9577bbab1b5e303c0f09c47ddce20264cb405ee1fd0f34d2b168932b91d6", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "954d9577bbab1b5e303c0f09c47ddce20264cb405ee1fd0f34d2b168932b91d6", kill_on_drop: false }` [INFO] [stdout] 954d9577bbab1b5e303c0f09c47ddce20264cb405ee1fd0f34d2b168932b91d6 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+dec9417b8611e34e787a3e4c37686b5131f9e5c5" "build" "--frozen" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 1be4351213695c70d7a98836e2dc7b23d86f0a4b5a6ba11b59ed38cd1dee8de7 [INFO] running `Command { std: "docker" "start" "-a" "1be4351213695c70d7a98836e2dc7b23d86f0a4b5a6ba11b59ed38cd1dee8de7", kill_on_drop: false }` [INFO] [stderr] Compiling proc-macro2 v1.0.106 [INFO] [stderr] Compiling unicode-ident v1.0.24 [INFO] [stderr] Compiling quote v1.0.44 [INFO] [stderr] Compiling serde_core v1.0.228 [INFO] [stderr] Compiling cfg-if v1.0.4 [INFO] [stderr] Compiling libc v0.2.182 [INFO] [stderr] Compiling serde v1.0.228 [INFO] [stderr] Compiling version_check v0.9.5 [INFO] [stderr] Compiling typenum v1.19.0 [INFO] [stderr] Compiling paste v1.0.15 [INFO] [stderr] Compiling subtle v2.6.1 [INFO] [stderr] Compiling const-oid v0.9.6 [INFO] [stderr] Compiling once_cell v1.21.3 [INFO] [stderr] Compiling equivalent v1.0.2 [INFO] [stderr] Compiling autocfg v1.5.0 [INFO] [stderr] Compiling pin-project-lite v0.2.16 [INFO] [stderr] Compiling cpufeatures v0.2.17 [INFO] [stderr] Compiling base16ct v0.2.0 [INFO] [stderr] Compiling zerocopy v0.8.39 [INFO] [stderr] Compiling keccak v0.1.6 [INFO] [stderr] Compiling foldhash v0.2.0 [INFO] [stderr] Compiling unicode-segmentation v1.12.0 [INFO] [stderr] Compiling ruint-macro v1.2.1 [INFO] [stderr] Compiling itoa v1.0.17 [INFO] [stderr] Compiling generic-array v0.14.9 [INFO] [stderr] Compiling unicode-xid v0.2.6 [INFO] [stderr] Compiling tracing-core v0.1.36 [INFO] [stderr] Compiling rustc-hash v2.1.1 [INFO] [stderr] Compiling thiserror v2.0.18 [INFO] [stderr] Compiling getrandom v0.3.4 [INFO] [stderr] Compiling hashbrown v0.16.1 [INFO] [stderr] Compiling convert_case v0.10.0 [INFO] [stderr] Compiling scopeguard v1.2.0 [INFO] [stderr] Compiling memchr v2.8.0 [INFO] [stderr] Compiling lock_api v0.4.14 [INFO] [stderr] Compiling p3-maybe-rayon v0.4.2 [INFO] [stderr] Compiling winnow v0.7.14 [INFO] [stderr] Compiling zmij v1.0.21 [INFO] [stderr] Compiling toml_datetime v0.7.5+spec-1.1.0 [INFO] [stderr] Compiling stable_deref_trait v1.2.1 [INFO] [stderr] Compiling serde_json v1.0.149 [INFO] [stderr] Compiling num-traits v0.2.19 [INFO] [stderr] Compiling rustversion v1.0.22 [INFO] [stderr] Compiling strength_reduce v0.2.4 [INFO] [stderr] Compiling ident_case v1.0.1 [INFO] [stderr] Compiling heck v0.5.0 [INFO] [stderr] Compiling strsim v0.11.1 [INFO] [stderr] Compiling fnv v1.0.7 [INFO] [stderr] Compiling shlex v1.3.0 [INFO] [stderr] Compiling find-msvc-tools v0.1.9 [INFO] [stderr] Compiling cc v1.2.56 [INFO] [stderr] Compiling indexmap v2.13.0 [INFO] [stderr] Compiling spin v0.10.0 [INFO] [stderr] Compiling const-hex v1.17.0 [INFO] [stderr] Compiling futures-core v0.3.32 [INFO] [stderr] Compiling radium v0.7.0 [INFO] [stderr] Compiling syn v2.0.117 [INFO] [stderr] Compiling proc-macro-error-attr2 v2.0.0 [INFO] [stderr] Compiling dunce v1.0.5 [INFO] [stderr] Compiling writeable v0.6.2 [INFO] [stderr] Compiling futures-sink v0.3.32 [INFO] [stderr] Compiling foldhash v0.1.5 [INFO] [stderr] Compiling crc-catalog v2.4.0 [INFO] [stderr] Compiling allocator-api2 v0.2.21 [INFO] [stderr] Compiling litemap v0.8.1 [INFO] [stderr] Compiling tap v1.0.1 [INFO] [stderr] Compiling getrandom v0.2.17 [INFO] [stderr] Compiling crypto-common v0.1.6 [INFO] [stderr] Compiling block-buffer v0.10.4 [INFO] [stderr] Compiling wyz v0.5.1 [INFO] [stderr] Compiling crc v3.4.0 [INFO] [stderr] Compiling rand_core v0.9.5 [INFO] [stderr] Compiling digest v0.10.7 [INFO] [stderr] Compiling rand_core v0.6.4 [INFO] [stderr] Compiling icu_properties_data v2.1.2 [INFO] [stderr] Compiling num-integer v0.1.46 [INFO] [stderr] Compiling funty v2.0.0 [INFO] [stderr] Compiling hashbrown v0.15.5 [INFO] [stderr] Compiling icu_normalizer_data v2.1.1 [INFO] [stderr] Compiling sha3 v0.10.8 [INFO] [stderr] Compiling ahash v0.8.12 [INFO] [stderr] Compiling crossbeam-utils v0.8.21 [INFO] [stderr] Compiling ff v0.13.1 [INFO] [stderr] Compiling num-bigint v0.4.6 [INFO] [stderr] Compiling transpose v0.2.3 [INFO] [stderr] Compiling group v0.13.0 [INFO] [stderr] Compiling bitflags v2.11.0 [INFO] [stderr] Compiling futures-channel v0.3.32 [INFO] [stderr] Compiling slab v0.4.12 [INFO] [stderr] Compiling futures-task v0.3.32 [INFO] [stderr] Compiling futures-io v0.3.32 [INFO] [stderr] Compiling parking_lot_core v0.9.12 [INFO] [stderr] Compiling num_cpus v1.17.0 [INFO] [stderr] Compiling percent-encoding v2.3.2 [INFO] [stderr] Compiling utf8_iter v1.0.4 [INFO] [stderr] Compiling num-iter v0.1.45 [INFO] [stderr] Compiling num-complex v0.4.6 [INFO] [stderr] Compiling hex v0.4.3 [INFO] [stderr] Compiling tower-service v0.3.3 [INFO] [stderr] Compiling form_urlencoded v1.2.2 [INFO] [stderr] Compiling futures-utils-wasm v0.1.0 [INFO] [stderr] Compiling tower-layer v0.3.3 [INFO] [stderr] Compiling threadpool v1.8.1 [INFO] [stderr] Compiling sync_wrapper v1.0.2 [INFO] [stderr] Compiling base64 v0.22.1 [INFO] [stderr] Compiling arrayref v0.3.9 [INFO] [stderr] Compiling crunchy v0.2.4 [INFO] [stderr] Compiling hashbrown v0.14.5 [INFO] [stderr] Compiling lru v0.16.0 [INFO] [stderr] Compiling toml_parser v1.0.9+spec-1.1.0 [INFO] [stderr] Compiling blst v0.3.16 [INFO] [stderr] Compiling secp256k1-sys v0.11.0 [INFO] [stderr] Compiling c-kzg v2.1.5 [INFO] [stderr] Compiling crossbeam-epoch v0.9.18 [INFO] [stderr] Compiling toml_edit v0.23.10+spec-1.0.0 [INFO] [stderr] Compiling rayon-core v1.13.0 [INFO] [stderr] Compiling tiny-keccak v2.0.2 [INFO] [stderr] Compiling rand_xoshiro v0.7.0 [INFO] [stderr] Compiling crossbeam-deque v0.8.6 [INFO] [stderr] Compiling ppv-lite86 v0.2.21 [INFO] [stderr] Compiling num-rational v0.4.2 [INFO] [stderr] Compiling proc-macro-crate v3.4.0 [INFO] [stderr] Compiling rand_chacha v0.9.0 [INFO] [stderr] Compiling rand_chacha v0.3.1 [INFO] [stderr] Compiling rand v0.9.2 [INFO] [stderr] Compiling rand v0.8.5 [INFO] [stderr] Compiling num v0.4.3 [INFO] [stderr] Compiling aurora-engine-modexp v1.2.0 [INFO] [stderr] Compiling ark-std v0.5.0 [INFO] [stderr] Compiling synstructure v0.13.2 [INFO] [stderr] Compiling darling_core v0.21.3 [INFO] [stderr] Compiling macro-string v0.1.4 [INFO] [stderr] Compiling syn-solidity v1.5.7 [INFO] [stderr] Compiling proc-macro-error2 v2.0.1 [INFO] [stderr] Compiling serde_derive v1.0.228 [INFO] [stderr] Compiling zeroize_derive v1.4.3 [INFO] [stderr] Compiling alloy-rlp-derive v0.3.13 [INFO] [stderr] Compiling derive_more-impl v2.1.1 [INFO] [stderr] Compiling tracing-attributes v0.1.31 [INFO] [stderr] Compiling thiserror-impl v2.0.18 [INFO] [stderr] Compiling zerofrom-derive v0.1.6 [INFO] [stderr] Compiling auto_impl v1.3.0 [INFO] [stderr] Compiling yoke-derive v0.8.1 [INFO] [stderr] Compiling zerovec-derive v0.11.2 [INFO] [stderr] Compiling num_enum_derive v0.7.5 [INFO] [stderr] Compiling displaydoc v0.2.5 [INFO] [stderr] Compiling tokio-macros v2.6.0 [INFO] [stderr] Compiling enum-ordinalize-derive v4.3.2 [INFO] [stderr] Compiling ark-serialize-derive v0.5.0 [INFO] [stderr] Compiling zeroize v1.8.2 [INFO] [stderr] Compiling enum-ordinalize v4.3.2 [INFO] [stderr] Compiling futures-macro v0.3.32 [INFO] [stderr] Compiling educe v0.6.0 [INFO] [stderr] Compiling der v0.7.10 [INFO] [stderr] Compiling tokio v1.49.0 [INFO] [stderr] Compiling num_enum v0.7.5 [INFO] [stderr] Compiling ark-ff-asm v0.5.0 [INFO] [stderr] Compiling ark-ff-macros v0.5.0 [INFO] [stderr] Compiling zerofrom v0.1.6 [INFO] [stderr] Compiling pin-project-internal v1.1.10 [INFO] [stderr] Compiling tracing v0.1.44 [INFO] [stderr] Compiling strum_macros v0.27.2 [INFO] [stderr] Compiling yoke v0.8.1 [INFO] [stderr] Compiling async-trait v0.1.89 [INFO] [stderr] Compiling futures-util v0.3.32 [INFO] [stderr] Compiling crypto-bigint v0.5.5 [INFO] [stderr] Compiling zerovec v0.11.5 [INFO] [stderr] Compiling hmac v0.12.1 [INFO] [stderr] Compiling sec1 v0.7.3 [INFO] [stderr] Compiling rfc6979 v0.4.0 [INFO] [stderr] Compiling spki v0.7.3 [INFO] [stderr] Compiling signature v2.2.0 [INFO] [stderr] Compiling sha2 v0.10.9 [INFO] [stderr] Compiling tinystr v0.8.2 [INFO] [stderr] Compiling alloy-sol-macro-input v1.5.7 [INFO] [stderr] Compiling icu_locale_core v2.1.1 [INFO] [stderr] Compiling potential_utf v0.1.4 [INFO] [stderr] Compiling zerotrie v0.2.3 [INFO] [stderr] Compiling elliptic-curve v0.13.8 [INFO] [stderr] Compiling alloy-sol-macro-expander v1.5.7 [INFO] [stderr] Compiling icu_collections v2.1.1 [INFO] [stderr] Compiling pin-project v1.1.10 [INFO] [stderr] Compiling darling_macro v0.21.3 [INFO] [stderr] Compiling ripemd v0.1.3 [INFO] [stderr] Compiling secp256k1 v0.31.1 [INFO] [stderr] Compiling ecdsa v0.16.9 [INFO] [stderr] Compiling darling v0.21.3 [INFO] [stderr] Compiling primeorder v0.13.6 [INFO] [stderr] Compiling serde_with_macros v3.16.1 [INFO] [stderr] Compiling icu_provider v2.1.1 [INFO] [stderr] Compiling k256 v0.13.4 [INFO] [stderr] Compiling alloy-tx-macros v1.7.3 [INFO] [stderr] Compiling icu_properties v2.1.2 [INFO] [stderr] Compiling strum v0.27.2 [INFO] [stderr] Compiling p256 v0.13.2 [INFO] [stderr] Compiling async-stream-impl v0.3.6 [INFO] [stderr] Compiling derive-where v1.6.0 [INFO] [stderr] Compiling serde_with v3.16.1 [INFO] [stderr] Compiling async-stream v0.3.6 [INFO] [stderr] Compiling derive_more v2.1.1 [INFO] [stderr] Compiling either v1.15.0 [INFO] [stderr] Compiling arrayvec v0.7.6 [INFO] [stderr] Compiling bytes v1.11.1 [INFO] [stderr] Compiling smallvec v1.15.1 [INFO] [stderr] Compiling p3-util v0.4.2 [INFO] [stderr] Compiling bitvec v1.0.1 [INFO] [stderr] Compiling itertools v0.14.0 [INFO] [stderr] Compiling itertools v0.13.0 [INFO] [stderr] Compiling rayon v1.11.0 [INFO] [stderr] Compiling icu_normalizer v2.1.1 [INFO] [stderr] Compiling futures-executor v0.3.31 [INFO] [stderr] Compiling ark-serialize v0.5.0 [INFO] [stderr] Compiling tower v0.5.3 [INFO] [stderr] Compiling futures v0.3.31 [INFO] [stderr] Compiling parking_lot v0.12.5 [INFO] [stderr] Compiling dashmap v6.1.0 [INFO] [stderr] Compiling alloy-rlp v0.3.13 [INFO] [stderr] Compiling http v1.4.0 [INFO] [stderr] Compiling tokio-util v0.7.18 [INFO] [stderr] Compiling idna_adapter v1.2.1 [INFO] [stderr] Compiling alloy-sol-macro v1.5.7 [INFO] [stderr] Compiling idna v1.1.0 [INFO] [stderr] Compiling ruint v1.17.2 [INFO] [stderr] Compiling tokio-stream v0.1.18 [INFO] [stderr] Compiling url v2.5.8 [INFO] [stderr] Compiling alloy-primitives v1.5.7 [INFO] [stderr] Compiling nybbles v0.4.8 [INFO] [stderr] Compiling ark-ff v0.5.0 [INFO] [stderr] Compiling p3-field v0.4.2 [INFO] [stderr] Compiling alloy-eip7928 v0.3.2 [INFO] [stderr] Compiling alloy-eip7702 v0.6.3 [INFO] [stderr] Compiling alloy-eip2930 v0.2.3 [INFO] [stderr] Compiling revm-primitives v22.0.0 [INFO] [stderr] Compiling alloy-serde v1.7.3 [INFO] [stderr] Compiling alloy-eip2124 v0.2.0 [INFO] [stderr] Compiling alloy-sol-types v1.5.7 [INFO] [stderr] Compiling alloy-trie v0.9.4 [INFO] [stderr] Compiling alloy-signer v1.7.3 [INFO] [stderr] Compiling alloy-chains v0.2.30 [INFO] [stderr] Compiling revm-bytecode v8.0.0 [INFO] [stderr] Compiling p3-matrix v0.4.2 [INFO] [stderr] Compiling p3-symmetric v0.4.2 [INFO] [stderr] Compiling revm-state v9.0.0 [INFO] [stderr] Compiling alloy-eips v1.7.3 [INFO] [stderr] Compiling p3-keccak v0.4.2 [INFO] [stderr] Compiling p3-dft v0.4.2 [INFO] [stderr] Compiling p3-air v0.4.2 [INFO] [stderr] Compiling p3-interpolation v0.4.2 [INFO] [stderr] Compiling p3-mds v0.4.2 [INFO] [stderr] Compiling revm-database-interface v9.0.0 [INFO] [stderr] Compiling p3-poseidon2 v0.4.2 [INFO] [stderr] Compiling revm-context-interface v14.0.0 [INFO] [stderr] Compiling p3-monty-31 v0.4.2 [INFO] [stderr] Compiling p3-poseidon2-air v0.4.2 [INFO] [stderr] Compiling alloy-consensus v1.7.3 [INFO] [stderr] Compiling alloy-json-rpc v1.7.3 [INFO] [stderr] Compiling alloy-transport v1.7.3 [INFO] [stderr] Compiling p3-challenger v0.4.2 [INFO] [stderr] Compiling p3-commit v0.4.2 [INFO] [stderr] Compiling p3-mersenne-31 v0.4.2 [INFO] [stderr] Compiling p3-fri v0.4.2 [INFO] [stderr] Compiling p3-uni-stark v0.4.2 (/opt/rustwide/workdir/crates/p3-uni-stark) [INFO] [stderr] Compiling p3-merkle-tree v0.4.2 [INFO] [stderr] Compiling alloy-rpc-client v1.7.3 [INFO] [stderr] Compiling revm-context v13.0.0 [INFO] [stderr] Compiling revm-interpreter v32.0.0 [INFO] [stderr] Compiling p3-circle v0.4.2 [INFO] [stderr] Compiling alloy-network-primitives v1.7.3 [INFO] [stderr] Compiling alloy-consensus-any v1.7.3 [INFO] [stderr] Compiling p3-lookup v0.4.2 [INFO] [stderr] Compiling alloy-rpc-types-eth v1.7.3 [INFO] [stderr] Compiling ark-poly v0.5.0 [INFO] [stderr] Compiling ark-ec v0.5.0 [INFO] [stderr] Compiling alloy-rpc-types-any v1.7.3 [INFO] [stderr] Compiling alloy-network v1.7.3 [INFO] [stderr] Compiling alloy-provider v1.7.3 [INFO] [stderr] Compiling ark-bls12-381 v0.5.0 [INFO] [stderr] Compiling ark-bn254 v0.5.0 [INFO] [stderr] Compiling revm-precompile v32.0.0 [INFO] [stderr] Compiling revm-handler v15.0.0 [INFO] [stderr] Compiling revm-inspector v15.0.0 [INFO] [stderr] Compiling revm-database v10.0.0 [INFO] [stderr] Compiling revm v34.0.0 [INFO] [stderr] Compiling zprove-core v0.1.0 (/opt/rustwide/workdir/crates/zprove-core) [INFO] [stdout] warning: unused import: `OP_BYTE_AND_SYM` [INFO] [stdout] --> crates/zprove-core/src/transition.rs:24:3 [INFO] [stdout] | [INFO] [stdout] 24 | OP_BYTE_AND_SYM, [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `p3_symmetric::Permutation` [INFO] [stdout] --> crates/zprove-core/src/zk_proof/challenger_air.rs:64:5 [INFO] [stdout] | [INFO] [stdout] 64 | use p3_symmetric::Permutation; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `p3_symmetric::Hash` [INFO] [stdout] --> crates/zprove-core/src/zk_proof/challenger_air.rs:146:9 [INFO] [stdout] | [INFO] [stdout] 146 | use p3_symmetric::Hash; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `p3_symmetric::Hash` [INFO] [stdout] --> crates/zprove-core/src/zk_proof/challenger_air.rs:186:17 [INFO] [stdout] | [INFO] [stdout] 186 | use p3_symmetric::Hash; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 197 | observe_hash!(inner_proof.commitments.trace); [INFO] [stdout] | -------------------------------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this warning originates in the macro `observe_hash` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `p3_symmetric::Hash` [INFO] [stdout] --> crates/zprove-core/src/zk_proof/challenger_air.rs:186:17 [INFO] [stdout] | [INFO] [stdout] 186 | use p3_symmetric::Hash; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 212 | observe_hash!(inner_proof.commitments.quotient_chunks); [INFO] [stdout] | ------------------------------------------------------ in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this warning originates in the macro `observe_hash` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `p3_symmetric::Hash` [INFO] [stdout] --> crates/zprove-core/src/zk_proof/challenger_air.rs:186:17 [INFO] [stdout] | [INFO] [stdout] 186 | use p3_symmetric::Hash; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 214 | observe_hash!(r); [INFO] [stdout] | ---------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this warning originates in the macro `observe_hash` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `BasedVectorSpace` [INFO] [stdout] --> crates/zprove-core/src/zk_proof/challenger_air.rs:60:16 [INFO] [stdout] | [INFO] [stdout] 60 | use p3_field::{BasedVectorSpace, PrimeCharacteristicRing}; [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `expected_inner_pis` [INFO] [stdout] --> crates/zprove-core/src/zk_proof/challenger_air.rs:517:5 [INFO] [stdout] | [INFO] [stdout] 517 | expected_inner_pis: &[Val], [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_expected_inner_pis` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `expected_trace_commit` [INFO] [stdout] --> crates/zprove-core/src/zk_proof/challenger_air.rs:518:5 [INFO] [stdout] | [INFO] [stdout] 518 | expected_trace_commit: &[Val; 8], [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_expected_trace_commit` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `val_end` [INFO] [stdout] --> crates/zprove-core/src/zk_proof/keccak.rs:304:13 [INFO] [stdout] | [INFO] [stdout] 304 | let val_end = val_start + (word_end - word_start).min(32 - val_start); [INFO] [stdout] | ^^^^^^^ help: if this is intentional, prefix it with an underscore: `_val_end` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `supports_zkp_receipt` is never used [INFO] [stdout] --> crates/zprove-core/src/execute.rs:1244:4 [INFO] [stdout] | [INFO] [stdout] 1244 | fn supports_zkp_receipt(op: u8) -> bool { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `flush_and_verify_batch_zkp_single` is never used [INFO] [stdout] --> crates/zprove-core/src/execute.rs:1351:4 [INFO] [stdout] | [INFO] [stdout] 1351 | fn flush_and_verify_batch_zkp_single( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `make_native_perm` is never used [INFO] [stdout] --> crates/zprove-core/src/zk_proof/challenger_air.rs:118:4 [INFO] [stdout] | [INFO] [stdout] 118 | fn make_native_perm() -> Poseidon2Mersenne31<16> { [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Compiling zprove-revm-tests v0.1.0 (/opt/rustwide/workdir/crates/zprove-revm-tests) [INFO] [stderr] Compiling zprove-bench v0.1.0 (/opt/rustwide/workdir/crates/zprove-bench) [INFO] [stdout] warning: unused variable: `par_phase` [INFO] [stdout] --> crates/zprove-bench/src/main.rs:1253:9 [INFO] [stdout] | [INFO] [stdout] 1253 | let par_phase = read_proof_phase_timings(); [INFO] [stdout] | ^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_par_phase` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Finished `dev` profile [unoptimized + debuginfo] target(s) in 2m 20s [INFO] running `Command { std: "docker" "inspect" "1be4351213695c70d7a98836e2dc7b23d86f0a4b5a6ba11b59ed38cd1dee8de7", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "1be4351213695c70d7a98836e2dc7b23d86f0a4b5a6ba11b59ed38cd1dee8de7", kill_on_drop: false }` [INFO] [stdout] 1be4351213695c70d7a98836e2dc7b23d86f0a4b5a6ba11b59ed38cd1dee8de7 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+dec9417b8611e34e787a3e4c37686b5131f9e5c5" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 0af011a98d6ba874ae4aa0e45fe42a4ffcb0f5576199cab601f7d775c46c2a88 [INFO] running `Command { std: "docker" "start" "-a" "0af011a98d6ba874ae4aa0e45fe42a4ffcb0f5576199cab601f7d775c46c2a88", kill_on_drop: false }` [INFO] [stderr] Compiling p3-baby-bear v0.4.2 [INFO] [stdout] warning: unused import: `OP_BYTE_AND_SYM` [INFO] [stdout] --> crates/zprove-core/src/transition.rs:24:3 [INFO] [stdout] | [INFO] [stdout] 24 | OP_BYTE_AND_SYM, [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `p3_symmetric::Permutation` [INFO] [stdout] --> crates/zprove-core/src/zk_proof/challenger_air.rs:64:5 [INFO] [stdout] | [INFO] [stdout] 64 | use p3_symmetric::Permutation; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `p3_symmetric::Hash` [INFO] [stdout] --> crates/zprove-core/src/zk_proof/challenger_air.rs:146:9 [INFO] [stdout] | [INFO] [stdout] 146 | use p3_symmetric::Hash; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `p3_symmetric::Hash` [INFO] [stdout] --> crates/zprove-core/src/zk_proof/challenger_air.rs:186:17 [INFO] [stdout] | [INFO] [stdout] 186 | use p3_symmetric::Hash; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 197 | observe_hash!(inner_proof.commitments.trace); [INFO] [stdout] | -------------------------------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this warning originates in the macro `observe_hash` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `p3_symmetric::Hash` [INFO] [stdout] --> crates/zprove-core/src/zk_proof/challenger_air.rs:186:17 [INFO] [stdout] | [INFO] [stdout] 186 | use p3_symmetric::Hash; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 212 | observe_hash!(inner_proof.commitments.quotient_chunks); [INFO] [stdout] | ------------------------------------------------------ in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this warning originates in the macro `observe_hash` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `p3_symmetric::Hash` [INFO] [stdout] --> crates/zprove-core/src/zk_proof/challenger_air.rs:186:17 [INFO] [stdout] | [INFO] [stdout] 186 | use p3_symmetric::Hash; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 214 | observe_hash!(r); [INFO] [stdout] | ---------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this warning originates in the macro `observe_hash` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `BasedVectorSpace` [INFO] [stdout] --> crates/zprove-core/src/zk_proof/challenger_air.rs:60:16 [INFO] [stdout] | [INFO] [stdout] 60 | use p3_field::{BasedVectorSpace, PrimeCharacteristicRing}; [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `expected_inner_pis` [INFO] [stdout] --> crates/zprove-core/src/zk_proof/challenger_air.rs:517:5 [INFO] [stdout] | [INFO] [stdout] 517 | expected_inner_pis: &[Val], [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_expected_inner_pis` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `expected_trace_commit` [INFO] [stdout] --> crates/zprove-core/src/zk_proof/challenger_air.rs:518:5 [INFO] [stdout] | [INFO] [stdout] 518 | expected_trace_commit: &[Val; 8], [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_expected_trace_commit` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `val_end` [INFO] [stdout] --> crates/zprove-core/src/zk_proof/keccak.rs:304:13 [INFO] [stdout] | [INFO] [stdout] 304 | let val_end = val_start + (word_end - word_start).min(32 - val_start); [INFO] [stdout] | ^^^^^^^ help: if this is intentional, prefix it with an underscore: `_val_end` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `supports_zkp_receipt` is never used [INFO] [stdout] --> crates/zprove-core/src/execute.rs:1244:4 [INFO] [stdout] | [INFO] [stdout] 1244 | fn supports_zkp_receipt(op: u8) -> bool { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `flush_and_verify_batch_zkp_single` is never used [INFO] [stdout] --> crates/zprove-core/src/execute.rs:1351:4 [INFO] [stdout] | [INFO] [stdout] 1351 | fn flush_and_verify_batch_zkp_single( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `make_native_perm` is never used [INFO] [stdout] --> crates/zprove-core/src/zk_proof/challenger_air.rs:118:4 [INFO] [stdout] | [INFO] [stdout] 118 | fn make_native_perm() -> Poseidon2Mersenne31<16> { [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Compiling zprove-core v0.1.0 (/opt/rustwide/workdir/crates/zprove-core) [INFO] [stderr] Compiling zprove-bench v0.1.0 (/opt/rustwide/workdir/crates/zprove-bench) [INFO] [stderr] Compiling zprove-revm-tests v0.1.0 (/opt/rustwide/workdir/crates/zprove-revm-tests) [INFO] [stdout] warning: unused import: `RECEIPT_BIND_TAG_STACK` [INFO] [stdout] --> crates/zprove-core/tests/zk_proof_tests.rs:627:41 [INFO] [stdout] | [INFO] [stdout] 627 | NUM_LUT_COLS, RECEIPT_BIND_TAG_LUT, RECEIPT_BIND_TAG_STACK, build_lut_trace_from_proof_rows, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `revm::bytecode::opcode` [INFO] [stdout] --> crates/zprove-core/tests/zk_proof_tests.rs:685:9 [INFO] [stdout] | [INFO] [stdout] 685 | use revm::bytecode::opcode; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `zprove_core::semantic_proof::prove_add` [INFO] [stdout] --> crates/zprove-core/tests/zk_proof_tests.rs:686:9 [INFO] [stdout] | [INFO] [stdout] 686 | use zprove_core::semantic_proof::prove_add; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `OP_BYTE_AND_SYM` [INFO] [stdout] --> crates/zprove-core/src/transition.rs:24:3 [INFO] [stdout] | [INFO] [stdout] 24 | OP_BYTE_AND_SYM, [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `p3_symmetric::Permutation` [INFO] [stdout] --> crates/zprove-core/src/zk_proof/challenger_air.rs:64:5 [INFO] [stdout] | [INFO] [stdout] 64 | use p3_symmetric::Permutation; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `p3_symmetric::Hash` [INFO] [stdout] --> crates/zprove-core/src/zk_proof/challenger_air.rs:146:9 [INFO] [stdout] | [INFO] [stdout] 146 | use p3_symmetric::Hash; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `p3_symmetric::Hash` [INFO] [stdout] --> crates/zprove-core/src/zk_proof/challenger_air.rs:186:17 [INFO] [stdout] | [INFO] [stdout] 186 | use p3_symmetric::Hash; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 197 | observe_hash!(inner_proof.commitments.trace); [INFO] [stdout] | -------------------------------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this warning originates in the macro `observe_hash` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `p3_symmetric::Hash` [INFO] [stdout] --> crates/zprove-core/src/zk_proof/challenger_air.rs:186:17 [INFO] [stdout] | [INFO] [stdout] 186 | use p3_symmetric::Hash; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 212 | observe_hash!(inner_proof.commitments.quotient_chunks); [INFO] [stdout] | ------------------------------------------------------ in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this warning originates in the macro `observe_hash` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `p3_symmetric::Hash` [INFO] [stdout] --> crates/zprove-core/src/zk_proof/challenger_air.rs:186:17 [INFO] [stdout] | [INFO] [stdout] 186 | use p3_symmetric::Hash; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 214 | observe_hash!(r); [INFO] [stdout] | ---------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this warning originates in the macro `observe_hash` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `LutKernelAir`, `build_lut_trace_from_proof_rows`, and `make_circle_config` [INFO] [stdout] --> crates/zprove-core/tests/transition_tests.rs:1746:5 [INFO] [stdout] | [INFO] [stdout] 1746 | LutKernelAir, RECEIPT_BIND_TAG_LUT, RECEIPT_BIND_TAG_STACK, [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] 1747 | build_lut_steps_from_rows_bit_family, build_lut_trace_from_proof_rows, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] 1748 | make_batch_receipt_binding_public_values, make_circle_config, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `StorageSet` [INFO] [stdout] --> crates/zprove-core/tests/transition_tests.rs:2028:17 [INFO] [stdout] | [INFO] [stdout] 2028 | StorageKey, StorageSet, aggregate_storage_proofs, aggregate_storage_proofs_tree, [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `wff_instruction` [INFO] [stdout] --> crates/zprove-core/tests/transition_tests.rs:2307:29 [INFO] [stdout] | [INFO] [stdout] 2307 | verify_proof_with_rows, wff_instruction, wff_instruction_core, [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `MemLogEntry` [INFO] [stdout] --> crates/zprove-core/tests/transition_tests.rs:3874:33 [INFO] [stdout] | [INFO] [stdout] 3874 | use zprove_core::zk_proof::{MemLogEntry, prove_memory_consistency}; [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `MAX_CALL_DEPTH` and `VmState` [INFO] [stdout] --> crates/zprove-core/tests/transition_tests.rs:4679:53 [INFO] [stdout] | [INFO] [stdout] 4679 | BlockTxContext, InstructionTransitionStatement, MAX_CALL_DEPTH, SubCallClaim, TransactionProof, [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] 4680 | VmState, verify_sub_call_claim, [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `par_phase` [INFO] [stdout] --> crates/zprove-bench/src/main.rs:1253:9 [INFO] [stdout] | [INFO] [stdout] 1253 | let par_phase = read_proof_phase_timings(); [INFO] [stdout] | ^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_par_phase` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Compiling p3-uni-stark v0.4.2 (/opt/rustwide/workdir/crates/p3-uni-stark) [INFO] [stdout] warning: unused variable: `two128` [INFO] [stdout] --> crates/zprove-core/tests/transition_tests.rs:2727:9 [INFO] [stdout] | [INFO] [stdout] 2727 | let two128: u128 = 1u128 << 127; // top bit of u128 = 2^127... let's use a simpler case [INFO] [stdout] | ^^^^^^ help: if this is intentional, prefix it with an underscore: `_two128` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `BasedVectorSpace` [INFO] [stdout] --> crates/zprove-core/src/zk_proof/challenger_air.rs:60:16 [INFO] [stdout] | [INFO] [stdout] 60 | use p3_field::{BasedVectorSpace, PrimeCharacteristicRing}; [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `expected_inner_pis` [INFO] [stdout] --> crates/zprove-core/src/zk_proof/challenger_air.rs:517:5 [INFO] [stdout] | [INFO] [stdout] 517 | expected_inner_pis: &[Val], [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_expected_inner_pis` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `expected_trace_commit` [INFO] [stdout] --> crates/zprove-core/src/zk_proof/challenger_air.rs:518:5 [INFO] [stdout] | [INFO] [stdout] 518 | expected_trace_commit: &[Val; 8], [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_expected_trace_commit` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `val_end` [INFO] [stdout] --> crates/zprove-core/src/zk_proof/keccak.rs:304:13 [INFO] [stdout] | [INFO] [stdout] 304 | let val_end = val_start + (word_end - word_start).min(32 - val_start); [INFO] [stdout] | ^^^^^^^ help: if this is intentional, prefix it with an underscore: `_val_end` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `supports_zkp_receipt` is never used [INFO] [stdout] --> crates/zprove-core/src/execute.rs:1244:4 [INFO] [stdout] | [INFO] [stdout] 1244 | fn supports_zkp_receipt(op: u8) -> bool { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `flush_and_verify_batch_zkp_single` is never used [INFO] [stdout] --> crates/zprove-core/src/execute.rs:1351:4 [INFO] [stdout] | [INFO] [stdout] 1351 | fn flush_and_verify_batch_zkp_single( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `make_native_perm` is never used [INFO] [stdout] --> crates/zprove-core/src/zk_proof/challenger_air.rs:118:4 [INFO] [stdout] | [INFO] [stdout] 118 | fn make_native_perm() -> Poseidon2Mersenne31<16> { [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Finished `test` profile [unoptimized + debuginfo] target(s) in 15.73s [INFO] running `Command { std: "docker" "inspect" "0af011a98d6ba874ae4aa0e45fe42a4ffcb0f5576199cab601f7d775c46c2a88", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "0af011a98d6ba874ae4aa0e45fe42a4ffcb0f5576199cab601f7d775c46c2a88", kill_on_drop: false }` [INFO] [stdout] 0af011a98d6ba874ae4aa0e45fe42a4ffcb0f5576199cab601f7d775c46c2a88 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+dec9417b8611e34e787a3e4c37686b5131f9e5c5" "test" "--frozen", kill_on_drop: false }` [INFO] [stdout] 05fe7714141791cc0ef70a88d5e8e75aa561113d09a33bcb6d1ccff0ce173635 [INFO] running `Command { std: "docker" "start" "-a" "05fe7714141791cc0ef70a88d5e8e75aa561113d09a33bcb6d1ccff0ce173635", kill_on_drop: false }` [INFO] [stderr] warning: unused import: `OP_BYTE_AND_SYM` [INFO] [stderr] --> crates/zprove-core/src/transition.rs:24:3 [INFO] [stderr] | [INFO] [stderr] 24 | OP_BYTE_AND_SYM, [INFO] [stderr] | ^^^^^^^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default [INFO] [stderr] [INFO] [stderr] warning: unused import: `p3_symmetric::Permutation` [INFO] [stderr] --> crates/zprove-core/src/zk_proof/challenger_air.rs:64:5 [INFO] [stderr] | [INFO] [stderr] 64 | use p3_symmetric::Permutation; [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `p3_symmetric::Hash` [INFO] [stderr] --> crates/zprove-core/src/zk_proof/challenger_air.rs:146:9 [INFO] [stderr] | [INFO] [stderr] 146 | use p3_symmetric::Hash; [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `p3_symmetric::Hash` [INFO] [stderr] --> crates/zprove-core/src/zk_proof/challenger_air.rs:186:17 [INFO] [stderr] | [INFO] [stderr] 186 | use p3_symmetric::Hash; [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^ [INFO] [stderr] ... [INFO] [stderr] 197 | observe_hash!(inner_proof.commitments.trace); [INFO] [stderr] | -------------------------------------------- in this macro invocation [INFO] [stderr] | [INFO] [stderr] = note: this warning originates in the macro `observe_hash` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stderr] [INFO] [stderr] warning: unused import: `p3_symmetric::Hash` [INFO] [stderr] --> crates/zprove-core/src/zk_proof/challenger_air.rs:186:17 [INFO] [stderr] | [INFO] [stderr] 186 | use p3_symmetric::Hash; [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^ [INFO] [stderr] ... [INFO] [stderr] 212 | observe_hash!(inner_proof.commitments.quotient_chunks); [INFO] [stderr] | ------------------------------------------------------ in this macro invocation [INFO] [stderr] | [INFO] [stderr] = note: this warning originates in the macro `observe_hash` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stderr] [INFO] [stderr] warning: unused import: `p3_symmetric::Hash` [INFO] [stderr] --> crates/zprove-core/src/zk_proof/challenger_air.rs:186:17 [INFO] [stderr] | [INFO] [stderr] 186 | use p3_symmetric::Hash; [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^ [INFO] [stderr] ... [INFO] [stderr] 214 | observe_hash!(r); [INFO] [stderr] | ---------------- in this macro invocation [INFO] [stderr] | [INFO] [stderr] = note: this warning originates in the macro `observe_hash` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stderr] [INFO] [stderr] warning: unused import: `BasedVectorSpace` [INFO] [stderr] --> crates/zprove-core/src/zk_proof/challenger_air.rs:60:16 [INFO] [stderr] | [INFO] [stderr] 60 | use p3_field::{BasedVectorSpace, PrimeCharacteristicRing}; [INFO] [stderr] | ^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused variable: `expected_inner_pis` [INFO] [stderr] --> crates/zprove-core/src/zk_proof/challenger_air.rs:517:5 [INFO] [stderr] | [INFO] [stderr] 517 | expected_inner_pis: &[Val], [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_expected_inner_pis` [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default [INFO] [stderr] [INFO] [stderr] warning: unused variable: `expected_trace_commit` [INFO] [stderr] --> crates/zprove-core/src/zk_proof/challenger_air.rs:518:5 [INFO] [stderr] | [INFO] [stderr] 518 | expected_trace_commit: &[Val; 8], [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_expected_trace_commit` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `val_end` [INFO] [stderr] --> crates/zprove-core/src/zk_proof/keccak.rs:304:13 [INFO] [stderr] | [INFO] [stderr] 304 | let val_end = val_start + (word_end - word_start).min(32 - val_start); [INFO] [stderr] | ^^^^^^^ help: if this is intentional, prefix it with an underscore: `_val_end` [INFO] [stderr] [INFO] [stderr] warning: function `supports_zkp_receipt` is never used [INFO] [stderr] --> crates/zprove-core/src/execute.rs:1244:4 [INFO] [stderr] | [INFO] [stderr] 1244 | fn supports_zkp_receipt(op: u8) -> bool { [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default [INFO] [stderr] [INFO] [stderr] warning: function `flush_and_verify_batch_zkp_single` is never used [INFO] [stderr] --> crates/zprove-core/src/execute.rs:1351:4 [INFO] [stderr] | [INFO] [stderr] 1351 | fn flush_and_verify_batch_zkp_single( [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: function `make_native_perm` is never used [INFO] [stderr] --> crates/zprove-core/src/zk_proof/challenger_air.rs:118:4 [INFO] [stderr] | [INFO] [stderr] 118 | fn make_native_perm() -> Poseidon2Mersenne31<16> { [INFO] [stderr] | ^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: `zprove-core` (lib) generated 13 warnings (run `cargo fix --lib -p zprove-core` to apply 9 suggestions) [INFO] [stderr] warning: `zprove-core` (lib test) generated 13 warnings (13 duplicates) [INFO] [stderr] warning: unused variable: `par_phase` [INFO] [stderr] --> crates/zprove-bench/src/main.rs:1253:9 [INFO] [stderr] | [INFO] [stderr] 1253 | let par_phase = read_proof_phase_timings(); [INFO] [stderr] | ^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_par_phase` [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default [INFO] [stderr] [INFO] [stderr] warning: unused import: `RECEIPT_BIND_TAG_STACK` [INFO] [stderr] --> crates/zprove-core/tests/zk_proof_tests.rs:627:41 [INFO] [stderr] | [INFO] [stderr] 627 | NUM_LUT_COLS, RECEIPT_BIND_TAG_LUT, RECEIPT_BIND_TAG_STACK, build_lut_trace_from_proof_rows, [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default [INFO] [stderr] [INFO] [stderr] warning: unused import: `revm::bytecode::opcode` [INFO] [stderr] --> crates/zprove-core/tests/zk_proof_tests.rs:685:9 [INFO] [stderr] | [INFO] [stderr] 685 | use revm::bytecode::opcode; [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `zprove_core::semantic_proof::prove_add` [INFO] [stderr] --> crates/zprove-core/tests/zk_proof_tests.rs:686:9 [INFO] [stderr] | [INFO] [stderr] 686 | use zprove_core::semantic_proof::prove_add; [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused imports: `LutKernelAir`, `build_lut_trace_from_proof_rows`, and `make_circle_config` [INFO] [stderr] --> crates/zprove-core/tests/transition_tests.rs:1746:5 [INFO] [stderr] | [INFO] [stderr] 1746 | LutKernelAir, RECEIPT_BIND_TAG_LUT, RECEIPT_BIND_TAG_STACK, [INFO] [stderr] | ^^^^^^^^^^^^ [INFO] [stderr] 1747 | build_lut_steps_from_rows_bit_family, build_lut_trace_from_proof_rows, [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] 1748 | make_batch_receipt_binding_public_values, make_circle_config, [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default [INFO] [stderr] [INFO] [stderr] warning: unused import: `StorageSet` [INFO] [stderr] --> crates/zprove-core/tests/transition_tests.rs:2028:17 [INFO] [stderr] | [INFO] [stderr] 2028 | StorageKey, StorageSet, aggregate_storage_proofs, aggregate_storage_proofs_tree, [INFO] [stderr] | ^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `wff_instruction` [INFO] [stderr] --> crates/zprove-core/tests/transition_tests.rs:2307:29 [INFO] [stderr] | [INFO] [stderr] 2307 | verify_proof_with_rows, wff_instruction, wff_instruction_core, [INFO] [stderr] | ^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `MemLogEntry` [INFO] [stderr] --> crates/zprove-core/tests/transition_tests.rs:3874:33 [INFO] [stderr] | [INFO] [stderr] 3874 | use zprove_core::zk_proof::{MemLogEntry, prove_memory_consistency}; [INFO] [stderr] | ^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused imports: `MAX_CALL_DEPTH` and `VmState` [INFO] [stderr] --> crates/zprove-core/tests/transition_tests.rs:4679:53 [INFO] [stderr] | [INFO] [stderr] 4679 | BlockTxContext, InstructionTransitionStatement, MAX_CALL_DEPTH, SubCallClaim, TransactionProof, [INFO] [stderr] | ^^^^^^^^^^^^^^ [INFO] [stderr] 4680 | VmState, verify_sub_call_claim, [INFO] [stderr] | ^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused variable: `two128` [INFO] [stderr] --> crates/zprove-core/tests/transition_tests.rs:2727:9 [INFO] [stderr] | [INFO] [stderr] 2727 | let two128: u128 = 1u128 << 127; // top bit of u128 = 2^127... let's use a simpler case [INFO] [stderr] | ^^^^^^ help: if this is intentional, prefix it with an underscore: `_two128` [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default [INFO] [stderr] [INFO] [stderr] warning: `zprove-bench` (bin "zprove-bench" test) generated 1 warning (run `cargo fix --bin "zprove-bench" -p zprove-bench --tests` to apply 1 suggestion) [INFO] [stderr] warning: `zprove-core` (test "zk_proof_tests") generated 3 warnings (run `cargo fix --test "zk_proof_tests" -p zprove-core` to apply 3 suggestions) [INFO] [stderr] warning: `zprove-core` (test "transition_tests") generated 6 warnings (run `cargo fix --test "transition_tests" -p zprove-core` to apply 6 suggestions) [INFO] [stderr] Finished `test` profile [unoptimized + debuginfo] target(s) in 0.69s [INFO] [stderr] Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/p3_uni_stark-b9bc087a58bbc5a3) [INFO] [stdout] [INFO] [stdout] running 34 tests [INFO] [stdout] test check_constraints::tests::test_single_row_wraparound_logic ... ok [INFO] [stdout] test symbolic_builder::tests::test_get_log_num_quotient_chunks_no_constraints ... ok [INFO] [stdout] test check_constraints::tests::test_incremental_rows_with_last_row_check ... ok [INFO] [stdout] test symbolic_builder::tests::test_get_max_constraint_degree_multiple_constraints ... ok [INFO] [stdout] test symbolic_builder::tests::test_get_log_num_quotient_chunks_single_constraint ... ok [INFO] [stdout] test symbolic_builder::tests::test_get_max_constraint_degree_no_constraints ... ok [INFO] [stdout] test symbolic_builder::tests::test_get_symbolic_constraints ... ok [INFO] [stdout] test symbolic_builder::tests::test_symbolic_air_builder_initialization ... ok [INFO] [stdout] test symbolic_builder::tests::test_symbolic_air_builder_is_first_last_row ... ok [INFO] [stdout] test symbolic_builder::tests::test_symbolic_air_builder_assert_zero ... ok [INFO] [stdout] test symbolic_expression::tests::test_assign_operators ... ok [INFO] [stdout] test symbolic_expression::tests::test_chained_multiplication_degree ... ok [INFO] [stdout] test symbolic_expression::tests::test_degree_multiple_for_addition ... ok [INFO] [stdout] test symbolic_expression::tests::test_degree_multiple_for_multiplication ... ok [INFO] [stdout] test symbolic_expression::tests::test_empty_product_returns_one ... ok [INFO] [stdout] test symbolic_expression::tests::test_empty_sum_returns_zero ... ok [INFO] [stdout] test symbolic_expression::tests::test_from_field_element ... ok [INFO] [stdout] test symbolic_expression::tests::test_from_prime_subfield ... ok [INFO] [stdout] test symbolic_expression::tests::test_from_symbolic_variable ... ok [INFO] [stdout] test symbolic_expression::tests::test_mixed_degree_addition ... ok [INFO] [stdout] test symbolic_expression::tests::test_multiplication_of_constants ... ok [INFO] [stdout] test symbolic_expression::tests::test_negation ... ok [INFO] [stdout] test symbolic_expression::tests::test_product_operator ... ok [INFO] [stdout] test symbolic_expression::tests::test_default_is_zero ... ok [INFO] [stderr] Running unittests src/main.rs (/opt/rustwide/target/debug/deps/zprove_bench-1eb6847c45653a2b) [INFO] [stdout] test symbolic_expression::tests::test_subtraction_creates_sub_node ... ok [INFO] [stderr] Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/zprove_core-16177aa8c19b1aed) [INFO] [stdout] test symbolic_expression::tests::test_symbolic_expression_degree_multiple ... ok [INFO] [stdout] test symbolic_expression::tests::test_addition_of_constants ... ok [INFO] [stdout] test symbolic_expression::tests::test_negation_creates_neg_node ... ok [INFO] [stdout] test symbolic_expression::tests::test_sum_operator ... ok [INFO] [stdout] test symbolic_expression::tests::test_ring_constants ... ok [INFO] [stdout] test symbolic_expression::tests::test_subtraction_of_constants ... ok [INFO] [stdout] test symbolic_builder::tests::test_get_log_num_quotient_chunks_multiple_constraints ... ok [INFO] [stdout] test check_constraints::tests::test_incorrect_increment_logic - should panic ... ok [INFO] [stdout] test check_constraints::tests::test_wrong_last_row_public_value - should panic ... ok [INFO] [stdout] [INFO] [stdout] test result: ok. 34 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.08s [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] running 0 tests [INFO] [stdout] [INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] running 11 tests [INFO] [stdout] test zk_proof::stack_rw::tests::test_consistency_check_catches_mismatch ... ok [INFO] [stdout] test zk_proof::write_delta::tests::merge_overrides_w_in ... ok [INFO] [stdout] test zk_proof::write_delta::tests::validate_inherited_reads_ok_if_matches_w_in ... ok [INFO] [stdout] test zk_proof::write_delta::tests::validate_inherited_reads_unwritten_addr_must_be_zero ... ok [INFO] [stdout] test zk_proof::write_delta::tests::empty_write_set_hash_is_zero ... ok [INFO] [stdout] test zk_proof::write_delta::tests::validate_inherited_reads_fail_on_mismatch ... ok [INFO] [stdout] test zk_proof::stack_rw::tests::test_push_then_pop ... ok [INFO] [stdout] test zk_proof::stack_rw::tests::test_two_depths_interleaved ... ok [INFO] [stdout] test zk_proof::stack_rw::tests::test_single_push ... ok [INFO] [stdout] test zk_proof::stack_rw::tests::test_empty_log ... ok [INFO] [stderr] Running tests/byte_table_tests.rs (/opt/rustwide/target/debug/deps/byte_table_tests-964ad7f88429ddfb) [INFO] [stdout] test zk_proof::stack_rw::tests::test_multiple_reads_same_depth ... ok [INFO] [stdout] [INFO] [stdout] test result: ok. 11 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.81s [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] running 9 tests [INFO] [stdout] test byte_table_tests::test_collect_byte_table_queries_from_lut_steps ... ok [INFO] [stdout] test byte_table_tests::test_byte_table_and_2queries_prove_verify ... ok [INFO] [stdout] test byte_table_tests::test_byte_table_or_prove_verify ... ok [INFO] [stdout] test byte_table_tests::test_byte_table_xor_2queries_prove_verify ... ok [INFO] [stdout] test byte_table_tests::test_byte_table_xor_prove_verify ... ok [INFO] [stdout] test byte_table_tests::test_byte_table_and_prove_verify ... ok [INFO] [stdout] test byte_table_tests::test_byte_table_mixed_ops ... ok [INFO] [stdout] test byte_table_tests::test_byte_table_xor_3queries_prove_verify ... ok [INFO] [stdout] test byte_table_tests::test_byte_table_and_3queries_prove_verify ... ok [INFO] [stdout] [INFO] [stdout] test result: ok. 9 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 1.23s [INFO] [stdout] [INFO] [stderr] Running tests/logup_integration_tests.rs (/opt/rustwide/target/debug/deps/logup_integration_tests-9607f28c842b510f) [INFO] [stdout] [INFO] [stdout] running 1 test [INFO] [stdout] test logup_integration_tests::test_logup_local_prove_verify_roundtrip ... ok [INFO] [stdout] [INFO] [stdout] test result: ok. 1 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.34s [INFO] [stdout] [INFO] [stderr] Running tests/phase2_chain_tests.rs (/opt/rustwide/target/debug/deps/phase2_chain_tests-5405476c83010a1f) [INFO] [stdout] [INFO] [stdout] running 11 tests [INFO] [stdout] test phase2_chain_tests::test_prove_execution_chain_empty_segments_error ... ok [INFO] [stdout] test phase2_chain_tests::test_prove_execution_chain_boundary_mismatch_error ... ok [INFO] [stdout] test phase2_chain_tests::test_single_segment_yields_leaf_receipt ... ok [INFO] [stdout] test phase2_chain_tests::test_state_commitment_to_fields_consistency ... ok [INFO] [stdout] test phase2_chain_tests::test_two_segment_chain_yields_aggregation_receipt ... ok [INFO] [stdout] test phase2_chain_tests::test_link_stark_roundtrip ... ok [INFO] [stdout] test phase2_chain_tests::test_three_segment_chain_aggregation ... ok [INFO] [stdout] test phase2_chain_tests::test_four_segment_chain_full_binary_tree ... ok [INFO] [stdout] test phase2_chain_tests::test_execute_bytecode_stop_window_1 ... ok [INFO] [stdout] test phase2_chain_tests::test_execute_bytecode_add_window_size_2 ... ok [INFO] [stdout] test phase2_chain_tests::test_execute_bytecode_add_window_size_1 ... ok [INFO] [stdout] [INFO] [stdout] test result: ok. 11 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 13.22s [INFO] [stdout] [INFO] [stderr] Running tests/phase3_air_tests.rs (/opt/rustwide/target/debug/deps/phase3_air_tests-3e8134637b1c6fcb) [INFO] [stdout] [INFO] [stdout] running 10 tests [INFO] [stdout] test phase3_air_tests::test_recursive_stark_proof_hash_determinism ... ok [INFO] [stdout] test phase3_air_tests::test_recursive_stark_proof_roundtrip ... ok [INFO] [stdout] test phase3_air_tests::test_m31ext3_mul_roundtrip_batch ... ok [INFO] [stdout] test phase3_air_tests::test_ood_verifier_air_roundtrip_batch ... ok [INFO] [stdout] test phase3_air_tests::test_recursive_stark_pis_hash_mismatch_panics - should panic ... ok [INFO] [stdout] test phase3_air_tests::test_fri_query_air_roundtrip_batch ... ok [INFO] [stdout] test phase3_air_tests::test_recursive_stark_proof_over_m31ext3_mul ... ok [INFO] [stdout] test phase3_air_tests::test_poseidon2_air_roundtrip_batch ... ok [INFO] [stdout] test phase3_air_tests::test_merkle_path_air_roundtrip_depth2 ... ok [INFO] [stdout] test phase3_air_tests::test_merkle_path_air_roundtrip_depth1_left ... ok [INFO] [stdout] [INFO] [stdout] test result: ok. 10 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 1.90s [INFO] [stdout] [INFO] [stderr] Running tests/semantic_proof_tests.rs (/opt/rustwide/target/debug/deps/semantic_proof_tests-166cd26ab6865dc9) [INFO] [stdout] [INFO] [stdout] running 14 tests [INFO] [stdout] test tests::test_compile_bool_ops ... ok [INFO] [stdout] test tests::test_all_bytes_max ... ok [INFO] [stdout] test tests::test_measure_word_mul_term_size ... ignored, diagnostic size measurement; run explicitly with -- --ignored --nocapture [INFO] [stdout] test tests::test_compile_term_standalone ... ok [INFO] [stdout] test tests::test_compiled_corrupted_value_fails ... ok [INFO] [stdout] test tests::test_compile_and_verify_add_with_carry ... ok [INFO] [stdout] test tests::test_compile_and_verify_simple_add ... ok [INFO] [stdout] test tests::test_compile_and_verify_ite_axioms ... ok [INFO] [stdout] test tests::test_word_add_hybrid_witness_tamper_detected ... ok [INFO] [stdout] test tests::test_word_add_hybrid_witness_verifies ... ok [INFO] [stdout] test tests::test_word_mul_hybrid_witness_tamper_detected ... ok [INFO] [stdout] test tests::test_word_mul_hybrid_witness_verifies ... ok [INFO] [stdout] test tests::test_mul_u15_leaf_multiplicity_not_deduped ... ok [INFO] [stdout] test tests::test_compile_row_count ... ok [INFO] [stdout] [INFO] [stdout] test result: ok. 13 passed; 0 failed; 1 ignored; 0 measured; 0 filtered out; finished in 0.07s [INFO] [stdout] [INFO] [stderr] Running tests/transition_tests.rs (/opt/rustwide/target/debug/deps/transition_tests-2a1ab20687e2ee7e) [INFO] [stdout] [INFO] [stdout] running 218 tests [INFO] [stdout] test gap5_stark_sub_call_tests::test_gap5_oracle_mode_still_accepted ... ok [INFO] [stdout] test log_opcode_tests::arity_log0 ... ok [INFO] [stdout] test invalid_opcode_tests::arity_invalid ... ok [INFO] [stdout] test log_opcode_tests::arity_log1 ... ok [INFO] [stdout] test log_opcode_tests::arity_log2 ... ok [INFO] [stdout] test log_opcode_tests::arity_log4 ... ok [INFO] [stdout] test log_opcode_tests::log0_unexpected_output_rejected ... ok [INFO] [stdout] test log_opcode_tests::arity_log3 ... ok [INFO] [stdout] test mem_copy_opcode_tests::mcopy_copy_claim_mismatched_data_detected ... ok [INFO] [stdout] test mem_copy_opcode_tests::mcopy_wrong_arity_rejected ... ok [INFO] [stdout] test mem_copy_opcode_tests::mem_copy_arity_mcopy ... ok [INFO] [stdout] test mem_copy_opcode_tests::extcodecopy_wrong_arity_rejected ... ok [INFO] [stdout] test mem_copy_opcode_tests::mem_copy_arity_extcodecopy ... ok [INFO] [stdout] test mem_copy_opcode_tests::returndatacopy_wrong_arity_rejected ... ok [INFO] [stdout] test log_opcode_tests::log2_wrong_arity_rejected ... ok [INFO] [stdout] test mem_copy_opcode_tests::mem_copy_arity_returndatacopy ... ok [INFO] [stdout] test mem_copy_opcode_tests::returndatacopy_output_rejected ... ok [INFO] [stdout] test memory_consistency_tests::test_memory_consistency_proof_fails_stale_read ... ok [INFO] [stdout] test memory_consistency_tests::test_memory_consistency_proof_fails_wrong_read_after_write ... ok [INFO] [stdout] test mem_copy_opcode_tests::mcopy_copy_claim_correct_passes ... ok [INFO] [stdout] test memory_consistency_tests::test_memory_consistency_proof_fails_bad_read ... ok [INFO] [stdout] test memory_consistency_tests::test_memory_consistency_overwrite_same_address ... ok [INFO] [stdout] test memory_consistency_tests::test_memory_consistency_multiple_addresses ... ok [INFO] [stdout] test memory_consistency_tests::test_memory_consistency_proof_roundtrip_larger ... ok [INFO] [stdout] test memory_consistency_tests::test_memory_consistency_read_uninitialized_zero ... ok [INFO] [stdout] test phase2_chain_tests::test_phase2_commit_vm_state_deterministic ... ok [INFO] [stdout] test phase2_chain_tests::test_phase2_commit_vm_state_sensitive_to_stack ... ok [INFO] [stdout] test memory_consistency_tests::test_memory_consistency_empty_claims ... ok [INFO] [stdout] test phase2_chain_tests::test_phase2_link_stark_roundtrip ... ok [INFO] [stdout] test invalid_opcode_tests::invalid_verify_accepts ... ok [INFO] [stdout] test memory_consistency_tests::test_memory_consistency_write_then_read_same_value ... ok [INFO] [stdout] test remaining_opcode_tests::arity_balance ... ok [INFO] [stdout] test remaining_opcode_tests::arity_blobhash ... ok [INFO] [stdout] test remaining_opcode_tests::arity_calldatacopy ... ok [INFO] [stdout] test remaining_opcode_tests::arity_codecopy ... ok [INFO] [stdout] test memory_consistency_tests::test_memory_consistency_single_write ... ok [INFO] [stdout] test phase2_chain_tests::test_phase2_tampered_commitment_rejected ... ok [INFO] [stdout] test remaining_opcode_tests::balance_wrong_arity_rejected ... ok [INFO] [stdout] test remaining_opcode_tests::blobhash_wrong_arity_rejected ... ok [INFO] [stdout] test memory_consistency_tests::test_rw_set_two_batches_cross_read ... ok [INFO] [stdout] test remaining_opcode_tests::calldatacopy_wrong_arity_rejected ... ok [INFO] [stdout] test mem_copy_opcode_tests::mcopy_verify_proof_accepts ... ok [INFO] [stdout] test remaining_opcode_tests::codecopy_wrong_arity_rejected ... ok [INFO] [stdout] test remaining_opcode_tests::blobhash_verify_accepts ... ok [INFO] [stdout] test log_opcode_tests::log1_verify_accepts ... ok [INFO] [stdout] test log_opcode_tests::log0_verify_accepts ... ok [INFO] [stdout] test mem_copy_opcode_tests::returndatacopy_verify_proof_accepts ... ok [INFO] [stdout] test shift_tests::test_arithmetic_wff_consistency ... ok [INFO] [stdout] test log_opcode_tests::log4_verify_accepts ... ok [INFO] [stdout] test mem_copy_opcode_tests::extcodecopy_verify_proof_accepts ... ok [INFO] [stdout] test remaining_opcode_tests::codecopy_verify_accepts ... ok [INFO] [stdout] test shift_tests::test_calldataload_wrong_arity_rejected ... ok [INFO] [stdout] test gap5_stark_sub_call_tests::test_gap5_receipt_step_count_mismatch_rejected ... ok [INFO] [stdout] test remaining_opcode_tests::calldatacopy_verify_accepts ... ok [INFO] [stdout] test shift_tests::test_caller_wrong_output_count_rejected ... ok [INFO] [stdout] test gap5_stark_sub_call_tests::test_gap5_tampered_receipt_rejected ... ok [INFO] [stdout] test remaining_opcode_tests::balance_verify_accepts ... ok [INFO] [stdout] test shift_tests::test_addmod_basic ... ok [INFO] [stdout] test shift_tests::test_env_opcode_arity ... ok [INFO] [stdout] test shift_tests::test_addmod_zero_modulus ... ok [INFO] [stdout] test shift_tests::test_addmod_large ... ok [INFO] [stdout] test shift_tests::test_callvalue_verify_proof_accepts ... ok [INFO] [stdout] test shift_tests::test_coinbase_verify_proof_accepts ... ok [INFO] [stdout] test memory_consistency_tests::test_rw_set_four_batches_binary_tree ... ok [INFO] [stdout] test shift_tests::test_gas_wrong_input_count_rejected ... ok [INFO] [stdout] test shift_tests::test_keccak256_opcode_arity ... ok [INFO] [stdout] test shift_tests::test_byte_out_of_range ... ok [INFO] [stdout] test shift_tests::test_calldatasize_verify_proof_accepts ... ok [INFO] [stdout] test shift_tests::test_keccak256_verify_proof_missing_claim_rejected ... ok [INFO] [stdout] test shift_tests::test_keccak256_verify_proof_wrong_arity_rejected ... ok [INFO] [stdout] test shift_tests::test_keccak256_verify_proof_wrong_output_rejected ... ok [INFO] [stdout] test shift_tests::test_caller_verify_proof_accepts ... ok [INFO] [stdout] test shift_tests::test_chainid_verify_proof_accepts ... ok [INFO] [stdout] test shift_tests::test_address_verify_proof_accepts ... ok [INFO] [stdout] test shift_tests::test_calldataload_verify_proof_accepts ... ok [INFO] [stdout] test shift_tests::test_pc_msize_gas_opcode_arity ... ok [INFO] [stdout] test gap5_stark_sub_call_tests::test_gap5_sub_call_with_stark_receipt_accepted ... ok [INFO] [stdout] test shift_tests::test_pc_wrong_output_count_rejected ... ok [INFO] [stdout] test shift_tests::test_return_opcode_arity ... ok [INFO] [stdout] test phase2_chain_tests::test_phase2_single_segment_chain ... ok [INFO] [stdout] test shift_tests::test_return_wrong_arity_rejected ... ok [INFO] [stdout] test shift_tests::test_exp_basic ... ok [INFO] [stdout] test shift_tests::test_gas_verify_proof_accepts ... ok [INFO] [stdout] test shift_tests::test_exp_mod_overflow ... ok [INFO] [stdout] test shift_tests::test_pc_verify_proof_accepts ... ok [INFO] [stdout] test shift_tests::test_exp_zero_base ... ok [INFO] [stdout] test shift_tests::test_shift_wff_infer_roundtrip ... ok [INFO] [stdout] test shift_tests::test_keccak256_verify_proof_abc_accepts ... ok [INFO] [stdout] test shift_tests::test_exp_zero_exponent ... ok [INFO] [stdout] test shift_tests::test_msize_verify_proof_accepts ... ok [INFO] [stdout] test shift_tests::test_mulmod_zero_modulus ... ok [INFO] [stdout] test shift_tests::test_shl_wrong_result_rejected ... ok [INFO] [stdout] test shift_tests::test_mulmod_basic ... ok [INFO] [stdout] test shift_tests::test_mulmod_large ... ok [INFO] [stdout] test shift_tests::test_keccak256_verify_proof_empty_input_accepts ... ok [INFO] [stdout] test shift_tests::test_return_verify_proof_accepts ... ok [INFO] [stdout] test shift_tests::test_shr_wrong_result_rejected ... ok [INFO] [stdout] test shift_tests::test_revert_verify_proof_accepts ... ok [INFO] [stdout] test shift_tests::test_sar_negative_number_fills_ones ... ok [INFO] [stdout] test shift_tests::test_shl_sub_byte_shift ... ok [INFO] [stdout] test shift_tests::test_sar_overflow_shift_positive_gives_zero ... ok [INFO] [stdout] test shift_tests::test_sload_sstore_opcode_arity ... ok [INFO] [stdout] test shift_tests::test_sar_positive_number ... ok [INFO] [stdout] test shift_tests::test_sload_wrong_arity_rejected ... ok [INFO] [stdout] test shift_tests::test_sar_overflow_shift_negative_gives_all_ones ... ok [INFO] [stdout] test shift_tests::test_sstore_wrong_arity_rejected ... ok [INFO] [stdout] test shift_tests::test_tier1_opcode_arity ... ok [INFO] [stdout] test shift_tests::test_tier1_wrong_input_count_rejected ... ok [INFO] [stdout] test shift_tests::test_shl_mixed_8n_plus_m ... ok [INFO] [stdout] test shift_tests::test_signextend_negative ... ok [INFO] [stdout] test storage_consistency_tests::stor_contradictory_reads_fail ... ok [INFO] [stdout] test shift_tests::test_shr_zero_shift ... ok [INFO] [stdout] test storage_consistency_tests::stor_invalid_read_after_write_mismatch_fails ... ok [INFO] [stdout] test shift_tests::test_shr_overflow_shift_gives_zero ... ok [INFO] [stdout] test shift_tests::test_shl_exact_byte_shift ... ok [INFO] [stdout] test storage_consistency_tests::stor_empty_batch_proves_and_verifies ... ok [INFO] [stdout] test storage_consistency_tests::stor_last_write_wins ... ok [INFO] [stdout] test storage_consistency_tests::stor_repeated_consistent_reads_pass ... ok [INFO] [stdout] test storage_consistency_tests::stor_multiple_slots_and_contracts ... ok [INFO] [stdout] test storage_consistency_tests::stor_read_before_write_is_in_read_set ... ok [INFO] [stdout] test shift_tests::test_shl_overflow_shift_gives_zero ... ok [INFO] [stdout] test storage_consistency_tests::stor_large_batch_proves_and_verifies ... ok [INFO] [stdout] test subcall_opcode_tests::arity_call ... ok [INFO] [stdout] test subcall_opcode_tests::arity_callcode ... ok [INFO] [stdout] test subcall_opcode_tests::arity_create ... ok [INFO] [stdout] test subcall_opcode_tests::arity_create2 ... ok [INFO] [stdout] test subcall_opcode_tests::arity_delegatecall ... ok [INFO] [stdout] test subcall_opcode_tests::arity_selfdestruct ... ok [INFO] [stdout] test subcall_opcode_tests::arity_staticcall ... ok [INFO] [stdout] test storage_consistency_tests::stor_single_read_goes_to_read_set ... ok [INFO] [stdout] test shift_tests::test_signextend_positive ... ok [INFO] [stdout] test shift_tests::test_signextend_passthrough ... ok [INFO] [stdout] test subcall_opcode_tests::call_wrong_arity_rejected ... ok [INFO] [stdout] test subcall_opcode_tests::create_wrong_output_rejected ... ok [INFO] [stdout] test shift_tests::test_sload_verify_proof_accepts ... ok [INFO] [stdout] test storage_consistency_tests::stor_single_write_proves_and_verifies ... ok [INFO] [stdout] test storage_consistency_tests::stor_write_then_read_stays_in_write_set_only ... ok [INFO] [stdout] test test_phase1_oracle_sub_call_accepted ... ok [INFO] [stdout] test test_phase1_sub_call_depth_exceeded_rejected ... ok [INFO] [stdout] test test_phase1_sub_call_return_data_mismatch_rejected ... ok [INFO] [stdout] test test_phase1_sub_call_revert_verifies ... ok [INFO] [stdout] test test_phase1_sub_call_success_verifies ... ok [INFO] [stdout] test storage_consistency_tests::stor_aggregate_two_batches_cross_dep ... ok [INFO] [stdout] test shift_tests::test_shr_mixed_8n_plus_m ... ok [INFO] [stdout] test shift_tests::test_shl_zero_shift ... ok [INFO] [stdout] test test_stack_consistency_intra_batch_logup ... ok [INFO] [stdout] test shift_tests::test_shr_exact_byte_shift ... ok [INFO] [stdout] test storage_consistency_tests::stor_writes_in_multiple_batches_no_cross_batch_dep ... ok [INFO] [stdout] test tests::test_binary_arith_wrong_output_fails ... ok [INFO] [stdout] test shift_tests::test_sstore_verify_proof_accepts ... ok [INFO] [stdout] test tests::test_bitwise_wrong_output_fails ... ok [INFO] [stdout] test tests::test_comparison_opcodes_in_wff_target_match ... ok [INFO] [stdout] test subcall_opcode_tests::call_verify_accepts ... ok [INFO] [stdout] test storage_consistency_tests::stor_aggregate_tree_four_batches ... ok [INFO] [stdout] test tests::test_div_transition_pair_form_wrong_output_fails ... ok [INFO] [stdout] test subcall_opcode_tests::selfdestruct_verify_accepts ... ok [INFO] [stdout] test tests::test_eq_rejects_wrong_output ... ok [INFO] [stdout] test subcall_opcode_tests::delegatecall_verify_accepts ... ok [INFO] [stdout] test phase2_chain_tests::test_phase2_prove_verify_execution_chain_3_segments ... ok [INFO] [stdout] test subcall_opcode_tests::create_verify_accepts ... ok [INFO] [stdout] test tests::test_eq_false_when_different ... ok [INFO] [stdout] test subcall_opcode_tests::create2_verify_accepts ... ok [INFO] [stdout] test tests::test_eq_true_when_equal ... ok [INFO] [stdout] test tests::test_lt_rejects_wrong_output ... ok [INFO] [stdout] test tests::test_iszero_true_for_zero ... ok [INFO] [stdout] test tests::test_mload_statement_semantics_passes ... ok [INFO] [stdout] test tests::test_lt_false_when_equal ... ok [INFO] [stdout] test tests::test_mod_transition_pair_form_wrong_output_fails ... ok [INFO] [stdout] test tests::test_mstore8_statement_semantics_passes_on_single_byte_patch ... ok [INFO] [stdout] test tests::test_mstore_statement_semantics_passes ... ok [INFO] [stdout] test tests::test_div_transition_pair_form_success ... ok [INFO] [stdout] test tests::test_mul_transition_byte_local_wrong_output_fails ... ok [INFO] [stdout] test tests::test_gt_true_when_greater ... ok [INFO] [stdout] test tests::test_opcode_target_wff_matches_inferred_proof_for_supported_ops ... ok [INFO] [stdout] test tests::test_lt_false_when_greater_or_equal ... ok [INFO] [stdout] test tests::test_iszero_false_for_nonzero ... ok [INFO] [stdout] test tests::test_binary_arith_simple_transition ... ok [INFO] [stdout] test test_and_debug_internals ... ok [INFO] [stdout] test tests::test_binary_arith_with_carry_transition ... ok [INFO] [stdout] test tests::test_sdiv_transition_pair_form_wrong_output_fails ... ok [INFO] [stdout] test tests::test_lt_true_when_less ... ok [INFO] [stdout] test tests::test_add_transition_zkp_passes_with_stack_lut_kernel ... ok [INFO] [stdout] test tests::test_binary_arith_large_values_transition ... ok [INFO] [stdout] test tests::test_push_no_proof ... ok [INFO] [stdout] test tests::test_mod_transition_pair_form_success ... ok [INFO] [stdout] test tests::test_smod_transition_pair_form_wrong_output_fails ... ok [INFO] [stdout] test tests::test_slt_positive_not_less_than_negative ... ok [INFO] [stdout] test tests::test_structural_pop_wrong_arity_fails ... ok [INFO] [stdout] test tests::test_structural_push_wrong_arity_fails ... ok [INFO] [stdout] test tests::test_and_transition_success ... ok [INFO] [stdout] test tests::test_sub_transition_wrong_output_fails ... ok [INFO] [stdout] test tests::test_slt_negative_less_than_positive ... ok [INFO] [stdout] test tests::test_transition_semantic_and_proofrow_verification ... ok [INFO] [stdout] test tests::test_transition_semantic_or_proofrow_fail_on_wrong_output ... ok [INFO] [stdout] test tests::test_mul_transition_byte_local_success ... ok [INFO] [stdout] test tests::test_zkp_rejects_forged_opcode_proof_mismatch ... ok [INFO] [stdout] test tests::test_zkp_rejects_forged_semantic_proof_shape ... ok [INFO] [stdout] test tload_tstore_tests::arity_tload ... ok [INFO] [stdout] test tload_tstore_tests::arity_tstore ... ok [INFO] [stdout] test tests::test_sgt_positive_greater_than_negative ... ok [INFO] [stdout] test tload_tstore_tests::tload_wrong_arity_rejected ... ok [INFO] [stdout] test tests::test_structural_op_no_proof ... ok [INFO] [stdout] test tload_tstore_tests::tstore_wrong_arity_rejected ... ok [INFO] [stdout] test shift_tests::test_byte_opcode has been running for over 60 seconds [INFO] [stdout] test tests::test_sdiv_transition_pair_form_success ... ok [INFO] [stdout] test tests::test_sdiv_int_min_overflow_case_fixed ... ok [INFO] [stdout] test tload_tstore_tests::tstore_verify_accepts ... ok [INFO] [stdout] test tload_tstore_tests::tload_verify_accepts ... ok [INFO] [stdout] test tests::test_smod_int_min_by_neg_one_is_zero ... ok [INFO] [stdout] test tests::test_div_mod_zero_divisor_output_zero ... ok [INFO] [stdout] test tests::test_or_transition_success ... ok [INFO] [stdout] test tests::test_smod_transition_pair_form_success ... ok [INFO] [stdout] test tests::test_not_transition_success ... ok [INFO] [stdout] test tests::test_sdiv_smod_zero_divisor_output_zero ... ok [INFO] [stdout] test tests::test_xor_transition_success ... ok [INFO] [stdout] test tests::test_transaction_arithmetic_chain ... ok [INFO] [stdout] test tests::test_sub_transition_via_add_form ... ok [INFO] [stdout] test tests::test_cross_family_opcodes_zkp_receipt_passes has been running for over 60 seconds [INFO] [stdout] test tests::test_cross_family_opcodes_zkp_receipt_passes ... ok [INFO] [stdout] test shift_tests::test_byte_opcode ... ok [INFO] [stdout] [INFO] [stdout] test result: ok. 218 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 110.45s [INFO] [stdout] [INFO] [stderr] Running tests/zk_proof_tests.rs (/opt/rustwide/target/debug/deps/zk_proof_tests-f39e56275d2f8b2b) [INFO] [stdout] [INFO] [stdout] running 56 tests [INFO] [stdout] test keccak_memory_cross_check_tests::cross_check_empty_keccak_log ... ok [INFO] [stdout] test batch_lut_tests::test_validate_manifest_rows_gap4_arithmetic_range ... ok [INFO] [stdout] test batch_lut_tests::test_validate_manifest_rows_gap3_byte_op_wrong_value ... ok [INFO] [stdout] test keccak_memory_cross_check_tests::cross_check_uses_read_log_for_cross_batch_reads ... ok [INFO] [stdout] test keccak_memory_cross_check_tests::cross_check_spanning_two_words ... ok [INFO] [stdout] test keccak_memory_cross_check_tests::cross_check_write_overrides_read_log ... ok [INFO] [stdout] test keccak_memory_cross_check_tests::cross_check_subword_range ... ok [INFO] [stdout] test lut_prep_tests::test_lut_trace_from_proof_rows_dimensions ... ok [INFO] [stdout] test keccak_memory_cross_check_tests::cross_check_single_word_exact_match ... ok [INFO] [stdout] test preprocessed_rows_tests::test_preprocessed_matrix_dimensions ... ok [INFO] [stdout] test preprocessed_rows_tests::test_preprocessed_matrix_row_values ... ok [INFO] [stdout] test batch_lut_tests::test_batch_manifest_digest_is_deterministic ... ok [INFO] [stdout] test batch_lut_tests::test_batch_manifest_row_boundaries_are_contiguous ... ok [INFO] [stdout] test preprocessed_rows_tests::test_setup_proof_rows_preprocessed_ok ... ok [INFO] [stdout] test preprocessed_rows_tests::test_verify_fails_with_wrong_prep_vk ... ok [INFO] [stdout] test keccak_memory_cross_check_tests::cross_check_missing_memory_word_fails ... FAILED [INFO] [stdout] test tests::test_add_family_lut_builder_rejects_foreign_row ... ok [INFO] [stdout] test keccak_memory_cross_check_tests::cross_check_tampered_input_bytes_fails ... FAILED [INFO] [stdout] test keccak_memory_cross_check_tests::cross_check_wrong_memory_value_fails ... FAILED [INFO] [stdout] test tests::test_build_lut_steps_rejects_structural_rows ... ok [INFO] [stdout] test tests::test_build_lut_trace_accepts_bit_level_bit_ops_inputs ... ok [INFO] [stdout] test tests::test_build_lut_trace_accepts_byte_level_bit_ops_inputs ... ok [INFO] [stdout] test tests::test_build_stack_ir_steps_from_rows_eq_refl ... ok [INFO] [stdout] test tests::test_build_lut_trace_rejects_out_of_byte_range_bit_ops_inputs ... ok [INFO] [stdout] test tests::test_mul_family_lut_builder_rejects_foreign_row ... ok [INFO] [stdout] test keccak_memory_cross_check_tests::keccak_empty_input_roundtrip ... ok [INFO] [stdout] test keccak_memory_cross_check_tests::keccak_prove_verify_roundtrip ... ok [INFO] [stdout] test tests::test_mul_leaf_tamper_rejected_by_wff_match ... ok [INFO] [stdout] test lut_prep_tests::test_lut_verify_fails_with_wrong_prep_vk ... ok [INFO] [stdout] test tests::test_prove_and_verify_stage1_from_compiled_rows ... ok [INFO] [stdout] test tests::test_prove_and_verify_stage1_simple_semantic_rows ... ok [INFO] [stdout] test tests::test_add_composite_stack_lut_roundtrip ... ok [INFO] [stdout] test tests::test_prove_and_verify_stage1_overflow_semantic_rows ... ok [INFO] [stdout] test tests::test_stage_a_fails_on_wrong_public_wff ... ok [INFO] [stdout] test tests::test_add_composite_stack_lut_rejects_non_add_rowset ... ok [INFO] [stdout] test tests::test_stage_a_rejects_forged_u29_to_u24_opcode_downgrade ... ok [INFO] [stdout] test tests::test_stage_a_rejects_forged_u29_carry_chain_break ... ok [INFO] [stdout] test tests::test_stage_a_semantic_trace_generation ... ok [INFO] [stdout] test tests::test_stage_a_supports_non_add_infer_path ... ok [INFO] [stdout] test tests::test_stage_a_trace_rejects_out_of_range_row ... ok [INFO] [stdout] test tests::test_wff_match_fails_on_wrong_output ... ok [INFO] [stdout] test tests::test_stack_ir_scaffold_supports_add_rows ... ok [INFO] [stdout] test keccak_memory_cross_check_tests::keccak_multiple_claims_roundtrip ... ok [INFO] [stdout] test tests::test_prove_and_verify_stage1_zero_semantic_rows ... ok [INFO] [stdout] test tests::test_stack_ir_scaffold_stark_eq_refl_roundtrip ... ok [INFO] [stdout] test preprocessed_rows_tests::test_prove_verify_stack_ir_with_prep_roundtrip ... ok [INFO] [stdout] test tests::test_prove_and_verify_stage1_large_semantic_rows ... ok [INFO] [stdout] test tests::test_mul_composite_stack_lut_roundtrip ... ok [INFO] [stdout] test tests::test_stage_a_success ... ok [INFO] [stdout] test tests::test_prove_and_verify_stage2_wff_match ... ok [INFO] [stdout] test batch_lut_tests::test_batch_verify_rejects_opcode_mismatch ... ok [INFO] [stdout] test lut_prep_tests::test_prove_verify_lut_with_prep_roundtrip ... ok [INFO] [stdout] test batch_lut_tests::test_batch_verify_rejects_wrong_statement_count ... ok [INFO] [stdout] test lut_prep_tests::test_stack_ir_and_batch_lut_verify_with_correct_vks ... ok [INFO] [stdout] test batch_lut_tests::test_batch_and_receipt_roundtrip_correct_values ... ok [INFO] [stdout] test batch_lut_tests::test_batch_lut_prove_verify_roundtrip ... ok [INFO] [stdout] [INFO] [stdout] failures: [INFO] [stdout] [INFO] [stdout] ---- keccak_memory_cross_check_tests::cross_check_missing_memory_word_fails stdout ---- [INFO] [stdout] [INFO] [stdout] thread 'keccak_memory_cross_check_tests::cross_check_missing_memory_word_fails' (374) panicked at crates/zprove-core/tests/zk_proof_tests.rs:1305:5: [INFO] [stdout] missing memory word must fail cross-check [INFO] [stdout] stack backtrace: [INFO] [stdout] 0: 0x5f1731f432ca - std[e72de78501789eb0]::backtrace_rs::backtrace::libunwind::trace [INFO] [stdout] at /rustc/dec9417b8611e34e787a3e4c37686b5131f9e5c5/library/std/src/../../backtrace/src/backtrace/libunwind.rs:117:9 [INFO] [stdout] 1: 0x5f1731f432ca - std[e72de78501789eb0]::backtrace_rs::backtrace::trace_unsynchronized:: [INFO] [stdout] at /rustc/dec9417b8611e34e787a3e4c37686b5131f9e5c5/library/std/src/../../backtrace/src/backtrace/mod.rs:66:14 [INFO] [stdout] 2: 0x5f1731f432ca - std[e72de78501789eb0]::sys::backtrace::_print_fmt [INFO] [stdout] at /rustc/dec9417b8611e34e787a3e4c37686b5131f9e5c5/library/std/src/sys/backtrace.rs:74:9 [INFO] [stdout] 3: 0x5f1731f432ca - <::print::DisplayBacktrace as core[6aaeda2c7ad07a48]::fmt::Display>::fmt [INFO] [stdout] at /rustc/dec9417b8611e34e787a3e4c37686b5131f9e5c5/library/std/src/sys/backtrace.rs:44:26 [INFO] [stdout] 4: 0x5f1731f5729a - ::fmt [INFO] [stdout] at /rustc/dec9417b8611e34e787a3e4c37686b5131f9e5c5/library/core/src/fmt/rt.rs:152:76 [INFO] [stdout] 5: 0x5f1731f5729a - core[6aaeda2c7ad07a48]::fmt::write [INFO] [stdout] 6: 0x5f1731f47ba2 - std[e72de78501789eb0]::io::default_write_fmt::> [INFO] [stdout] at /rustc/dec9417b8611e34e787a3e4c37686b5131f9e5c5/library/std/src/io/mod.rs:639:11 [INFO] [stdout] 7: 0x5f1731f47ba2 - as std[e72de78501789eb0]::io::Write>::write_fmt [INFO] [stdout] at /rustc/dec9417b8611e34e787a3e4c37686b5131f9e5c5/library/std/src/io/mod.rs:1994:13 [INFO] [stdout] 8: 0x5f1731f2216f - ::print [INFO] [stdout] at /rustc/dec9417b8611e34e787a3e4c37686b5131f9e5c5/library/std/src/sys/backtrace.rs:47:9 [INFO] [stdout] 9: 0x5f1731f2216f - std[e72de78501789eb0]::panicking::default_hook::{closure#0} [INFO] [stdout] at /rustc/dec9417b8611e34e787a3e4c37686b5131f9e5c5/library/std/src/panicking.rs:292:27 [INFO] [stdout] 10: 0x5f1731f3b639 - std[e72de78501789eb0]::panicking::default_hook [INFO] [stdout] at /rustc/dec9417b8611e34e787a3e4c37686b5131f9e5c5/library/std/src/panicking.rs:316:9 [INFO] [stdout] 11: 0x5f1731af0b6c - core[6aaeda2c7ad07a48]::ops::function::Fn<(&'a std[e72de78501789eb0]::panic::PanicHookInfo<'b>,), Output = ()> + core[6aaeda2c7ad07a48]::marker::Sync + core[6aaeda2c7ad07a48]::marker::Send> as core[6aaeda2c7ad07a48]::ops::function::Fn<(&std[e72de78501789eb0]::panic::PanicHookInfo,)>>::call [INFO] [stdout] at /rustc/dec9417b8611e34e787a3e4c37686b5131f9e5c5/library/alloc/src/boxed.rs:2254:9 [INFO] [stdout] 12: 0x5f1731af0b6c - test[4f12b380f1fb68c5]::test_main_with_exit_callback::::{closure#0} [INFO] [stdout] at /rustc/dec9417b8611e34e787a3e4c37686b5131f9e5c5/library/test/src/lib.rs:145:21 [INFO] [stdout] 13: 0x5f1731f3b8b2 - core[6aaeda2c7ad07a48]::ops::function::Fn<(&'a std[e72de78501789eb0]::panic::PanicHookInfo<'b>,), Output = ()> + core[6aaeda2c7ad07a48]::marker::Sync + core[6aaeda2c7ad07a48]::marker::Send> as core[6aaeda2c7ad07a48]::ops::function::Fn<(&std[e72de78501789eb0]::panic::PanicHookInfo,)>>::call [INFO] [stdout] at /rustc/dec9417b8611e34e787a3e4c37686b5131f9e5c5/library/alloc/src/boxed.rs:2254:9 [INFO] [stdout] 14: 0x5f1731f3b8b2 - std[e72de78501789eb0]::panicking::panic_with_hook [INFO] [stdout] at /rustc/dec9417b8611e34e787a3e4c37686b5131f9e5c5/library/std/src/panicking.rs:833:13 [INFO] [stdout] 15: 0x5f1731f2225a - std[e72de78501789eb0]::panicking::panic_handler::{closure#0} [INFO] [stdout] at /rustc/dec9417b8611e34e787a3e4c37686b5131f9e5c5/library/std/src/panicking.rs:691:13 [INFO] [stdout] 16: 0x5f1731f19bc9 - std[e72de78501789eb0]::sys::backtrace::__rust_end_short_backtrace:: [INFO] [stdout] at /rustc/dec9417b8611e34e787a3e4c37686b5131f9e5c5/library/std/src/sys/backtrace.rs:182:18 [INFO] [stdout] 17: 0x5f1731f22f3d - __rustc[78a4cf188af856fc]::rust_begin_unwind [INFO] [stdout] at /rustc/dec9417b8611e34e787a3e4c37686b5131f9e5c5/library/std/src/panicking.rs:689:5 [INFO] [stdout] 18: 0x5f1731f57a5c - core[6aaeda2c7ad07a48]::panicking::panic_fmt [INFO] [stdout] at /rustc/dec9417b8611e34e787a3e4c37686b5131f9e5c5/library/core/src/panicking.rs:80:14 [INFO] [stdout] 19: 0x5f1731ae264d - zk_proof_tests[79fee27c1e1b2823]::keccak_memory_cross_check_tests::cross_check_missing_memory_word_fails [INFO] [stdout] at /opt/rustwide/workdir/crates/zprove-core/tests/zk_proof_tests.rs:1305:5 [INFO] [stdout] 20: 0x5f1731adda87 - zk_proof_tests[79fee27c1e1b2823]::keccak_memory_cross_check_tests::cross_check_missing_memory_word_fails::{closure#0} [INFO] [stdout] at /opt/rustwide/workdir/crates/zprove-core/tests/zk_proof_tests.rs:1294:45 [INFO] [stdout] 21: 0x5f1731ae4486 - >::call_once [INFO] [stdout] at /rustc/dec9417b8611e34e787a3e4c37686b5131f9e5c5/library/core/src/ops/function.rs:250:5 [INFO] [stdout] 22: 0x5f1731ae4c4b - core[6aaeda2c7ad07a48]::result::Result<(), alloc[28d2dab30c1dc666]::string::String> as core[6aaeda2c7ad07a48]::ops::function::FnOnce<()>>::call_once [INFO] [stdout] at /rustc/dec9417b8611e34e787a3e4c37686b5131f9e5c5/library/core/src/ops/function.rs:250:5 [INFO] [stdout] 23: 0x5f1731ae4c4b - test[4f12b380f1fb68c5]::__rust_begin_short_backtrace::, fn() -> core[6aaeda2c7ad07a48]::result::Result<(), alloc[28d2dab30c1dc666]::string::String>> [INFO] [stdout] at /rustc/dec9417b8611e34e787a3e4c37686b5131f9e5c5/library/test/src/lib.rs:663:18 [INFO] [stdout] 24: 0x5f1731af163b - test[4f12b380f1fb68c5]::run_test_in_process::{closure#0} [INFO] [stdout] at /rustc/dec9417b8611e34e787a3e4c37686b5131f9e5c5/library/test/src/lib.rs:686:74 [INFO] [stdout] 25: 0x5f1731af163b - as core[6aaeda2c7ad07a48]::ops::function::FnOnce<()>>::call_once [INFO] [stdout] at /rustc/dec9417b8611e34e787a3e4c37686b5131f9e5c5/library/core/src/panic/unwind_safe.rs:275:9 [INFO] [stdout] 26: 0x5f1731af163b - std[e72de78501789eb0]::panicking::catch_unwind::do_call::, core[6aaeda2c7ad07a48]::result::Result<(), alloc[28d2dab30c1dc666]::string::String>> [INFO] [stdout] at /rustc/dec9417b8611e34e787a3e4c37686b5131f9e5c5/library/std/src/panicking.rs:581:40 [INFO] [stdout] 27: 0x5f1731af163b - std[e72de78501789eb0]::panicking::catch_unwind::, core[6aaeda2c7ad07a48]::panic::unwind_safe::AssertUnwindSafe> [INFO] [stdout] at /rustc/dec9417b8611e34e787a3e4c37686b5131f9e5c5/library/std/src/panicking.rs:544:19 [INFO] [stdout] 28: 0x5f1731af163b - std[e72de78501789eb0]::panic::catch_unwind::, core[6aaeda2c7ad07a48]::result::Result<(), alloc[28d2dab30c1dc666]::string::String>> [INFO] [stdout] at /rustc/dec9417b8611e34e787a3e4c37686b5131f9e5c5/library/std/src/panic.rs:359:14 [INFO] [stdout] 29: 0x5f1731af163b - test[4f12b380f1fb68c5]::run_test_in_process [INFO] [stdout] at /rustc/dec9417b8611e34e787a3e4c37686b5131f9e5c5/library/test/src/lib.rs:686:27 [INFO] [stdout] 30: 0x5f1731af163b - test[4f12b380f1fb68c5]::run_test::{closure#0} [INFO] [stdout] at /rustc/dec9417b8611e34e787a3e4c37686b5131f9e5c5/library/test/src/lib.rs:607:43 [INFO] [stdout] 31: 0x5f1731aecd54 - test[4f12b380f1fb68c5]::run_test::{closure#1} [INFO] [stdout] at /rustc/dec9417b8611e34e787a3e4c37686b5131f9e5c5/library/test/src/lib.rs:637:41 [INFO] [stdout] 32: 0x5f1731aecd54 - std[e72de78501789eb0]::sys::backtrace::__rust_begin_short_backtrace:: [INFO] [stdout] at /rustc/dec9417b8611e34e787a3e4c37686b5131f9e5c5/library/std/src/sys/backtrace.rs:166:18 [INFO] [stdout] 33: 0x5f1731af4242 - std[e72de78501789eb0]::thread::lifecycle::spawn_unchecked::::{closure#1}::{closure#0} [INFO] [stdout] at /rustc/dec9417b8611e34e787a3e4c37686b5131f9e5c5/library/std/src/thread/lifecycle.rs:91:13 [INFO] [stdout] 34: 0x5f1731af4242 - ::{closure#1}::{closure#0}> as core[6aaeda2c7ad07a48]::ops::function::FnOnce<()>>::call_once [INFO] [stdout] at /rustc/dec9417b8611e34e787a3e4c37686b5131f9e5c5/library/core/src/panic/unwind_safe.rs:275:9 [INFO] [stdout] 35: 0x5f1731af4242 - std[e72de78501789eb0]::panicking::catch_unwind::do_call::::{closure#1}::{closure#0}>, ()> [INFO] [stdout] at /rustc/dec9417b8611e34e787a3e4c37686b5131f9e5c5/library/std/src/panicking.rs:581:40 [INFO] [stdout] 36: 0x5f1731af4242 - std[e72de78501789eb0]::panicking::catch_unwind::<(), core[6aaeda2c7ad07a48]::panic::unwind_safe::AssertUnwindSafe::{closure#1}::{closure#0}>> [INFO] [stdout] at /rustc/dec9417b8611e34e787a3e4c37686b5131f9e5c5/library/std/src/panicking.rs:544:19 [INFO] [stdout] 37: 0x5f1731af4242 - std[e72de78501789eb0]::panic::catch_unwind::::{closure#1}::{closure#0}>, ()> [INFO] [stdout] at /rustc/dec9417b8611e34e787a3e4c37686b5131f9e5c5/library/std/src/panic.rs:359:14 [INFO] [stdout] 38: 0x5f1731af4242 - std[e72de78501789eb0]::thread::lifecycle::spawn_unchecked::::{closure#1} [INFO] [stdout] at /rustc/dec9417b8611e34e787a3e4c37686b5131f9e5c5/library/std/src/thread/lifecycle.rs:89:26 [INFO] [stdout] 39: 0x5f1731af4242 - ::{closure#1} as core[6aaeda2c7ad07a48]::ops::function::FnOnce<()>>::call_once::{shim:vtable#0} [INFO] [stdout] at /rustc/dec9417b8611e34e787a3e4c37686b5131f9e5c5/library/core/src/ops/function.rs:250:5 [INFO] [stdout] 40: 0x5f1731f42b9f - + core[6aaeda2c7ad07a48]::marker::Send> as core[6aaeda2c7ad07a48]::ops::function::FnOnce<()>>::call_once [INFO] [stdout] at /rustc/dec9417b8611e34e787a3e4c37686b5131f9e5c5/library/alloc/src/boxed.rs:2240:9 [INFO] [stdout] 41: 0x5f1731f42b9f - ::new::thread_start [INFO] [stdout] at /rustc/dec9417b8611e34e787a3e4c37686b5131f9e5c5/library/std/src/sys/thread/unix.rs:118:17 [INFO] [stdout] 42: 0x7b1fc5b30aa4 - [INFO] [stdout] 43: 0x7b1fc5bbda64 - clone [INFO] [stdout] 44: 0x0 - [INFO] [stdout] [INFO] [stdout] ---- keccak_memory_cross_check_tests::cross_check_tampered_input_bytes_fails stdout ---- [INFO] [stdout] [INFO] [stdout] thread 'keccak_memory_cross_check_tests::cross_check_tampered_input_bytes_fails' (378) panicked at crates/zprove-core/tests/zk_proof_tests.rs:1329:5: [INFO] [stdout] tampered input_bytes must fail cross-check [INFO] [stdout] stack backtrace: [INFO] [stdout] 0: 0x5f1731f432ca - std[e72de78501789eb0]::backtrace_rs::backtrace::libunwind::trace [INFO] [stdout] at /rustc/dec9417b8611e34e787a3e4c37686b5131f9e5c5/library/std/src/../../backtrace/src/backtrace/libunwind.rs:117:9 [INFO] [stdout] 1: 0x5f1731f432ca - std[e72de78501789eb0]::backtrace_rs::backtrace::trace_unsynchronized:: [INFO] [stdout] at /rustc/dec9417b8611e34e787a3e4c37686b5131f9e5c5/library/std/src/../../backtrace/src/backtrace/mod.rs:66:14 [INFO] [stdout] 2: 0x5f1731f432ca - std[e72de78501789eb0]::sys::backtrace::_print_fmt [INFO] [stdout] at /rustc/dec9417b8611e34e787a3e4c37686b5131f9e5c5/library/std/src/sys/backtrace.rs:74:9 [INFO] [stdout] 3: 0x5f1731f432ca - <::print::DisplayBacktrace as core[6aaeda2c7ad07a48]::fmt::Display>::fmt [INFO] [stdout] at /rustc/dec9417b8611e34e787a3e4c37686b5131f9e5c5/library/std/src/sys/backtrace.rs:44:26 [INFO] [stdout] 4: 0x5f1731f5729a - ::fmt [INFO] [stdout] at /rustc/dec9417b8611e34e787a3e4c37686b5131f9e5c5/library/core/src/fmt/rt.rs:152:76 [INFO] [stdout] 5: 0x5f1731f5729a - core[6aaeda2c7ad07a48]::fmt::write [INFO] [stdout] 6: 0x5f1731f47ba2 - std[e72de78501789eb0]::io::default_write_fmt::> [INFO] [stdout] at /rustc/dec9417b8611e34e787a3e4c37686b5131f9e5c5/library/std/src/io/mod.rs:639:11 [INFO] [stdout] 7: 0x5f1731f47ba2 - as std[e72de78501789eb0]::io::Write>::write_fmt [INFO] [stdout] at /rustc/dec9417b8611e34e787a3e4c37686b5131f9e5c5/library/std/src/io/mod.rs:1994:13 [INFO] [stdout] 8: 0x5f1731f2216f - ::print [INFO] [stdout] at /rustc/dec9417b8611e34e787a3e4c37686b5131f9e5c5/library/std/src/sys/backtrace.rs:47:9 [INFO] [stdout] 9: 0x5f1731f2216f - std[e72de78501789eb0]::panicking::default_hook::{closure#0} [INFO] [stdout] at /rustc/dec9417b8611e34e787a3e4c37686b5131f9e5c5/library/std/src/panicking.rs:292:27 [INFO] [stdout] 10: 0x5f1731f3b639 - std[e72de78501789eb0]::panicking::default_hook [INFO] [stdout] at /rustc/dec9417b8611e34e787a3e4c37686b5131f9e5c5/library/std/src/panicking.rs:316:9 [INFO] [stdout] 11: 0x5f1731af0b6c - core[6aaeda2c7ad07a48]::ops::function::Fn<(&'a std[e72de78501789eb0]::panic::PanicHookInfo<'b>,), Output = ()> + core[6aaeda2c7ad07a48]::marker::Sync + core[6aaeda2c7ad07a48]::marker::Send> as core[6aaeda2c7ad07a48]::ops::function::Fn<(&std[e72de78501789eb0]::panic::PanicHookInfo,)>>::call [INFO] [stdout] at /rustc/dec9417b8611e34e787a3e4c37686b5131f9e5c5/library/alloc/src/boxed.rs:2254:9 [INFO] [stdout] 12: 0x5f1731af0b6c - test[4f12b380f1fb68c5]::test_main_with_exit_callback::::{closure#0} [INFO] [stdout] at /rustc/dec9417b8611e34e787a3e4c37686b5131f9e5c5/library/test/src/lib.rs:145:21 [INFO] [stdout] 13: 0x5f1731f3b8b2 - core[6aaeda2c7ad07a48]::ops::function::Fn<(&'a std[e72de78501789eb0]::panic::PanicHookInfo<'b>,), Output = ()> + core[6aaeda2c7ad07a48]::marker::Sync + core[6aaeda2c7ad07a48]::marker::Send> as core[6aaeda2c7ad07a48]::ops::function::Fn<(&std[e72de78501789eb0]::panic::PanicHookInfo,)>>::call [INFO] [stdout] at /rustc/dec9417b8611e34e787a3e4c37686b5131f9e5c5/library/alloc/src/boxed.rs:2254:9 [INFO] [stdout] 14: 0x5f1731f3b8b2 - std[e72de78501789eb0]::panicking::panic_with_hook [INFO] [stdout] at /rustc/dec9417b8611e34e787a3e4c37686b5131f9e5c5/library/std/src/panicking.rs:833:13 [INFO] [stdout] 15: 0x5f1731f2225a - std[e72de78501789eb0]::panicking::panic_handler::{closure#0} [INFO] [stdout] at /rustc/dec9417b8611e34e787a3e4c37686b5131f9e5c5/library/std/src/panicking.rs:691:13 [INFO] [stdout] 16: 0x5f1731f19bc9 - std[e72de78501789eb0]::sys::backtrace::__rust_end_short_backtrace:: [INFO] [stdout] at /rustc/dec9417b8611e34e787a3e4c37686b5131f9e5c5/library/std/src/sys/backtrace.rs:182:18 [INFO] [stdout] 17: 0x5f1731f22f3d - __rustc[78a4cf188af856fc]::rust_begin_unwind [INFO] [stdout] at /rustc/dec9417b8611e34e787a3e4c37686b5131f9e5c5/library/std/src/panicking.rs:689:5 [INFO] [stdout] 18: 0x5f1731f57a5c - core[6aaeda2c7ad07a48]::panicking::panic_fmt [INFO] [stdout] at /rustc/dec9417b8611e34e787a3e4c37686b5131f9e5c5/library/core/src/panicking.rs:80:14 [INFO] [stdout] 19: 0x5f1731ae2d75 - zk_proof_tests[79fee27c1e1b2823]::keccak_memory_cross_check_tests::cross_check_tampered_input_bytes_fails [INFO] [stdout] at /opt/rustwide/workdir/crates/zprove-core/tests/zk_proof_tests.rs:1329:5 [INFO] [stdout] 20: 0x5f1731addab7 - zk_proof_tests[79fee27c1e1b2823]::keccak_memory_cross_check_tests::cross_check_tampered_input_bytes_fails::{closure#0} [INFO] [stdout] at /opt/rustwide/workdir/crates/zprove-core/tests/zk_proof_tests.rs:1312:46 [INFO] [stdout] 21: 0x5f1731ae44c6 - >::call_once [INFO] [stdout] at /rustc/dec9417b8611e34e787a3e4c37686b5131f9e5c5/library/core/src/ops/function.rs:250:5 [INFO] [stdout] 22: 0x5f1731ae4c4b - core[6aaeda2c7ad07a48]::result::Result<(), alloc[28d2dab30c1dc666]::string::String> as core[6aaeda2c7ad07a48]::ops::function::FnOnce<()>>::call_once [INFO] [stdout] at /rustc/dec9417b8611e34e787a3e4c37686b5131f9e5c5/library/core/src/ops/function.rs:250:5 [INFO] [stdout] 23: 0x5f1731ae4c4b - test[4f12b380f1fb68c5]::__rust_begin_short_backtrace::, fn() -> core[6aaeda2c7ad07a48]::result::Result<(), alloc[28d2dab30c1dc666]::string::String>> [INFO] [stdout] at /rustc/dec9417b8611e34e787a3e4c37686b5131f9e5c5/library/test/src/lib.rs:663:18 [INFO] [stdout] 24: 0x5f1731af163b - test[4f12b380f1fb68c5]::run_test_in_process::{closure#0} [INFO] [stdout] at /rustc/dec9417b8611e34e787a3e4c37686b5131f9e5c5/library/test/src/lib.rs:686:74 [INFO] [stdout] 25: 0x5f1731af163b - as core[6aaeda2c7ad07a48]::ops::function::FnOnce<()>>::call_once [INFO] [stdout] at /rustc/dec9417b8611e34e787a3e4c37686b5131f9e5c5/library/core/src/panic/unwind_safe.rs:275:9 [INFO] [stdout] 26: 0x5f1731af163b - std[e72de78501789eb0]::panicking::catch_unwind::do_call::, core[6aaeda2c7ad07a48]::result::Result<(), alloc[28d2dab30c1dc666]::string::String>> [INFO] [stdout] at /rustc/dec9417b8611e34e787a3e4c37686b5131f9e5c5/library/std/src/panicking.rs:581:40 [INFO] [stdout] 27: 0x5f1731af163b - std[e72de78501789eb0]::panicking::catch_unwind::, core[6aaeda2c7ad07a48]::panic::unwind_safe::AssertUnwindSafe> [INFO] [stdout] at /rustc/dec9417b8611e34e787a3e4c37686b5131f9e5c5/library/std/src/panicking.rs:544:19 [INFO] [stdout] 28: 0x5f1731af163b - std[e72de78501789eb0]::panic::catch_unwind::, core[6aaeda2c7ad07a48]::result::Result<(), alloc[28d2dab30c1dc666]::string::String>> [INFO] [stdout] at /rustc/dec9417b8611e34e787a3e4c37686b5131f9e5c5/library/std/src/panic.rs:359:14 [INFO] [stdout] 29: 0x5f1731af163b - test[4f12b380f1fb68c5]::run_test_in_process [INFO] [stdout] at /rustc/dec9417b8611e34e787a3e4c37686b5131f9e5c5/library/test/src/lib.rs:686:27 [INFO] [stdout] 30: 0x5f1731af163b - test[4f12b380f1fb68c5]::run_test::{closure#0} [INFO] [stdout] at /rustc/dec9417b8611e34e787a3e4c37686b5131f9e5c5/library/test/src/lib.rs:607:43 [INFO] [stdout] 31: 0x5f1731aecd54 - test[4f12b380f1fb68c5]::run_test::{closure#1} [INFO] [stdout] at /rustc/dec9417b8611e34e787a3e4c37686b5131f9e5c5/library/test/src/lib.rs:637:41 [INFO] [stdout] 32: 0x5f1731aecd54 - std[e72de78501789eb0]::sys::backtrace::__rust_begin_short_backtrace:: [INFO] [stdout] at /rustc/dec9417b8611e34e787a3e4c37686b5131f9e5c5/library/std/src/sys/backtrace.rs:166:18 [INFO] [stdout] 33: 0x5f1731af4242 - std[e72de78501789eb0]::thread::lifecycle::spawn_unchecked::::{closure#1}::{closure#0} [INFO] [stdout] at /rustc/dec9417b8611e34e787a3e4c37686b5131f9e5c5/library/std/src/thread/lifecycle.rs:91:13 [INFO] [stdout] 34: 0x5f1731af4242 - ::{closure#1}::{closure#0}> as core[6aaeda2c7ad07a48]::ops::function::FnOnce<()>>::call_once [INFO] [stdout] at /rustc/dec9417b8611e34e787a3e4c37686b5131f9e5c5/library/core/src/panic/unwind_safe.rs:275:9 [INFO] [stdout] 35: 0x5f1731af4242 - std[e72de78501789eb0]::panicking::catch_unwind::do_call::::{closure#1}::{closure#0}>, ()> [INFO] [stdout] at /rustc/dec9417b8611e34e787a3e4c37686b5131f9e5c5/library/std/src/panicking.rs:581:40 [INFO] [stdout] 36: 0x5f1731af4242 - std[e72de78501789eb0]::panicking::catch_unwind::<(), core[6aaeda2c7ad07a48]::panic::unwind_safe::AssertUnwindSafe::{closure#1}::{closure#0}>> [INFO] [stdout] at /rustc/dec9417b8611e34e787a3e4c37686b5131f9e5c5/library/std/src/panicking.rs:544:19 [INFO] [stdout] 37: 0x5f1731af4242 - std[e72de78501789eb0]::panic::catch_unwind::::{closure#1}::{closure#0}>, ()> [INFO] [stdout] at /rustc/dec9417b8611e34e787a3e4c37686b5131f9e5c5/library/std/src/panic.rs:359:14 [INFO] [stdout] 38: 0x5f1731af4242 - std[e72de78501789eb0]::thread::lifecycle::spawn_unchecked::::{closure#1} [INFO] [stdout] at /rustc/dec9417b8611e34e787a3e4c37686b5131f9e5c5/library/std/src/thread/lifecycle.rs:89:26 [INFO] [stdout] 39: 0x5f1731af4242 - ::{closure#1} as core[6aaeda2c7ad07a48]::ops::function::FnOnce<()>>::call_once::{shim:vtable#0} [INFO] [stdout] at /rustc/dec9417b8611e34e787a3e4c37686b5131f9e5c5/library/core/src/ops/function.rs:250:5 [INFO] [stdout] 40: 0x5f1731f42b9f - + core[6aaeda2c7ad07a48]::marker::Send> as core[6aaeda2c7ad07a48]::ops::function::FnOnce<()>>::call_once [INFO] [stdout] at /rustc/dec9417b8611e34e787a3e4c37686b5131f9e5c5/library/alloc/src/boxed.rs:2240:9 [INFO] [stdout] 41: 0x5f1731f42b9f - ::new::thread_start [INFO] [stdout] at /rustc/dec9417b8611e34e787a3e4c37686b5131f9e5c5/library/std/src/sys/thread/unix.rs:118:17 [INFO] [stdout] 42: 0x7b1fc5b30aa4 - [INFO] [stdout] 43: 0x7b1fc5bbda64 - clone [INFO] [stdout] 44: 0x0 - [INFO] [stdout] [INFO] [stdout] ---- keccak_memory_cross_check_tests::cross_check_wrong_memory_value_fails stdout ---- [INFO] [stdout] [INFO] [stdout] thread 'keccak_memory_cross_check_tests::cross_check_wrong_memory_value_fails' (381) panicked at crates/zprove-core/tests/zk_proof_tests.rs:1287:5: [INFO] [stdout] tampered memory must fail cross-check [INFO] [stdout] stack backtrace: [INFO] [stdout] 0: 0x5f1731f432ca - std[e72de78501789eb0]::backtrace_rs::backtrace::libunwind::trace [INFO] [stdout] at /rustc/dec9417b8611e34e787a3e4c37686b5131f9e5c5/library/std/src/../../backtrace/src/backtrace/libunwind.rs:117:9 [INFO] [stdout] 1: 0x5f1731f432ca - std[e72de78501789eb0]::backtrace_rs::backtrace::trace_unsynchronized:: [INFO] [stdout] at /rustc/dec9417b8611e34e787a3e4c37686b5131f9e5c5/library/std/src/../../backtrace/src/backtrace/mod.rs:66:14 [INFO] [stdout] 2: 0x5f1731f432ca - std[e72de78501789eb0]::sys::backtrace::_print_fmt [INFO] [stdout] at /rustc/dec9417b8611e34e787a3e4c37686b5131f9e5c5/library/std/src/sys/backtrace.rs:74:9 [INFO] [stdout] 3: 0x5f1731f432ca - <::print::DisplayBacktrace as core[6aaeda2c7ad07a48]::fmt::Display>::fmt [INFO] [stdout] at /rustc/dec9417b8611e34e787a3e4c37686b5131f9e5c5/library/std/src/sys/backtrace.rs:44:26 [INFO] [stdout] 4: 0x5f1731f5729a - ::fmt [INFO] [stdout] at /rustc/dec9417b8611e34e787a3e4c37686b5131f9e5c5/library/core/src/fmt/rt.rs:152:76 [INFO] [stdout] 5: 0x5f1731f5729a - core[6aaeda2c7ad07a48]::fmt::write [INFO] [stdout] 6: 0x5f1731f47ba2 - std[e72de78501789eb0]::io::default_write_fmt::> [INFO] [stdout] at /rustc/dec9417b8611e34e787a3e4c37686b5131f9e5c5/library/std/src/io/mod.rs:639:11 [INFO] [stdout] 7: 0x5f1731f47ba2 - as std[e72de78501789eb0]::io::Write>::write_fmt [INFO] [stdout] at /rustc/dec9417b8611e34e787a3e4c37686b5131f9e5c5/library/std/src/io/mod.rs:1994:13 [INFO] [stdout] 8: 0x5f1731f2216f - ::print [INFO] [stdout] at /rustc/dec9417b8611e34e787a3e4c37686b5131f9e5c5/library/std/src/sys/backtrace.rs:47:9 [INFO] [stdout] 9: 0x5f1731f2216f - std[e72de78501789eb0]::panicking::default_hook::{closure#0} [INFO] [stdout] at /rustc/dec9417b8611e34e787a3e4c37686b5131f9e5c5/library/std/src/panicking.rs:292:27 [INFO] [stdout] 10: 0x5f1731f3b639 - std[e72de78501789eb0]::panicking::default_hook [INFO] [stdout] at /rustc/dec9417b8611e34e787a3e4c37686b5131f9e5c5/library/std/src/panicking.rs:316:9 [INFO] [stdout] 11: 0x5f1731af0b6c - core[6aaeda2c7ad07a48]::ops::function::Fn<(&'a std[e72de78501789eb0]::panic::PanicHookInfo<'b>,), Output = ()> + core[6aaeda2c7ad07a48]::marker::Sync + core[6aaeda2c7ad07a48]::marker::Send> as core[6aaeda2c7ad07a48]::ops::function::Fn<(&std[e72de78501789eb0]::panic::PanicHookInfo,)>>::call [INFO] [stdout] at /rustc/dec9417b8611e34e787a3e4c37686b5131f9e5c5/library/alloc/src/boxed.rs:2254:9 [INFO] [stdout] 12: 0x5f1731af0b6c - test[4f12b380f1fb68c5]::test_main_with_exit_callback::::{closure#0} [INFO] [stdout] at /rustc/dec9417b8611e34e787a3e4c37686b5131f9e5c5/library/test/src/lib.rs:145:21 [INFO] [stdout] 13: 0x5f1731f3b8b2 - core[6aaeda2c7ad07a48]::ops::function::Fn<(&'a std[e72de78501789eb0]::panic::PanicHookInfo<'b>,), Output = ()> + core[6aaeda2c7ad07a48]::marker::Sync + core[6aaeda2c7ad07a48]::marker::Send> as core[6aaeda2c7ad07a48]::ops::function::Fn<(&std[e72de78501789eb0]::panic::PanicHookInfo,)>>::call [INFO] [stdout] at /rustc/dec9417b8611e34e787a3e4c37686b5131f9e5c5/library/alloc/src/boxed.rs:2254:9 [INFO] [stdout] 14: 0x5f1731f3b8b2 - std[e72de78501789eb0]::panicking::panic_with_hook [INFO] [stdout] at /rustc/dec9417b8611e34e787a3e4c37686b5131f9e5c5/library/std/src/panicking.rs:833:13 [INFO] [stdout] 15: 0x5f1731f2225a - std[e72de78501789eb0]::panicking::panic_handler::{closure#0} [INFO] [stdout] at /rustc/dec9417b8611e34e787a3e4c37686b5131f9e5c5/library/std/src/panicking.rs:691:13 [INFO] [stdout] 16: 0x5f1731f19bc9 - std[e72de78501789eb0]::sys::backtrace::__rust_end_short_backtrace:: [INFO] [stdout] at /rustc/dec9417b8611e34e787a3e4c37686b5131f9e5c5/library/std/src/sys/backtrace.rs:182:18 [INFO] [stdout] 17: 0x5f1731f22f3d - __rustc[78a4cf188af856fc]::rust_begin_unwind [INFO] [stdout] at /rustc/dec9417b8611e34e787a3e4c37686b5131f9e5c5/library/std/src/panicking.rs:689:5 [INFO] [stdout] 18: 0x5f1731f57a5c - core[6aaeda2c7ad07a48]::panicking::panic_fmt [INFO] [stdout] at /rustc/dec9417b8611e34e787a3e4c37686b5131f9e5c5/library/core/src/panicking.rs:80:14 [INFO] [stdout] 19: 0x5f1731ae225a - zk_proof_tests[79fee27c1e1b2823]::keccak_memory_cross_check_tests::cross_check_wrong_memory_value_fails [INFO] [stdout] at /opt/rustwide/workdir/crates/zprove-core/tests/zk_proof_tests.rs:1287:5 [INFO] [stdout] 20: 0x5f1731adda57 - zk_proof_tests[79fee27c1e1b2823]::keccak_memory_cross_check_tests::cross_check_wrong_memory_value_fails::{closure#0} [INFO] [stdout] at /opt/rustwide/workdir/crates/zprove-core/tests/zk_proof_tests.rs:1273:44 [INFO] [stdout] 21: 0x5f1731ae4446 - >::call_once [INFO] [stdout] at /rustc/dec9417b8611e34e787a3e4c37686b5131f9e5c5/library/core/src/ops/function.rs:250:5 [INFO] [stdout] 22: 0x5f1731ae4c4b - core[6aaeda2c7ad07a48]::result::Result<(), alloc[28d2dab30c1dc666]::string::String> as core[6aaeda2c7ad07a48]::ops::function::FnOnce<()>>::call_once [INFO] [stdout] at /rustc/dec9417b8611e34e787a3e4c37686b5131f9e5c5/library/core/src/ops/function.rs:250:5 [INFO] [stdout] 23: 0x5f1731ae4c4b - test[4f12b380f1fb68c5]::__rust_begin_short_backtrace::, fn() -> core[6aaeda2c7ad07a48]::result::Result<(), alloc[28d2dab30c1dc666]::string::String>> [INFO] [stdout] at /rustc/dec9417b8611e34e787a3e4c37686b5131f9e5c5/library/test/src/lib.rs:663:18 [INFO] [stdout] 24: 0x5f1731af163b - test[4f12b380f1fb68c5]::run_test_in_process::{closure#0} [INFO] [stdout] at /rustc/dec9417b8611e34e787a3e4c37686b5131f9e5c5/library/test/src/lib.rs:686:74 [INFO] [stdout] 25: 0x5f1731af163b - as core[6aaeda2c7ad07a48]::ops::function::FnOnce<()>>::call_once [INFO] [stdout] at /rustc/dec9417b8611e34e787a3e4c37686b5131f9e5c5/library/core/src/panic/unwind_safe.rs:275:9 [INFO] [stdout] 26: 0x5f1731af163b - std[e72de78501789eb0]::panicking::catch_unwind::do_call::, core[6aaeda2c7ad07a48]::result::Result<(), alloc[28d2dab30c1dc666]::string::String>> [INFO] [stdout] at /rustc/dec9417b8611e34e787a3e4c37686b5131f9e5c5/library/std/src/panicking.rs:581:40 [INFO] [stdout] 27: 0x5f1731af163b - std[e72de78501789eb0]::panicking::catch_unwind::, core[6aaeda2c7ad07a48]::panic::unwind_safe::AssertUnwindSafe> [INFO] [stdout] at /rustc/dec9417b8611e34e787a3e4c37686b5131f9e5c5/library/std/src/panicking.rs:544:19 [INFO] [stdout] 28: 0x5f1731af163b - std[e72de78501789eb0]::panic::catch_unwind::, core[6aaeda2c7ad07a48]::result::Result<(), alloc[28d2dab30c1dc666]::string::String>> [INFO] [stdout] at /rustc/dec9417b8611e34e787a3e4c37686b5131f9e5c5/library/std/src/panic.rs:359:14 [INFO] [stdout] 29: 0x5f1731af163b - test[4f12b380f1fb68c5]::run_test_in_process [INFO] [stdout] at /rustc/dec9417b8611e34e787a3e4c37686b5131f9e5c5/library/test/src/lib.rs:686:27 [INFO] [stdout] 30: 0x5f1731af163b - test[4f12b380f1fb68c5]::run_test::{closure#0} [INFO] [stdout] at /rustc/dec9417b8611e34e787a3e4c37686b5131f9e5c5/library/test/src/lib.rs:607:43 [INFO] [stdout] 31: 0x5f1731aecd54 - test[4f12b380f1fb68c5]::run_test::{closure#1} [INFO] [stdout] at /rustc/dec9417b8611e34e787a3e4c37686b5131f9e5c5/library/test/src/lib.rs:637:41 [INFO] [stdout] 32: 0x5f1731aecd54 - std[e72de78501789eb0]::sys::backtrace::__rust_begin_short_backtrace:: [INFO] [stdout] at /rustc/dec9417b8611e34e787a3e4c37686b5131f9e5c5/library/std/src/sys/backtrace.rs:166:18 [INFO] [stdout] 33: 0x5f1731af4242 - std[e72de78501789eb0]::thread::lifecycle::spawn_unchecked::::{closure#1}::{closure#0} [INFO] [stdout] at /rustc/dec9417b8611e34e787a3e4c37686b5131f9e5c5/library/std/src/thread/lifecycle.rs:91:13 [INFO] [stdout] 34: 0x5f1731af4242 - ::{closure#1}::{closure#0}> as core[6aaeda2c7ad07a48]::ops::function::FnOnce<()>>::call_once [INFO] [stdout] at /rustc/dec9417b8611e34e787a3e4c37686b5131f9e5c5/library/core/src/panic/unwind_safe.rs:275:9 [INFO] [stdout] 35: 0x5f1731af4242 - std[e72de78501789eb0]::panicking::catch_unwind::do_call::::{closure#1}::{closure#0}>, ()> [INFO] [stdout] at /rustc/dec9417b8611e34e787a3e4c37686b5131f9e5c5/library/std/src/panicking.rs:581:40 [INFO] [stdout] 36: 0x5f1731af4242 - std[e72de78501789eb0]::panicking::catch_unwind::<(), core[6aaeda2c7ad07a48]::panic::unwind_safe::AssertUnwindSafe::{closure#1}::{closure#0}>> [INFO] [stdout] at /rustc/dec9417b8611e34e787a3e4c37686b5131f9e5c5/library/std/src/panicking.rs:544:19 [INFO] [stdout] 37: 0x5f1731af4242 - std[e72de78501789eb0]::panic::catch_unwind::::{closure#1}::{closure#0}>, ()> [INFO] [stdout] at /rustc/dec9417b8611e34e787a3e4c37686b5131f9e5c5/library/std/src/panic.rs:359:14 [INFO] [stdout] 38: 0x5f1731af4242 - std[e72de78501789eb0]::thread::lifecycle::spawn_unchecked::::{closure#1} [INFO] [stdout] at /rustc/dec9417b8611e34e787a3e4c37686b5131f9e5c5/library/std/src/thread/lifecycle.rs:89:26 [INFO] [stdout] 39: 0x5f1731af4242 - ::{closure#1} as core[6aaeda2c7ad07a48]::ops::function::FnOnce<()>>::call_once::{shim:vtable#0} [INFO] [stdout] at /rustc/dec9417b8611e34e787a3e4c37686b5131f9e5c5/library/core/src/ops/function.rs:250:5 [INFO] [stdout] 40: 0x5f1731f42b9f - + core[6aaeda2c7ad07a48]::marker::Send> as core[6aaeda2c7ad07a48]::ops::function::FnOnce<()>>::call_once [INFO] [stdout] at /rustc/dec9417b8611e34e787a3e4c37686b5131f9e5c5/library/alloc/src/boxed.rs:2240:9 [INFO] [stdout] 41: 0x5f1731f42b9f - ::new::thread_start [INFO] [stdout] at /rustc/dec9417b8611e34e787a3e4c37686b5131f9e5c5/library/std/src/sys/thread/unix.rs:118:17 [INFO] [stdout] 42: 0x7b1fc5b30aa4 - [INFO] [stdout] 43: 0x7b1fc5bbda64 - clone [INFO] [stdout] 44: 0x0 - [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] failures: [INFO] [stdout] keccak_memory_cross_check_tests::cross_check_missing_memory_word_fails [INFO] [stdout] keccak_memory_cross_check_tests::cross_check_tampered_input_bytes_fails [INFO] [stdout] keccak_memory_cross_check_tests::cross_check_wrong_memory_value_fails [INFO] [stdout] [INFO] [stdout] test result: FAILED. 53 passed; 3 failed; 0 ignored; 0 measured; 0 filtered out; finished in 7.56s [INFO] [stdout] [INFO] [stderr] error: test failed, to rerun pass `-p zprove-core --test zk_proof_tests` [INFO] running `Command { std: "docker" "inspect" "05fe7714141791cc0ef70a88d5e8e75aa561113d09a33bcb6d1ccff0ce173635", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "05fe7714141791cc0ef70a88d5e8e75aa561113d09a33bcb6d1ccff0ce173635", kill_on_drop: false }` [INFO] [stdout] 05fe7714141791cc0ef70a88d5e8e75aa561113d09a33bcb6d1ccff0ce173635