[INFO] cloning repository https://github.com/bytetang/halo2-example [INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/bytetang/halo2-example" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fbytetang%2Fhalo2-example", kill_on_drop: false }` [INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fbytetang%2Fhalo2-example'... [INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }` [INFO] [stdout] 46cb66c6dfe7617f77ae7ccd23bd3949fde10239 [INFO] checking bytetang/halo2-example against master#f8f6997469237299c1d60814c7b9828602a1f8e4 for pr-143808 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fbytetang%2Fhalo2-example" "/workspace/builds/worker-7-tc1/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-7-tc1/source'... [INFO] [stderr] done. [INFO] started tweaking git repo https://github.com/bytetang/halo2-example [INFO] finished tweaking git repo https://github.com/bytetang/halo2-example [INFO] tweaked toml for git repo https://github.com/bytetang/halo2-example written to /workspace/builds/worker-7-tc1/source/Cargo.toml [INFO] validating manifest of git repo https://github.com/bytetang/halo2-example on toolchain f8f6997469237299c1d60814c7b9828602a1f8e4 [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+f8f6997469237299c1d60814c7b9828602a1f8e4" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] crate git repo https://github.com/bytetang/halo2-example 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" "+f8f6997469237299c1d60814c7b9828602a1f8e4" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] [stderr] Blocking waiting for file lock on package cache [INFO] [stderr] Updating git repository `https://github.com/zcash/halo2.git` [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc1/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:cf8efcab8866f2cf4285301c7418e2f4f2a9b088c91ba69c40d5b659f81557f7" "/opt/rustwide/cargo-home/bin/cargo" "+f8f6997469237299c1d60814c7b9828602a1f8e4" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] 94f3bdb76a9c72eb2644fe7ca7e30dfe19020d129c582f00b54292929d2a707d [INFO] running `Command { std: "docker" "start" "-a" "94f3bdb76a9c72eb2644fe7ca7e30dfe19020d129c582f00b54292929d2a707d", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "94f3bdb76a9c72eb2644fe7ca7e30dfe19020d129c582f00b54292929d2a707d", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "94f3bdb76a9c72eb2644fe7ca7e30dfe19020d129c582f00b54292929d2a707d", kill_on_drop: false }` [INFO] [stdout] 94f3bdb76a9c72eb2644fe7ca7e30dfe19020d129c582f00b54292929d2a707d [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc1/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:cf8efcab8866f2cf4285301c7418e2f4f2a9b088c91ba69c40d5b659f81557f7" "/opt/rustwide/cargo-home/bin/cargo" "+f8f6997469237299c1d60814c7b9828602a1f8e4" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] a9e0d2c9fcabc50c96a0bf0dcf59dd713a67a703db33165bfa693d941e683935 [INFO] running `Command { std: "docker" "start" "-a" "a9e0d2c9fcabc50c96a0bf0dcf59dd713a67a703db33165bfa693d941e683935", kill_on_drop: false }` [INFO] [stderr] Compiling autocfg v1.1.0 [INFO] [stderr] Compiling crossbeam-utils v0.8.14 [INFO] [stderr] Checking cfg-if v1.0.0 [INFO] [stderr] Compiling radium v0.7.0 [INFO] [stderr] Compiling libc v0.2.138 [INFO] [stderr] Checking tap v1.0.1 [INFO] [stderr] Checking scopeguard v1.1.0 [INFO] [stderr] Checking funty v2.0.0 [INFO] [stderr] Checking rand_core v0.6.4 [INFO] [stderr] Compiling rayon-core v1.10.1 [INFO] [stderr] Checking subtle v2.4.1 [INFO] [stderr] Checking constant_time_eq v0.1.5 [INFO] [stderr] Checking arrayvec v0.7.2 [INFO] [stderr] Checking arrayref v0.3.6 [INFO] [stderr] Checking lazy_static v1.4.0 [INFO] [stderr] Checking either v1.8.0 [INFO] [stderr] Checking static_assertions v1.1.0 [INFO] [stderr] Checking wyz v0.5.1 [INFO] [stderr] Checking rand v0.8.5 [INFO] [stderr] Checking blake2b_simd v1.0.0 [INFO] [stderr] Compiling memoffset v0.7.1 [INFO] [stderr] Compiling crossbeam-epoch v0.9.13 [INFO] [stderr] Checking crossbeam-channel v0.5.6 [INFO] [stderr] Checking num_cpus v1.14.0 [INFO] [stderr] Checking bitvec v1.0.1 [INFO] [stderr] Checking crossbeam-deque v0.8.2 [INFO] [stderr] Checking rayon v1.6.0 [INFO] [stderr] Checking ff v0.12.1 [INFO] [stderr] Checking group v0.12.1 [INFO] [stderr] Checking pasta_curves v0.4.1 [INFO] [stderr] Checking halo2_proofs v0.1.0 (https://github.com/zcash/halo2.git?rev=a898d65ae3ad3d41987666f6a03cfc15edae01c4#a898d65a) [INFO] [stderr] Checking halo2-simple-example v0.1.0 (/opt/rustwide/workdir) [INFO] [stdout] warning: unused imports: `circuit::Value`, `dev::MockProver`, and `pasta::Fp` [INFO] [stdout] --> src/halo2_examples/simple_example.rs:207:24 [INFO] [stdout] | [INFO] [stdout] 207 | use halo2_proofs::{pasta::Fp, circuit::Value, dev::MockProver}; [INFO] [stdout] | ^^^^^^^^^ ^^^^^^^^^^^^^^ ^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `crate::halo2_examples::simple_example::MyCircuit` [INFO] [stdout] --> src/halo2_examples/simple_example.rs:209:9 [INFO] [stdout] | [INFO] [stdout] 209 | use crate::halo2_examples::simple_example::MyCircuit; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `SimpleFloorPlanner`, `dev::MockProver`, and `pasta::Fp` [INFO] [stdout] --> src/halo2_examples/table.rs:56:19 [INFO] [stdout] | [INFO] [stdout] 56 | circuit::{SimpleFloorPlanner, Value, floor_planner::V1}, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] 57 | plonk::{Advice, Circuit, Column, Selector, Assigned}, [INFO] [stdout] 58 | poly::Rotation, pasta::Fp, dev::MockProver, [INFO] [stdout] | ^^^^^^^^^ ^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `circuit::Value`, `dev::MockProver`, and `pasta::Fp` [INFO] [stdout] --> src/halo2_examples/simple_example.rs:207:24 [INFO] [stdout] | [INFO] [stdout] 207 | use halo2_proofs::{pasta::Fp, circuit::Value, dev::MockProver}; [INFO] [stdout] | ^^^^^^^^^ ^^^^^^^^^^^^^^ ^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `crate::halo2_examples::simple_example::MyCircuit` [INFO] [stdout] --> src/halo2_examples/simple_example.rs:209:9 [INFO] [stdout] | [INFO] [stdout] 209 | use crate::halo2_examples::simple_example::MyCircuit; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `SimpleFloorPlanner` [INFO] [stdout] --> src/halo2_examples/table.rs:56:19 [INFO] [stdout] | [INFO] [stdout] 56 | circuit::{SimpleFloorPlanner, Value, floor_planner::V1}, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: struct `FieldConfig` is never constructed [INFO] [stdout] --> src/halo2_examples/simple_example.rs:11:8 [INFO] [stdout] | [INFO] [stdout] 11 | struct FieldConfig { [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: struct `FieldChip` is never constructed [INFO] [stdout] --> src/halo2_examples/simple_example.rs:21:8 [INFO] [stdout] | [INFO] [stdout] 21 | struct FieldChip { [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated functions `construct` and `configured` are never used [INFO] [stdout] --> src/halo2_examples/simple_example.rs:40:8 [INFO] [stdout] | [INFO] [stdout] 39 | impl FieldChip { [INFO] [stdout] | ------------------------------ associated functions in this implementation [INFO] [stdout] 40 | fn construct(config: >::Config) -> Self { [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 47 | fn configured( [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: trait `NumericInstruction` is never used [INFO] [stdout] --> src/halo2_examples/simple_example.rs:79:7 [INFO] [stdout] | [INFO] [stdout] 79 | trait NumericInstruction: Chip { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: struct `Number` is never constructed [INFO] [stdout] --> src/halo2_examples/simple_example.rs:104:8 [INFO] [stdout] | [INFO] [stdout] 104 | struct Number(AssignedCell); [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: struct `MyCircuit` is never constructed [INFO] [stdout] --> src/halo2_examples/simple_example.rs:161:8 [INFO] [stdout] | [INFO] [stdout] 161 | struct MyCircuit { [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: trait `Expr` is never used [INFO] [stdout] --> src/halo2_examples/sort_example.rs:8:11 [INFO] [stdout] | [INFO] [stdout] 8 | pub trait Expr { [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `expr_from_bytes` is never used [INFO] [stdout] --> src/halo2_examples/sort_example.rs:56:4 [INFO] [stdout] | [INFO] [stdout] 56 | fn expr_from_bytes>(bytes: &[E]) -> Expression { [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: trait `LtInstruction` is never used [INFO] [stdout] --> src/halo2_examples/sort_example.rs:67:11 [INFO] [stdout] | [INFO] [stdout] 67 | pub trait LtInstruction { [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: struct `LtConfig` is never constructed [INFO] [stdout] --> src/halo2_examples/sort_example.rs:80:12 [INFO] [stdout] | [INFO] [stdout] 80 | pub struct LtConfig { [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `is_lt` is never used [INFO] [stdout] --> src/halo2_examples/sort_example.rs:92:12 [INFO] [stdout] | [INFO] [stdout] 90 | impl LtConfig { [INFO] [stdout] | ------------------------------------------------------------ method in this implementation [INFO] [stdout] 91 | /// Returns an expression that denotes whether lhs < rhs, or not. [INFO] [stdout] 92 | pub fn is_lt(&self, meta: &mut VirtualCells, rotation: Option) -> Expression { [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `bool_check` is never used [INFO] [stdout] --> src/halo2_examples/sort_example.rs:98:4 [INFO] [stdout] | [INFO] [stdout] 98 | fn bool_check(value: Expression) -> Expression { [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `range_check` is never used [INFO] [stdout] --> src/halo2_examples/sort_example.rs:103:4 [INFO] [stdout] | [INFO] [stdout] 103 | fn range_check(word: Expression, range: usize) -> Expression { [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: struct `LtChip` is never constructed [INFO] [stdout] --> src/halo2_examples/sort_example.rs:110:12 [INFO] [stdout] | [INFO] [stdout] 110 | pub struct LtChip { [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated functions `configure` and `construct` are never used [INFO] [stdout] --> src/halo2_examples/sort_example.rs:116:12 [INFO] [stdout] | [INFO] [stdout] 114 | impl LtChip { [INFO] [stdout] | ---------------------------------------------------------- associated functions in this implementation [INFO] [stdout] 115 | /// Configures the Lt chip. [INFO] [stdout] 116 | pub fn configure( [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 149 | pub fn construct(config: LtConfig) -> LtChip { [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: struct `RangTableConfig` is never constructed [INFO] [stdout] --> src/halo2_examples/table.rs:10:19 [INFO] [stdout] | [INFO] [stdout] 10 | pub(super) struct RangTableConfig { [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated items `configure` and `load` are never used [INFO] [stdout] --> src/halo2_examples/table.rs:16:12 [INFO] [stdout] | [INFO] [stdout] 15 | impl RangTableConfig { [INFO] [stdout] | ------------------------------------ associated items in this implementation [INFO] [stdout] 16 | pub fn configure(meta: &mut ConstraintSystem) -> Self { [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 25 | pub fn load( [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: struct `TestConfig` is never constructed [INFO] [stdout] --> src/halo2_examples/table.rs:64:12 [INFO] [stdout] | [INFO] [stdout] 64 | struct TestConfig { [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: struct `MyCircuit` is never constructed [INFO] [stdout] --> src/halo2_examples/table.rs:71:12 [INFO] [stdout] | [INFO] [stdout] 71 | struct MyCircuit { [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: struct `FieldConfig` is never constructed [INFO] [stdout] --> src/halo2_examples/simple_example.rs:11:8 [INFO] [stdout] | [INFO] [stdout] 11 | struct FieldConfig { [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: struct `FieldChip` is never constructed [INFO] [stdout] --> src/halo2_examples/simple_example.rs:21:8 [INFO] [stdout] | [INFO] [stdout] 21 | struct FieldChip { [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated functions `construct` and `configured` are never used [INFO] [stdout] --> src/halo2_examples/simple_example.rs:40:8 [INFO] [stdout] | [INFO] [stdout] 39 | impl FieldChip { [INFO] [stdout] | ------------------------------ associated functions in this implementation [INFO] [stdout] 40 | fn construct(config: >::Config) -> Self { [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 47 | fn configured( [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: trait `NumericInstruction` is never used [INFO] [stdout] --> src/halo2_examples/simple_example.rs:79:7 [INFO] [stdout] | [INFO] [stdout] 79 | trait NumericInstruction: Chip { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: struct `Number` is never constructed [INFO] [stdout] --> src/halo2_examples/simple_example.rs:104:8 [INFO] [stdout] | [INFO] [stdout] 104 | struct Number(AssignedCell); [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: struct `MyCircuit` is never constructed [INFO] [stdout] --> src/halo2_examples/simple_example.rs:161:8 [INFO] [stdout] | [INFO] [stdout] 161 | struct MyCircuit { [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Finished `dev` profile [unoptimized + debuginfo] target(s) in 9.88s [INFO] running `Command { std: "docker" "inspect" "a9e0d2c9fcabc50c96a0bf0dcf59dd713a67a703db33165bfa693d941e683935", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "a9e0d2c9fcabc50c96a0bf0dcf59dd713a67a703db33165bfa693d941e683935", kill_on_drop: false }` [INFO] [stdout] a9e0d2c9fcabc50c96a0bf0dcf59dd713a67a703db33165bfa693d941e683935