[INFO] fetching crate midnight-circuits 6.0.0... [INFO] checking midnight-circuits-6.0.0 against try#b6bca0d7327839b5e3f7a7779947cb9113d08917+rustflags=-Zstrict-projection-item-bounds for 150662-leaf [INFO] extracting crate midnight-circuits 6.0.0 into /workspace/builds/worker-5-tc2/source [INFO] started tweaking crates.io crate midnight-circuits 6.0.0 [INFO] finished tweaking crates.io crate midnight-circuits 6.0.0 [INFO] tweaked toml for crates.io crate midnight-circuits 6.0.0 written to /workspace/builds/worker-5-tc2/source/Cargo.toml [INFO] validating manifest of crates.io crate midnight-circuits 6.0.0 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 midnight-circuits 6.0.0 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-5-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-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] 0dc3f47c734577c38f52e7ad9f78dc5d9992a652cfa39a34fc6e2f82078e70c6 [INFO] running `Command { std: "docker" "start" "-a" "0dc3f47c734577c38f52e7ad9f78dc5d9992a652cfa39a34fc6e2f82078e70c6", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "0dc3f47c734577c38f52e7ad9f78dc5d9992a652cfa39a34fc6e2f82078e70c6", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "0dc3f47c734577c38f52e7ad9f78dc5d9992a652cfa39a34fc6e2f82078e70c6", kill_on_drop: false }` [INFO] [stdout] 0dc3f47c734577c38f52e7ad9f78dc5d9992a652cfa39a34fc6e2f82078e70c6 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-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] 78d40d7f65df0955a9aa7adf94303b633a9ba869e777b10677fce3f58f7a9892 [INFO] running `Command { std: "docker" "start" "-a" "78d40d7f65df0955a9aa7adf94303b633a9ba869e777b10677fce3f58f7a9892", kill_on_drop: false }` [INFO] [stderr] Checking subtle v2.6.1 [INFO] [stderr] Compiling radium v0.7.0 [INFO] [stderr] Checking tap v1.0.1 [INFO] [stderr] Compiling num-traits v0.2.19 [INFO] [stderr] Compiling find-msvc-tools v0.1.5 [INFO] [stderr] Checking funty v2.0.0 [INFO] [stderr] Compiling syn v2.0.111 [INFO] [stderr] Checking getrandom v0.2.16 [INFO] [stderr] Checking num_cpus v1.17.0 [INFO] [stderr] Checking num-integer v0.1.46 [INFO] [stderr] Compiling syn v1.0.109 [INFO] [stderr] Checking serde_json v1.0.145 [INFO] [stderr] Checking byte-slice-cast v1.2.3 [INFO] [stderr] Checking blake2b_simd v1.0.3 [INFO] [stderr] Checking regex-syntax v0.8.8 [INFO] [stderr] Checking clap_builder v4.5.53 [INFO] [stderr] Checking wyz v0.5.1 [INFO] [stderr] Checking digest v0.10.7 [INFO] [stderr] Compiling cc v1.2.50 [INFO] [stderr] Checking rand_core v0.6.4 [INFO] [stderr] Checking threadpool v1.8.1 [INFO] [stderr] Checking parking_lot_core v0.9.12 [INFO] [stderr] Checking similar v2.7.0 [INFO] [stderr] Checking miniz_oxide v0.8.9 [INFO] [stderr] Checking rand_xorshift v0.3.0 [INFO] [stderr] Checking sha2 v0.10.9 [INFO] [stderr] Checking object v0.37.3 [INFO] [stderr] Checking lock_api v0.4.14 [INFO] [stderr] Checking console v0.15.11 [INFO] [stderr] Checking itertools v0.13.0 [INFO] [stderr] Checking bitvec v1.0.1 [INFO] [stderr] Checking rustc-demangle v0.1.26 [INFO] [stderr] Checking tempfile v3.23.0 [INFO] [stderr] Checking plotters v0.3.7 [INFO] [stderr] Checking parking_lot v0.12.5 [INFO] [stderr] Checking thousands v0.2.0 [INFO] [stderr] Checking base64 v0.13.1 [INFO] [stderr] Checking rustc-hash v1.1.0 [INFO] [stderr] Checking similar-asserts v1.7.0 [INFO] [stderr] Checking keccak v0.1.5 [INFO] [stderr] Checking mintex v0.1.4 [INFO] [stderr] Checking blake2 v0.10.6 [INFO] [stderr] Checking goldenfile v1.8.0 [INFO] [stderr] Checking sha3 v0.10.8 [INFO] [stderr] Checking regex-automata v0.4.13 [INFO] [stderr] Compiling blst v0.3.16 [INFO] [stderr] Compiling num-bigint v0.4.6 [INFO] [stderr] Checking clap v4.5.53 [INFO] [stderr] Checking criterion-plot v0.6.0 [INFO] [stderr] Checking regex v1.12.2 [INFO] [stderr] Checking ff v0.13.1 [INFO] [stderr] Compiling halo2derive v0.2.0 [INFO] [stderr] Checking backtrace v0.3.76 [INFO] [stderr] Compiling zerocopy-derive v0.8.31 [INFO] [stderr] Compiling serde_derive v1.0.228 [INFO] [stderr] Compiling zeroize_derive v1.4.2 [INFO] [stderr] Compiling tracing-attributes v0.1.31 [INFO] [stderr] Checking zeroize v1.8.2 [INFO] [stderr] Checking tracing v0.1.44 [INFO] [stderr] Checking zerocopy v0.8.31 [INFO] [stderr] Checking serde v1.0.228 [INFO] [stderr] Checking ppv-lite86 v0.2.21 [INFO] [stderr] Checking half v2.7.1 [INFO] [stderr] Checking ciborium-ll v0.2.2 [INFO] [stderr] Checking hex v0.4.3 [INFO] [stderr] Checking serde_arrays v0.2.0 [INFO] [stderr] Checking tinytemplate v1.2.1 [INFO] [stderr] Checking dhat v0.3.3 [INFO] [stderr] Checking rand_chacha v0.3.1 [INFO] [stderr] Checking ciborium v0.2.2 [INFO] [stderr] Checking rand v0.8.5 [INFO] [stderr] Checking criterion v0.7.0 [INFO] [stderr] Checking group v0.13.0 [INFO] [stderr] Checking pairing v0.23.0 [INFO] [stderr] Checking midnight-curves v0.2.0 [INFO] [stderr] Checking midnight-proofs v0.7.0 [INFO] [stderr] Checking blake2b_halo2 v0.1.0 [INFO] [stderr] Checking sha3-circuit v0.1.0 [INFO] [stderr] Checking midnight-circuits v6.0.0 (/opt/rustwide/workdir) [INFO] [stdout] warning: unnecessary parentheses around closure body [INFO] [stdout] --> src/ecc/foreign/ecc_chip.rs:647:61 [INFO] [stdout] | [INFO] [stdout] 647 | let r_curve = p.value().zip(q.value()).map(|(p, q)| (p + q)); [INFO] [stdout] | ^ ^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_parens)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] help: remove these parentheses [INFO] [stdout] | [INFO] [stdout] 647 - let r_curve = p.value().zip(q.value()).map(|(p, q)| (p + q)); [INFO] [stdout] 647 + let r_curve = p.value().zip(q.value()).map(|(p, q)| p + q); [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unnecessary parentheses around closure body [INFO] [stdout] --> src/ecc/foreign/ecc_chip.rs:696:41 [INFO] [stdout] | [INFO] [stdout] 696 | let r_curve = p.value().map(|p| (p + p)); [INFO] [stdout] | ^ ^ [INFO] [stdout] | [INFO] [stdout] help: remove these parentheses [INFO] [stdout] | [INFO] [stdout] 696 - let r_curve = p.value().map(|p| (p + p)); [INFO] [stdout] 696 + let r_curve = p.value().map(|p| p + p); [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unnecessary parentheses around closure body [INFO] [stdout] --> src/ecc/foreign/ecc_chip.rs:1123:61 [INFO] [stdout] | [INFO] [stdout] 1123 | let r_curve = p.value().zip(q.value()).map(|(p, q)| (p + q)); [INFO] [stdout] | ^ ^ [INFO] [stdout] | [INFO] [stdout] help: remove these parentheses [INFO] [stdout] | [INFO] [stdout] 1123 - let r_curve = p.value().zip(q.value()).map(|(p, q)| (p + q)); [INFO] [stdout] 1123 + let r_curve = p.value().zip(q.value()).map(|(p, q)| p + q); [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unnecessary parentheses around closure body [INFO] [stdout] --> src/parsing/automaton_chip.rs:388:16 [INFO] [stdout] | [INFO] [stdout] 388 | || (format!("dummy invalid letter ({})", ALPHABET_MAX_SIZE)), [INFO] [stdout] | ^ ^ [INFO] [stdout] | [INFO] [stdout] help: remove these parentheses [INFO] [stdout] | [INFO] [stdout] 388 - || (format!("dummy invalid letter ({})", ALPHABET_MAX_SIZE)), [INFO] [stdout] 388 + || format!("dummy invalid letter ({})", ALPHABET_MAX_SIZE), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unnecessary parentheses around closure body [INFO] [stdout] --> src/ecc/foreign/ecc_chip.rs:647:61 [INFO] [stdout] | [INFO] [stdout] 647 | let r_curve = p.value().zip(q.value()).map(|(p, q)| (p + q)); [INFO] [stdout] | ^ ^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_parens)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] help: remove these parentheses [INFO] [stdout] | [INFO] [stdout] 647 - let r_curve = p.value().zip(q.value()).map(|(p, q)| (p + q)); [INFO] [stdout] 647 + let r_curve = p.value().zip(q.value()).map(|(p, q)| p + q); [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unnecessary parentheses around closure body [INFO] [stdout] --> src/ecc/foreign/ecc_chip.rs:696:41 [INFO] [stdout] | [INFO] [stdout] 696 | let r_curve = p.value().map(|p| (p + p)); [INFO] [stdout] | ^ ^ [INFO] [stdout] | [INFO] [stdout] help: remove these parentheses [INFO] [stdout] | [INFO] [stdout] 696 - let r_curve = p.value().map(|p| (p + p)); [INFO] [stdout] 696 + let r_curve = p.value().map(|p| p + p); [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unnecessary parentheses around closure body [INFO] [stdout] --> src/ecc/foreign/ecc_chip.rs:1123:61 [INFO] [stdout] | [INFO] [stdout] 1123 | let r_curve = p.value().zip(q.value()).map(|(p, q)| (p + q)); [INFO] [stdout] | ^ ^ [INFO] [stdout] | [INFO] [stdout] help: remove these parentheses [INFO] [stdout] | [INFO] [stdout] 1123 - let r_curve = p.value().zip(q.value()).map(|(p, q)| (p + q)); [INFO] [stdout] 1123 + let r_curve = p.value().zip(q.value()).map(|(p, q)| p + q); [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unnecessary parentheses around closure body [INFO] [stdout] --> src/hash/sha256/utils.rs:264:60 [INFO] [stdout] | [INFO] [stdout] 264 | let expected: [u32; 32] = core::array::from_fn(|i| ((value >> (31 - i)) & 1)); [INFO] [stdout] | ^ ^ [INFO] [stdout] | [INFO] [stdout] help: remove these parentheses [INFO] [stdout] | [INFO] [stdout] 264 - let expected: [u32; 32] = core::array::from_fn(|i| ((value >> (31 - i)) & 1)); [INFO] [stdout] 264 + let expected: [u32; 32] = core::array::from_fn(|i| (value >> (31 - i)) & 1 ); [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unnecessary parentheses around closure body [INFO] [stdout] --> src/hash/sha512/utils.rs:303:60 [INFO] [stdout] | [INFO] [stdout] 303 | let expected: [u64; 64] = core::array::from_fn(|i| ((value >> (63 - i)) & 1)); [INFO] [stdout] | ^ ^ [INFO] [stdout] | [INFO] [stdout] help: remove these parentheses [INFO] [stdout] | [INFO] [stdout] 303 - let expected: [u64; 64] = core::array::from_fn(|i| ((value >> (63 - i)) & 1)); [INFO] [stdout] 303 + let expected: [u64; 64] = core::array::from_fn(|i| (value >> (63 - i)) & 1 ); [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unnecessary parentheses around closure body [INFO] [stdout] --> src/parsing/automaton_chip.rs:388:16 [INFO] [stdout] | [INFO] [stdout] 388 | || (format!("dummy invalid letter ({})", ALPHABET_MAX_SIZE)), [INFO] [stdout] | ^ ^ [INFO] [stdout] | [INFO] [stdout] help: remove these parentheses [INFO] [stdout] | [INFO] [stdout] 388 - || (format!("dummy invalid letter ({})", ALPHABET_MAX_SIZE)), [INFO] [stdout] 388 + || format!("dummy invalid letter ({})", ALPHABET_MAX_SIZE), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::F: std::cmp::Ord` is not satisfied [INFO] [stdout] --> src/verifier/verifier_gadget.rs:108:5 [INFO] [stdout] | [INFO] [stdout] 108 | / fn assign_as_public_input( [INFO] [stdout] 109 | | &self, [INFO] [stdout] 110 | | _layouter: &mut impl Layouter, [INFO] [stdout] 111 | | _value: Value>, [INFO] [stdout] 112 | | ) -> Result, Error> { [INFO] [stdout] | |_____________________________________^ the trait `std::cmp::Ord` is not implemented for `::F` [INFO] [stdout] | [INFO] [stdout] = note: required for `KZGCommitmentScheme<::Engine>` to implement `PolynomialCommitmentScheme<::F>` [INFO] [stdout] note: required by a bound in `midnight_proofs::plonk::VerifyingKey` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/midnight-proofs-0.7.0/src/plonk/mod.rs:58:44 [INFO] [stdout] | [INFO] [stdout] 58 | pub struct VerifyingKey> { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `VerifyingKey` [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] | [INFO] [stdout] 112 | ) -> Result, Error> where ::F: std::cmp::Ord { [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::F: std::cmp::Ord` is not satisfied [INFO] [stdout] --> src/verifier/mod.rs:72:20 [INFO] [stdout] | [INFO] [stdout] 72 | type Element = VerifyingKey; [INFO] [stdout] | ^^^^^^^^^^^^^^^ the trait `std::cmp::Ord` is not implemented for `::F` [INFO] [stdout] | [INFO] [stdout] = note: required for `KZGCommitmentScheme<::Engine>` to implement `PolynomialCommitmentScheme<::F>` [INFO] [stdout] = note: required for `VerifyingKey<::F, KZGCommitmentScheme<...>>` to implement `Debug` [INFO] [stdout] note: required by a bound in `InnerValue::Element` [INFO] [stdout] --> src/utils/types.rs:42:27 [INFO] [stdout] | [INFO] [stdout] 42 | type Element: Clone + Debug; [INFO] [stdout] | ^^^^^ required by this bound in `InnerValue::Element` [INFO] [stdout] = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/midnight_circuits-06016072ddf13903.long-type-8954432021964641532.txt' [INFO] [stdout] = note: consider using `--verbose` to print the full type name to the console [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] | [INFO] [stdout] 71 | impl InnerValue for AssignedVk where ::F: std::cmp::Ord { [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::F: std::cmp::Ord` is not satisfied [INFO] [stdout] --> src/verifier/mod.rs:74:5 [INFO] [stdout] | [INFO] [stdout] 74 | fn value(&self) -> Value> { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `std::cmp::Ord` is not implemented for `::F` [INFO] [stdout] | [INFO] [stdout] = note: required for `KZGCommitmentScheme<::Engine>` to implement `PolynomialCommitmentScheme<::F>` [INFO] [stdout] note: required by a bound in `midnight_proofs::plonk::VerifyingKey` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/midnight-proofs-0.7.0/src/plonk/mod.rs:58:44 [INFO] [stdout] | [INFO] [stdout] 58 | pub struct VerifyingKey> { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `VerifyingKey` [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] | [INFO] [stdout] 74 | fn value(&self) -> Value> where ::F: std::cmp::Ord { [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::F: std::cmp::Ord` is not satisfied [INFO] [stdout] --> src/verifier/mod.rs:83:5 [INFO] [stdout] | [INFO] [stdout] 83 | fn as_public_input(vk: &VerifyingKey) -> Vec { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `std::cmp::Ord` is not implemented for `::F` [INFO] [stdout] | [INFO] [stdout] = note: required for `KZGCommitmentScheme<::Engine>` to implement `PolynomialCommitmentScheme<::F>` [INFO] [stdout] note: required by a bound in `midnight_proofs::plonk::VerifyingKey` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/midnight-proofs-0.7.0/src/plonk/mod.rs:58:44 [INFO] [stdout] | [INFO] [stdout] 58 | pub struct VerifyingKey> { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `VerifyingKey` [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] | [INFO] [stdout] 83 | fn as_public_input(vk: &VerifyingKey) -> Vec where ::F: std::cmp::Ord { [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::F: std::cmp::Ord` is not satisfied [INFO] [stdout] --> src/verifier/mod.rs:134:10 [INFO] [stdout] | [INFO] [stdout] 134 | vk: &VerifyingKey, [INFO] [stdout] | ^^^^^^^^^^^^^^^ the trait `std::cmp::Ord` is not implemented for `::F` [INFO] [stdout] | [INFO] [stdout] = note: required for `KZGCommitmentScheme<::Engine>` to implement `PolynomialCommitmentScheme<::F>` [INFO] [stdout] note: required by a bound in `midnight_proofs::plonk::VerifyingKey` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/midnight-proofs-0.7.0/src/plonk/mod.rs:58:44 [INFO] [stdout] | [INFO] [stdout] 58 | pub struct VerifyingKey> { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `VerifyingKey` [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] | [INFO] [stdout] 135 | ) -> BTreeMap where ::F: std::cmp::Ord { [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::F: std::cmp::Ord` is not satisfied [INFO] [stdout] --> src/verifier/verifier_gadget.rs:111:23 [INFO] [stdout] | [INFO] [stdout] 111 | _value: Value>, [INFO] [stdout] | ^^^^^^^^^^^^^^^ the trait `std::cmp::Ord` is not implemented for `::F` [INFO] [stdout] | [INFO] [stdout] = note: required for `KZGCommitmentScheme<::Engine>` to implement `PolynomialCommitmentScheme<::F>` [INFO] [stdout] note: required by a bound in `midnight_proofs::plonk::VerifyingKey` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/midnight-proofs-0.7.0/src/plonk/mod.rs:58:44 [INFO] [stdout] | [INFO] [stdout] 58 | pub struct VerifyingKey> { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `VerifyingKey` [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] | [INFO] [stdout] 112 | ) -> Result, Error> where ::F: std::cmp::Ord { [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::F: std::cmp::Ord` is not satisfied [INFO] [stdout] --> src/verifier/mod.rs:72:20 [INFO] [stdout] | [INFO] [stdout] 72 | type Element = VerifyingKey; [INFO] [stdout] | ^^^^^^^^^^^^^^^ the trait `std::cmp::Ord` is not implemented for `::F` [INFO] [stdout] | [INFO] [stdout] = note: required for `KZGCommitmentScheme<::Engine>` to implement `PolynomialCommitmentScheme<::F>` [INFO] [stdout] note: required by a bound in `midnight_proofs::plonk::VerifyingKey` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/midnight-proofs-0.7.0/src/plonk/mod.rs:58:44 [INFO] [stdout] | [INFO] [stdout] 58 | pub struct VerifyingKey> { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `VerifyingKey` [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] | [INFO] [stdout] 71 | impl InnerValue for AssignedVk where ::F: std::cmp::Ord { [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::F: std::cmp::Ord` is not satisfied [INFO] [stdout] --> src/verifier/mod.rs:74:30 [INFO] [stdout] | [INFO] [stdout] 74 | fn value(&self) -> Value> { [INFO] [stdout] | ^^^^^^^^^^^^^^^ the trait `std::cmp::Ord` is not implemented for `::F` [INFO] [stdout] | [INFO] [stdout] = note: required for `KZGCommitmentScheme<::Engine>` to implement `PolynomialCommitmentScheme<::F>` [INFO] [stdout] note: required by a bound in `midnight_proofs::plonk::VerifyingKey` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/midnight-proofs-0.7.0/src/plonk/mod.rs:58:44 [INFO] [stdout] | [INFO] [stdout] 58 | pub struct VerifyingKey> { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `VerifyingKey` [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] | [INFO] [stdout] 74 | fn value(&self) -> Value> where ::F: std::cmp::Ord { [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::F: std::cmp::Ord` is not satisfied [INFO] [stdout] --> src/verifier/mod.rs:83:29 [INFO] [stdout] | [INFO] [stdout] 83 | fn as_public_input(vk: &VerifyingKey) -> Vec { [INFO] [stdout] | ^^^^^^^^^^^^^^^ the trait `std::cmp::Ord` is not implemented for `::F` [INFO] [stdout] | [INFO] [stdout] = note: required for `KZGCommitmentScheme<::Engine>` to implement `PolynomialCommitmentScheme<::F>` [INFO] [stdout] note: required by a bound in `midnight_proofs::plonk::VerifyingKey` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/midnight-proofs-0.7.0/src/plonk/mod.rs:58:44 [INFO] [stdout] | [INFO] [stdout] 58 | pub struct VerifyingKey> { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `VerifyingKey` [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] | [INFO] [stdout] 83 | fn as_public_input(vk: &VerifyingKey) -> Vec where ::F: std::cmp::Ord { [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::F: std::cmp::Ord` is not satisfied [INFO] [stdout] --> src/verifier/verifier_gadget.rs:108:5 [INFO] [stdout] | [INFO] [stdout] 108 | / fn assign_as_public_input( [INFO] [stdout] 109 | | &self, [INFO] [stdout] 110 | | _layouter: &mut impl Layouter, [INFO] [stdout] 111 | | _value: Value>, [INFO] [stdout] 112 | | ) -> Result, Error> { [INFO] [stdout] | |_____________________________________^ the trait `std::cmp::Ord` is not implemented for `::F` [INFO] [stdout] | [INFO] [stdout] = note: required for `KZGCommitmentScheme<::Engine>` to implement `PolynomialCommitmentScheme<::F>` [INFO] [stdout] note: required by a bound in `midnight_proofs::plonk::VerifyingKey` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/midnight-proofs-0.7.0/src/plonk/mod.rs:58:44 [INFO] [stdout] | [INFO] [stdout] 58 | pub struct VerifyingKey> { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `VerifyingKey` [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] | [INFO] [stdout] 112 | ) -> Result, Error> where ::F: std::cmp::Ord { [INFO] [stdout] | +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::F: std::cmp::Ord` is not satisfied [INFO] [stdout] --> src/verifier/mod.rs:72:20 [INFO] [stdout] | [INFO] [stdout] 72 | type Element = VerifyingKey; [INFO] [stdout] | ^^^^^^^^^^^^^^^ the trait `std::cmp::Ord` is not implemented for `::F` [INFO] [stdout] | [INFO] [stdout] = note: required for `KZGCommitmentScheme<::Engine>` to implement `PolynomialCommitmentScheme<::F>` [INFO] [stdout] = note: required for `VerifyingKey<::F, KZGCommitmentScheme<...>>` to implement `std::fmt::Debug` [INFO] [stdout] note: required by a bound in `utils::types::InnerValue::Element` [INFO] [stdout] --> src/utils/types.rs:42:27 [INFO] [stdout] | [INFO] [stdout] 42 | type Element: Clone + Debug; [INFO] [stdout] | ^^^^^ required by this bound in `InnerValue::Element` [INFO] [stdout] = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/midnight_circuits-e1b2d8b8a2075b89.long-type-9509228813213983268.txt' [INFO] [stdout] = note: consider using `--verbose` to print the full type name to the console [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] | [INFO] [stdout] 71 | impl InnerValue for AssignedVk where ::F: std::cmp::Ord { [INFO] [stdout] | +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::F: std::cmp::Ord` is not satisfied [INFO] [stdout] --> src/verifier/mod.rs:74:5 [INFO] [stdout] | [INFO] [stdout] 74 | fn value(&self) -> Value> { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `std::cmp::Ord` is not implemented for `::F` [INFO] [stdout] | [INFO] [stdout] = note: required for `KZGCommitmentScheme<::Engine>` to implement `PolynomialCommitmentScheme<::F>` [INFO] [stdout] note: required by a bound in `midnight_proofs::plonk::VerifyingKey` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/midnight-proofs-0.7.0/src/plonk/mod.rs:58:44 [INFO] [stdout] | [INFO] [stdout] 58 | pub struct VerifyingKey> { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `VerifyingKey` [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] | [INFO] [stdout] 74 | fn value(&self) -> Value> where ::F: std::cmp::Ord { [INFO] [stdout] | +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::F: std::cmp::Ord` is not satisfied [INFO] [stdout] --> src/verifier/mod.rs:83:5 [INFO] [stdout] | [INFO] [stdout] 83 | fn as_public_input(vk: &VerifyingKey) -> Vec { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `std::cmp::Ord` is not implemented for `::F` [INFO] [stdout] | [INFO] [stdout] = note: required for `KZGCommitmentScheme<::Engine>` to implement `PolynomialCommitmentScheme<::F>` [INFO] [stdout] note: required by a bound in `midnight_proofs::plonk::VerifyingKey` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/midnight-proofs-0.7.0/src/plonk/mod.rs:58:44 [INFO] [stdout] | [INFO] [stdout] 58 | pub struct VerifyingKey> { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `VerifyingKey` [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] | [INFO] [stdout] 83 | fn as_public_input(vk: &VerifyingKey) -> Vec where ::F: std::cmp::Ord { [INFO] [stdout] | +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::F: std::cmp::Ord` is not satisfied [INFO] [stdout] --> src/verifier/mod.rs:134:10 [INFO] [stdout] | [INFO] [stdout] 134 | vk: &VerifyingKey, [INFO] [stdout] | ^^^^^^^^^^^^^^^ the trait `std::cmp::Ord` is not implemented for `::F` [INFO] [stdout] | [INFO] [stdout] = note: required for `KZGCommitmentScheme<::Engine>` to implement `PolynomialCommitmentScheme<::F>` [INFO] [stdout] note: required by a bound in `midnight_proofs::plonk::VerifyingKey` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/midnight-proofs-0.7.0/src/plonk/mod.rs:58:44 [INFO] [stdout] | [INFO] [stdout] 58 | pub struct VerifyingKey> { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `VerifyingKey` [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] | [INFO] [stdout] 135 | ) -> BTreeMap where ::F: std::cmp::Ord { [INFO] [stdout] | +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::F: std::cmp::Ord` is not satisfied [INFO] [stdout] --> src/verifier/verifier_gadget.rs:111:23 [INFO] [stdout] | [INFO] [stdout] 111 | _value: Value>, [INFO] [stdout] | ^^^^^^^^^^^^^^^ the trait `std::cmp::Ord` is not implemented for `::F` [INFO] [stdout] | [INFO] [stdout] = note: required for `KZGCommitmentScheme<::Engine>` to implement `PolynomialCommitmentScheme<::F>` [INFO] [stdout] note: required by a bound in `midnight_proofs::plonk::VerifyingKey` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/midnight-proofs-0.7.0/src/plonk/mod.rs:58:44 [INFO] [stdout] | [INFO] [stdout] 58 | pub struct VerifyingKey> { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `VerifyingKey` [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] | [INFO] [stdout] 112 | ) -> Result, Error> where ::F: std::cmp::Ord { [INFO] [stdout] | +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::F: std::cmp::Ord` is not satisfied [INFO] [stdout] --> src/verifier/mod.rs:72:20 [INFO] [stdout] | [INFO] [stdout] 72 | type Element = VerifyingKey; [INFO] [stdout] | ^^^^^^^^^^^^^^^ the trait `std::cmp::Ord` is not implemented for `::F` [INFO] [stdout] | [INFO] [stdout] = note: required for `KZGCommitmentScheme<::Engine>` to implement `PolynomialCommitmentScheme<::F>` [INFO] [stdout] note: required by a bound in `midnight_proofs::plonk::VerifyingKey` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/midnight-proofs-0.7.0/src/plonk/mod.rs:58:44 [INFO] [stdout] | [INFO] [stdout] 58 | pub struct VerifyingKey> { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `VerifyingKey` [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] | [INFO] [stdout] 71 | impl InnerValue for AssignedVk where ::F: std::cmp::Ord { [INFO] [stdout] | +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::F: std::cmp::Ord` is not satisfied [INFO] [stdout] --> src/verifier/mod.rs:74:30 [INFO] [stdout] | [INFO] [stdout] 74 | fn value(&self) -> Value> { [INFO] [stdout] | ^^^^^^^^^^^^^^^ the trait `std::cmp::Ord` is not implemented for `::F` [INFO] [stdout] | [INFO] [stdout] = note: required for `KZGCommitmentScheme<::Engine>` to implement `PolynomialCommitmentScheme<::F>` [INFO] [stdout] note: required by a bound in `midnight_proofs::plonk::VerifyingKey` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/midnight-proofs-0.7.0/src/plonk/mod.rs:58:44 [INFO] [stdout] | [INFO] [stdout] 58 | pub struct VerifyingKey> { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `VerifyingKey` [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] | [INFO] [stdout] 74 | fn value(&self) -> Value> where ::F: std::cmp::Ord { [INFO] [stdout] | +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::F: std::cmp::Ord` is not satisfied [INFO] [stdout] --> src/verifier/mod.rs:83:29 [INFO] [stdout] | [INFO] [stdout] 83 | fn as_public_input(vk: &VerifyingKey) -> Vec { [INFO] [stdout] | ^^^^^^^^^^^^^^^ the trait `std::cmp::Ord` is not implemented for `::F` [INFO] [stdout] | [INFO] [stdout] = note: required for `KZGCommitmentScheme<::Engine>` to implement `PolynomialCommitmentScheme<::F>` [INFO] [stdout] note: required by a bound in `midnight_proofs::plonk::VerifyingKey` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/midnight-proofs-0.7.0/src/plonk/mod.rs:58:44 [INFO] [stdout] | [INFO] [stdout] 58 | pub struct VerifyingKey> { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `VerifyingKey` [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] | [INFO] [stdout] 83 | fn as_public_input(vk: &VerifyingKey) -> Vec where ::F: std::cmp::Ord { [INFO] [stdout] | +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0599]: the method `split` exists for struct `DualMSM<::Engine>`, but its trait bounds were not satisfied [INFO] [stdout] --> src/verifier/accumulator.rs:77:35 [INFO] [stdout] | [INFO] [stdout] 77 | let (lhs, rhs) = dual_msm.split(); [INFO] [stdout] | ^^^^^ method cannot be called on `DualMSM<::Engine>` due to unsatisfied trait bounds [INFO] [stdout] | [INFO] [stdout] = note: the following trait bounds were not satisfied: [INFO] [stdout] `::F: std::cmp::Ord` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0599]: the method `transcript_repr` exists for reference `&VerifyingKey<::F, KZGCommitmentScheme<...>>`, but its trait bounds were not satisfied [INFO] [stdout] --> src/verifier/mod.rs:84:53 [INFO] [stdout] | [INFO] [stdout] 84 | AssignedNative::::as_public_input(&vk.transcript_repr()) [INFO] [stdout] | ^^^^^^^^^^^^^^^ private field, not a method [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/midnight-proofs-0.7.0/src/poly/kzg/mod.rs:52:1 [INFO] [stdout] | [INFO] [stdout] 52 | pub struct KZGCommitmentScheme { [INFO] [stdout] | ----------------------------------------- doesn't satisfy `_: PolynomialCommitmentScheme<::F>` [INFO] [stdout] | [INFO] [stdout] = note: the following trait bounds were not satisfied: [INFO] [stdout] `::F: std::cmp::Ord` [INFO] [stdout] which is required by `KZGCommitmentScheme<::Engine>: PolynomialCommitmentScheme<::F>` [INFO] [stdout] = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/midnight_circuits-06016072ddf13903.long-type-5473108645197746401.txt' [INFO] [stdout] = note: consider using `--verbose` to print the full type name to the console [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0599]: the method `fixed_commitments` exists for reference `&VerifyingKey<::F, KZGCommitmentScheme<...>>`, but its trait bounds were not satisfied [INFO] [stdout] --> src/verifier/mod.rs:140:32 [INFO] [stdout] | [INFO] [stdout] 140 | let fixed_commitments = vk.fixed_commitments(); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ private field, not a method [INFO] [stdout] | [INFO] [stdout] = note: the following trait bounds were not satisfied: [INFO] [stdout] `::F: std::cmp::Ord` [INFO] [stdout] = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/midnight_circuits-06016072ddf13903.long-type-11028221119942146506.txt' [INFO] [stdout] = note: consider using `--verbose` to print the full type name to the console [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0599]: the method `permutation` exists for reference `&VerifyingKey<::F, KZGCommitmentScheme<...>>`, but its trait bounds were not satisfied [INFO] [stdout] --> src/verifier/mod.rs:141:31 [INFO] [stdout] | [INFO] [stdout] 141 | let perm_commitments = vk.permutation().commitments(); [INFO] [stdout] | ^^^^^^^^^^^ private field, not a method [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/midnight-proofs-0.7.0/src/poly/kzg/mod.rs:52:1 [INFO] [stdout] | [INFO] [stdout] 52 | pub struct KZGCommitmentScheme { [INFO] [stdout] | ----------------------------------------- doesn't satisfy `_: PolynomialCommitmentScheme<::F>` [INFO] [stdout] | [INFO] [stdout] = note: the following trait bounds were not satisfied: [INFO] [stdout] `::F: std::cmp::Ord` [INFO] [stdout] which is required by `KZGCommitmentScheme<::Engine>: PolynomialCommitmentScheme<::F>` [INFO] [stdout] = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/midnight_circuits-06016072ddf13903.long-type-11028221119942146506.txt' [INFO] [stdout] = note: consider using `--verbose` to print the full type name to the console [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0599]: the method `split` exists for struct `DualMSM<::Engine>`, but its trait bounds were not satisfied [INFO] [stdout] --> src/verifier/accumulator.rs:77:35 [INFO] [stdout] | [INFO] [stdout] 77 | let (lhs, rhs) = dual_msm.split(); [INFO] [stdout] | ^^^^^ method cannot be called due to unsatisfied trait bounds [INFO] [stdout] | [INFO] [stdout] = note: the following trait bounds were not satisfied: [INFO] [stdout] `::F: std::cmp::Ord` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0599]: the method `transcript_repr` exists for reference `&VerifyingKey<::F, KZGCommitmentScheme<...>>`, but its trait bounds were not satisfied [INFO] [stdout] --> src/verifier/mod.rs:84:53 [INFO] [stdout] | [INFO] [stdout] 84 | AssignedNative::::as_public_input(&vk.transcript_repr()) [INFO] [stdout] | ^^^^^^^^^^^^^^^ private field, not a method [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/midnight-proofs-0.7.0/src/poly/kzg/mod.rs:52:1 [INFO] [stdout] | [INFO] [stdout] 52 | pub struct KZGCommitmentScheme { [INFO] [stdout] | ----------------------------------------- doesn't satisfy `_: PolynomialCommitmentScheme<::F>` [INFO] [stdout] | [INFO] [stdout] = note: the following trait bounds were not satisfied: [INFO] [stdout] `::F: std::cmp::Ord` [INFO] [stdout] which is required by `KZGCommitmentScheme<::Engine>: PolynomialCommitmentScheme<::F>` [INFO] [stdout] = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/midnight_circuits-e1b2d8b8a2075b89.long-type-17260992029601854624.txt' [INFO] [stdout] = note: consider using `--verbose` to print the full type name to the console [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0599]: the method `fixed_commitments` exists for reference `&VerifyingKey<::F, KZGCommitmentScheme<...>>`, but its trait bounds were not satisfied [INFO] [stdout] --> src/verifier/mod.rs:140:32 [INFO] [stdout] | [INFO] [stdout] 140 | let fixed_commitments = vk.fixed_commitments(); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ private field, not a method [INFO] [stdout] | [INFO] [stdout] = note: the following trait bounds were not satisfied: [INFO] [stdout] `::F: std::cmp::Ord` [INFO] [stdout] = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/midnight_circuits-e1b2d8b8a2075b89.long-type-3772620474456592889.txt' [INFO] [stdout] = note: consider using `--verbose` to print the full type name to the console [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0599]: the method `permutation` exists for reference `&VerifyingKey<::F, KZGCommitmentScheme<...>>`, but its trait bounds were not satisfied [INFO] [stdout] --> src/verifier/mod.rs:141:31 [INFO] [stdout] | [INFO] [stdout] 141 | let perm_commitments = vk.permutation().commitments(); [INFO] [stdout] | ^^^^^^^^^^^ private field, not a method [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/midnight-proofs-0.7.0/src/poly/kzg/mod.rs:52:1 [INFO] [stdout] | [INFO] [stdout] 52 | pub struct KZGCommitmentScheme { [INFO] [stdout] | ----------------------------------------- doesn't satisfy `_: PolynomialCommitmentScheme<::F>` [INFO] [stdout] | [INFO] [stdout] = note: the following trait bounds were not satisfied: [INFO] [stdout] `::F: std::cmp::Ord` [INFO] [stdout] which is required by `KZGCommitmentScheme<::Engine>: PolynomialCommitmentScheme<::F>` [INFO] [stdout] = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/midnight_circuits-e1b2d8b8a2075b89.long-type-3772620474456592889.txt' [INFO] [stdout] = note: consider using `--verbose` to print the full type name to the console [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::F: std::cmp::Ord` is not satisfied [INFO] [stdout] --> src/verifier/verifier_gadget.rs:111:9 [INFO] [stdout] | [INFO] [stdout] 111 | _value: Value>, [INFO] [stdout] | ^^^^^^ the trait `std::cmp::Ord` is not implemented for `::F` [INFO] [stdout] | [INFO] [stdout] = note: required for `KZGCommitmentScheme<::Engine>` to implement `PolynomialCommitmentScheme<::F>` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::F: std::cmp::Ord` is not satisfied [INFO] [stdout] --> src/verifier/mod.rs:74:24 [INFO] [stdout] | [INFO] [stdout] 74 | fn value(&self) -> Value> { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ the trait `std::cmp::Ord` is not implemented for `::F` [INFO] [stdout] | [INFO] [stdout] = note: required for `KZGCommitmentScheme<::Engine>` to implement `PolynomialCommitmentScheme<::F>` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] Some errors have detailed explanations: E0277, E0599. [INFO] [stdout] [INFO] [stdout] For more information about an error, try `rustc --explain E0277`. [INFO] [stdout] [INFO] [stderr] error: could not compile `midnight-circuits` (lib) due to 15 previous errors; 4 warnings emitted [INFO] [stderr] warning: build failed, waiting for other jobs to finish... [INFO] [stdout] error[E0277]: the trait bound `::F: std::cmp::Ord` is not satisfied [INFO] [stdout] --> src/verifier/verifier_gadget.rs:111:9 [INFO] [stdout] | [INFO] [stdout] 111 | _value: Value>, [INFO] [stdout] | ^^^^^^ the trait `std::cmp::Ord` is not implemented for `::F` [INFO] [stdout] | [INFO] [stdout] = note: required for `KZGCommitmentScheme<::Engine>` to implement `PolynomialCommitmentScheme<::F>` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::F: std::cmp::Ord` is not satisfied [INFO] [stdout] --> src/verifier/mod.rs:74:24 [INFO] [stdout] | [INFO] [stdout] 74 | fn value(&self) -> Value> { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ the trait `std::cmp::Ord` is not implemented for `::F` [INFO] [stdout] | [INFO] [stdout] = note: required for `KZGCommitmentScheme<::Engine>` to implement `PolynomialCommitmentScheme<::F>` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] Some errors have detailed explanations: E0277, E0599. [INFO] [stdout] [INFO] [stdout] For more information about an error, try `rustc --explain E0277`. [INFO] [stdout] [INFO] [stderr] error: could not compile `midnight-circuits` (lib test) due to 15 previous errors; 6 warnings emitted [INFO] running `Command { std: "docker" "inspect" "78d40d7f65df0955a9aa7adf94303b633a9ba869e777b10677fce3f58f7a9892", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "78d40d7f65df0955a9aa7adf94303b633a9ba869e777b10677fce3f58f7a9892", kill_on_drop: false }` [INFO] [stdout] 78d40d7f65df0955a9aa7adf94303b633a9ba869e777b10677fce3f58f7a9892