[INFO] cloning repository https://github.com/rupam-04/plonky3-polynomial-verifier [INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/rupam-04/plonky3-polynomial-verifier" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Frupam-04%2Fplonky3-polynomial-verifier", kill_on_drop: false }` [INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Frupam-04%2Fplonky3-polynomial-verifier'... [INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }` [INFO] [stdout] bf56527d4432a5c6dd628b2469e1928cb5c29782 [INFO] checking rupam-04/plonky3-polynomial-verifier against try#8c500c7cefd54fd11d57295f3771d576be9ee415 for pr-145113 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Frupam-04%2Fplonky3-polynomial-verifier" "/workspace/builds/worker-4-tc2/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-4-tc2/source'... [INFO] [stderr] done. [INFO] started tweaking git repo https://github.com/rupam-04/plonky3-polynomial-verifier [INFO] finished tweaking git repo https://github.com/rupam-04/plonky3-polynomial-verifier [INFO] tweaked toml for git repo https://github.com/rupam-04/plonky3-polynomial-verifier written to /workspace/builds/worker-4-tc2/source/Cargo.toml [INFO] validating manifest of git repo https://github.com/rupam-04/plonky3-polynomial-verifier on toolchain 8c500c7cefd54fd11d57295f3771d576be9ee415 [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+8c500c7cefd54fd11d57295f3771d576be9ee415" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] crate git repo https://github.com/rupam-04/plonky3-polynomial-verifier 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" "+8c500c7cefd54fd11d57295f3771d576be9ee415" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] [stderr] Blocking waiting for file lock on package cache [INFO] [stderr] Updating git repository `https://github.com/Plonky3/Plonky3.git` [INFO] [stderr] Updating crates.io index [INFO] [stderr] Blocking waiting for file lock on package cache [INFO] [stderr] Downloading crates ... [INFO] [stderr] Downloaded nums v0.1.0 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-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:ae6f63d130afcfff7f91f5ba9fdb2a74d52830289c6a2ea2d23a94dcfb480a0d" "/opt/rustwide/cargo-home/bin/cargo" "+8c500c7cefd54fd11d57295f3771d576be9ee415" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] 95571035c79763978fa0a6f8e26162fb52f1d7cd18b10fa950c7b44c585b7bf9 [INFO] running `Command { std: "docker" "start" "-a" "95571035c79763978fa0a6f8e26162fb52f1d7cd18b10fa950c7b44c585b7bf9", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "95571035c79763978fa0a6f8e26162fb52f1d7cd18b10fa950c7b44c585b7bf9", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "95571035c79763978fa0a6f8e26162fb52f1d7cd18b10fa950c7b44c585b7bf9", kill_on_drop: false }` [INFO] [stdout] 95571035c79763978fa0a6f8e26162fb52f1d7cd18b10fa950c7b44c585b7bf9 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:ae6f63d130afcfff7f91f5ba9fdb2a74d52830289c6a2ea2d23a94dcfb480a0d" "/opt/rustwide/cargo-home/bin/cargo" "+8c500c7cefd54fd11d57295f3771d576be9ee415" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] fc6c47981d85cf01f08f2eded1682db82212ea8a3fcdcaa04b786c1a7de36413 [INFO] running `Command { std: "docker" "start" "-a" "fc6c47981d85cf01f08f2eded1682db82212ea8a3fcdcaa04b786c1a7de36413", kill_on_drop: false }` [INFO] [stderr] Compiling proc-macro2 v1.0.85 [INFO] [stderr] Compiling libc v0.2.155 [INFO] [stderr] Compiling serde v1.0.203 [INFO] [stderr] Checking either v1.12.0 [INFO] [stderr] Checking pin-project-lite v0.2.14 [INFO] [stderr] Checking p3-maybe-rayon v0.1.0 (https://github.com/Plonky3/Plonky3.git?rev=0743900095e327c3ae9b2b39807300d26258ccc4#07439000) [INFO] [stderr] Compiling crunchy v0.2.2 [INFO] [stderr] Compiling tiny-keccak v2.0.2 [INFO] [stderr] Checking gcd v2.3.0 [INFO] [stderr] Compiling num-traits v0.2.19 [INFO] [stderr] Checking tracing-core v0.1.32 [INFO] [stderr] Checking itertools v0.13.0 [INFO] [stderr] Checking itertools v0.12.1 [INFO] [stderr] Compiling quote v1.0.36 [INFO] [stderr] Compiling syn v2.0.66 [INFO] [stderr] Checking num-integer v0.1.46 [INFO] [stderr] Checking getrandom v0.2.15 [INFO] [stderr] Checking rand_core v0.6.4 [INFO] [stderr] Checking rand_chacha v0.3.1 [INFO] [stderr] Checking rand v0.8.5 [INFO] [stderr] Checking num-bigint v0.4.5 [INFO] [stderr] Checking nums v0.1.0 [INFO] [stderr] Compiling serde_derive v1.0.203 [INFO] [stderr] Compiling tracing-attributes v0.1.27 [INFO] [stderr] Checking tracing v0.1.40 [INFO] [stderr] Checking p3-util v0.1.0 (https://github.com/Plonky3/Plonky3.git?rev=0743900095e327c3ae9b2b39807300d26258ccc4#07439000) [INFO] [stderr] Checking p3-field v0.1.0 (https://github.com/Plonky3/Plonky3.git?rev=0743900095e327c3ae9b2b39807300d26258ccc4#07439000) [INFO] [stderr] Checking p3-matrix v0.1.0 (https://github.com/Plonky3/Plonky3.git?rev=0743900095e327c3ae9b2b39807300d26258ccc4#07439000) [INFO] [stderr] Checking p3-symmetric v0.1.0 (https://github.com/Plonky3/Plonky3.git?rev=0743900095e327c3ae9b2b39807300d26258ccc4#07439000) [INFO] [stderr] Checking p3-challenger v0.1.0 (https://github.com/Plonky3/Plonky3.git?rev=0743900095e327c3ae9b2b39807300d26258ccc4#07439000) [INFO] [stderr] Checking p3-keccak v0.1.0 (https://github.com/Plonky3/Plonky3.git?rev=0743900095e327c3ae9b2b39807300d26258ccc4#07439000) [INFO] [stderr] Checking p3-dft v0.1.0 (https://github.com/Plonky3/Plonky3.git?rev=0743900095e327c3ae9b2b39807300d26258ccc4#07439000) [INFO] [stderr] Checking p3-air v0.1.0 (https://github.com/Plonky3/Plonky3.git?rev=0743900095e327c3ae9b2b39807300d26258ccc4#07439000) [INFO] [stderr] Checking p3-interpolation v0.1.0 (https://github.com/Plonky3/Plonky3.git?rev=0743900095e327c3ae9b2b39807300d26258ccc4#07439000) [INFO] [stderr] Checking p3-commit v0.1.0 (https://github.com/Plonky3/Plonky3.git?rev=0743900095e327c3ae9b2b39807300d26258ccc4#07439000) [INFO] [stderr] Checking p3-keccak-air v0.1.0 (https://github.com/Plonky3/Plonky3.git?rev=0743900095e327c3ae9b2b39807300d26258ccc4#07439000) [INFO] [stderr] Checking p3-merkle-tree v0.1.0 (https://github.com/Plonky3/Plonky3.git?rev=0743900095e327c3ae9b2b39807300d26258ccc4#07439000) [INFO] [stderr] Checking p3-mds v0.1.0 (https://github.com/Plonky3/Plonky3.git?rev=0743900095e327c3ae9b2b39807300d26258ccc4#07439000) [INFO] [stderr] Checking p3-fri v0.1.0 (https://github.com/Plonky3/Plonky3.git?rev=0743900095e327c3ae9b2b39807300d26258ccc4#07439000) [INFO] [stderr] Checking p3-uni-stark v0.1.0 (https://github.com/Plonky3/Plonky3.git?rev=0743900095e327c3ae9b2b39807300d26258ccc4#07439000) [INFO] [stderr] Checking p3-poseidon2 v0.1.0 (https://github.com/Plonky3/Plonky3.git?rev=0743900095e327c3ae9b2b39807300d26258ccc4#07439000) [INFO] [stderr] Checking p3-poseidon v0.1.0 (https://github.com/Plonky3/Plonky3.git?rev=0743900095e327c3ae9b2b39807300d26258ccc4#07439000) [INFO] [stderr] Checking p3-baby-bear v0.1.0 (https://github.com/Plonky3/Plonky3.git?rev=0743900095e327c3ae9b2b39807300d26258ccc4#07439000) [INFO] [stderr] Checking plonky3-polynomial-verifier v0.1.0 (/opt/rustwide/workdir) [INFO] [stdout] warning: unused import: `DiffusionMatrixBabyBear` [INFO] [stdout] --> src/lib.rs:2:30 [INFO] [stdout] | [INFO] [stdout] 2 | use p3_baby_bear::{BabyBear, DiffusionMatrixBabyBear}; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `HashChallenger` and `SerializingChallenger32` [INFO] [stdout] --> src/lib.rs:3:21 [INFO] [stdout] | [INFO] [stdout] 3 | use p3_challenger::{HashChallenger, SerializingChallenger32}; [INFO] [stdout] | ^^^^^^^^^^^^^^ ^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `p3_commit::ExtensionMmcs` [INFO] [stdout] --> src/lib.rs:4:5 [INFO] [stdout] | [INFO] [stdout] 4 | use p3_commit::ExtensionMmcs; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `p3_dft::Radix2DitParallel` [INFO] [stdout] --> src/lib.rs:5:5 [INFO] [stdout] | [INFO] [stdout] 5 | use p3_dft::Radix2DitParallel; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `Field` [INFO] [stdout] --> src/lib.rs:7:31 [INFO] [stdout] | [INFO] [stdout] 7 | use p3_field::{AbstractField, Field, PrimeField64}; [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `FriConfig` and `TwoAdicFriPcs` [INFO] [stdout] --> src/lib.rs:8:14 [INFO] [stdout] | [INFO] [stdout] 8 | use p3_fri::{FriConfig, TwoAdicFriPcs}; [INFO] [stdout] | ^^^^^^^^^ ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `KeccakAir` [INFO] [stdout] --> src/lib.rs:12:21 [INFO] [stdout] | [INFO] [stdout] 12 | use p3_keccak_air::{KeccakAir}; [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `p3_merkle_tree::FieldMerkleTreeMmcs` [INFO] [stdout] --> src/lib.rs:13:5 [INFO] [stdout] | [INFO] [stdout] 13 | use p3_merkle_tree::FieldMerkleTreeMmcs; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `p3_poseidon2::Poseidon2` [INFO] [stdout] --> src/lib.rs:14:5 [INFO] [stdout] | [INFO] [stdout] 14 | use p3_poseidon2::Poseidon2; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `CompressionFunctionFromHasher`, `PaddingFreeSponge`, and `TruncatedPermutation` [INFO] [stdout] --> src/lib.rs:15:20 [INFO] [stdout] | [INFO] [stdout] 15 | use p3_symmetric::{PaddingFreeSponge, TruncatedPermutation, SerializingHasher32, CompressionFunctionFromHasher}; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ ^^^^^^^^^^^^^^^^^^^^ ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `StarkConfig`, `prove`, and `verify` [INFO] [stdout] --> src/lib.rs:16:20 [INFO] [stdout] | [INFO] [stdout] 16 | use p3_uni_stark::{prove, verify, StarkConfig}; [INFO] [stdout] | ^^^^^ ^^^^^^ ^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `p3_util::log2_ceil_usize` [INFO] [stdout] --> src/lib.rs:17:5 [INFO] [stdout] | [INFO] [stdout] 17 | use p3_util::log2_ceil_usize; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `rand::thread_rng` [INFO] [stdout] --> src/lib.rs:18:5 [INFO] [stdout] | [INFO] [stdout] 18 | use rand::thread_rng; [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `DiffusionMatrixBabyBear` [INFO] [stdout] --> src/lib.rs:2:30 [INFO] [stdout] | [INFO] [stdout] 2 | use p3_baby_bear::{BabyBear, DiffusionMatrixBabyBear}; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `Field` [INFO] [stdout] --> src/lib.rs:7:31 [INFO] [stdout] | [INFO] [stdout] 7 | use p3_field::{AbstractField, Field, PrimeField64}; [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `KeccakAir` [INFO] [stdout] --> src/lib.rs:12:21 [INFO] [stdout] | [INFO] [stdout] 12 | use p3_keccak_air::{KeccakAir}; [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `p3_poseidon2::Poseidon2` [INFO] [stdout] --> src/lib.rs:14:5 [INFO] [stdout] | [INFO] [stdout] 14 | use p3_poseidon2::Poseidon2; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `PaddingFreeSponge` and `TruncatedPermutation` [INFO] [stdout] --> src/lib.rs:15:20 [INFO] [stdout] | [INFO] [stdout] 15 | use p3_symmetric::{PaddingFreeSponge, TruncatedPermutation, SerializingHasher32, CompressionFunctionFromHasher}; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `p3_util::log2_ceil_usize` [INFO] [stdout] --> src/lib.rs:17:5 [INFO] [stdout] | [INFO] [stdout] 17 | use p3_util::log2_ceil_usize; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `rand::thread_rng` [INFO] [stdout] --> src/lib.rs:18:5 [INFO] [stdout] | [INFO] [stdout] 18 | use rand::thread_rng; [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0599]: no method named `borrow` found for associated type `impl Deref::Var]>` in the current scope [INFO] [stdout] --> src/lib.rs:37:74 [INFO] [stdout] | [INFO] [stdout] 37 | let local: &PolynomialEvaluationRow = main.row_slice(0).borrow(); [INFO] [stdout] | ^^^^^^ [INFO] [stdout] | [INFO] [stdout] = help: items from traits can only be used if the trait is in scope [INFO] [stdout] help: trait `Borrow` which provides `borrow` is implemented but not in scope; perhaps you want to import it [INFO] [stdout] | [INFO] [stdout] 1 + use std::borrow::Borrow; [INFO] [stdout] | [INFO] [stdout] help: there is a method `borrow_mut` with a similar name [INFO] [stdout] | [INFO] [stdout] 37 | let local: &PolynomialEvaluationRow = main.row_slice(0).borrow_mut(); [INFO] [stdout] | ++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0599]: no method named `borrow` found for associated type `impl Deref::Var]>` in the current scope [INFO] [stdout] --> src/lib.rs:37:74 [INFO] [stdout] | [INFO] [stdout] 37 | let local: &PolynomialEvaluationRow = main.row_slice(0).borrow(); [INFO] [stdout] | ^^^^^^ [INFO] [stdout] | [INFO] [stdout] = help: items from traits can only be used if the trait is in scope [INFO] [stdout] help: trait `Borrow` which provides `borrow` is implemented but not in scope; perhaps you want to import it [INFO] [stdout] | [INFO] [stdout] 1 + use std::borrow::Borrow; [INFO] [stdout] | [INFO] [stdout] help: there is a method `borrow_mut` with a similar name [INFO] [stdout] | [INFO] [stdout] 37 | let local: &PolynomialEvaluationRow = main.row_slice(0).borrow_mut(); [INFO] [stdout] | ++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0599]: no method named `borrow` found for associated type `impl Deref::Var]>` in the current scope [INFO] [stdout] --> src/lib.rs:38:73 [INFO] [stdout] | [INFO] [stdout] 38 | let next: &PolynomialEvaluationRow = main.row_slice(1).borrow(); [INFO] [stdout] | ^^^^^^ [INFO] [stdout] | [INFO] [stdout] = help: items from traits can only be used if the trait is in scope [INFO] [stdout] help: trait `Borrow` which provides `borrow` is implemented but not in scope; perhaps you want to import it [INFO] [stdout] | [INFO] [stdout] 1 + use std::borrow::Borrow; [INFO] [stdout] | [INFO] [stdout] help: there is a method `borrow_mut` with a similar name [INFO] [stdout] | [INFO] [stdout] 38 | let next: &PolynomialEvaluationRow = main.row_slice(1).borrow_mut(); [INFO] [stdout] | ++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0599]: no method named `borrow` found for associated type `impl Deref::Var]>` in the current scope [INFO] [stdout] --> src/lib.rs:38:73 [INFO] [stdout] | [INFO] [stdout] 38 | let next: &PolynomialEvaluationRow = main.row_slice(1).borrow(); [INFO] [stdout] | ^^^^^^ [INFO] [stdout] | [INFO] [stdout] = help: items from traits can only be used if the trait is in scope [INFO] [stdout] help: trait `Borrow` which provides `borrow` is implemented but not in scope; perhaps you want to import it [INFO] [stdout] | [INFO] [stdout] 1 + use std::borrow::Borrow; [INFO] [stdout] | [INFO] [stdout] help: there is a method `borrow_mut` with a similar name [INFO] [stdout] | [INFO] [stdout] 38 | let next: &PolynomialEvaluationRow = main.row_slice(1).borrow_mut(); [INFO] [stdout] | ++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::Expr: From` is not satisfied [INFO] [stdout] --> src/lib.rs:42:48 [INFO] [stdout] | [INFO] [stdout] 42 | when_first_row.assert_eq(local.result, self.coefficients[0]); [INFO] [stdout] | --------- ^^^^^^^^^^^^^^^^^^^^ the trait `From` is not implemented for `::Expr` [INFO] [stdout] | | [INFO] [stdout] | required by a bound introduced by this call [INFO] [stdout] | [INFO] [stdout] = note: required for `BabyBear` to implement `Into<::Expr>` [INFO] [stdout] note: required by a bound in `assert_eq` [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/plonky3-7d8a3b21a665a86f/0743900/air/src/air.rs:102:44 [INFO] [stdout] | [INFO] [stdout] 102 | fn assert_eq, I2: Into>(&mut self, x: I1, y: I2) { [INFO] [stdout] | ^^^^^^^^^^^^^^^^ required by this bound in `AirBuilder::assert_eq` [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] | [INFO] [stdout] 31 | fn eval(&self, builder: &mut AB) where ::Expr: From { [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::Expr: From` is not satisfied [INFO] [stdout] --> src/lib.rs:42:48 [INFO] [stdout] | [INFO] [stdout] 42 | when_first_row.assert_eq(local.result, self.coefficients[0]); [INFO] [stdout] | --------- ^^^^^^^^^^^^^^^^^^^^ the trait `From` is not implemented for `::Expr` [INFO] [stdout] | | [INFO] [stdout] | required by a bound introduced by this call [INFO] [stdout] | [INFO] [stdout] = note: required for `BabyBear` to implement `Into<::Expr>` [INFO] [stdout] note: required by a bound in `assert_eq` [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/plonky3-7d8a3b21a665a86f/0743900/air/src/air.rs:102:44 [INFO] [stdout] | [INFO] [stdout] 102 | fn assert_eq, I2: Into>(&mut self, x: I1, y: I2) { [INFO] [stdout] | ^^^^^^^^^^^^^^^^ required by this bound in `AirBuilder::assert_eq` [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] | [INFO] [stdout] 31 | fn eval(&self, builder: &mut AB) where ::Expr: From { [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: cannot multiply `u64` by `F` [INFO] [stdout] --> src/lib.rs:77:28 [INFO] [stdout] | [INFO] [stdout] 77 | rows[i].result = x * rows[i - 1].result + coefficients[rows[i - 1].coeff_index + 1]; [INFO] [stdout] | ^ no implementation for `u64 * F` [INFO] [stdout] | [INFO] [stdout] = help: the trait `std::ops::Mul` is not implemented for `u64` [INFO] [stdout] help: consider introducing a `where` clause, but there might be an alternative better way to express this requirement [INFO] [stdout] | [INFO] [stdout] 60 | ) -> RowMajorMatrix where u64: std::ops::Mul { [INFO] [stdout] | +++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: cannot multiply `u64` by `F` [INFO] [stdout] --> src/lib.rs:77:28 [INFO] [stdout] | [INFO] [stdout] 77 | rows[i].result = x * rows[i - 1].result + coefficients[rows[i - 1].coeff_index + 1]; [INFO] [stdout] | ^ no implementation for `u64 * F` [INFO] [stdout] | [INFO] [stdout] = help: the trait `std::ops::Mul` is not implemented for `u64` [INFO] [stdout] help: consider introducing a `where` clause, but there might be an alternative better way to express this requirement [INFO] [stdout] | [INFO] [stdout] 60 | ) -> RowMajorMatrix where u64: std::ops::Mul { [INFO] [stdout] | +++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `AbstractField` [INFO] [stdout] --> src/lib.rs:7:16 [INFO] [stdout] | [INFO] [stdout] 7 | use p3_field::{AbstractField, Field, PrimeField64}; [INFO] [stdout] | ^^^^^^^^^^^^^ [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] [stdout] error[E0277]: the trait bound `BabyBear: HasTwoAdicBionmialExtension<8>` is not satisfied [INFO] [stdout] --> src/lib.rs:147:17 [INFO] [stdout] | [INFO] [stdout] 147 | let proof = prove(&config, &air, &mut challenger, trace, &pis); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `HasTwoAdicBionmialExtension<8>` is not implemented for `BabyBear` [INFO] [stdout] | [INFO] [stdout] = help: the following other types implement trait `HasTwoAdicBionmialExtension`: [INFO] [stdout] `BabyBear` implements `HasTwoAdicBionmialExtension<4>` [INFO] [stdout] `BabyBear` implements `HasTwoAdicBionmialExtension<5>` [INFO] [stdout] = note: required for `BinomialExtensionField` to implement `TwoAdicField` [INFO] [stdout] = note: required for `TwoAdicFriPcs` to implement `p3_commit::Pcs, SerializingChallenger32>>` [INFO] [stdout] = note: required for `StarkConfig, ..., ...>` to implement `StarkGenericConfig` [INFO] [stdout] = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/plonky3_polynomial_verifier-21349101bc3a4608.long-type-2468922393565459007.txt' [INFO] [stdout] = note: consider using `--verbose` to print the full type name to the console [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] error: could not compile `plonky3-polynomial-verifier` (lib) due to 4 previous errors; 14 warnings emitted [INFO] [stderr] warning: build failed, waiting for other jobs to finish... [INFO] [stdout] error[E0277]: the trait bound `BabyBear: BinomiallyExtendable<8>` is not satisfied [INFO] [stdout] --> src/lib.rs:147:32 [INFO] [stdout] | [INFO] [stdout] 147 | let proof = prove(&config, &air, &mut challenger, trace, &pis); [INFO] [stdout] | ----- ^^^^ the trait `BinomiallyExtendable<8>` is not implemented for `BabyBear` [INFO] [stdout] | | [INFO] [stdout] | required by a bound introduced by this call [INFO] [stdout] | [INFO] [stdout] = help: the following other types implement trait `BinomiallyExtendable`: [INFO] [stdout] `BabyBear` implements `BinomiallyExtendable<4>` [INFO] [stdout] `BabyBear` implements `BinomiallyExtendable<5>` [INFO] [stdout] = note: required for `BinomialExtensionField` to implement `ExtensionField` [INFO] [stdout] note: required because it appears within the type `ProverConstraintFolder<'a, StarkConfig<..., ..., ...>>` [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/plonky3-7d8a3b21a665a86f/0743900/uni-stark/src/folder.rs:11:12 [INFO] [stdout] | [INFO] [stdout] 11 | pub struct ProverConstraintFolder<'a, SC: StarkGenericConfig> { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] note: required for `PolynomialEvaluationAir` to implement `for<'a> Air, CompressionFunctionFromHasher, 32>, ExtensionMmcs, FieldMerkleTreeMmcs, CompressionFunctionFromHasher, 32>>>, BinomialExtensionField, SerializingChallenger32>>>>` [INFO] [stdout] --> src/lib.rs:30:38 [INFO] [stdout] | [INFO] [stdout] 30 | impl Air for PolynomialEvaluationAir { [INFO] [stdout] | -- ^^^^^^^ ^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | unsatisfied trait bound introduced here [INFO] [stdout] note: required by a bound in `p3_uni_stark::prove` [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/plonky3-7d8a3b21a665a86f/0743900/uni-stark/src/prover.rs:37:43 [INFO] [stdout] | [INFO] [stdout] 24 | pub fn prove< [INFO] [stdout] | ----- required by a bound in this function [INFO] [stdout] ... [INFO] [stdout] 37 | A: Air>> + for<'a> Air>, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `prove` [INFO] [stdout] = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/plonky3_polynomial_verifier-21349101bc3a4608.long-type-9999349486318010185.txt' [INFO] [stdout] = note: consider using `--verbose` to print the full type name to the console [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0308]: mismatched types [INFO] [stdout] --> src/lib.rs:149:5 [INFO] [stdout] | [INFO] [stdout] 149 | verify(&config, &air, &mut challenger, &proof, &pis) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected `()`, found `Result<(), VerificationError>` [INFO] [stdout] | [INFO] [stdout] = note: expected unit type `()` [INFO] [stdout] found enum `Result<(), VerificationError>` [INFO] [stdout] help: consider using a semicolon here [INFO] [stdout] | [INFO] [stdout] 149 | verify(&config, &air, &mut challenger, &proof, &pis); [INFO] [stdout] | + [INFO] [stdout] help: try adding a return type [INFO] [stdout] | [INFO] [stdout] 115 | fn test_polynomial_evaluation() -> Result<(), VerificationError> { [INFO] [stdout] | ++++++++++++++++++++++++++++++++ [INFO] [stdout] help: consider using `Result::expect` to unwrap the `Result<(), VerificationError>` value, panicking if the value is a `Result::Err` [INFO] [stdout] | [INFO] [stdout] 149 | verify(&config, &air, &mut challenger, &proof, &pis).expect("REASON") [INFO] [stdout] | +++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] Some errors have detailed explanations: E0277, E0308, E0599. [INFO] [stdout] [INFO] [stdout] For more information about an error, try `rustc --explain E0277`. [INFO] [stdout] [INFO] [stderr] error: could not compile `plonky3-polynomial-verifier` (lib test) due to 7 previous errors; 7 warnings emitted [INFO] running `Command { std: "docker" "inspect" "fc6c47981d85cf01f08f2eded1682db82212ea8a3fcdcaa04b786c1a7de36413", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "fc6c47981d85cf01f08f2eded1682db82212ea8a3fcdcaa04b786c1a7de36413", kill_on_drop: false }` [INFO] [stdout] fc6c47981d85cf01f08f2eded1682db82212ea8a3fcdcaa04b786c1a7de36413