[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] checking uawl/zprove against master#656ccbe796ff98def9b555c118e1620c5389e3b2 for pr-133502-24
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fuawl%2Fzprove" "/workspace/builds/worker-2-tc1/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-2-tc1/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-2-tc1/source/Cargo.toml
[INFO] validating manifest of git repo https://github.com/uawl/zprove on toolchain 656ccbe796ff98def9b555c118e1620c5389e3b2
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+656ccbe796ff98def9b555c118e1620c5389e3b2" "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" "+656ccbe796ff98def9b555c118e1620c5389e3b2" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Updating crates.io index
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded p3-poseidon2 v0.4.2
[INFO] [stderr]   Downloaded p3-air v0.4.2
[INFO] [stderr]   Downloaded alloy-serde v1.7.3
[INFO] [stderr]   Downloaded p3-challenger v0.4.2
[INFO] [stderr]   Downloaded p3-maybe-rayon v0.4.2
[INFO] [stderr]   Downloaded lru v0.16.0
[INFO] [stderr]   Downloaded alloy-consensus-any v1.7.3
[INFO] [stderr]   Downloaded revm-inspector v15.0.0
[INFO] [stderr]   Downloaded alloy-network v1.7.3
[INFO] [stderr]   Downloaded p3-fri v0.4.2
[INFO] [stderr]   Downloaded revm v34.0.0
[INFO] [stderr]   Downloaded revm-context v13.0.0
[INFO] [stderr]   Downloaded wasm-bindgen-shared v0.2.111
[INFO] [stderr]   Downloaded revm-context-interface v14.0.0
[INFO] [stderr]   Downloaded wasm-bindgen v0.2.111
[INFO] [stderr]   Downloaded p3-mersenne-31 v0.4.2
[INFO] [stderr]   Downloaded p3-mds v0.4.2
[INFO] [stderr]   Downloaded revm-interpreter v32.0.0
[INFO] [stderr]   Downloaded p3-merkle-tree v0.4.2
[INFO] [stderr]   Downloaded p3-commit v0.4.2
[INFO] [stderr]   Downloaded wasm-bindgen-macro v0.2.111
[INFO] [stderr]   Downloaded alloy-signer v1.7.3
[INFO] [stderr]   Downloaded alloy-tx-macros v1.7.3
[INFO] [stderr]   Downloaded alloy-rpc-types-any v1.7.3
[INFO] [stderr]   Downloaded p3-symmetric v0.4.2
[INFO] [stderr]   Downloaded wasm-bindgen-macro-support v0.2.111
[INFO] [stderr]   Downloaded alloy-trie v0.9.4
[INFO] [stderr]   Downloaded revm-bytecode v8.0.0
[INFO] [stderr]   Downloaded aurora-engine-modexp v1.2.0
[INFO] [stderr]   Downloaded ark-r1cs-std v0.5.0
[INFO] [stderr]   Downloaded alloy-transport v1.7.3
[INFO] [stderr]   Downloaded p3-field v0.4.2
[INFO] [stderr]   Downloaded alloy-consensus v1.7.3
[INFO] [stderr]   Downloaded alloy-rpc-client v1.7.3
[INFO] [stderr]   Downloaded revm-state v9.0.0
[INFO] [stderr]   Downloaded revm-database v10.0.0
[INFO] [stderr]   Downloaded alloy-provider v1.7.3
[INFO] [stderr]   Downloaded proptest v1.10.0
[INFO] [stderr]   Downloaded alloy-eips v1.7.3
[INFO] [stderr]   Downloaded ark-bls12-381 v0.5.0
[INFO] [stderr]   Downloaded p3-keccak v0.4.2
[INFO] [stderr]   Downloaded alloy-json-rpc v1.7.3
[INFO] [stderr]   Downloaded p3-poseidon2-air v0.4.2
[INFO] [stderr]   Downloaded p3-circle v0.4.2
[INFO] [stderr]   Downloaded p3-baby-bear v0.4.2
[INFO] [stderr]   Downloaded p3-lookup v0.4.2
[INFO] [stderr]   Downloaded p3-util v0.4.2
[INFO] [stderr]   Downloaded js-sys v0.3.88
[INFO] [stderr]   Downloaded p3-interpolation v0.4.2
[INFO] [stderr]   Downloaded p3-dft v0.4.2
[INFO] [stderr]   Downloaded p3-monty-31 v0.4.2
[INFO] [stderr]   Downloaded revm-handler v15.0.0
[INFO] [stderr]   Downloaded revm-database-interface v9.0.0
[INFO] [stderr]   Downloaded revm-primitives v22.0.0
[INFO] [stderr]   Downloaded alloy-rpc-types-eth v1.7.3
[INFO] [stderr]   Downloaded revm-precompile v32.0.0
[INFO] [stderr]   Downloaded p3-matrix v0.4.2
[INFO] [stderr]   Downloaded alloy-network-primitives v1.7.3
[INFO] [stderr]   Downloaded ark-relations v0.5.1
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc1/target:/opt/rustwide/target:rw,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" "-m" "1610612736" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:3d5ced03c013a94a2f102a4510f48a6e9184255caf5fd8244f58017bde7f5210" "sleep" "infinity", kill_on_drop: false }`
[INFO] [stdout] dc58555cf8754b8e20016f7527718d5141f15949b92f1579bdfd80aa59f3bf26
[INFO] running `Command { std: "docker" "start" "dc58555cf8754b8e20016f7527718d5141f15949b92f1579bdfd80aa59f3bf26", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "dc58555cf8754b8e20016f7527718d5141f15949b92f1579bdfd80aa59f3bf26", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-w" "/opt/rustwide/workdir" "--user" "0:0" "dc58555cf8754b8e20016f7527718d5141f15949b92f1579bdfd80aa59f3bf26" "/opt/rustwide/cargo-home/bin/cargo" "+656ccbe796ff98def9b555c118e1620c5389e3b2" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "dc58555cf8754b8e20016f7527718d5141f15949b92f1579bdfd80aa59f3bf26", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-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" "-w" "/opt/rustwide/workdir" "--user" "0:0" "dc58555cf8754b8e20016f7527718d5141f15949b92f1579bdfd80aa59f3bf26" "/opt/rustwide/cargo-home/bin/cargo" "+656ccbe796ff98def9b555c118e1620c5389e3b2" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }`
[INFO] [stderr]     Checking subtle v2.6.1
[INFO] [stderr]     Checking const-oid v0.9.6
[INFO] [stderr]    Compiling zerocopy v0.8.39
[INFO] [stderr]    Compiling generic-array v0.14.9
[INFO] [stderr]     Checking base16ct v0.2.0
[INFO] [stderr]    Compiling syn v2.0.117
[INFO] [stderr]     Checking hashbrown v0.16.1
[INFO] [stderr]     Checking keccak v0.1.6
[INFO] [stderr]     Checking const-hex v1.17.0
[INFO] [stderr]     Checking p3-maybe-rayon v0.4.2
[INFO] [stderr]     Checking getrandom v0.3.4
[INFO] [stderr]     Checking strength_reduce v0.2.4
[INFO] [stderr]    Compiling toml_parser v1.0.9+spec-1.1.0
[INFO] [stderr]    Compiling serde_json v1.0.149
[INFO] [stderr]     Checking spin v0.10.0
[INFO] [stderr]    Compiling num-traits v0.2.19
[INFO] [stderr]     Checking transpose v0.2.3
[INFO] [stderr]    Compiling proc-macro-error-attr2 v2.0.0
[INFO] [stderr]    Compiling toml_edit v0.23.10+spec-1.0.0
[INFO] [stderr]     Checking ff v0.13.1
[INFO] [stderr]     Checking rand_core v0.9.5
[INFO] [stderr]    Compiling radium v0.7.0
[INFO] [stderr]     Checking tap v1.0.1
[INFO] [stderr]     Checking hashbrown v0.15.5
[INFO] [stderr]     Checking funty v2.0.0
[INFO] [stderr]     Checking futures-channel v0.3.32
[INFO] [stderr]     Checking wyz v0.5.1
[INFO] [stderr]     Checking bitflags v2.11.0
[INFO] [stderr]     Checking group v0.13.0
[INFO] [stderr]     Checking slab v0.4.12
[INFO] [stderr]    Compiling blst v0.3.16
[INFO] [stderr]    Compiling secp256k1-sys v0.11.0
[INFO] [stderr]     Checking num_cpus v1.17.0
[INFO] [stderr]    Compiling c-kzg v2.1.5
[INFO] [stderr]     Checking threadpool v1.8.1
[INFO] [stderr]     Checking num-rational v0.4.2
[INFO] [stderr]    Compiling block-buffer v0.10.4
[INFO] [stderr]    Compiling crypto-common v0.1.6
[INFO] [stderr]     Checking num-iter v0.1.45
[INFO] [stderr]     Checking num-complex v0.4.6
[INFO] [stderr]     Checking futures-utils-wasm v0.1.0
[INFO] [stderr]    Compiling tiny-keccak v2.0.2
[INFO] [stderr]     Checking indexmap v2.13.0
[INFO] [stderr]     Checking rand_xoshiro v0.7.0
[INFO] [stderr]    Compiling digest v0.10.7
[INFO] [stderr]     Checking lru v0.16.0
[INFO] [stderr]    Compiling sha3 v0.10.8
[INFO] [stderr]    Compiling num-integer v0.1.46
[INFO] [stderr]     Checking num v0.4.3
[INFO] [stderr]     Checking aurora-engine-modexp v1.2.0
[INFO] [stderr]    Compiling proc-macro-crate v3.4.0
[INFO] [stderr]    Compiling num-bigint v0.4.6
[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]     Checking ppv-lite86 v0.2.21
[INFO] [stderr]     Checking ahash v0.8.12
[INFO] [stderr]     Checking rand_chacha v0.9.0
[INFO] [stderr]     Checking rand_chacha v0.3.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 tracing-attributes v0.1.31
[INFO] [stderr]    Compiling derive_more-impl v2.1.1
[INFO] [stderr]    Compiling thiserror-impl v2.0.18
[INFO] [stderr]    Compiling auto_impl v1.3.0
[INFO] [stderr]    Compiling zerofrom-derive v0.1.6
[INFO] [stderr]    Compiling yoke-derive v0.8.1
[INFO] [stderr]    Compiling zerovec-derive v0.11.2
[INFO] [stderr]    Compiling displaydoc v0.2.5
[INFO] [stderr]    Compiling num_enum_derive v0.7.5
[INFO] [stderr]     Checking rand v0.9.2
[INFO] [stderr]    Compiling tokio-macros v2.6.0
[INFO] [stderr]     Checking rand v0.8.5
[INFO] [stderr]    Compiling enum-ordinalize-derive v4.3.2
[INFO] [stderr]     Checking zeroize v1.8.2
[INFO] [stderr]    Compiling ark-serialize-derive v0.5.0
[INFO] [stderr]     Checking der v0.7.10
[INFO] [stderr]     Checking tokio v1.49.0
[INFO] [stderr]    Compiling ark-ff-asm v0.5.0
[INFO] [stderr]     Checking num_enum v0.7.5
[INFO] [stderr]    Compiling futures-macro v0.3.32
[INFO] [stderr]    Compiling ark-ff-macros v0.5.0
[INFO] [stderr]    Compiling enum-ordinalize v4.3.2
[INFO] [stderr]     Checking ark-std v0.5.0
[INFO] [stderr]    Compiling educe v0.6.0
[INFO] [stderr]     Checking crypto-bigint v0.5.5
[INFO] [stderr]     Checking zerofrom v0.1.6
[INFO] [stderr]    Compiling async-trait v0.1.89
[INFO] [stderr]     Checking yoke v0.8.1
[INFO] [stderr]     Checking tracing v0.1.44
[INFO] [stderr]     Checking hmac v0.12.1
[INFO] [stderr]     Checking signature v2.2.0
[INFO] [stderr]     Checking sha2 v0.10.9
[INFO] [stderr]     Checking rfc6979 v0.4.0
[INFO] [stderr]     Checking thiserror v2.0.18
[INFO] [stderr]     Checking zerovec v0.11.5
[INFO] [stderr]     Checking zerotrie v0.2.3
[INFO] [stderr]    Compiling pin-project-internal v1.1.10
[INFO] [stderr]     Checking futures-util v0.3.32
[INFO] [stderr]     Checking sec1 v0.7.3
[INFO] [stderr]     Checking spki v0.7.3
[INFO] [stderr]    Compiling strum_macros v0.27.2
[INFO] [stderr]     Checking ripemd v0.1.3
[INFO] [stderr]     Checking secp256k1 v0.31.1
[INFO] [stderr]    Compiling async-stream-impl v0.3.6
[INFO] [stderr]    Compiling derive-where v1.6.0
[INFO] [stderr]     Checking tinystr v0.8.2
[INFO] [stderr]     Checking icu_locale_core v2.1.1
[INFO] [stderr]     Checking potential_utf v0.1.4
[INFO] [stderr]     Checking async-stream v0.3.6
[INFO] [stderr]     Checking icu_collections v2.1.1
[INFO] [stderr]    Compiling alloy-sol-macro-input v1.5.7
[INFO] [stderr]     Checking icu_provider v2.1.1
[INFO] [stderr]    Compiling darling_macro v0.21.3
[INFO] [stderr]     Checking pin-project v1.1.10
[INFO] [stderr]    Compiling alloy-sol-macro-expander v1.5.7
[INFO] [stderr]     Checking elliptic-curve v0.13.8
[INFO] [stderr]     Checking serde v1.0.228
[INFO] [stderr]    Compiling darling v0.21.3
[INFO] [stderr]    Compiling serde_with_macros v3.16.1
[INFO] [stderr]    Compiling alloy-tx-macros v1.7.3
[INFO] [stderr]     Checking icu_properties v2.1.2
[INFO] [stderr]     Checking ecdsa v0.16.9
[INFO] [stderr]     Checking primeorder v0.13.6
[INFO] [stderr]     Checking derive_more v2.1.1
[INFO] [stderr]     Checking either v1.15.0
[INFO] [stderr]     Checking arrayvec v0.7.6
[INFO] [stderr]     Checking bytes v1.11.1
[INFO] [stderr]     Checking p3-util v0.4.2
[INFO] [stderr]     Checking smallvec v1.15.1
[INFO] [stderr]     Checking itertools v0.14.0
[INFO] [stderr]     Checking k256 v0.13.4
[INFO] [stderr]     Checking bitvec v1.0.1
[INFO] [stderr]     Checking itertools v0.13.0
[INFO] [stderr]     Checking icu_normalizer v2.1.1
[INFO] [stderr]     Checking parking_lot_core v0.9.12
[INFO] [stderr]     Checking ark-serialize v0.5.0
[INFO] [stderr]     Checking p256 v0.13.2
[INFO] [stderr]     Checking rayon v1.11.0
[INFO] [stderr]     Checking parking_lot v0.12.5
[INFO] [stderr]     Checking dashmap v6.1.0
[INFO] [stderr]     Checking serde_with v3.16.1
[INFO] [stderr]     Checking strum v0.27.2
[INFO] [stderr]     Checking alloy-rlp v0.3.13
[INFO] [stderr]     Checking http v1.4.0
[INFO] [stderr]     Checking tokio-util v0.7.18
[INFO] [stderr]     Checking idna_adapter v1.2.1
[INFO] [stderr]     Checking ruint v1.17.2
[INFO] [stderr]     Checking idna v1.1.0
[INFO] [stderr]     Checking tokio-stream v0.1.18
[INFO] [stderr]     Checking url v2.5.8
[INFO] [stderr]    Compiling alloy-sol-macro v1.5.7
[INFO] [stderr]     Checking alloy-primitives v1.5.7
[INFO] [stderr]     Checking nybbles v0.4.8
[INFO] [stderr]     Checking futures-executor v0.3.31
[INFO] [stderr]     Checking tower v0.5.3
[INFO] [stderr]     Checking p3-field v0.4.2
[INFO] [stderr]     Checking futures v0.3.31
[INFO] [stderr]     Checking ark-ff v0.5.0
[INFO] [stderr]     Checking p3-matrix v0.4.2
[INFO] [stderr]     Checking p3-symmetric v0.4.2
[INFO] [stderr]     Checking p3-keccak v0.4.2
[INFO] [stderr]     Checking p3-dft v0.4.2
[INFO] [stderr]     Checking p3-air v0.4.2
[INFO] [stderr]     Checking p3-interpolation v0.4.2
[INFO] [stderr]     Checking alloy-eip7928 v0.3.2
[INFO] [stderr]     Checking alloy-eip2930 v0.2.3
[INFO] [stderr]     Checking alloy-eip7702 v0.6.3
[INFO] [stderr]     Checking revm-primitives v22.0.0
[INFO] [stderr]     Checking alloy-serde v1.7.3
[INFO] [stderr]     Checking alloy-eip2124 v0.2.0
[INFO] [stderr]     Checking alloy-sol-types v1.5.7
[INFO] [stderr]     Checking alloy-trie v0.9.4
[INFO] [stderr]     Checking alloy-signer v1.7.3
[INFO] [stderr]     Checking alloy-chains v0.2.30
[INFO] [stderr]     Checking revm-bytecode v8.0.0
[INFO] [stderr]     Checking p3-mds v0.4.2
[INFO] [stderr]     Checking alloy-eips v1.7.3
[INFO] [stderr]     Checking p3-poseidon2 v0.4.2
[INFO] [stderr]     Checking p3-monty-31 v0.4.2
[INFO] [stderr]     Checking p3-poseidon2-air v0.4.2
[INFO] [stderr]     Checking revm-state v9.0.0
[INFO] [stderr]     Checking p3-challenger v0.4.2
[INFO] [stderr]     Checking revm-database-interface v9.0.0
[INFO] [stderr]     Checking revm-context-interface v14.0.0
[INFO] [stderr]     Checking p3-commit v0.4.2
[INFO] [stderr]     Checking p3-mersenne-31 v0.4.2
[INFO] [stderr]     Checking p3-baby-bear v0.4.2
[INFO] [stderr]     Checking alloy-consensus v1.7.3
[INFO] [stderr]     Checking p3-fri v0.4.2
[INFO] [stderr]     Checking p3-uni-stark v0.4.2 (/opt/rustwide/workdir/crates/p3-uni-stark)
[INFO] [stderr]     Checking p3-merkle-tree v0.4.2
[INFO] [stderr]     Checking alloy-json-rpc v1.7.3
[INFO] [stderr]     Checking p3-circle v0.4.2
[INFO] [stderr]     Checking p3-lookup v0.4.2
[INFO] [stderr]     Checking alloy-transport v1.7.3
[INFO] [stderr]     Checking revm-context v13.0.0
[INFO] [stderr]     Checking revm-interpreter v32.0.0
[INFO] [stderr]     Checking alloy-rpc-client v1.7.3
[INFO] [stderr]     Checking alloy-consensus-any v1.7.3
[INFO] [stderr]     Checking alloy-network-primitives v1.7.3
[INFO] [stderr]     Checking alloy-rpc-types-eth v1.7.3
[INFO] [stderr]     Checking ark-poly v0.5.0
[INFO] [stderr]     Checking ark-ec v0.5.0
[INFO] [stderr]     Checking alloy-rpc-types-any v1.7.3
[INFO] [stderr]     Checking alloy-network v1.7.3
[INFO] [stderr]     Checking alloy-provider v1.7.3
[INFO] [stderr]     Checking ark-bn254 v0.5.0
[INFO] [stderr]     Checking ark-bls12-381 v0.5.0
[INFO] [stderr]     Checking revm-precompile v32.0.0
[INFO] [stderr]     Checking revm-handler v15.0.0
[INFO] [stderr]     Checking revm-inspector v15.0.0
[INFO] [stderr]     Checking revm-database v10.0.0
[INFO] [stderr]     Checking revm v34.0.0
[INFO] [stderr]     Checking 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: `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 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: `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: 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] [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]     Checking zprove-revm-tests v0.1.0 (/opt/rustwide/workdir/crates/zprove-revm-tests)
[INFO] [stderr]     Checking zprove-bench v0.1.0 (/opt/rustwide/workdir/crates/zprove-bench)
[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 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] [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] [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] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 1m 27s
[INFO] [stderr] warning: the following packages contain code that will be rejected by a future version of Rust: proc-macro-error2 v2.0.1
[INFO] [stderr] note: to see what the problems were, use the option `--future-incompat-report`, or run `cargo report future-incompatibilities --id 14`
[INFO] running `Command { std: "docker" "inspect" "dc58555cf8754b8e20016f7527718d5141f15949b92f1579bdfd80aa59f3bf26", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "dc58555cf8754b8e20016f7527718d5141f15949b92f1579bdfd80aa59f3bf26", kill_on_drop: false }`
[INFO] [stdout] dc58555cf8754b8e20016f7527718d5141f15949b92f1579bdfd80aa59f3bf26
