[INFO] fetching crate halo2-axiom 0.5.1... [INFO] checking halo2-axiom-0.5.1 against try#b6bca0d7327839b5e3f7a7779947cb9113d08917+rustflags=-Zstrict-projection-item-bounds for 150662-leaf [INFO] extracting crate halo2-axiom 0.5.1 into /workspace/builds/worker-6-tc2/source [INFO] started tweaking crates.io crate halo2-axiom 0.5.1 [INFO] removed 0 missing examples [INFO] removed 0 missing tests [INFO] finished tweaking crates.io crate halo2-axiom 0.5.1 [INFO] tweaked toml for crates.io crate halo2-axiom 0.5.1 written to /workspace/builds/worker-6-tc2/source/Cargo.toml [INFO] validating manifest of crates.io crate halo2-axiom 0.5.1 on toolchain b6bca0d7327839b5e3f7a7779947cb9113d08917 [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+b6bca0d7327839b5e3f7a7779947cb9113d08917" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] crate crates.io crate halo2-axiom 0.5.1 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" "+b6bca0d7327839b5e3f7a7779947cb9113d08917" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-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" "+b6bca0d7327839b5e3f7a7779947cb9113d08917" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] 103ad085012a3c4d045da4d48dd56b8e7c7afdbe516d0456126d34488f8633ef [INFO] running `Command { std: "docker" "start" "-a" "103ad085012a3c4d045da4d48dd56b8e7c7afdbe516d0456126d34488f8633ef", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "103ad085012a3c4d045da4d48dd56b8e7c7afdbe516d0456126d34488f8633ef", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "103ad085012a3c4d045da4d48dd56b8e7c7afdbe516d0456126d34488f8633ef", kill_on_drop: false }` [INFO] [stdout] 103ad085012a3c4d045da4d48dd56b8e7c7afdbe516d0456126d34488f8633ef [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-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 -Zstrict-projection-item-bounds" "-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" "+b6bca0d7327839b5e3f7a7779947cb9113d08917" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 4ffd9e8833acc34ef7473cfc8479bf4563827c454fd3f579b57c5db850a370ee [INFO] running `Command { std: "docker" "start" "-a" "4ffd9e8833acc34ef7473cfc8479bf4563827c454fd3f579b57c5db850a370ee", kill_on_drop: false }` [INFO] [stderr] Compiling unicode-ident v1.0.12 [INFO] [stderr] Compiling proc-macro2 v1.0.86 [INFO] [stderr] Compiling libc v0.2.155 [INFO] [stderr] Compiling crossbeam-utils v0.8.20 [INFO] [stderr] Compiling autocfg v1.3.0 [INFO] [stderr] Compiling serde v1.0.207 [INFO] [stderr] Compiling libm v0.2.8 [INFO] [stderr] Compiling typenum v1.17.0 [INFO] [stderr] Compiling radium v0.7.0 [INFO] [stderr] Checking either v1.13.0 [INFO] [stderr] Checking tap v1.0.1 [INFO] [stderr] Compiling syn v1.0.109 [INFO] [stderr] Checking funty v2.0.0 [INFO] [stderr] Compiling rayon-core v1.12.1 [INFO] [stderr] Checking once_cell v1.19.0 [INFO] [stderr] Checking subtle v2.6.1 [INFO] [stderr] Checking memchr v2.7.4 [INFO] [stderr] Checking wyz v0.5.1 [INFO] [stderr] Compiling rustix v0.38.34 [INFO] [stderr] Checking regex-syntax v0.8.4 [INFO] [stderr] Checking arrayvec v0.7.4 [INFO] [stderr] Compiling serde_json v1.0.124 [INFO] [stderr] Checking bitflags v2.6.0 [INFO] [stderr] Compiling paste v1.0.15 [INFO] [stderr] Checking constant_time_eq v0.3.0 [INFO] [stderr] Checking ryu v1.0.18 [INFO] [stderr] Checking arrayref v0.3.8 [INFO] [stderr] Compiling halo2curves-axiom v0.7.0 [INFO] [stderr] Checking blake2b_simd v1.0.2 [INFO] [stderr] Checking plotters-backend v0.3.6 [INFO] [stderr] Checking fastrand v2.1.0 [INFO] [stderr] Checking bitvec v1.0.1 [INFO] [stderr] Checking cpufeatures v0.2.13 [INFO] [stderr] Checking unicode-width v0.1.13 [INFO] [stderr] Checking tracing-core v0.1.32 [INFO] [stderr] Checking textwrap v0.11.0 [INFO] [stderr] Checking itertools v0.10.5 [INFO] [stderr] Compiling num-traits v0.2.19 [INFO] [stderr] Checking plotters-svg v0.3.6 [INFO] [stderr] Checking crossbeam-epoch v0.9.18 [INFO] [stderr] Checking crossbeam-queue v0.3.11 [INFO] [stderr] Checking crossbeam-channel v0.5.13 [INFO] [stderr] Compiling quote v1.0.36 [INFO] [stderr] Checking bit-vec v0.6.3 [INFO] [stderr] Compiling syn v2.0.74 [INFO] [stderr] Checking cast v0.3.0 [INFO] [stderr] Checking crossbeam-deque v0.8.5 [INFO] [stderr] Checking half v1.8.3 [INFO] [stderr] Checking same-file v1.0.6 [INFO] [stderr] Checking getrandom v0.2.15 [INFO] [stderr] Checking wait-timeout v0.2.0 [INFO] [stderr] Checking atty v0.2.14 [INFO] [stderr] Checking walkdir v2.5.0 [INFO] [stderr] Checking csv-core v0.1.11 [INFO] [stderr] Checking bit-set v0.5.3 [INFO] [stderr] Checking crossbeam v0.8.4 [INFO] [stderr] Checking rand_core v0.6.4 [INFO] [stderr] Checking clap v2.34.0 [INFO] [stderr] Checking itertools v0.11.0 [INFO] [stderr] Checking colored v2.1.0 [INFO] [stderr] Checking oorandom v11.1.4 [INFO] [stderr] Checking rustc-hash v1.1.0 [INFO] [stderr] Checking assert_matches v1.5.0 [INFO] [stderr] Checking rand_xorshift v0.3.0 [INFO] [stderr] Checking rayon v1.10.0 [INFO] [stderr] Checking generic-array v0.14.7 [INFO] [stderr] Checking num-integer v0.1.46 [INFO] [stderr] Checking plotters v0.3.7 [INFO] [stderr] Checking regex-automata v0.4.7 [INFO] [stderr] Checking criterion-plot v0.4.5 [INFO] [stderr] Checking num-bigint v0.4.6 [INFO] [stderr] Checking crypto-common v0.1.6 [INFO] [stderr] Checking block-buffer v0.10.4 [INFO] [stderr] Checking digest v0.10.7 [INFO] [stderr] Checking sha2 v0.10.8 [INFO] [stderr] Checking sha3 v0.10.8 [INFO] [stderr] Checking tempfile v3.12.0 [INFO] [stderr] Checking rusty-fork v0.3.0 [INFO] [stderr] Checking ff v0.13.0 [INFO] [stderr] Checking group v0.13.0 [INFO] [stderr] Checking pairing v0.23.0 [INFO] [stderr] Checking regex v1.10.6 [INFO] [stderr] Checking maybe-rayon v0.1.1 [INFO] [stderr] Compiling unroll v0.1.5 [INFO] [stderr] Compiling gumdrop_derive v0.8.1 [INFO] [stderr] Checking gumdrop v0.8.1 [INFO] [stderr] Compiling serde_derive v1.0.207 [INFO] [stderr] Compiling zerocopy-derive v0.7.35 [INFO] [stderr] Compiling tracing-attributes v0.1.27 [INFO] [stderr] Checking zerocopy v0.7.35 [INFO] [stderr] Checking tracing v0.1.40 [INFO] [stderr] Checking ppv-lite86 v0.2.20 [INFO] [stderr] Checking rand_chacha v0.3.1 [INFO] [stderr] Checking rand v0.8.5 [INFO] [stderr] Checking pasta_curves v0.5.1 [INFO] [stderr] Checking proptest v1.5.0 [INFO] [stderr] Checking ark-std v0.3.0 [INFO] [stderr] Checking hex v0.4.3 [INFO] [stderr] Checking serde_arrays v0.1.0 [INFO] [stderr] Checking serde_cbor v0.11.2 [INFO] [stderr] Checking csv v1.3.0 [INFO] [stderr] Checking tinytemplate v1.2.1 [INFO] [stderr] Checking criterion v0.3.6 [INFO] [stderr] Checking halo2-axiom v0.5.1 (/opt/rustwide/workdir) [INFO] [stdout] warning: unexpected `cfg` condition value: `thread-safe-region` [INFO] [stdout] --> src/circuit/layouter.rs:14:7 [INFO] [stdout] | [INFO] [stdout] 14 | #[cfg(feature = "thread-safe-region")] [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: expected values for `feature` are: `asm`, `backtrace`, `batch`, `circuit-params`, `default`, `dev-graph`, `gadget-traces`, `halo2_legacy_pdqsort`, `multicore`, `plotters`, `profile`, `sanity-checks`, `tabbycat`, and `test-dev-graph` [INFO] [stdout] = help: consider adding `thread-safe-region` as a feature in `Cargo.toml` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] = note: `#[warn(unexpected_cfgs)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition value: `thread-safe-region` [INFO] [stdout] --> src/circuit/layouter.rs:17:7 [INFO] [stdout] | [INFO] [stdout] 17 | #[cfg(feature = "thread-safe-region")] [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: expected values for `feature` are: `asm`, `backtrace`, `batch`, `circuit-params`, `default`, `dev-graph`, `gadget-traces`, `halo2_legacy_pdqsort`, `multicore`, `plotters`, `profile`, `sanity-checks`, `tabbycat`, and `test-dev-graph` [INFO] [stdout] = help: consider adding `thread-safe-region` as a feature in `Cargo.toml` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition value: `thread-safe-region` [INFO] [stdout] --> src/circuit/layouter.rs:21:11 [INFO] [stdout] | [INFO] [stdout] 21 | #[cfg(not(feature = "thread-safe-region"))] [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: expected values for `feature` are: `asm`, `backtrace`, `batch`, `circuit-params`, `default`, `dev-graph`, `gadget-traces`, `halo2_legacy_pdqsort`, `multicore`, `plotters`, `profile`, `sanity-checks`, `tabbycat`, and `test-dev-graph` [INFO] [stdout] = help: consider adding `thread-safe-region` as a feature in `Cargo.toml` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition value: `thread-safe-region` [INFO] [stdout] --> src/circuit/layouter.rs:24:11 [INFO] [stdout] | [INFO] [stdout] 24 | #[cfg(not(feature = "thread-safe-region"))] [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: expected values for `feature` are: `asm`, `backtrace`, `batch`, `circuit-params`, `default`, `dev-graph`, `gadget-traces`, `halo2_legacy_pdqsort`, `multicore`, `plotters`, `profile`, `sanity-checks`, `tabbycat`, and `test-dev-graph` [INFO] [stdout] = help: consider adding `thread-safe-region` as a feature in `Cargo.toml` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `Scope` [INFO] [stdout] --> src/multicore.rs:12:18 [INFO] [stdout] | [INFO] [stdout] 12 | join, scope, Scope, [INFO] [stdout] | ^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition value: `thread-safe-region` [INFO] [stdout] --> src/plonk/permutation/keygen.rs:17:7 [INFO] [stdout] | [INFO] [stdout] 17 | #[cfg(feature = "thread-safe-region")] [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: expected values for `feature` are: `asm`, `backtrace`, `batch`, `circuit-params`, `default`, `dev-graph`, `gadget-traces`, `halo2_legacy_pdqsort`, `multicore`, `plotters`, `profile`, `sanity-checks`, `tabbycat`, and `test-dev-graph` [INFO] [stdout] = help: consider adding `thread-safe-region` as a feature in `Cargo.toml` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition value: `thread-safe-region` [INFO] [stdout] --> src/plonk/permutation/keygen.rs:20:11 [INFO] [stdout] | [INFO] [stdout] 20 | #[cfg(not(feature = "thread-safe-region"))] [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: expected values for `feature` are: `asm`, `backtrace`, `batch`, `circuit-params`, `default`, `dev-graph`, `gadget-traces`, `halo2_legacy_pdqsort`, `multicore`, `plotters`, `profile`, `sanity-checks`, `tabbycat`, and `test-dev-graph` [INFO] [stdout] = help: consider adding `thread-safe-region` as a feature in `Cargo.toml` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition value: `thread-safe-region` [INFO] [stdout] --> src/plonk/permutation/keygen.rs:34:11 [INFO] [stdout] | [INFO] [stdout] 34 | #[cfg(not(feature = "thread-safe-region"))] [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: expected values for `feature` are: `asm`, `backtrace`, `batch`, `circuit-params`, `default`, `dev-graph`, `gadget-traces`, `halo2_legacy_pdqsort`, `multicore`, `plotters`, `profile`, `sanity-checks`, `tabbycat`, and `test-dev-graph` [INFO] [stdout] = help: consider adding `thread-safe-region` as a feature in `Cargo.toml` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition value: `thread-safe-region` [INFO] [stdout] --> src/plonk/permutation/keygen.rs:153:7 [INFO] [stdout] | [INFO] [stdout] 153 | #[cfg(feature = "thread-safe-region")] [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: expected values for `feature` are: `asm`, `backtrace`, `batch`, `circuit-params`, `default`, `dev-graph`, `gadget-traces`, `halo2_legacy_pdqsort`, `multicore`, `plotters`, `profile`, `sanity-checks`, `tabbycat`, and `test-dev-graph` [INFO] [stdout] = help: consider adding `thread-safe-region` as a feature in `Cargo.toml` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition value: `thread-safe-region` [INFO] [stdout] --> src/plonk/permutation/keygen.rs:171:7 [INFO] [stdout] | [INFO] [stdout] 171 | #[cfg(feature = "thread-safe-region")] [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: expected values for `feature` are: `asm`, `backtrace`, `batch`, `circuit-params`, `default`, `dev-graph`, `gadget-traces`, `halo2_legacy_pdqsort`, `multicore`, `plotters`, `profile`, `sanity-checks`, `tabbycat`, and `test-dev-graph` [INFO] [stdout] = help: consider adding `thread-safe-region` as a feature in `Cargo.toml` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition value: `thread-safe-region` [INFO] [stdout] --> src/dev.rs:715:15 [INFO] [stdout] | [INFO] [stdout] 715 | #[cfg(feature = "thread-safe-region")] [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: expected values for `feature` are: `asm`, `backtrace`, `batch`, `circuit-params`, `default`, `dev-graph`, `gadget-traces`, `halo2_legacy_pdqsort`, `multicore`, `plotters`, `profile`, `sanity-checks`, `tabbycat`, and `test-dev-graph` [INFO] [stdout] = help: consider adding `thread-safe-region` as a feature in `Cargo.toml` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition value: `thread-safe-region` [INFO] [stdout] --> src/circuit/layouter.rs:14:7 [INFO] [stdout] | [INFO] [stdout] 14 | #[cfg(feature = "thread-safe-region")] [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: expected values for `feature` are: `asm`, `backtrace`, `batch`, `circuit-params`, `default`, `dev-graph`, `gadget-traces`, `halo2_legacy_pdqsort`, `multicore`, `plotters`, `profile`, `sanity-checks`, `tabbycat`, and `test-dev-graph` [INFO] [stdout] = help: consider adding `thread-safe-region` as a feature in `Cargo.toml` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] = note: `#[warn(unexpected_cfgs)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: `#[must_use]` attribute cannot be used on trait methods in impl blocks [INFO] [stdout] --> src/poly/ipa/strategy.rs:108:5 [INFO] [stdout] | [INFO] [stdout] 108 | #[must_use] [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in a future release! [INFO] [stdout] = help: `#[must_use]` can be applied to data types, foreign functions, functions, inherent methods, provided trait methods, required trait methods, and traits [INFO] [stdout] = note: `#[warn(unused_attributes)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: `#[must_use]` attribute cannot be used on trait methods in impl blocks [INFO] [stdout] --> src/poly/ipa/strategy.rs:149:5 [INFO] [stdout] | [INFO] [stdout] 149 | #[must_use] [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in a future release! [INFO] [stdout] = help: `#[must_use]` can be applied to data types, foreign functions, functions, inherent methods, provided trait methods, required trait methods, and traits [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition value: `thread-safe-region` [INFO] [stdout] --> src/circuit/layouter.rs:17:7 [INFO] [stdout] | [INFO] [stdout] 17 | #[cfg(feature = "thread-safe-region")] [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: expected values for `feature` are: `asm`, `backtrace`, `batch`, `circuit-params`, `default`, `dev-graph`, `gadget-traces`, `halo2_legacy_pdqsort`, `multicore`, `plotters`, `profile`, `sanity-checks`, `tabbycat`, and `test-dev-graph` [INFO] [stdout] = help: consider adding `thread-safe-region` as a feature in `Cargo.toml` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition value: `thread-safe-region` [INFO] [stdout] --> src/circuit/layouter.rs:21:11 [INFO] [stdout] | [INFO] [stdout] 21 | #[cfg(not(feature = "thread-safe-region"))] [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: expected values for `feature` are: `asm`, `backtrace`, `batch`, `circuit-params`, `default`, `dev-graph`, `gadget-traces`, `halo2_legacy_pdqsort`, `multicore`, `plotters`, `profile`, `sanity-checks`, `tabbycat`, and `test-dev-graph` [INFO] [stdout] = help: consider adding `thread-safe-region` as a feature in `Cargo.toml` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition value: `thread-safe-region` [INFO] [stdout] --> src/circuit/layouter.rs:24:11 [INFO] [stdout] | [INFO] [stdout] 24 | #[cfg(not(feature = "thread-safe-region"))] [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: expected values for `feature` are: `asm`, `backtrace`, `batch`, `circuit-params`, `default`, `dev-graph`, `gadget-traces`, `halo2_legacy_pdqsort`, `multicore`, `plotters`, `profile`, `sanity-checks`, `tabbycat`, and `test-dev-graph` [INFO] [stdout] = help: consider adding `thread-safe-region` as a feature in `Cargo.toml` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `Scope` [INFO] [stdout] --> src/multicore.rs:12:18 [INFO] [stdout] | [INFO] [stdout] 12 | join, scope, Scope, [INFO] [stdout] | ^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition value: `thread-safe-region` [INFO] [stdout] --> src/plonk/permutation/keygen.rs:17:7 [INFO] [stdout] | [INFO] [stdout] 17 | #[cfg(feature = "thread-safe-region")] [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: expected values for `feature` are: `asm`, `backtrace`, `batch`, `circuit-params`, `default`, `dev-graph`, `gadget-traces`, `halo2_legacy_pdqsort`, `multicore`, `plotters`, `profile`, `sanity-checks`, `tabbycat`, and `test-dev-graph` [INFO] [stdout] = help: consider adding `thread-safe-region` as a feature in `Cargo.toml` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition value: `thread-safe-region` [INFO] [stdout] --> src/plonk/permutation/keygen.rs:20:11 [INFO] [stdout] | [INFO] [stdout] 20 | #[cfg(not(feature = "thread-safe-region"))] [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: expected values for `feature` are: `asm`, `backtrace`, `batch`, `circuit-params`, `default`, `dev-graph`, `gadget-traces`, `halo2_legacy_pdqsort`, `multicore`, `plotters`, `profile`, `sanity-checks`, `tabbycat`, and `test-dev-graph` [INFO] [stdout] = help: consider adding `thread-safe-region` as a feature in `Cargo.toml` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition value: `thread-safe-region` [INFO] [stdout] --> src/plonk/permutation/keygen.rs:34:11 [INFO] [stdout] | [INFO] [stdout] 34 | #[cfg(not(feature = "thread-safe-region"))] [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: expected values for `feature` are: `asm`, `backtrace`, `batch`, `circuit-params`, `default`, `dev-graph`, `gadget-traces`, `halo2_legacy_pdqsort`, `multicore`, `plotters`, `profile`, `sanity-checks`, `tabbycat`, and `test-dev-graph` [INFO] [stdout] = help: consider adding `thread-safe-region` as a feature in `Cargo.toml` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition value: `thread-safe-region` [INFO] [stdout] --> src/plonk/permutation/keygen.rs:153:7 [INFO] [stdout] | [INFO] [stdout] 153 | #[cfg(feature = "thread-safe-region")] [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: expected values for `feature` are: `asm`, `backtrace`, `batch`, `circuit-params`, `default`, `dev-graph`, `gadget-traces`, `halo2_legacy_pdqsort`, `multicore`, `plotters`, `profile`, `sanity-checks`, `tabbycat`, and `test-dev-graph` [INFO] [stdout] = help: consider adding `thread-safe-region` as a feature in `Cargo.toml` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition value: `thread-safe-region` [INFO] [stdout] --> src/plonk/permutation/keygen.rs:171:7 [INFO] [stdout] | [INFO] [stdout] 171 | #[cfg(feature = "thread-safe-region")] [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: expected values for `feature` are: `asm`, `backtrace`, `batch`, `circuit-params`, `default`, `dev-graph`, `gadget-traces`, `halo2_legacy_pdqsort`, `multicore`, `plotters`, `profile`, `sanity-checks`, `tabbycat`, and `test-dev-graph` [INFO] [stdout] = help: consider adding `thread-safe-region` as a feature in `Cargo.toml` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition value: `thread-safe-region` [INFO] [stdout] --> src/dev.rs:715:15 [INFO] [stdout] | [INFO] [stdout] 715 | #[cfg(feature = "thread-safe-region")] [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: expected values for `feature` are: `asm`, `backtrace`, `batch`, `circuit-params`, `default`, `dev-graph`, `gadget-traces`, `halo2_legacy_pdqsort`, `multicore`, `plotters`, `profile`, `sanity-checks`, `tabbycat`, and `test-dev-graph` [INFO] [stdout] = help: consider adding `thread-safe-region` as a feature in `Cargo.toml` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: `#[must_use]` attribute cannot be used on trait methods in impl blocks [INFO] [stdout] --> src/poly/ipa/strategy.rs:108:5 [INFO] [stdout] | [INFO] [stdout] 108 | #[must_use] [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in a future release! [INFO] [stdout] = help: `#[must_use]` can be applied to data types, foreign functions, functions, inherent methods, provided trait methods, required trait methods, and traits [INFO] [stdout] = note: `#[warn(unused_attributes)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: `#[must_use]` attribute cannot be used on trait methods in impl blocks [INFO] [stdout] --> src/poly/ipa/strategy.rs:149:5 [INFO] [stdout] | [INFO] [stdout] 149 | #[must_use] [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in a future release! [INFO] [stdout] = help: `#[must_use]` can be applied to data types, foreign functions, functions, inherent methods, provided trait methods, required trait methods, and traits [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::Scalar: PrimeField` is not satisfied [INFO] [stdout] --> src/plonk/prover.rs:137:12 [INFO] [stdout] | [INFO] [stdout] 137 | C: CurveAffine, [INFO] [stdout] | ^^^^^^^^^^^ the trait `PrimeField` is not implemented for `::Scalar` [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `CurveAffine` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/group-0.13.0/src/prime.rs:35:18 [INFO] [stdout] | [INFO] [stdout] 35 | type Scalar: PrimeField; [INFO] [stdout] | ^^^^^^^^^^ required by this bound in `CurveAffine` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/pasta_curves-0.5.1/src/arithmetic/curves.rs:90:11 [INFO] [stdout] | [INFO] [stdout] 90 | pub trait CurveAffine: [INFO] [stdout] | ----------- required by a bound in this trait [INFO] [stdout] help: consider extending the `where` clause, but there might be an alternative better way to express this requirement [INFO] [stdout] | [INFO] [stdout] 140 | T: TranscriptWrite, ::Scalar: PrimeField [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving `::ScalarExt == ::Scalar` [INFO] [stdout] --> src/plonk/prover.rs:170:9 [INFO] [stdout] | [INFO] [stdout] 158 | impl<'params, 'a, 'b, F, Scheme, P, C, E, R, T> Assignment [INFO] [stdout] | - found this type parameter [INFO] [stdout] ... [INFO] [stdout] 170 | / fn enter_region(&mut self, _: N) [INFO] [stdout] 171 | | where [INFO] [stdout] 172 | | NR: Into, [INFO] [stdout] 173 | | N: FnOnce() -> NR, [INFO] [stdout] | |______________________________^ expected associated type, found type parameter `F` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Scalar` [INFO] [stdout] found type parameter `F` [INFO] [stdout] note: required by a bound in `WitnessCollection` [INFO] [stdout] --> src/poly/commitment.rs:23:29 [INFO] [stdout] | [INFO] [stdout] 23 | type Curve: CurveAffine; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `WitnessCollection` [INFO] [stdout] | [INFO] [stdout] ::: src/plonk/prover.rs:133:12 [INFO] [stdout] | [INFO] [stdout] 133 | struct WitnessCollection<'params, 'a, 'b, Scheme, P, C, E, R, T> [INFO] [stdout] | ----------------- required by a bound in this struct [INFO] [stdout] help: consider further restricting this bound [INFO] [stdout] | [INFO] [stdout] 162 | Scheme: CommitmentScheme, [INFO] [stdout] | ++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving `::ScalarExt == ::Scalar` [INFO] [stdout] --> src/plonk/prover.rs:178:9 [INFO] [stdout] | [INFO] [stdout] 158 | impl<'params, 'a, 'b, F, Scheme, P, C, E, R, T> Assignment [INFO] [stdout] | - found this type parameter [INFO] [stdout] ... [INFO] [stdout] 178 | fn exit_region(&mut self) { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^ expected associated type, found type parameter `F` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Scalar` [INFO] [stdout] found type parameter `F` [INFO] [stdout] note: required by a bound in `WitnessCollection` [INFO] [stdout] --> src/poly/commitment.rs:23:29 [INFO] [stdout] | [INFO] [stdout] 23 | type Curve: CurveAffine; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `WitnessCollection` [INFO] [stdout] | [INFO] [stdout] ::: src/plonk/prover.rs:133:12 [INFO] [stdout] | [INFO] [stdout] 133 | struct WitnessCollection<'params, 'a, 'b, Scheme, P, C, E, R, T> [INFO] [stdout] | ----------------- required by a bound in this struct [INFO] [stdout] help: consider further restricting this bound [INFO] [stdout] | [INFO] [stdout] 162 | Scheme: CommitmentScheme, [INFO] [stdout] | ++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving `::ScalarExt == ::Scalar` [INFO] [stdout] --> src/plonk/prover.rs:182:9 [INFO] [stdout] | [INFO] [stdout] 158 | impl<'params, 'a, 'b, F, Scheme, P, C, E, R, T> Assignment [INFO] [stdout] | - found this type parameter [INFO] [stdout] ... [INFO] [stdout] 182 | / fn enable_selector(&mut self, _: A, _: &Selector, _: usize) -> Result<(), Error> [INFO] [stdout] 183 | | where [INFO] [stdout] 184 | | A: FnOnce() -> AR, [INFO] [stdout] 185 | | AR: Into, [INFO] [stdout] | |_____________________________^ expected associated type, found type parameter `F` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Scalar` [INFO] [stdout] found type parameter `F` [INFO] [stdout] note: required by a bound in `WitnessCollection` [INFO] [stdout] --> src/poly/commitment.rs:23:29 [INFO] [stdout] | [INFO] [stdout] 23 | type Curve: CurveAffine; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `WitnessCollection` [INFO] [stdout] | [INFO] [stdout] ::: src/plonk/prover.rs:133:12 [INFO] [stdout] | [INFO] [stdout] 133 | struct WitnessCollection<'params, 'a, 'b, Scheme, P, C, E, R, T> [INFO] [stdout] | ----------------- required by a bound in this struct [INFO] [stdout] help: consider further restricting this bound [INFO] [stdout] | [INFO] [stdout] 162 | Scheme: CommitmentScheme, [INFO] [stdout] | ++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving `::ScalarExt == ::Scalar` [INFO] [stdout] --> src/plonk/prover.rs:192:9 [INFO] [stdout] | [INFO] [stdout] 158 | impl<'params, 'a, 'b, F, Scheme, P, C, E, R, T> Assignment [INFO] [stdout] | - found this type parameter [INFO] [stdout] ... [INFO] [stdout] 192 | / fn annotate_column(&mut self, _annotation: A, _column: Column) [INFO] [stdout] 193 | | where [INFO] [stdout] 194 | | A: FnOnce() -> AR, [INFO] [stdout] 195 | | AR: Into, [INFO] [stdout] | |_____________________________^ expected associated type, found type parameter `F` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Scalar` [INFO] [stdout] found type parameter `F` [INFO] [stdout] note: required by a bound in `WitnessCollection` [INFO] [stdout] --> src/poly/commitment.rs:23:29 [INFO] [stdout] | [INFO] [stdout] 23 | type Curve: CurveAffine; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `WitnessCollection` [INFO] [stdout] | [INFO] [stdout] ::: src/plonk/prover.rs:133:12 [INFO] [stdout] | [INFO] [stdout] 133 | struct WitnessCollection<'params, 'a, 'b, Scheme, P, C, E, R, T> [INFO] [stdout] | ----------------- required by a bound in this struct [INFO] [stdout] help: consider further restricting this bound [INFO] [stdout] | [INFO] [stdout] 162 | Scheme: CommitmentScheme, [INFO] [stdout] | ++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving `::ScalarExt == ::Scalar` [INFO] [stdout] --> src/plonk/prover.rs:200:9 [INFO] [stdout] | [INFO] [stdout] 158 | impl<'params, 'a, 'b, F, Scheme, P, C, E, R, T> Assignment [INFO] [stdout] | - found this type parameter [INFO] [stdout] ... [INFO] [stdout] 200 | fn query_instance(&self, column: Column, row: usize) -> Result, Error> { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected associated type, found type parameter `F` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Scalar` [INFO] [stdout] found type parameter `F` [INFO] [stdout] note: required by a bound in `WitnessCollection` [INFO] [stdout] --> src/poly/commitment.rs:23:29 [INFO] [stdout] | [INFO] [stdout] 23 | type Curve: CurveAffine; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `WitnessCollection` [INFO] [stdout] | [INFO] [stdout] ::: src/plonk/prover.rs:133:12 [INFO] [stdout] | [INFO] [stdout] 133 | struct WitnessCollection<'params, 'a, 'b, Scheme, P, C, E, R, T> [INFO] [stdout] | ----------------- required by a bound in this struct [INFO] [stdout] help: consider further restricting this bound [INFO] [stdout] | [INFO] [stdout] 162 | Scheme: CommitmentScheme, [INFO] [stdout] | ++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving `::ScalarExt == ::Scalar` [INFO] [stdout] --> src/plonk/prover.rs:212:9 [INFO] [stdout] | [INFO] [stdout] 158 | impl<'params, 'a, 'b, F, Scheme, P, C, E, R, T> Assignment [INFO] [stdout] | - found this type parameter [INFO] [stdout] ... [INFO] [stdout] 212 | / fn assign_advice<'v>( [INFO] [stdout] 213 | | //( [INFO] [stdout] 214 | | &mut self, [INFO] [stdout] ... | [INFO] [stdout] 218 | | to: Value>, [INFO] [stdout] 219 | | ) -> Value<&'v Assigned> { [INFO] [stdout] | |___________________________________^ expected associated type, found type parameter `F` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Scalar` [INFO] [stdout] found type parameter `F` [INFO] [stdout] note: required by a bound in `WitnessCollection` [INFO] [stdout] --> src/poly/commitment.rs:23:29 [INFO] [stdout] | [INFO] [stdout] 23 | type Curve: CurveAffine; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `WitnessCollection` [INFO] [stdout] | [INFO] [stdout] ::: src/plonk/prover.rs:133:12 [INFO] [stdout] | [INFO] [stdout] 133 | struct WitnessCollection<'params, 'a, 'b, Scheme, P, C, E, R, T> [INFO] [stdout] | ----------------- required by a bound in this struct [INFO] [stdout] help: consider further restricting this bound [INFO] [stdout] | [INFO] [stdout] 162 | Scheme: CommitmentScheme, [INFO] [stdout] | ++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving `::ScalarExt == ::Scalar` [INFO] [stdout] --> src/plonk/prover.rs:249:9 [INFO] [stdout] | [INFO] [stdout] 158 | impl<'params, 'a, 'b, F, Scheme, P, C, E, R, T> Assignment [INFO] [stdout] | - found this type parameter [INFO] [stdout] ... [INFO] [stdout] 249 | fn assign_fixed(&mut self, _: Column, _: usize, _: Assigned) { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected associated type, found type parameter `F` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Scalar` [INFO] [stdout] found type parameter `F` [INFO] [stdout] note: required by a bound in `WitnessCollection` [INFO] [stdout] --> src/poly/commitment.rs:23:29 [INFO] [stdout] | [INFO] [stdout] 23 | type Curve: CurveAffine; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `WitnessCollection` [INFO] [stdout] | [INFO] [stdout] ::: src/plonk/prover.rs:133:12 [INFO] [stdout] | [INFO] [stdout] 133 | struct WitnessCollection<'params, 'a, 'b, Scheme, P, C, E, R, T> [INFO] [stdout] | ----------------- required by a bound in this struct [INFO] [stdout] help: consider further restricting this bound [INFO] [stdout] | [INFO] [stdout] 162 | Scheme: CommitmentScheme, [INFO] [stdout] | ++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving `::ScalarExt == ::Scalar` [INFO] [stdout] --> src/plonk/prover.rs:253:9 [INFO] [stdout] | [INFO] [stdout] 158 | impl<'params, 'a, 'b, F, Scheme, P, C, E, R, T> Assignment [INFO] [stdout] | - found this type parameter [INFO] [stdout] ... [INFO] [stdout] 253 | fn copy(&mut self, _: Column, _: usize, _: Column, _: usize) { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected associated type, found type parameter `F` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Scalar` [INFO] [stdout] found type parameter `F` [INFO] [stdout] note: required by a bound in `WitnessCollection` [INFO] [stdout] --> src/poly/commitment.rs:23:29 [INFO] [stdout] | [INFO] [stdout] 23 | type Curve: CurveAffine; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `WitnessCollection` [INFO] [stdout] | [INFO] [stdout] ::: src/plonk/prover.rs:133:12 [INFO] [stdout] | [INFO] [stdout] 133 | struct WitnessCollection<'params, 'a, 'b, Scheme, P, C, E, R, T> [INFO] [stdout] | ----------------- required by a bound in this struct [INFO] [stdout] help: consider further restricting this bound [INFO] [stdout] | [INFO] [stdout] 162 | Scheme: CommitmentScheme, [INFO] [stdout] | ++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving `::ScalarExt == ::Scalar` [INFO] [stdout] --> src/plonk/prover.rs:257:9 [INFO] [stdout] | [INFO] [stdout] 158 | impl<'params, 'a, 'b, F, Scheme, P, C, E, R, T> Assignment [INFO] [stdout] | - found this type parameter [INFO] [stdout] ... [INFO] [stdout] 257 | / fn fill_from_row( [INFO] [stdout] 258 | | &mut self, [INFO] [stdout] 259 | | _: Column, [INFO] [stdout] 260 | | _: usize, [INFO] [stdout] 261 | | _: Value>, [INFO] [stdout] 262 | | ) -> Result<(), Error> { [INFO] [stdout] | |______________________________^ expected associated type, found type parameter `F` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Scalar` [INFO] [stdout] found type parameter `F` [INFO] [stdout] note: required by a bound in `WitnessCollection` [INFO] [stdout] --> src/poly/commitment.rs:23:29 [INFO] [stdout] | [INFO] [stdout] 23 | type Curve: CurveAffine; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `WitnessCollection` [INFO] [stdout] | [INFO] [stdout] ::: src/plonk/prover.rs:133:12 [INFO] [stdout] | [INFO] [stdout] 133 | struct WitnessCollection<'params, 'a, 'b, Scheme, P, C, E, R, T> [INFO] [stdout] | ----------------- required by a bound in this struct [INFO] [stdout] help: consider further restricting this bound [INFO] [stdout] | [INFO] [stdout] 162 | Scheme: CommitmentScheme, [INFO] [stdout] | ++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving `::ScalarExt == ::Scalar` [INFO] [stdout] --> src/plonk/prover.rs:266:9 [INFO] [stdout] | [INFO] [stdout] 158 | impl<'params, 'a, 'b, F, Scheme, P, C, E, R, T> Assignment [INFO] [stdout] | - found this type parameter [INFO] [stdout] ... [INFO] [stdout] 266 | fn get_challenge(&self, challenge: Challenge) -> Value { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected associated type, found type parameter `F` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Scalar` [INFO] [stdout] found type parameter `F` [INFO] [stdout] note: required by a bound in `WitnessCollection` [INFO] [stdout] --> src/poly/commitment.rs:23:29 [INFO] [stdout] | [INFO] [stdout] 23 | type Curve: CurveAffine; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `WitnessCollection` [INFO] [stdout] | [INFO] [stdout] ::: src/plonk/prover.rs:133:12 [INFO] [stdout] | [INFO] [stdout] 133 | struct WitnessCollection<'params, 'a, 'b, Scheme, P, C, E, R, T> [INFO] [stdout] | ----------------- required by a bound in this struct [INFO] [stdout] help: consider further restricting this bound [INFO] [stdout] | [INFO] [stdout] 162 | Scheme: CommitmentScheme, [INFO] [stdout] | ++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving `::ScalarExt == ::Scalar` [INFO] [stdout] --> src/plonk/prover.rs:274:9 [INFO] [stdout] | [INFO] [stdout] 158 | impl<'params, 'a, 'b, F, Scheme, P, C, E, R, T> Assignment [INFO] [stdout] | - found this type parameter [INFO] [stdout] ... [INFO] [stdout] 274 | / fn push_namespace(&mut self, _: N) [INFO] [stdout] 275 | | where [INFO] [stdout] 276 | | NR: Into, [INFO] [stdout] 277 | | N: FnOnce() -> NR, [INFO] [stdout] | |______________________________^ expected associated type, found type parameter `F` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Scalar` [INFO] [stdout] found type parameter `F` [INFO] [stdout] note: required by a bound in `WitnessCollection` [INFO] [stdout] --> src/poly/commitment.rs:23:29 [INFO] [stdout] | [INFO] [stdout] 23 | type Curve: CurveAffine; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `WitnessCollection` [INFO] [stdout] | [INFO] [stdout] ::: src/plonk/prover.rs:133:12 [INFO] [stdout] | [INFO] [stdout] 133 | struct WitnessCollection<'params, 'a, 'b, Scheme, P, C, E, R, T> [INFO] [stdout] | ----------------- required by a bound in this struct [INFO] [stdout] help: consider further restricting this bound [INFO] [stdout] | [INFO] [stdout] 162 | Scheme: CommitmentScheme, [INFO] [stdout] | ++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving `::ScalarExt == ::Scalar` [INFO] [stdout] --> src/plonk/prover.rs:282:9 [INFO] [stdout] | [INFO] [stdout] 158 | impl<'params, 'a, 'b, F, Scheme, P, C, E, R, T> Assignment [INFO] [stdout] | - found this type parameter [INFO] [stdout] ... [INFO] [stdout] 282 | fn pop_namespace(&mut self, _: Option) { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected associated type, found type parameter `F` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Scalar` [INFO] [stdout] found type parameter `F` [INFO] [stdout] note: required by a bound in `WitnessCollection` [INFO] [stdout] --> src/poly/commitment.rs:23:29 [INFO] [stdout] | [INFO] [stdout] 23 | type Curve: CurveAffine; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `WitnessCollection` [INFO] [stdout] | [INFO] [stdout] ::: src/plonk/prover.rs:133:12 [INFO] [stdout] | [INFO] [stdout] 133 | struct WitnessCollection<'params, 'a, 'b, Scheme, P, C, E, R, T> [INFO] [stdout] | ----------------- required by a bound in this struct [INFO] [stdout] help: consider further restricting this bound [INFO] [stdout] | [INFO] [stdout] 162 | Scheme: CommitmentScheme, [INFO] [stdout] | ++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving `::ScalarExt == ::Scalar` [INFO] [stdout] --> src/plonk/prover.rs:286:9 [INFO] [stdout] | [INFO] [stdout] 158 | impl<'params, 'a, 'b, F, Scheme, P, C, E, R, T> Assignment [INFO] [stdout] | - found this type parameter [INFO] [stdout] ... [INFO] [stdout] 286 | fn next_phase(&mut self) { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ expected associated type, found type parameter `F` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Scalar` [INFO] [stdout] found type parameter `F` [INFO] [stdout] note: required by a bound in `WitnessCollection` [INFO] [stdout] --> src/poly/commitment.rs:23:29 [INFO] [stdout] | [INFO] [stdout] 23 | type Curve: CurveAffine; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `WitnessCollection` [INFO] [stdout] | [INFO] [stdout] ::: src/plonk/prover.rs:133:12 [INFO] [stdout] | [INFO] [stdout] 133 | struct WitnessCollection<'params, 'a, 'b, Scheme, P, C, E, R, T> [INFO] [stdout] | ----------------- required by a bound in this struct [INFO] [stdout] help: consider further restricting this bound [INFO] [stdout] | [INFO] [stdout] 162 | Scheme: CommitmentScheme, [INFO] [stdout] | ++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving `::ScalarExt == ::Scalar` [INFO] [stdout] --> src/plonk/prover.rs:159:13 [INFO] [stdout] | [INFO] [stdout] 158 | impl<'params, 'a, 'b, F, Scheme, P, C, E, R, T> Assignment [INFO] [stdout] | - found this type parameter [INFO] [stdout] 159 | for WitnessCollection<'params, 'a, 'b, Scheme, P, C, E, R, T> [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected associated type, found type parameter `F` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Scalar` [INFO] [stdout] found type parameter `F` [INFO] [stdout] note: required by a bound in `WitnessCollection` [INFO] [stdout] --> src/poly/commitment.rs:23:29 [INFO] [stdout] | [INFO] [stdout] 23 | type Curve: CurveAffine; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `WitnessCollection` [INFO] [stdout] | [INFO] [stdout] ::: src/plonk/prover.rs:133:12 [INFO] [stdout] | [INFO] [stdout] 133 | struct WitnessCollection<'params, 'a, 'b, Scheme, P, C, E, R, T> [INFO] [stdout] | ----------------- required by a bound in this struct [INFO] [stdout] help: consider further restricting this bound [INFO] [stdout] | [INFO] [stdout] 162 | Scheme: CommitmentScheme, [INFO] [stdout] | ++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::Scalar: PrimeField` is not satisfied [INFO] [stdout] --> src/plonk/prover.rs:137:12 [INFO] [stdout] | [INFO] [stdout] 137 | C: CurveAffine, [INFO] [stdout] | ^^^^^^^^^^^ the trait `PrimeField` is not implemented for `::Scalar` [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `CurveAffine` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/group-0.13.0/src/prime.rs:35:18 [INFO] [stdout] | [INFO] [stdout] 35 | type Scalar: PrimeField; [INFO] [stdout] | ^^^^^^^^^^ required by this bound in `CurveAffine` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/pasta_curves-0.5.1/src/arithmetic/curves.rs:90:11 [INFO] [stdout] | [INFO] [stdout] 90 | pub trait CurveAffine: [INFO] [stdout] | ----------- required by a bound in this trait [INFO] [stdout] help: consider extending the `where` clause, but there might be an alternative better way to express this requirement [INFO] [stdout] | [INFO] [stdout] 140 | T: TranscriptWrite, ::Scalar: PrimeField [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving `::ScalarExt == ::Scalar` [INFO] [stdout] --> src/plonk/prover.rs:170:9 [INFO] [stdout] | [INFO] [stdout] 158 | impl<'params, 'a, 'b, F, Scheme, P, C, E, R, T> Assignment [INFO] [stdout] | - found this type parameter [INFO] [stdout] ... [INFO] [stdout] 170 | / fn enter_region(&mut self, _: N) [INFO] [stdout] 171 | | where [INFO] [stdout] 172 | | NR: Into, [INFO] [stdout] 173 | | N: FnOnce() -> NR, [INFO] [stdout] | |______________________________^ expected associated type, found type parameter `F` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Scalar` [INFO] [stdout] found type parameter `F` [INFO] [stdout] note: required by a bound in `WitnessCollection` [INFO] [stdout] --> src/poly/commitment.rs:23:29 [INFO] [stdout] | [INFO] [stdout] 23 | type Curve: CurveAffine; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `WitnessCollection` [INFO] [stdout] | [INFO] [stdout] ::: src/plonk/prover.rs:133:12 [INFO] [stdout] | [INFO] [stdout] 133 | struct WitnessCollection<'params, 'a, 'b, Scheme, P, C, E, R, T> [INFO] [stdout] | ----------------- required by a bound in this struct [INFO] [stdout] help: consider further restricting this bound [INFO] [stdout] | [INFO] [stdout] 162 | Scheme: CommitmentScheme, [INFO] [stdout] | ++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving `::ScalarExt == ::Scalar` [INFO] [stdout] --> src/plonk/prover.rs:178:9 [INFO] [stdout] | [INFO] [stdout] 158 | impl<'params, 'a, 'b, F, Scheme, P, C, E, R, T> Assignment [INFO] [stdout] | - found this type parameter [INFO] [stdout] ... [INFO] [stdout] 178 | fn exit_region(&mut self) { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^ expected associated type, found type parameter `F` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Scalar` [INFO] [stdout] found type parameter `F` [INFO] [stdout] note: required by a bound in `WitnessCollection` [INFO] [stdout] --> src/poly/commitment.rs:23:29 [INFO] [stdout] | [INFO] [stdout] 23 | type Curve: CurveAffine; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `WitnessCollection` [INFO] [stdout] | [INFO] [stdout] ::: src/plonk/prover.rs:133:12 [INFO] [stdout] | [INFO] [stdout] 133 | struct WitnessCollection<'params, 'a, 'b, Scheme, P, C, E, R, T> [INFO] [stdout] | ----------------- required by a bound in this struct [INFO] [stdout] help: consider further restricting this bound [INFO] [stdout] | [INFO] [stdout] 162 | Scheme: CommitmentScheme, [INFO] [stdout] | ++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving `::ScalarExt == ::Scalar` [INFO] [stdout] --> src/plonk/prover.rs:182:9 [INFO] [stdout] | [INFO] [stdout] 158 | impl<'params, 'a, 'b, F, Scheme, P, C, E, R, T> Assignment [INFO] [stdout] | - found this type parameter [INFO] [stdout] ... [INFO] [stdout] 182 | / fn enable_selector(&mut self, _: A, _: &Selector, _: usize) -> Result<(), Error> [INFO] [stdout] 183 | | where [INFO] [stdout] 184 | | A: FnOnce() -> AR, [INFO] [stdout] 185 | | AR: Into, [INFO] [stdout] | |_____________________________^ expected associated type, found type parameter `F` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Scalar` [INFO] [stdout] found type parameter `F` [INFO] [stdout] note: required by a bound in `WitnessCollection` [INFO] [stdout] --> src/poly/commitment.rs:23:29 [INFO] [stdout] | [INFO] [stdout] 23 | type Curve: CurveAffine; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `WitnessCollection` [INFO] [stdout] | [INFO] [stdout] ::: src/plonk/prover.rs:133:12 [INFO] [stdout] | [INFO] [stdout] 133 | struct WitnessCollection<'params, 'a, 'b, Scheme, P, C, E, R, T> [INFO] [stdout] | ----------------- required by a bound in this struct [INFO] [stdout] help: consider further restricting this bound [INFO] [stdout] | [INFO] [stdout] 162 | Scheme: CommitmentScheme, [INFO] [stdout] | ++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving `::ScalarExt == ::Scalar` [INFO] [stdout] --> src/plonk/prover.rs:192:9 [INFO] [stdout] | [INFO] [stdout] 158 | impl<'params, 'a, 'b, F, Scheme, P, C, E, R, T> Assignment [INFO] [stdout] | - found this type parameter [INFO] [stdout] ... [INFO] [stdout] 192 | / fn annotate_column(&mut self, _annotation: A, _column: Column) [INFO] [stdout] 193 | | where [INFO] [stdout] 194 | | A: FnOnce() -> AR, [INFO] [stdout] 195 | | AR: Into, [INFO] [stdout] | |_____________________________^ expected associated type, found type parameter `F` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Scalar` [INFO] [stdout] found type parameter `F` [INFO] [stdout] note: required by a bound in `WitnessCollection` [INFO] [stdout] --> src/poly/commitment.rs:23:29 [INFO] [stdout] | [INFO] [stdout] 23 | type Curve: CurveAffine; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `WitnessCollection` [INFO] [stdout] | [INFO] [stdout] ::: src/plonk/prover.rs:133:12 [INFO] [stdout] | [INFO] [stdout] 133 | struct WitnessCollection<'params, 'a, 'b, Scheme, P, C, E, R, T> [INFO] [stdout] | ----------------- required by a bound in this struct [INFO] [stdout] help: consider further restricting this bound [INFO] [stdout] | [INFO] [stdout] 162 | Scheme: CommitmentScheme, [INFO] [stdout] | ++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving `::ScalarExt == ::Scalar` [INFO] [stdout] --> src/plonk/prover.rs:200:9 [INFO] [stdout] | [INFO] [stdout] 158 | impl<'params, 'a, 'b, F, Scheme, P, C, E, R, T> Assignment [INFO] [stdout] | - found this type parameter [INFO] [stdout] ... [INFO] [stdout] 200 | fn query_instance(&self, column: Column, row: usize) -> Result, Error> { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected associated type, found type parameter `F` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Scalar` [INFO] [stdout] found type parameter `F` [INFO] [stdout] note: required by a bound in `WitnessCollection` [INFO] [stdout] --> src/poly/commitment.rs:23:29 [INFO] [stdout] | [INFO] [stdout] 23 | type Curve: CurveAffine; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `WitnessCollection` [INFO] [stdout] | [INFO] [stdout] ::: src/plonk/prover.rs:133:12 [INFO] [stdout] | [INFO] [stdout] 133 | struct WitnessCollection<'params, 'a, 'b, Scheme, P, C, E, R, T> [INFO] [stdout] | ----------------- required by a bound in this struct [INFO] [stdout] help: consider further restricting this bound [INFO] [stdout] | [INFO] [stdout] 162 | Scheme: CommitmentScheme, [INFO] [stdout] | ++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving `::ScalarExt == ::Scalar` [INFO] [stdout] --> src/plonk/prover.rs:212:9 [INFO] [stdout] | [INFO] [stdout] 158 | impl<'params, 'a, 'b, F, Scheme, P, C, E, R, T> Assignment [INFO] [stdout] | - found this type parameter [INFO] [stdout] ... [INFO] [stdout] 212 | / fn assign_advice<'v>( [INFO] [stdout] 213 | | //( [INFO] [stdout] 214 | | &mut self, [INFO] [stdout] ... | [INFO] [stdout] 218 | | to: Value>, [INFO] [stdout] 219 | | ) -> Value<&'v Assigned> { [INFO] [stdout] | |___________________________________^ expected associated type, found type parameter `F` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Scalar` [INFO] [stdout] found type parameter `F` [INFO] [stdout] note: required by a bound in `WitnessCollection` [INFO] [stdout] --> src/poly/commitment.rs:23:29 [INFO] [stdout] | [INFO] [stdout] 23 | type Curve: CurveAffine; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `WitnessCollection` [INFO] [stdout] | [INFO] [stdout] ::: src/plonk/prover.rs:133:12 [INFO] [stdout] | [INFO] [stdout] 133 | struct WitnessCollection<'params, 'a, 'b, Scheme, P, C, E, R, T> [INFO] [stdout] | ----------------- required by a bound in this struct [INFO] [stdout] help: consider further restricting this bound [INFO] [stdout] | [INFO] [stdout] 162 | Scheme: CommitmentScheme, [INFO] [stdout] | ++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving `::ScalarExt == ::Scalar` [INFO] [stdout] --> src/plonk/prover.rs:249:9 [INFO] [stdout] | [INFO] [stdout] 158 | impl<'params, 'a, 'b, F, Scheme, P, C, E, R, T> Assignment [INFO] [stdout] | - found this type parameter [INFO] [stdout] ... [INFO] [stdout] 249 | fn assign_fixed(&mut self, _: Column, _: usize, _: Assigned) { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected associated type, found type parameter `F` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Scalar` [INFO] [stdout] found type parameter `F` [INFO] [stdout] note: required by a bound in `WitnessCollection` [INFO] [stdout] --> src/poly/commitment.rs:23:29 [INFO] [stdout] | [INFO] [stdout] 23 | type Curve: CurveAffine; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `WitnessCollection` [INFO] [stdout] | [INFO] [stdout] ::: src/plonk/prover.rs:133:12 [INFO] [stdout] | [INFO] [stdout] 133 | struct WitnessCollection<'params, 'a, 'b, Scheme, P, C, E, R, T> [INFO] [stdout] | ----------------- required by a bound in this struct [INFO] [stdout] help: consider further restricting this bound [INFO] [stdout] | [INFO] [stdout] 162 | Scheme: CommitmentScheme, [INFO] [stdout] | ++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving `::ScalarExt == ::Scalar` [INFO] [stdout] --> src/plonk/prover.rs:253:9 [INFO] [stdout] | [INFO] [stdout] 158 | impl<'params, 'a, 'b, F, Scheme, P, C, E, R, T> Assignment [INFO] [stdout] | - found this type parameter [INFO] [stdout] ... [INFO] [stdout] 253 | fn copy(&mut self, _: Column, _: usize, _: Column, _: usize) { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected associated type, found type parameter `F` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Scalar` [INFO] [stdout] found type parameter `F` [INFO] [stdout] note: required by a bound in `WitnessCollection` [INFO] [stdout] --> src/poly/commitment.rs:23:29 [INFO] [stdout] | [INFO] [stdout] 23 | type Curve: CurveAffine; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `WitnessCollection` [INFO] [stdout] | [INFO] [stdout] ::: src/plonk/prover.rs:133:12 [INFO] [stdout] | [INFO] [stdout] 133 | struct WitnessCollection<'params, 'a, 'b, Scheme, P, C, E, R, T> [INFO] [stdout] | ----------------- required by a bound in this struct [INFO] [stdout] help: consider further restricting this bound [INFO] [stdout] | [INFO] [stdout] 162 | Scheme: CommitmentScheme, [INFO] [stdout] | ++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving `::ScalarExt == ::Scalar` [INFO] [stdout] --> src/plonk/prover.rs:257:9 [INFO] [stdout] | [INFO] [stdout] 158 | impl<'params, 'a, 'b, F, Scheme, P, C, E, R, T> Assignment [INFO] [stdout] | - found this type parameter [INFO] [stdout] ... [INFO] [stdout] 257 | / fn fill_from_row( [INFO] [stdout] 258 | | &mut self, [INFO] [stdout] 259 | | _: Column, [INFO] [stdout] 260 | | _: usize, [INFO] [stdout] 261 | | _: Value>, [INFO] [stdout] 262 | | ) -> Result<(), Error> { [INFO] [stdout] | |______________________________^ expected associated type, found type parameter `F` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Scalar` [INFO] [stdout] found type parameter `F` [INFO] [stdout] note: required by a bound in `WitnessCollection` [INFO] [stdout] --> src/poly/commitment.rs:23:29 [INFO] [stdout] | [INFO] [stdout] 23 | type Curve: CurveAffine; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `WitnessCollection` [INFO] [stdout] | [INFO] [stdout] ::: src/plonk/prover.rs:133:12 [INFO] [stdout] | [INFO] [stdout] 133 | struct WitnessCollection<'params, 'a, 'b, Scheme, P, C, E, R, T> [INFO] [stdout] | ----------------- required by a bound in this struct [INFO] [stdout] help: consider further restricting this bound [INFO] [stdout] | [INFO] [stdout] 162 | Scheme: CommitmentScheme, [INFO] [stdout] | ++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving `::ScalarExt == ::Scalar` [INFO] [stdout] --> src/plonk/prover.rs:266:9 [INFO] [stdout] | [INFO] [stdout] 158 | impl<'params, 'a, 'b, F, Scheme, P, C, E, R, T> Assignment [INFO] [stdout] | - found this type parameter [INFO] [stdout] ... [INFO] [stdout] 266 | fn get_challenge(&self, challenge: Challenge) -> Value { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected associated type, found type parameter `F` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Scalar` [INFO] [stdout] found type parameter `F` [INFO] [stdout] note: required by a bound in `WitnessCollection` [INFO] [stdout] --> src/poly/commitment.rs:23:29 [INFO] [stdout] | [INFO] [stdout] 23 | type Curve: CurveAffine; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `WitnessCollection` [INFO] [stdout] | [INFO] [stdout] ::: src/plonk/prover.rs:133:12 [INFO] [stdout] | [INFO] [stdout] 133 | struct WitnessCollection<'params, 'a, 'b, Scheme, P, C, E, R, T> [INFO] [stdout] | ----------------- required by a bound in this struct [INFO] [stdout] help: consider further restricting this bound [INFO] [stdout] | [INFO] [stdout] 162 | Scheme: CommitmentScheme, [INFO] [stdout] | ++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving `::ScalarExt == ::Scalar` [INFO] [stdout] --> src/plonk/prover.rs:274:9 [INFO] [stdout] | [INFO] [stdout] 158 | impl<'params, 'a, 'b, F, Scheme, P, C, E, R, T> Assignment [INFO] [stdout] | - found this type parameter [INFO] [stdout] ... [INFO] [stdout] 274 | / fn push_namespace(&mut self, _: N) [INFO] [stdout] 275 | | where [INFO] [stdout] 276 | | NR: Into, [INFO] [stdout] 277 | | N: FnOnce() -> NR, [INFO] [stdout] | |______________________________^ expected associated type, found type parameter `F` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Scalar` [INFO] [stdout] found type parameter `F` [INFO] [stdout] note: required by a bound in `WitnessCollection` [INFO] [stdout] --> src/poly/commitment.rs:23:29 [INFO] [stdout] | [INFO] [stdout] 23 | type Curve: CurveAffine; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `WitnessCollection` [INFO] [stdout] | [INFO] [stdout] ::: src/plonk/prover.rs:133:12 [INFO] [stdout] | [INFO] [stdout] 133 | struct WitnessCollection<'params, 'a, 'b, Scheme, P, C, E, R, T> [INFO] [stdout] | ----------------- required by a bound in this struct [INFO] [stdout] help: consider further restricting this bound [INFO] [stdout] | [INFO] [stdout] 162 | Scheme: CommitmentScheme, [INFO] [stdout] | ++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving `::ScalarExt == ::Scalar` [INFO] [stdout] --> src/plonk/prover.rs:282:9 [INFO] [stdout] | [INFO] [stdout] 158 | impl<'params, 'a, 'b, F, Scheme, P, C, E, R, T> Assignment [INFO] [stdout] | - found this type parameter [INFO] [stdout] ... [INFO] [stdout] 282 | fn pop_namespace(&mut self, _: Option) { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected associated type, found type parameter `F` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Scalar` [INFO] [stdout] found type parameter `F` [INFO] [stdout] note: required by a bound in `WitnessCollection` [INFO] [stdout] --> src/poly/commitment.rs:23:29 [INFO] [stdout] | [INFO] [stdout] 23 | type Curve: CurveAffine; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `WitnessCollection` [INFO] [stdout] | [INFO] [stdout] ::: src/plonk/prover.rs:133:12 [INFO] [stdout] | [INFO] [stdout] 133 | struct WitnessCollection<'params, 'a, 'b, Scheme, P, C, E, R, T> [INFO] [stdout] | ----------------- required by a bound in this struct [INFO] [stdout] help: consider further restricting this bound [INFO] [stdout] | [INFO] [stdout] 162 | Scheme: CommitmentScheme, [INFO] [stdout] | ++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving `::ScalarExt == ::Scalar` [INFO] [stdout] --> src/plonk/prover.rs:286:9 [INFO] [stdout] | [INFO] [stdout] 158 | impl<'params, 'a, 'b, F, Scheme, P, C, E, R, T> Assignment [INFO] [stdout] | - found this type parameter [INFO] [stdout] ... [INFO] [stdout] 286 | fn next_phase(&mut self) { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ expected associated type, found type parameter `F` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Scalar` [INFO] [stdout] found type parameter `F` [INFO] [stdout] note: required by a bound in `WitnessCollection` [INFO] [stdout] --> src/poly/commitment.rs:23:29 [INFO] [stdout] | [INFO] [stdout] 23 | type Curve: CurveAffine; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `WitnessCollection` [INFO] [stdout] | [INFO] [stdout] ::: src/plonk/prover.rs:133:12 [INFO] [stdout] | [INFO] [stdout] 133 | struct WitnessCollection<'params, 'a, 'b, Scheme, P, C, E, R, T> [INFO] [stdout] | ----------------- required by a bound in this struct [INFO] [stdout] help: consider further restricting this bound [INFO] [stdout] | [INFO] [stdout] 162 | Scheme: CommitmentScheme, [INFO] [stdout] | ++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving `::ScalarExt == ::Scalar` [INFO] [stdout] --> src/plonk/prover.rs:159:13 [INFO] [stdout] | [INFO] [stdout] 158 | impl<'params, 'a, 'b, F, Scheme, P, C, E, R, T> Assignment [INFO] [stdout] | - found this type parameter [INFO] [stdout] 159 | for WitnessCollection<'params, 'a, 'b, Scheme, P, C, E, R, T> [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected associated type, found type parameter `F` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Scalar` [INFO] [stdout] found type parameter `F` [INFO] [stdout] note: required by a bound in `WitnessCollection` [INFO] [stdout] --> src/poly/commitment.rs:23:29 [INFO] [stdout] | [INFO] [stdout] 23 | type Curve: CurveAffine; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `WitnessCollection` [INFO] [stdout] | [INFO] [stdout] ::: src/plonk/prover.rs:133:12 [INFO] [stdout] | [INFO] [stdout] 133 | struct WitnessCollection<'params, 'a, 'b, Scheme, P, C, E, R, T> [INFO] [stdout] | ----------------- required by a bound in this struct [INFO] [stdout] help: consider further restricting this bound [INFO] [stdout] | [INFO] [stdout] 162 | Scheme: CommitmentScheme, [INFO] [stdout] | ++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving `::ScalarExt == ::Scalar` [INFO] [stdout] --> src/plonk/prover.rs:170:32 [INFO] [stdout] | [INFO] [stdout] 158 | impl<'params, 'a, 'b, F, Scheme, P, C, E, R, T> Assignment [INFO] [stdout] | - found this type parameter [INFO] [stdout] ... [INFO] [stdout] 170 | fn enter_region(&mut self, _: N) [INFO] [stdout] | ^^^^^^^^^ expected associated type, found type parameter `F` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Scalar` [INFO] [stdout] found type parameter `F` [INFO] [stdout] note: required by a bound in `WitnessCollection` [INFO] [stdout] --> src/poly/commitment.rs:23:29 [INFO] [stdout] | [INFO] [stdout] 23 | type Curve: CurveAffine; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `WitnessCollection` [INFO] [stdout] | [INFO] [stdout] ::: src/plonk/prover.rs:133:12 [INFO] [stdout] | [INFO] [stdout] 133 | struct WitnessCollection<'params, 'a, 'b, Scheme, P, C, E, R, T> [INFO] [stdout] | ----------------- required by a bound in this struct [INFO] [stdout] help: consider further restricting this bound [INFO] [stdout] | [INFO] [stdout] 162 | Scheme: CommitmentScheme, [INFO] [stdout] | ++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving `::ScalarExt == ::Scalar` [INFO] [stdout] --> src/plonk/prover.rs:178:24 [INFO] [stdout] | [INFO] [stdout] 158 | impl<'params, 'a, 'b, F, Scheme, P, C, E, R, T> Assignment [INFO] [stdout] | - found this type parameter [INFO] [stdout] ... [INFO] [stdout] 178 | fn exit_region(&mut self) { [INFO] [stdout] | ^^^^^^^^^ expected associated type, found type parameter `F` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Scalar` [INFO] [stdout] found type parameter `F` [INFO] [stdout] note: required by a bound in `WitnessCollection` [INFO] [stdout] --> src/poly/commitment.rs:23:29 [INFO] [stdout] | [INFO] [stdout] 23 | type Curve: CurveAffine; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `WitnessCollection` [INFO] [stdout] | [INFO] [stdout] ::: src/plonk/prover.rs:133:12 [INFO] [stdout] | [INFO] [stdout] 133 | struct WitnessCollection<'params, 'a, 'b, Scheme, P, C, E, R, T> [INFO] [stdout] | ----------------- required by a bound in this struct [INFO] [stdout] help: consider further restricting this bound [INFO] [stdout] | [INFO] [stdout] 162 | Scheme: CommitmentScheme, [INFO] [stdout] | ++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving `::ScalarExt == ::Scalar` [INFO] [stdout] --> src/plonk/prover.rs:182:35 [INFO] [stdout] | [INFO] [stdout] 158 | impl<'params, 'a, 'b, F, Scheme, P, C, E, R, T> Assignment [INFO] [stdout] | - found this type parameter [INFO] [stdout] ... [INFO] [stdout] 182 | fn enable_selector(&mut self, _: A, _: &Selector, _: usize) -> Result<(), Error> [INFO] [stdout] | ^^^^^^^^^ expected associated type, found type parameter `F` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Scalar` [INFO] [stdout] found type parameter `F` [INFO] [stdout] note: required by a bound in `WitnessCollection` [INFO] [stdout] --> src/poly/commitment.rs:23:29 [INFO] [stdout] | [INFO] [stdout] 23 | type Curve: CurveAffine; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `WitnessCollection` [INFO] [stdout] | [INFO] [stdout] ::: src/plonk/prover.rs:133:12 [INFO] [stdout] | [INFO] [stdout] 133 | struct WitnessCollection<'params, 'a, 'b, Scheme, P, C, E, R, T> [INFO] [stdout] | ----------------- required by a bound in this struct [INFO] [stdout] help: consider further restricting this bound [INFO] [stdout] | [INFO] [stdout] 162 | Scheme: CommitmentScheme, [INFO] [stdout] | ++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving `::ScalarExt == ::Scalar` [INFO] [stdout] --> src/plonk/prover.rs:192:35 [INFO] [stdout] | [INFO] [stdout] 158 | impl<'params, 'a, 'b, F, Scheme, P, C, E, R, T> Assignment [INFO] [stdout] | - found this type parameter [INFO] [stdout] ... [INFO] [stdout] 192 | fn annotate_column(&mut self, _annotation: A, _column: Column) [INFO] [stdout] | ^^^^^^^^^ expected associated type, found type parameter `F` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Scalar` [INFO] [stdout] found type parameter `F` [INFO] [stdout] note: required by a bound in `WitnessCollection` [INFO] [stdout] --> src/poly/commitment.rs:23:29 [INFO] [stdout] | [INFO] [stdout] 23 | type Curve: CurveAffine; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `WitnessCollection` [INFO] [stdout] | [INFO] [stdout] ::: src/plonk/prover.rs:133:12 [INFO] [stdout] | [INFO] [stdout] 133 | struct WitnessCollection<'params, 'a, 'b, Scheme, P, C, E, R, T> [INFO] [stdout] | ----------------- required by a bound in this struct [INFO] [stdout] help: consider further restricting this bound [INFO] [stdout] | [INFO] [stdout] 162 | Scheme: CommitmentScheme, [INFO] [stdout] | ++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving `::ScalarExt == ::Scalar` [INFO] [stdout] --> src/plonk/prover.rs:200:27 [INFO] [stdout] | [INFO] [stdout] 158 | impl<'params, 'a, 'b, F, Scheme, P, C, E, R, T> Assignment [INFO] [stdout] | - found this type parameter [INFO] [stdout] ... [INFO] [stdout] 200 | fn query_instance(&self, column: Column, row: usize) -> Result, Error> { [INFO] [stdout] | ^^^^^ expected associated type, found type parameter `F` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Scalar` [INFO] [stdout] found type parameter `F` [INFO] [stdout] note: required by a bound in `WitnessCollection` [INFO] [stdout] --> src/poly/commitment.rs:23:29 [INFO] [stdout] | [INFO] [stdout] 23 | type Curve: CurveAffine; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `WitnessCollection` [INFO] [stdout] | [INFO] [stdout] ::: src/plonk/prover.rs:133:12 [INFO] [stdout] | [INFO] [stdout] 133 | struct WitnessCollection<'params, 'a, 'b, Scheme, P, C, E, R, T> [INFO] [stdout] | ----------------- required by a bound in this struct [INFO] [stdout] help: consider further restricting this bound [INFO] [stdout] | [INFO] [stdout] 162 | Scheme: CommitmentScheme, [INFO] [stdout] | ++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving `::ScalarExt == ::Scalar` [INFO] [stdout] --> src/plonk/prover.rs:214:13 [INFO] [stdout] | [INFO] [stdout] 158 | impl<'params, 'a, 'b, F, Scheme, P, C, E, R, T> Assignment [INFO] [stdout] | - found this type parameter [INFO] [stdout] ... [INFO] [stdout] 214 | &mut self, [INFO] [stdout] | ^^^^^^^^^ expected associated type, found type parameter `F` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Scalar` [INFO] [stdout] found type parameter `F` [INFO] [stdout] note: required by a bound in `WitnessCollection` [INFO] [stdout] --> src/poly/commitment.rs:23:29 [INFO] [stdout] | [INFO] [stdout] 23 | type Curve: CurveAffine; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `WitnessCollection` [INFO] [stdout] | [INFO] [stdout] ::: src/plonk/prover.rs:133:12 [INFO] [stdout] | [INFO] [stdout] 133 | struct WitnessCollection<'params, 'a, 'b, Scheme, P, C, E, R, T> [INFO] [stdout] | ----------------- required by a bound in this struct [INFO] [stdout] help: consider further restricting this bound [INFO] [stdout] | [INFO] [stdout] 162 | Scheme: CommitmentScheme, [INFO] [stdout] | ++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving `::ScalarExt == ::Scalar` [INFO] [stdout] --> src/plonk/prover.rs:249:25 [INFO] [stdout] | [INFO] [stdout] 158 | impl<'params, 'a, 'b, F, Scheme, P, C, E, R, T> Assignment [INFO] [stdout] | - found this type parameter [INFO] [stdout] ... [INFO] [stdout] 249 | fn assign_fixed(&mut self, _: Column, _: usize, _: Assigned) { [INFO] [stdout] | ^^^^^^^^^ expected associated type, found type parameter `F` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Scalar` [INFO] [stdout] found type parameter `F` [INFO] [stdout] note: required by a bound in `WitnessCollection` [INFO] [stdout] --> src/poly/commitment.rs:23:29 [INFO] [stdout] | [INFO] [stdout] 23 | type Curve: CurveAffine; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `WitnessCollection` [INFO] [stdout] | [INFO] [stdout] ::: src/plonk/prover.rs:133:12 [INFO] [stdout] | [INFO] [stdout] 133 | struct WitnessCollection<'params, 'a, 'b, Scheme, P, C, E, R, T> [INFO] [stdout] | ----------------- required by a bound in this struct [INFO] [stdout] help: consider further restricting this bound [INFO] [stdout] | [INFO] [stdout] 162 | Scheme: CommitmentScheme, [INFO] [stdout] | ++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving `::ScalarExt == ::Scalar` [INFO] [stdout] --> src/plonk/prover.rs:253:17 [INFO] [stdout] | [INFO] [stdout] 158 | impl<'params, 'a, 'b, F, Scheme, P, C, E, R, T> Assignment [INFO] [stdout] | - found this type parameter [INFO] [stdout] ... [INFO] [stdout] 253 | fn copy(&mut self, _: Column, _: usize, _: Column, _: usize) { [INFO] [stdout] | ^^^^^^^^^ expected associated type, found type parameter `F` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Scalar` [INFO] [stdout] found type parameter `F` [INFO] [stdout] note: required by a bound in `WitnessCollection` [INFO] [stdout] --> src/poly/commitment.rs:23:29 [INFO] [stdout] | [INFO] [stdout] 23 | type Curve: CurveAffine; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `WitnessCollection` [INFO] [stdout] | [INFO] [stdout] ::: src/plonk/prover.rs:133:12 [INFO] [stdout] | [INFO] [stdout] 133 | struct WitnessCollection<'params, 'a, 'b, Scheme, P, C, E, R, T> [INFO] [stdout] | ----------------- required by a bound in this struct [INFO] [stdout] help: consider further restricting this bound [INFO] [stdout] | [INFO] [stdout] 162 | Scheme: CommitmentScheme, [INFO] [stdout] | ++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving `::ScalarExt == ::Scalar` [INFO] [stdout] --> src/plonk/prover.rs:258:13 [INFO] [stdout] | [INFO] [stdout] 158 | impl<'params, 'a, 'b, F, Scheme, P, C, E, R, T> Assignment [INFO] [stdout] | - found this type parameter [INFO] [stdout] ... [INFO] [stdout] 258 | &mut self, [INFO] [stdout] | ^^^^^^^^^ expected associated type, found type parameter `F` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Scalar` [INFO] [stdout] found type parameter `F` [INFO] [stdout] note: required by a bound in `WitnessCollection` [INFO] [stdout] --> src/poly/commitment.rs:23:29 [INFO] [stdout] | [INFO] [stdout] 23 | type Curve: CurveAffine; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `WitnessCollection` [INFO] [stdout] | [INFO] [stdout] ::: src/plonk/prover.rs:133:12 [INFO] [stdout] | [INFO] [stdout] 133 | struct WitnessCollection<'params, 'a, 'b, Scheme, P, C, E, R, T> [INFO] [stdout] | ----------------- required by a bound in this struct [INFO] [stdout] help: consider further restricting this bound [INFO] [stdout] | [INFO] [stdout] 162 | Scheme: CommitmentScheme, [INFO] [stdout] | ++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving `::ScalarExt == ::Scalar` [INFO] [stdout] --> src/plonk/prover.rs:266:26 [INFO] [stdout] | [INFO] [stdout] 158 | impl<'params, 'a, 'b, F, Scheme, P, C, E, R, T> Assignment [INFO] [stdout] | - found this type parameter [INFO] [stdout] ... [INFO] [stdout] 266 | fn get_challenge(&self, challenge: Challenge) -> Value { [INFO] [stdout] | ^^^^^ expected associated type, found type parameter `F` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Scalar` [INFO] [stdout] found type parameter `F` [INFO] [stdout] note: required by a bound in `WitnessCollection` [INFO] [stdout] --> src/poly/commitment.rs:23:29 [INFO] [stdout] | [INFO] [stdout] 23 | type Curve: CurveAffine; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `WitnessCollection` [INFO] [stdout] | [INFO] [stdout] ::: src/plonk/prover.rs:133:12 [INFO] [stdout] | [INFO] [stdout] 133 | struct WitnessCollection<'params, 'a, 'b, Scheme, P, C, E, R, T> [INFO] [stdout] | ----------------- required by a bound in this struct [INFO] [stdout] help: consider further restricting this bound [INFO] [stdout] | [INFO] [stdout] 162 | Scheme: CommitmentScheme, [INFO] [stdout] | ++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving `::ScalarExt == ::Scalar` [INFO] [stdout] --> src/plonk/prover.rs:274:34 [INFO] [stdout] | [INFO] [stdout] 158 | impl<'params, 'a, 'b, F, Scheme, P, C, E, R, T> Assignment [INFO] [stdout] | - found this type parameter [INFO] [stdout] ... [INFO] [stdout] 274 | fn push_namespace(&mut self, _: N) [INFO] [stdout] | ^^^^^^^^^ expected associated type, found type parameter `F` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Scalar` [INFO] [stdout] found type parameter `F` [INFO] [stdout] note: required by a bound in `WitnessCollection` [INFO] [stdout] --> src/poly/commitment.rs:23:29 [INFO] [stdout] | [INFO] [stdout] 23 | type Curve: CurveAffine; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `WitnessCollection` [INFO] [stdout] | [INFO] [stdout] ::: src/plonk/prover.rs:133:12 [INFO] [stdout] | [INFO] [stdout] 133 | struct WitnessCollection<'params, 'a, 'b, Scheme, P, C, E, R, T> [INFO] [stdout] | ----------------- required by a bound in this struct [INFO] [stdout] help: consider further restricting this bound [INFO] [stdout] | [INFO] [stdout] 162 | Scheme: CommitmentScheme, [INFO] [stdout] | ++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving `::ScalarExt == ::Scalar` [INFO] [stdout] --> src/plonk/prover.rs:282:26 [INFO] [stdout] | [INFO] [stdout] 158 | impl<'params, 'a, 'b, F, Scheme, P, C, E, R, T> Assignment [INFO] [stdout] | - found this type parameter [INFO] [stdout] ... [INFO] [stdout] 282 | fn pop_namespace(&mut self, _: Option) { [INFO] [stdout] | ^^^^^^^^^ expected associated type, found type parameter `F` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Scalar` [INFO] [stdout] found type parameter `F` [INFO] [stdout] note: required by a bound in `WitnessCollection` [INFO] [stdout] --> src/poly/commitment.rs:23:29 [INFO] [stdout] | [INFO] [stdout] 23 | type Curve: CurveAffine; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `WitnessCollection` [INFO] [stdout] | [INFO] [stdout] ::: src/plonk/prover.rs:133:12 [INFO] [stdout] | [INFO] [stdout] 133 | struct WitnessCollection<'params, 'a, 'b, Scheme, P, C, E, R, T> [INFO] [stdout] | ----------------- required by a bound in this struct [INFO] [stdout] help: consider further restricting this bound [INFO] [stdout] | [INFO] [stdout] 162 | Scheme: CommitmentScheme, [INFO] [stdout] | ++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving `::ScalarExt == ::Scalar` [INFO] [stdout] --> src/plonk/prover.rs:286:23 [INFO] [stdout] | [INFO] [stdout] 158 | impl<'params, 'a, 'b, F, Scheme, P, C, E, R, T> Assignment [INFO] [stdout] | - found this type parameter [INFO] [stdout] ... [INFO] [stdout] 286 | fn next_phase(&mut self) { [INFO] [stdout] | ^^^^^^^^^ expected associated type, found type parameter `F` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Scalar` [INFO] [stdout] found type parameter `F` [INFO] [stdout] note: required by a bound in `WitnessCollection` [INFO] [stdout] --> src/poly/commitment.rs:23:29 [INFO] [stdout] | [INFO] [stdout] 23 | type Curve: CurveAffine; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `WitnessCollection` [INFO] [stdout] | [INFO] [stdout] ::: src/plonk/prover.rs:133:12 [INFO] [stdout] | [INFO] [stdout] 133 | struct WitnessCollection<'params, 'a, 'b, Scheme, P, C, E, R, T> [INFO] [stdout] | ----------------- required by a bound in this struct [INFO] [stdout] help: consider further restricting this bound [INFO] [stdout] | [INFO] [stdout] 162 | Scheme: CommitmentScheme, [INFO] [stdout] | ++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::Scalar: PrimeField` is not satisfied [INFO] [stdout] --> src/poly/commitment.rs:23:17 [INFO] [stdout] | [INFO] [stdout] 23 | type Curve: CurveAffine; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `PrimeField` is not implemented for `::Scalar` [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `CurveAffine` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/group-0.13.0/src/prime.rs:35:18 [INFO] [stdout] | [INFO] [stdout] 35 | type Scalar: PrimeField; [INFO] [stdout] | ^^^^^^^^^^ required by this bound in `CurveAffine` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/pasta_curves-0.5.1/src/arithmetic/curves.rs:90:11 [INFO] [stdout] | [INFO] [stdout] 90 | pub trait CurveAffine: [INFO] [stdout] | ----------- required by a bound in this trait [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] | [INFO] [stdout] 18 | pub trait CommitmentScheme where ::Scalar: PrimeField { [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving `::ScalarExt == ::Scalar` [INFO] [stdout] --> src/plonk/prover.rs:170:32 [INFO] [stdout] | [INFO] [stdout] 158 | impl<'params, 'a, 'b, F, Scheme, P, C, E, R, T> Assignment [INFO] [stdout] | - found this type parameter [INFO] [stdout] ... [INFO] [stdout] 170 | fn enter_region(&mut self, _: N) [INFO] [stdout] | ^^^^^^^^^ expected associated type, found type parameter `F` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Scalar` [INFO] [stdout] found type parameter `F` [INFO] [stdout] note: required by a bound in `WitnessCollection` [INFO] [stdout] --> src/poly/commitment.rs:23:29 [INFO] [stdout] | [INFO] [stdout] 23 | type Curve: CurveAffine; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `WitnessCollection` [INFO] [stdout] | [INFO] [stdout] ::: src/plonk/prover.rs:133:12 [INFO] [stdout] | [INFO] [stdout] 133 | struct WitnessCollection<'params, 'a, 'b, Scheme, P, C, E, R, T> [INFO] [stdout] | ----------------- required by a bound in this struct [INFO] [stdout] help: consider further restricting this bound [INFO] [stdout] | [INFO] [stdout] 162 | Scheme: CommitmentScheme, [INFO] [stdout] | ++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving `::ScalarExt == ::Scalar` [INFO] [stdout] --> src/plonk/prover.rs:178:24 [INFO] [stdout] | [INFO] [stdout] 158 | impl<'params, 'a, 'b, F, Scheme, P, C, E, R, T> Assignment [INFO] [stdout] | - found this type parameter [INFO] [stdout] ... [INFO] [stdout] 178 | fn exit_region(&mut self) { [INFO] [stdout] | ^^^^^^^^^ expected associated type, found type parameter `F` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Scalar` [INFO] [stdout] found type parameter `F` [INFO] [stdout] note: required by a bound in `WitnessCollection` [INFO] [stdout] --> src/poly/commitment.rs:23:29 [INFO] [stdout] | [INFO] [stdout] 23 | type Curve: CurveAffine; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `WitnessCollection` [INFO] [stdout] | [INFO] [stdout] ::: src/plonk/prover.rs:133:12 [INFO] [stdout] | [INFO] [stdout] 133 | struct WitnessCollection<'params, 'a, 'b, Scheme, P, C, E, R, T> [INFO] [stdout] | ----------------- required by a bound in this struct [INFO] [stdout] help: consider further restricting this bound [INFO] [stdout] | [INFO] [stdout] 162 | Scheme: CommitmentScheme, [INFO] [stdout] | ++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving `::ScalarExt == ::Scalar` [INFO] [stdout] --> src/plonk/prover.rs:182:35 [INFO] [stdout] | [INFO] [stdout] 158 | impl<'params, 'a, 'b, F, Scheme, P, C, E, R, T> Assignment [INFO] [stdout] | - found this type parameter [INFO] [stdout] ... [INFO] [stdout] 182 | fn enable_selector(&mut self, _: A, _: &Selector, _: usize) -> Result<(), Error> [INFO] [stdout] | ^^^^^^^^^ expected associated type, found type parameter `F` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Scalar` [INFO] [stdout] found type parameter `F` [INFO] [stdout] note: required by a bound in `WitnessCollection` [INFO] [stdout] --> src/poly/commitment.rs:23:29 [INFO] [stdout] | [INFO] [stdout] 23 | type Curve: CurveAffine; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `WitnessCollection` [INFO] [stdout] | [INFO] [stdout] ::: src/plonk/prover.rs:133:12 [INFO] [stdout] | [INFO] [stdout] 133 | struct WitnessCollection<'params, 'a, 'b, Scheme, P, C, E, R, T> [INFO] [stdout] | ----------------- required by a bound in this struct [INFO] [stdout] help: consider further restricting this bound [INFO] [stdout] | [INFO] [stdout] 162 | Scheme: CommitmentScheme, [INFO] [stdout] | ++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving `::ScalarExt == ::Scalar` [INFO] [stdout] --> src/plonk/prover.rs:192:35 [INFO] [stdout] | [INFO] [stdout] 158 | impl<'params, 'a, 'b, F, Scheme, P, C, E, R, T> Assignment [INFO] [stdout] | - found this type parameter [INFO] [stdout] ... [INFO] [stdout] 192 | fn annotate_column(&mut self, _annotation: A, _column: Column) [INFO] [stdout] | ^^^^^^^^^ expected associated type, found type parameter `F` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Scalar` [INFO] [stdout] found type parameter `F` [INFO] [stdout] note: required by a bound in `WitnessCollection` [INFO] [stdout] --> src/poly/commitment.rs:23:29 [INFO] [stdout] | [INFO] [stdout] 23 | type Curve: CurveAffine; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `WitnessCollection` [INFO] [stdout] | [INFO] [stdout] ::: src/plonk/prover.rs:133:12 [INFO] [stdout] | [INFO] [stdout] 133 | struct WitnessCollection<'params, 'a, 'b, Scheme, P, C, E, R, T> [INFO] [stdout] | ----------------- required by a bound in this struct [INFO] [stdout] help: consider further restricting this bound [INFO] [stdout] | [INFO] [stdout] 162 | Scheme: CommitmentScheme, [INFO] [stdout] | ++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving `::ScalarExt == ::Scalar` [INFO] [stdout] --> src/plonk/prover.rs:200:27 [INFO] [stdout] | [INFO] [stdout] 158 | impl<'params, 'a, 'b, F, Scheme, P, C, E, R, T> Assignment [INFO] [stdout] | - found this type parameter [INFO] [stdout] ... [INFO] [stdout] 200 | fn query_instance(&self, column: Column, row: usize) -> Result, Error> { [INFO] [stdout] | ^^^^^ expected associated type, found type parameter `F` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Scalar` [INFO] [stdout] found type parameter `F` [INFO] [stdout] note: required by a bound in `WitnessCollection` [INFO] [stdout] --> src/poly/commitment.rs:23:29 [INFO] [stdout] | [INFO] [stdout] 23 | type Curve: CurveAffine; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `WitnessCollection` [INFO] [stdout] | [INFO] [stdout] ::: src/plonk/prover.rs:133:12 [INFO] [stdout] | [INFO] [stdout] 133 | struct WitnessCollection<'params, 'a, 'b, Scheme, P, C, E, R, T> [INFO] [stdout] | ----------------- required by a bound in this struct [INFO] [stdout] help: consider further restricting this bound [INFO] [stdout] | [INFO] [stdout] 162 | Scheme: CommitmentScheme, [INFO] [stdout] | ++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving `::ScalarExt == ::Scalar` [INFO] [stdout] --> src/plonk/prover.rs:214:13 [INFO] [stdout] | [INFO] [stdout] 158 | impl<'params, 'a, 'b, F, Scheme, P, C, E, R, T> Assignment [INFO] [stdout] | - found this type parameter [INFO] [stdout] ... [INFO] [stdout] 214 | &mut self, [INFO] [stdout] | ^^^^^^^^^ expected associated type, found type parameter `F` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Scalar` [INFO] [stdout] found type parameter `F` [INFO] [stdout] note: required by a bound in `WitnessCollection` [INFO] [stdout] --> src/poly/commitment.rs:23:29 [INFO] [stdout] | [INFO] [stdout] 23 | type Curve: CurveAffine; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `WitnessCollection` [INFO] [stdout] | [INFO] [stdout] ::: src/plonk/prover.rs:133:12 [INFO] [stdout] | [INFO] [stdout] 133 | struct WitnessCollection<'params, 'a, 'b, Scheme, P, C, E, R, T> [INFO] [stdout] | ----------------- required by a bound in this struct [INFO] [stdout] help: consider further restricting this bound [INFO] [stdout] | [INFO] [stdout] 162 | Scheme: CommitmentScheme, [INFO] [stdout] | ++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving `::ScalarExt == ::Scalar` [INFO] [stdout] --> src/plonk/prover.rs:249:25 [INFO] [stdout] | [INFO] [stdout] 158 | impl<'params, 'a, 'b, F, Scheme, P, C, E, R, T> Assignment [INFO] [stdout] | - found this type parameter [INFO] [stdout] ... [INFO] [stdout] 249 | fn assign_fixed(&mut self, _: Column, _: usize, _: Assigned) { [INFO] [stdout] | ^^^^^^^^^ expected associated type, found type parameter `F` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Scalar` [INFO] [stdout] found type parameter `F` [INFO] [stdout] note: required by a bound in `WitnessCollection` [INFO] [stdout] --> src/poly/commitment.rs:23:29 [INFO] [stdout] | [INFO] [stdout] 23 | type Curve: CurveAffine; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `WitnessCollection` [INFO] [stdout] | [INFO] [stdout] ::: src/plonk/prover.rs:133:12 [INFO] [stdout] | [INFO] [stdout] 133 | struct WitnessCollection<'params, 'a, 'b, Scheme, P, C, E, R, T> [INFO] [stdout] | ----------------- required by a bound in this struct [INFO] [stdout] help: consider further restricting this bound [INFO] [stdout] | [INFO] [stdout] 162 | Scheme: CommitmentScheme, [INFO] [stdout] | ++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving `::ScalarExt == ::Scalar` [INFO] [stdout] --> src/plonk/prover.rs:253:17 [INFO] [stdout] | [INFO] [stdout] 158 | impl<'params, 'a, 'b, F, Scheme, P, C, E, R, T> Assignment [INFO] [stdout] | - found this type parameter [INFO] [stdout] ... [INFO] [stdout] 253 | fn copy(&mut self, _: Column, _: usize, _: Column, _: usize) { [INFO] [stdout] | ^^^^^^^^^ expected associated type, found type parameter `F` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Scalar` [INFO] [stdout] found type parameter `F` [INFO] [stdout] note: required by a bound in `WitnessCollection` [INFO] [stdout] --> src/poly/commitment.rs:23:29 [INFO] [stdout] | [INFO] [stdout] 23 | type Curve: CurveAffine; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `WitnessCollection` [INFO] [stdout] | [INFO] [stdout] ::: src/plonk/prover.rs:133:12 [INFO] [stdout] | [INFO] [stdout] 133 | struct WitnessCollection<'params, 'a, 'b, Scheme, P, C, E, R, T> [INFO] [stdout] | ----------------- required by a bound in this struct [INFO] [stdout] help: consider further restricting this bound [INFO] [stdout] | [INFO] [stdout] 162 | Scheme: CommitmentScheme, [INFO] [stdout] | ++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving `::ScalarExt == ::Scalar` [INFO] [stdout] --> src/plonk/prover.rs:258:13 [INFO] [stdout] | [INFO] [stdout] 158 | impl<'params, 'a, 'b, F, Scheme, P, C, E, R, T> Assignment [INFO] [stdout] | - found this type parameter [INFO] [stdout] ... [INFO] [stdout] 258 | &mut self, [INFO] [stdout] | ^^^^^^^^^ expected associated type, found type parameter `F` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Scalar` [INFO] [stdout] found type parameter `F` [INFO] [stdout] note: required by a bound in `WitnessCollection` [INFO] [stdout] --> src/poly/commitment.rs:23:29 [INFO] [stdout] | [INFO] [stdout] 23 | type Curve: CurveAffine; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `WitnessCollection` [INFO] [stdout] | [INFO] [stdout] ::: src/plonk/prover.rs:133:12 [INFO] [stdout] | [INFO] [stdout] 133 | struct WitnessCollection<'params, 'a, 'b, Scheme, P, C, E, R, T> [INFO] [stdout] | ----------------- required by a bound in this struct [INFO] [stdout] help: consider further restricting this bound [INFO] [stdout] | [INFO] [stdout] 162 | Scheme: CommitmentScheme, [INFO] [stdout] | ++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving `::ScalarExt == ::Scalar` [INFO] [stdout] --> src/plonk/prover.rs:266:26 [INFO] [stdout] | [INFO] [stdout] 158 | impl<'params, 'a, 'b, F, Scheme, P, C, E, R, T> Assignment [INFO] [stdout] | - found this type parameter [INFO] [stdout] ... [INFO] [stdout] 266 | fn get_challenge(&self, challenge: Challenge) -> Value { [INFO] [stdout] | ^^^^^ expected associated type, found type parameter `F` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Scalar` [INFO] [stdout] found type parameter `F` [INFO] [stdout] note: required by a bound in `WitnessCollection` [INFO] [stdout] --> src/poly/commitment.rs:23:29 [INFO] [stdout] | [INFO] [stdout] 23 | type Curve: CurveAffine; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `WitnessCollection` [INFO] [stdout] | [INFO] [stdout] ::: src/plonk/prover.rs:133:12 [INFO] [stdout] | [INFO] [stdout] 133 | struct WitnessCollection<'params, 'a, 'b, Scheme, P, C, E, R, T> [INFO] [stdout] | ----------------- required by a bound in this struct [INFO] [stdout] help: consider further restricting this bound [INFO] [stdout] | [INFO] [stdout] 162 | Scheme: CommitmentScheme, [INFO] [stdout] | ++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving `::ScalarExt == ::Scalar` [INFO] [stdout] --> src/plonk/prover.rs:274:34 [INFO] [stdout] | [INFO] [stdout] 158 | impl<'params, 'a, 'b, F, Scheme, P, C, E, R, T> Assignment [INFO] [stdout] | - found this type parameter [INFO] [stdout] ... [INFO] [stdout] 274 | fn push_namespace(&mut self, _: N) [INFO] [stdout] | ^^^^^^^^^ expected associated type, found type parameter `F` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Scalar` [INFO] [stdout] found type parameter `F` [INFO] [stdout] note: required by a bound in `WitnessCollection` [INFO] [stdout] --> src/poly/commitment.rs:23:29 [INFO] [stdout] | [INFO] [stdout] 23 | type Curve: CurveAffine; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `WitnessCollection` [INFO] [stdout] | [INFO] [stdout] ::: src/plonk/prover.rs:133:12 [INFO] [stdout] | [INFO] [stdout] 133 | struct WitnessCollection<'params, 'a, 'b, Scheme, P, C, E, R, T> [INFO] [stdout] | ----------------- required by a bound in this struct [INFO] [stdout] help: consider further restricting this bound [INFO] [stdout] | [INFO] [stdout] 162 | Scheme: CommitmentScheme, [INFO] [stdout] | ++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving `::ScalarExt == ::Scalar` [INFO] [stdout] --> src/plonk/prover.rs:282:26 [INFO] [stdout] | [INFO] [stdout] 158 | impl<'params, 'a, 'b, F, Scheme, P, C, E, R, T> Assignment [INFO] [stdout] | - found this type parameter [INFO] [stdout] ... [INFO] [stdout] 282 | fn pop_namespace(&mut self, _: Option) { [INFO] [stdout] | ^^^^^^^^^ expected associated type, found type parameter `F` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Scalar` [INFO] [stdout] found type parameter `F` [INFO] [stdout] note: required by a bound in `WitnessCollection` [INFO] [stdout] --> src/poly/commitment.rs:23:29 [INFO] [stdout] | [INFO] [stdout] 23 | type Curve: CurveAffine; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `WitnessCollection` [INFO] [stdout] | [INFO] [stdout] ::: src/plonk/prover.rs:133:12 [INFO] [stdout] | [INFO] [stdout] 133 | struct WitnessCollection<'params, 'a, 'b, Scheme, P, C, E, R, T> [INFO] [stdout] | ----------------- required by a bound in this struct [INFO] [stdout] help: consider further restricting this bound [INFO] [stdout] | [INFO] [stdout] 162 | Scheme: CommitmentScheme, [INFO] [stdout] | ++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving `::ScalarExt == ::Scalar` [INFO] [stdout] --> src/plonk/prover.rs:286:23 [INFO] [stdout] | [INFO] [stdout] 158 | impl<'params, 'a, 'b, F, Scheme, P, C, E, R, T> Assignment [INFO] [stdout] | - found this type parameter [INFO] [stdout] ... [INFO] [stdout] 286 | fn next_phase(&mut self) { [INFO] [stdout] | ^^^^^^^^^ expected associated type, found type parameter `F` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Scalar` [INFO] [stdout] found type parameter `F` [INFO] [stdout] note: required by a bound in `WitnessCollection` [INFO] [stdout] --> src/poly/commitment.rs:23:29 [INFO] [stdout] | [INFO] [stdout] 23 | type Curve: CurveAffine; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `WitnessCollection` [INFO] [stdout] | [INFO] [stdout] ::: src/plonk/prover.rs:133:12 [INFO] [stdout] | [INFO] [stdout] 133 | struct WitnessCollection<'params, 'a, 'b, Scheme, P, C, E, R, T> [INFO] [stdout] | ----------------- required by a bound in this struct [INFO] [stdout] help: consider further restricting this bound [INFO] [stdout] | [INFO] [stdout] 162 | Scheme: CommitmentScheme, [INFO] [stdout] | ++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::Scalar: PrimeField` is not satisfied [INFO] [stdout] --> src/poly/commitment.rs:23:17 [INFO] [stdout] | [INFO] [stdout] 23 | type Curve: CurveAffine; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `PrimeField` is not implemented for `::Scalar` [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `CurveAffine` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/group-0.13.0/src/prime.rs:35:18 [INFO] [stdout] | [INFO] [stdout] 35 | type Scalar: PrimeField; [INFO] [stdout] | ^^^^^^^^^^ required by this bound in `CurveAffine` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/pasta_curves-0.5.1/src/arithmetic/curves.rs:90:11 [INFO] [stdout] | [INFO] [stdout] 90 | pub trait CurveAffine: [INFO] [stdout] | ----------- required by a bound in this trait [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] | [INFO] [stdout] 18 | pub trait CommitmentScheme where ::Scalar: PrimeField { [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::Scalar: std::cmp::Ord` is not satisfied [INFO] [stdout] --> src/plonk/prover.rs:445:21 [INFO] [stdout] | [INFO] [stdout] 444 | ConcreteCircuit::FloorPlanner::synthesize( [INFO] [stdout] | ----------------------------------------- required by a bound introduced by this call [INFO] [stdout] 445 | &mut witness, [INFO] [stdout] | ^^^^^^^^^^^^ the trait `std::cmp::Ord` is not implemented for `::Scalar` [INFO] [stdout] | [INFO] [stdout] note: required for `WitnessCollection<'_, '_, '_, Scheme, P, ::Curve, E, R, T>` to implement `plonk::circuit::Assignment<::Scalar>` [INFO] [stdout] --> src/plonk/prover.rs:158:53 [INFO] [stdout] | [INFO] [stdout] 158 | impl<'params, 'a, 'b, F, Scheme, P, C, E, R, T> Assignment [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] 159 | for WitnessCollection<'params, 'a, 'b, Scheme, P, C, E, R, T> [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/pasta_curves-0.5.1/src/arithmetic/curves.rs:102:53 [INFO] [stdout] | [INFO] [stdout] 102 | type ScalarExt: ff::WithSmallOrderMulGroup<3> + Ord; [INFO] [stdout] | --- unsatisfied trait bound introduced here [INFO] [stdout] note: required by a bound in `plonk::circuit::FloorPlanner::synthesize` [INFO] [stdout] --> src/plonk/circuit.rs:738:33 [INFO] [stdout] | [INFO] [stdout] 738 | fn synthesize + SyncDeps, C: Circuit>( [INFO] [stdout] | ^^^^^^^^^^^^^ required by this bound in `FloorPlanner::synthesize` [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] | [INFO] [stdout] 63 | ::ParamsProver: Sync, ::Scalar: std::cmp::Ord [INFO] [stdout] | +++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0599]: no method named `next_phase` found for struct `WitnessCollection<'params, 'a, 'b, Scheme, P, C, E, R, T>` in the current scope [INFO] [stdout] --> src/plonk/prover.rs:454:29 [INFO] [stdout] | [INFO] [stdout] 133 | struct WitnessCollection<'params, 'a, 'b, Scheme, P, C, E, R, T> [INFO] [stdout] | ---------------------------------------------------------------- method `next_phase` not found for this struct [INFO] [stdout] ... [INFO] [stdout] 454 | witness.next_phase(); [INFO] [stdout] | ^^^^^^^^^^ method not found in `WitnessCollection<'_, '_, '_, Scheme, P, ::Curve, E, R, T>` [INFO] [stdout] | [INFO] [stdout] = help: items from traits can only be used if the trait is implemented and in scope [INFO] [stdout] = note: the following traits define an item `next_phase`, perhaps you need to implement one of them: [INFO] [stdout] candidate #1: `Layouter` [INFO] [stdout] candidate #2: `RegionLayouter` [INFO] [stdout] candidate #3: `plonk::circuit::Assignment` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::Scalar: std::cmp::Ord` is not satisfied [INFO] [stdout] --> src/plonk/prover.rs:486:26 [INFO] [stdout] | [INFO] [stdout] 486 | .commit_permuted( [INFO] [stdout] | ^^^^^^^^^^^^^^^ the trait `std::cmp::Ord` is not implemented for `::Scalar` [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `lookup::prover::>::commit_permuted` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/pasta_curves-0.5.1/src/arithmetic/curves.rs:102:53 [INFO] [stdout] | [INFO] [stdout] 102 | type ScalarExt: ff::WithSmallOrderMulGroup<3> + Ord; [INFO] [stdout] | ^^^ required by this bound in `lookup::prover::>::commit_permuted` [INFO] [stdout] | [INFO] [stdout] ::: src/plonk/lookup/prover.rs:75:29 [INFO] [stdout] | [INFO] [stdout] 75 | pub(in crate::plonk) fn commit_permuted< [INFO] [stdout] | --------------- required by a bound in this associated function [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] | [INFO] [stdout] 63 | ::ParamsProver: Sync, ::Scalar: std::cmp::Ord [INFO] [stdout] | +++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::Scalar: std::cmp::Ord` is not satisfied [INFO] [stdout] --> src/plonk/prover.rs:445:21 [INFO] [stdout] | [INFO] [stdout] 444 | ConcreteCircuit::FloorPlanner::synthesize( [INFO] [stdout] | ----------------------------------------- required by a bound introduced by this call [INFO] [stdout] 445 | &mut witness, [INFO] [stdout] | ^^^^^^^^^^^^ the trait `std::cmp::Ord` is not implemented for `::Scalar` [INFO] [stdout] | [INFO] [stdout] note: required for `WitnessCollection<'_, '_, '_, Scheme, P, ::Curve, E, R, T>` to implement `plonk::circuit::Assignment<::Scalar>` [INFO] [stdout] --> src/plonk/prover.rs:158:53 [INFO] [stdout] | [INFO] [stdout] 158 | impl<'params, 'a, 'b, F, Scheme, P, C, E, R, T> Assignment [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] 159 | for WitnessCollection<'params, 'a, 'b, Scheme, P, C, E, R, T> [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/pasta_curves-0.5.1/src/arithmetic/curves.rs:102:53 [INFO] [stdout] | [INFO] [stdout] 102 | type ScalarExt: ff::WithSmallOrderMulGroup<3> + Ord; [INFO] [stdout] | --- unsatisfied trait bound introduced here [INFO] [stdout] note: required by a bound in `plonk::circuit::FloorPlanner::synthesize` [INFO] [stdout] --> src/plonk/circuit.rs:738:33 [INFO] [stdout] | [INFO] [stdout] 738 | fn synthesize + SyncDeps, C: Circuit>( [INFO] [stdout] | ^^^^^^^^^^^^^ required by this bound in `FloorPlanner::synthesize` [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] | [INFO] [stdout] 63 | ::ParamsProver: Sync, ::Scalar: std::cmp::Ord [INFO] [stdout] | +++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0599]: no method named `next_phase` found for struct `WitnessCollection<'params, 'a, 'b, Scheme, P, C, E, R, T>` in the current scope [INFO] [stdout] --> src/plonk/prover.rs:454:29 [INFO] [stdout] | [INFO] [stdout] 133 | struct WitnessCollection<'params, 'a, 'b, Scheme, P, C, E, R, T> [INFO] [stdout] | ---------------------------------------------------------------- method `next_phase` not found for this struct [INFO] [stdout] ... [INFO] [stdout] 454 | witness.next_phase(); [INFO] [stdout] | ^^^^^^^^^^ method not found in `WitnessCollection<'_, '_, '_, Scheme, P, ::Curve, E, R, T>` [INFO] [stdout] | [INFO] [stdout] = help: items from traits can only be used if the trait is implemented and in scope [INFO] [stdout] = note: the following traits define an item `next_phase`, perhaps you need to implement one of them: [INFO] [stdout] candidate #1: `Layouter` [INFO] [stdout] candidate #2: `RegionLayouter` [INFO] [stdout] candidate #3: `plonk::circuit::Assignment` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::Scalar: std::cmp::Ord` is not satisfied [INFO] [stdout] --> src/plonk/prover.rs:486:26 [INFO] [stdout] | [INFO] [stdout] 486 | .commit_permuted( [INFO] [stdout] | ^^^^^^^^^^^^^^^ the trait `std::cmp::Ord` is not implemented for `::Scalar` [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `lookup::prover::>::commit_permuted` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/pasta_curves-0.5.1/src/arithmetic/curves.rs:102:53 [INFO] [stdout] | [INFO] [stdout] 102 | type ScalarExt: ff::WithSmallOrderMulGroup<3> + Ord; [INFO] [stdout] | ^^^ required by this bound in `lookup::prover::>::commit_permuted` [INFO] [stdout] | [INFO] [stdout] ::: src/plonk/lookup/prover.rs:75:29 [INFO] [stdout] | [INFO] [stdout] 75 | pub(in crate::plonk) fn commit_permuted< [INFO] [stdout] | --------------- required by a bound in this associated function [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] | [INFO] [stdout] 63 | ::ParamsProver: Sync, ::Scalar: std::cmp::Ord [INFO] [stdout] | +++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] Some errors have detailed explanations: E0271, E0277, E0599. [INFO] [stdout] [INFO] [stdout] For more information about an error, try `rustc --explain E0271`. [INFO] [stdout] [INFO] [stderr] error: could not compile `halo2-axiom` (lib) due to 32 previous errors; 13 warnings emitted [INFO] [stderr] warning: build failed, waiting for other jobs to finish... [INFO] [stdout] Some errors have detailed explanations: E0271, E0277, E0599. [INFO] [stdout] [INFO] [stdout] For more information about an error, try `rustc --explain E0271`. [INFO] [stdout] [INFO] [stderr] error: could not compile `halo2-axiom` (lib test) due to 32 previous errors; 13 warnings emitted [INFO] running `Command { std: "docker" "inspect" "4ffd9e8833acc34ef7473cfc8479bf4563827c454fd3f579b57c5db850a370ee", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "4ffd9e8833acc34ef7473cfc8479bf4563827c454fd3f579b57c5db850a370ee", kill_on_drop: false }` [INFO] [stdout] 4ffd9e8833acc34ef7473cfc8479bf4563827c454fd3f579b57c5db850a370ee