[INFO] cloning repository https://github.com/KevinSheeranxyj/poseidon-zk [INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/KevinSheeranxyj/poseidon-zk" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FKevinSheeranxyj%2Fposeidon-zk", kill_on_drop: false }` [INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FKevinSheeranxyj%2Fposeidon-zk'... [INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }` [INFO] [stdout] 15ac8b75276253ba78d8320579fb90784ad5fec2 [INFO] checking KevinSheeranxyj/poseidon-zk against try#3857be5045fe74bd0f296f6f4c23db10f8857f73 for pr-156807 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FKevinSheeranxyj%2Fposeidon-zk" "/workspace/builds/worker-6-tc2/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-6-tc2/source'... [INFO] [stderr] done. [INFO] started tweaking git repo https://github.com/KevinSheeranxyj/poseidon-zk [INFO] finished tweaking git repo https://github.com/KevinSheeranxyj/poseidon-zk [INFO] tweaked toml for git repo https://github.com/KevinSheeranxyj/poseidon-zk written to /workspace/builds/worker-6-tc2/source/Cargo.toml [INFO] validating manifest of git repo https://github.com/KevinSheeranxyj/poseidon-zk on toolchain 3857be5045fe74bd0f296f6f4c23db10f8857f73 [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+3857be5045fe74bd0f296f6f4c23db10f8857f73" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] crate git repo https://github.com/KevinSheeranxyj/poseidon-zk 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" "+3857be5045fe74bd0f296f6f4c23db10f8857f73" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] [stderr] Blocking waiting for file lock on package cache [INFO] [stderr] Updating crates.io index [INFO] [stderr] Blocking waiting for file lock on package cache [ERROR] error running command: no output for 300 seconds [INFO] checking KevinSheeranxyj/poseidon-zk against try#3857be5045fe74bd0f296f6f4c23db10f8857f73 for pr-156807 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FKevinSheeranxyj%2Fposeidon-zk" "/workspace/builds/worker-6-tc2/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-6-tc2/source'... [INFO] [stderr] done. [INFO] started tweaking git repo https://github.com/KevinSheeranxyj/poseidon-zk [INFO] finished tweaking git repo https://github.com/KevinSheeranxyj/poseidon-zk [INFO] tweaked toml for git repo https://github.com/KevinSheeranxyj/poseidon-zk written to /workspace/builds/worker-6-tc2/source/Cargo.toml [INFO] validating manifest of git repo https://github.com/KevinSheeranxyj/poseidon-zk on toolchain 3857be5045fe74bd0f296f6f4c23db10f8857f73 [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+3857be5045fe74bd0f296f6f4c23db10f8857f73" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] crate git repo https://github.com/KevinSheeranxyj/poseidon-zk 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" "+3857be5045fe74bd0f296f6f4c23db10f8857f73" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] [stderr] Blocking waiting for file lock on package cache [INFO] [stderr] Blocking waiting for file lock on package cache [INFO] [stderr] Downloading crates ... [INFO] [stderr] Downloaded rand v0.9.0-alpha.2 [INFO] [stderr] Downloaded rand_core v0.9.0-alpha.2 [INFO] [stderr] Downloaded ark-snark v0.5.0-alpha.0 [INFO] [stderr] Downloaded ark-ff-macros v0.5.0-alpha.0 [INFO] [stderr] Downloaded rand_chacha v0.9.0-alpha.2 [INFO] [stderr] Downloaded enum-ordinalize v4.3.0 [INFO] [stderr] Downloaded enum-ordinalize-derive v4.3.1 [INFO] [stderr] Downloaded ark-std v0.5.0-alpha.0 [INFO] [stderr] Downloaded ark-serialize v0.5.0-alpha.0 [INFO] [stderr] Downloaded ark-relations v0.5.0-alpha.0 [INFO] [stderr] Downloaded ark-groth16 v0.5.0-alpha.1 [INFO] [stderr] Downloaded ark-ff v0.5.0-alpha.0 [INFO] [stderr] Downloaded ark-ec v0.5.0-alpha.0 [INFO] [stderr] Downloaded ark-poly v0.5.0-alpha.0 [INFO] [stderr] Downloaded ark-r1cs-std v0.5.0-alpha.0 [INFO] [stderr] Downloaded ark-crypto-primitives-macros v0.5.0-alpha.0 [INFO] [stderr] Downloaded ark-crypto-primitives v0.5.0-alpha.0 [INFO] [stderr] Downloaded ark-serialize-derive v0.5.0-alpha.0 [INFO] [stderr] Downloaded ark-ff-asm v0.5.0-alpha.0 [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" "+3857be5045fe74bd0f296f6f4c23db10f8857f73" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] 69e0e20eac2e44c85744656cf6c11f9880a8ff37dae9e79fd02bb0231ebef2ee [INFO] running `Command { std: "docker" "start" "-a" "69e0e20eac2e44c85744656cf6c11f9880a8ff37dae9e79fd02bb0231ebef2ee", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "69e0e20eac2e44c85744656cf6c11f9880a8ff37dae9e79fd02bb0231ebef2ee", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "69e0e20eac2e44c85744656cf6c11f9880a8ff37dae9e79fd02bb0231ebef2ee", kill_on_drop: false }` [INFO] [stdout] 69e0e20eac2e44c85744656cf6c11f9880a8ff37dae9e79fd02bb0231ebef2ee [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" "-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" "+3857be5045fe74bd0f296f6f4c23db10f8857f73" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] b4b3b030290f59738255832fe20085dfb51a93aec09e42ffbbebde59fd484c45 [INFO] running `Command { std: "docker" "start" "-a" "b4b3b030290f59738255832fe20085dfb51a93aec09e42ffbbebde59fd484c45", kill_on_drop: false }` [INFO] [stderr] Checking rand_core v0.6.4 [INFO] [stderr] Checking either v1.13.0 [INFO] [stderr] Checking arrayvec v0.7.6 [INFO] [stderr] Compiling syn v1.0.109 [INFO] [stderr] Compiling num-traits v0.2.19 [INFO] [stderr] Compiling ahash v0.8.11 [INFO] [stderr] Checking tracing-core v0.1.32 [INFO] [stderr] Compiling libc v0.2.161 [INFO] [stderr] Checking hashbrown v0.14.5 [INFO] [stderr] Compiling syn v2.0.85 [INFO] [stderr] Checking crypto-common v0.1.6 [INFO] [stderr] Checking digest v0.10.7 [INFO] [stderr] Checking rayon v1.10.0 [INFO] [stderr] Checking itertools v0.13.0 [INFO] [stderr] Checking blake2 v0.10.6 [INFO] [stderr] Checking sha2 v0.10.8 [INFO] [stderr] Checking tracing-subscriber v0.2.25 [INFO] [stderr] Checking getrandom v0.2.15 [INFO] [stderr] Checking num-integer v0.1.46 [INFO] [stderr] Compiling num-bigint v0.4.6 [INFO] [stderr] Compiling derivative v2.2.0 [INFO] [stderr] Compiling zerocopy-derive v0.7.35 [INFO] [stderr] Compiling enum-ordinalize-derive v4.3.1 [INFO] [stderr] Compiling zeroize_derive v1.4.2 [INFO] [stderr] Compiling ark-serialize-derive v0.5.0-alpha.0 [INFO] [stderr] Compiling ark-ff-asm v0.5.0-alpha.0 [INFO] [stderr] Compiling ark-ff-macros v0.5.0-alpha.0 [INFO] [stderr] Compiling tracing-attributes v0.1.27 [INFO] [stderr] Compiling ark-crypto-primitives-macros v0.5.0-alpha.0 [INFO] [stderr] Compiling enum-ordinalize v4.3.0 [INFO] [stderr] Compiling educe v0.6.0 [INFO] [stderr] Checking zeroize v1.8.1 [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_core v0.9.0-alpha.2 [INFO] [stderr] Checking rand_chacha v0.3.1 [INFO] [stderr] Checking rand_chacha v0.9.0-alpha.2 [INFO] [stderr] Checking rand v0.8.5 [INFO] [stderr] Checking rand v0.9.0-alpha.2 [INFO] [stderr] Checking ark-std v0.5.0-alpha.0 [INFO] [stderr] Checking ark-serialize v0.5.0-alpha.0 [INFO] [stderr] Checking ark-ff v0.5.0-alpha.0 [INFO] [stderr] Checking ark-relations v0.5.0-alpha.0 [INFO] [stderr] Checking ark-poly v0.5.0-alpha.0 [INFO] [stderr] Checking ark-snark v0.5.0-alpha.0 [INFO] [stderr] Checking ark-ec v0.5.0-alpha.0 [INFO] [stderr] Checking ark-crypto-primitives v0.5.0-alpha.0 [INFO] [stderr] Checking ark-r1cs-std v0.5.0-alpha.0 [INFO] [stderr] Checking ark-groth16 v0.5.0-alpha.1 [INFO] [stderr] Checking poseidon-zk v0.1.0 (/opt/rustwide/workdir) [INFO] [stdout] error[E0432]: unresolved imports `ark_groth16::generate_random_parameters`, `ark_groth16::create_random_proof`, `ark_groth16::verify_proof` [INFO] [stdout] --> src/main.rs:2:19 [INFO] [stdout] | [INFO] [stdout] 2 | use ark_groth16::{generate_random_parameters, create_random_proof, verify_proof, ProvingKey, VerifyingKey, Proof}; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^ ^^^^^^^^^^^^^^^^^^^ ^^^^^^^^^^^^ no `verify_proof` in the root [INFO] [stdout] | | | [INFO] [stdout] | | no `create_random_proof` in the root [INFO] [stdout] | no `generate_random_parameters` in the root [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0432]: unresolved imports `ark_groth16::generate_random_parameters`, `ark_groth16::create_random_proof`, `ark_groth16::verify_proof` [INFO] [stdout] --> src/main.rs:2:19 [INFO] [stdout] | [INFO] [stdout] 2 | use ark_groth16::{generate_random_parameters, create_random_proof, verify_proof, ProvingKey, VerifyingKey, Proof}; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^ ^^^^^^^^^^^^^^^^^^^ ^^^^^^^^^^^^ no `verify_proof` in the root [INFO] [stdout] | | | [INFO] [stdout] | | no `create_random_proof` in the root [INFO] [stdout] | no `generate_random_parameters` in the root [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0432]: unresolved import `ark_std::rand::rngs::OsRng` [INFO] [stdout] --> src/main.rs:5:5 [INFO] [stdout] | [INFO] [stdout] 5 | use ark_std::rand::rngs::OsRng; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^ no `OsRng` in `rngs` [INFO] [stdout] | [INFO] [stdout] note: found an item that was configured out [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/rand-0.8.5/src/rngs/mod.rs:119:50 [INFO] [stdout] | [INFO] [stdout] 119 | #[cfg(feature = "getrandom")] pub use rand_core::OsRng; [INFO] [stdout] | --------------------- ^^^^^ [INFO] [stdout] | | [INFO] [stdout] | the item is gated behind the `getrandom` feature [INFO] [stdout] help: consider importing this struct instead [INFO] [stdout] | [INFO] [stdout] 5 - use ark_std::rand::rngs::OsRng; [INFO] [stdout] 5 + use rand::rngs::OsRng; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0432]: unresolved import `ark_bls12_381` [INFO] [stdout] --> src/main.rs:4:5 [INFO] [stdout] | [INFO] [stdout] 4 | use ark_bls12_381::Bls12_381; [INFO] [stdout] | ^^^^^^^^^^^^^ use of unresolved module or unlinked crate `ark_bls12_381` [INFO] [stdout] | [INFO] [stdout] = help: if you wanted to use a crate named `ark_bls12_381`, use `cargo add ark_bls12_381` to add it to your `Cargo.toml` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0432]: unresolved import `ark_std::rand::rngs::OsRng` [INFO] [stdout] --> src/main.rs:5:5 [INFO] [stdout] | [INFO] [stdout] 5 | use ark_std::rand::rngs::OsRng; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^ no `OsRng` in `rngs` [INFO] [stdout] | [INFO] [stdout] note: found an item that was configured out [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/rand-0.8.5/src/rngs/mod.rs:119:50 [INFO] [stdout] | [INFO] [stdout] 119 | #[cfg(feature = "getrandom")] pub use rand_core::OsRng; [INFO] [stdout] | --------------------- ^^^^^ [INFO] [stdout] | | [INFO] [stdout] | the item is gated behind the `getrandom` feature [INFO] [stdout] help: consider importing this struct instead [INFO] [stdout] | [INFO] [stdout] 5 - use ark_std::rand::rngs::OsRng; [INFO] [stdout] 5 + use rand::rngs::OsRng; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0432]: unresolved import `ark_bls12_381` [INFO] [stdout] --> src/main.rs:4:5 [INFO] [stdout] | [INFO] [stdout] 4 | use ark_bls12_381::Bls12_381; [INFO] [stdout] | ^^^^^^^^^^^^^ use of unresolved module or unlinked crate `ark_bls12_381` [INFO] [stdout] | [INFO] [stdout] = help: if you wanted to use a crate named `ark_bls12_381`, use `cargo add ark_bls12_381` to add it to your `Cargo.toml` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `Proof` and `VerifyingKey` [INFO] [stdout] --> src/main.rs:2:94 [INFO] [stdout] | [INFO] [stdout] 2 | use ark_groth16::{generate_random_parameters, create_random_proof, verify_proof, ProvingKey, VerifyingKey, Proof}; [INFO] [stdout] | ^^^^^^^^^^^^ ^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `Proof` and `VerifyingKey` [INFO] [stdout] --> src/main.rs:2:94 [INFO] [stdout] | [INFO] [stdout] 2 | use ark_groth16::{generate_random_parameters, create_random_proof, verify_proof, ProvingKey, VerifyingKey, Proof}; [INFO] [stdout] | ^^^^^^^^^^^^ ^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `F: PrimeField` is not satisfied [INFO] [stdout] --> src/main.rs:17:17 [INFO] [stdout] | [INFO] [stdout] 17 | let a = FpVar::new_witness(cs.clone(), || self.a.ok_or(SynthesisError::AssignmentMissing))?; [INFO] [stdout] | ^^^^^ the trait `PrimeField` is not implemented for `F` [INFO] [stdout] | [INFO] [stdout] = note: required for `FpVar` to implement `AllocVar` [INFO] [stdout] help: consider further restricting type parameter `F` with trait `PrimeField` [INFO] [stdout] | [INFO] [stdout] 15 | impl ConstraintSynthesizer for ExampleCircuit { [INFO] [stdout] | ++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `F: PrimeField` is not satisfied [INFO] [stdout] --> src/main.rs:17:17 [INFO] [stdout] | [INFO] [stdout] 17 | let a = FpVar::new_witness(cs.clone(), || self.a.ok_or(SynthesisError::AssignmentMissing))?; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `PrimeField` is not implemented for `F` [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `FpVar` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-r1cs-std-0.5.0-alpha.0/src/fields/fp/mod.rs:46:19 [INFO] [stdout] | [INFO] [stdout] 46 | pub enum FpVar { [INFO] [stdout] | ^^^^^^^^^^ required by this bound in `FpVar` [INFO] [stdout] help: consider further restricting type parameter `F` with trait `PrimeField` [INFO] [stdout] | [INFO] [stdout] 15 | impl ConstraintSynthesizer for ExampleCircuit { [INFO] [stdout] | ++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `F: PrimeField` is not satisfied [INFO] [stdout] --> src/main.rs:17:17 [INFO] [stdout] | [INFO] [stdout] 17 | let a = FpVar::new_witness(cs.clone(), || self.a.ok_or(SynthesisError::AssignmentMissing))?; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `PrimeField` is not implemented for `F` [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `FpVar` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-r1cs-std-0.5.0-alpha.0/src/fields/fp/mod.rs:46:19 [INFO] [stdout] | [INFO] [stdout] 46 | pub enum FpVar { [INFO] [stdout] | ^^^^^^^^^^ required by this bound in `FpVar` [INFO] [stdout] help: consider further restricting type parameter `F` with trait `PrimeField` [INFO] [stdout] | [INFO] [stdout] 15 | impl ConstraintSynthesizer for ExampleCircuit { [INFO] [stdout] | ++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `F: PrimeField` is not satisfied [INFO] [stdout] --> src/main.rs:17:17 [INFO] [stdout] | [INFO] [stdout] 17 | let a = FpVar::new_witness(cs.clone(), || self.a.ok_or(SynthesisError::AssignmentMissing))?; [INFO] [stdout] | ^^^^^ the trait `PrimeField` is not implemented for `F` [INFO] [stdout] | [INFO] [stdout] = note: required for `FpVar` to implement `AllocVar` [INFO] [stdout] help: consider further restricting type parameter `F` with trait `PrimeField` [INFO] [stdout] | [INFO] [stdout] 15 | impl ConstraintSynthesizer for ExampleCircuit { [INFO] [stdout] | ++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `F: PrimeField` is not satisfied [INFO] [stdout] --> src/main.rs:18:17 [INFO] [stdout] | [INFO] [stdout] 18 | let b = FpVar::new_witness(cs.clone(), || self.b.ok_or(SynthesisError::AssignmentMissing))?; [INFO] [stdout] | ^^^^^ the trait `PrimeField` is not implemented for `F` [INFO] [stdout] | [INFO] [stdout] = note: required for `FpVar` to implement `AllocVar` [INFO] [stdout] help: consider further restricting type parameter `F` with trait `PrimeField` [INFO] [stdout] | [INFO] [stdout] 15 | impl ConstraintSynthesizer for ExampleCircuit { [INFO] [stdout] | ++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `F: PrimeField` is not satisfied [INFO] [stdout] --> src/main.rs:18:17 [INFO] [stdout] | [INFO] [stdout] 18 | let b = FpVar::new_witness(cs.clone(), || self.b.ok_or(SynthesisError::AssignmentMissing))?; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `PrimeField` is not implemented for `F` [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `FpVar` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-r1cs-std-0.5.0-alpha.0/src/fields/fp/mod.rs:46:19 [INFO] [stdout] | [INFO] [stdout] 46 | pub enum FpVar { [INFO] [stdout] | ^^^^^^^^^^ required by this bound in `FpVar` [INFO] [stdout] help: consider further restricting type parameter `F` with trait `PrimeField` [INFO] [stdout] | [INFO] [stdout] 15 | impl ConstraintSynthesizer for ExampleCircuit { [INFO] [stdout] | ++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `F: PrimeField` is not satisfied [INFO] [stdout] --> src/main.rs:18:17 [INFO] [stdout] | [INFO] [stdout] 18 | let b = FpVar::new_witness(cs.clone(), || self.b.ok_or(SynthesisError::AssignmentMissing))?; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `PrimeField` is not implemented for `F` [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `FpVar` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-r1cs-std-0.5.0-alpha.0/src/fields/fp/mod.rs:46:19 [INFO] [stdout] | [INFO] [stdout] 46 | pub enum FpVar { [INFO] [stdout] | ^^^^^^^^^^ required by this bound in `FpVar` [INFO] [stdout] help: consider further restricting type parameter `F` with trait `PrimeField` [INFO] [stdout] | [INFO] [stdout] 15 | impl ConstraintSynthesizer for ExampleCircuit { [INFO] [stdout] | ++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `F: PrimeField` is not satisfied [INFO] [stdout] --> src/main.rs:17:17 [INFO] [stdout] | [INFO] [stdout] 17 | let a = FpVar::new_witness(cs.clone(), || self.a.ok_or(SynthesisError::AssignmentMissing))?; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `PrimeField` is not implemented for `F` [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `FpVar` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-r1cs-std-0.5.0-alpha.0/src/fields/fp/mod.rs:46:19 [INFO] [stdout] | [INFO] [stdout] 46 | pub enum FpVar { [INFO] [stdout] | ^^^^^^^^^^ required by this bound in `FpVar` [INFO] [stdout] help: consider further restricting type parameter `F` with trait `PrimeField` [INFO] [stdout] | [INFO] [stdout] 15 | impl ConstraintSynthesizer for ExampleCircuit { [INFO] [stdout] | ++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `F: PrimeField` is not satisfied [INFO] [stdout] --> src/main.rs:17:17 [INFO] [stdout] | [INFO] [stdout] 17 | let a = FpVar::new_witness(cs.clone(), || self.a.ok_or(SynthesisError::AssignmentMissing))?; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `PrimeField` is not implemented for `F` [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `FpVar` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-r1cs-std-0.5.0-alpha.0/src/fields/fp/mod.rs:46:19 [INFO] [stdout] | [INFO] [stdout] 46 | pub enum FpVar { [INFO] [stdout] | ^^^^^^^^^^ required by this bound in `FpVar` [INFO] [stdout] help: consider further restricting type parameter `F` with trait `PrimeField` [INFO] [stdout] | [INFO] [stdout] 15 | impl ConstraintSynthesizer for ExampleCircuit { [INFO] [stdout] | ++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `F: PrimeField` is not satisfied [INFO] [stdout] --> src/main.rs:18:17 [INFO] [stdout] | [INFO] [stdout] 18 | let b = FpVar::new_witness(cs.clone(), || self.b.ok_or(SynthesisError::AssignmentMissing))?; [INFO] [stdout] | ^^^^^ the trait `PrimeField` is not implemented for `F` [INFO] [stdout] | [INFO] [stdout] = note: required for `FpVar` to implement `AllocVar` [INFO] [stdout] help: consider further restricting type parameter `F` with trait `PrimeField` [INFO] [stdout] | [INFO] [stdout] 15 | impl ConstraintSynthesizer for ExampleCircuit { [INFO] [stdout] | ++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0369]: cannot multiply `FpVar` by `&FpVar` [INFO] [stdout] --> src/main.rs:19:19 [INFO] [stdout] | [INFO] [stdout] 19 | let c = a * &b; [INFO] [stdout] | - ^ -- &FpVar [INFO] [stdout] | | [INFO] [stdout] | FpVar [INFO] [stdout] | [INFO] [stdout] help: consider further restricting type parameter `F` with trait `PrimeField` [INFO] [stdout] | [INFO] [stdout] 15 | impl ConstraintSynthesizer for ExampleCircuit { [INFO] [stdout] | ++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `F: PrimeField` is not satisfied [INFO] [stdout] --> src/main.rs:18:17 [INFO] [stdout] | [INFO] [stdout] 18 | let b = FpVar::new_witness(cs.clone(), || self.b.ok_or(SynthesisError::AssignmentMissing))?; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `PrimeField` is not implemented for `F` [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `FpVar` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-r1cs-std-0.5.0-alpha.0/src/fields/fp/mod.rs:46:19 [INFO] [stdout] | [INFO] [stdout] 46 | pub enum FpVar { [INFO] [stdout] | ^^^^^^^^^^ required by this bound in `FpVar` [INFO] [stdout] help: consider further restricting type parameter `F` with trait `PrimeField` [INFO] [stdout] | [INFO] [stdout] 15 | impl ConstraintSynthesizer for ExampleCircuit { [INFO] [stdout] | ++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `F: PrimeField` is not satisfied [INFO] [stdout] --> src/main.rs:18:17 [INFO] [stdout] | [INFO] [stdout] 18 | let b = FpVar::new_witness(cs.clone(), || self.b.ok_or(SynthesisError::AssignmentMissing))?; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `PrimeField` is not implemented for `F` [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `FpVar` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-r1cs-std-0.5.0-alpha.0/src/fields/fp/mod.rs:46:19 [INFO] [stdout] | [INFO] [stdout] 46 | pub enum FpVar { [INFO] [stdout] | ^^^^^^^^^^ required by this bound in `FpVar` [INFO] [stdout] help: consider further restricting type parameter `F` with trait `PrimeField` [INFO] [stdout] | [INFO] [stdout] 15 | impl ConstraintSynthesizer for ExampleCircuit { [INFO] [stdout] | ++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0369]: cannot multiply `FpVar` by `&FpVar` [INFO] [stdout] --> src/main.rs:19:19 [INFO] [stdout] | [INFO] [stdout] 19 | let c = a * &b; [INFO] [stdout] | - ^ -- &FpVar [INFO] [stdout] | | [INFO] [stdout] | FpVar [INFO] [stdout] | [INFO] [stdout] help: consider further restricting type parameter `F` with trait `PrimeField` [INFO] [stdout] | [INFO] [stdout] 15 | impl ConstraintSynthesizer for ExampleCircuit { [INFO] [stdout] | ++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0599]: no variant, associated function, or constant named `constant` found for enum `FpVar` in the current scope [INFO] [stdout] --> src/main.rs:22:33 [INFO] [stdout] | [INFO] [stdout] 22 | let c_expected = FpVar::constant(F::from(15u64)); [INFO] [stdout] | ^^^^^^^^ variant, associated function, or constant not found in `FpVar<_>` [INFO] [stdout] | [INFO] [stdout] = help: items from traits can only be used if the trait is in scope [INFO] [stdout] help: there is a method `is_constant` with a similar name, but with different arguments [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-r1cs-std-0.5.0-alpha.0/src/r1cs_var.rs:19:5 [INFO] [stdout] | [INFO] [stdout] 19 | fn is_constant(&self) -> bool { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] help: trait `FieldVar` which provides `constant` is implemented but not in scope; perhaps you want to import it [INFO] [stdout] | [INFO] [stdout] 1 + use ark_r1cs_std::fields::FieldVar; [INFO] [stdout] | [INFO] [stdout] help: there is a variant with a similar name (notice the capitalization) [INFO] [stdout] | [INFO] [stdout] 22 - let c_expected = FpVar::constant(F::from(15u64)); [INFO] [stdout] 22 + let c_expected = FpVar::Constant(F::from(15u64)); [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0599]: no variant, associated function, or constant named `constant` found for enum `FpVar` in the current scope [INFO] [stdout] --> src/main.rs:22:33 [INFO] [stdout] | [INFO] [stdout] 22 | let c_expected = FpVar::constant(F::from(15u64)); [INFO] [stdout] | ^^^^^^^^ variant, associated function, or constant not found in `FpVar<_>` [INFO] [stdout] | [INFO] [stdout] = help: items from traits can only be used if the trait is in scope [INFO] [stdout] help: there is a method `is_constant` with a similar name, but with different arguments [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-r1cs-std-0.5.0-alpha.0/src/r1cs_var.rs:19:5 [INFO] [stdout] | [INFO] [stdout] 19 | fn is_constant(&self) -> bool { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] help: trait `FieldVar` which provides `constant` is implemented but not in scope; perhaps you want to import it [INFO] [stdout] | [INFO] [stdout] 1 + use ark_r1cs_std::fields::FieldVar; [INFO] [stdout] | [INFO] [stdout] help: there is a variant with a similar name (notice the capitalization) [INFO] [stdout] | [INFO] [stdout] 22 - let c_expected = FpVar::constant(F::from(15u64)); [INFO] [stdout] 22 + let c_expected = FpVar::Constant(F::from(15u64)); [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0308]: mismatched types [INFO] [stdout] --> src/main.rs:51:50 [INFO] [stdout] | [INFO] [stdout] 51 | let pvk = ark_groth16::prepare_verifying_key(vk); [INFO] [stdout] | ---------------------------------- ^^ expected `&VerifyingKey<_>`, found `VerifyingKey<_>` [INFO] [stdout] | | [INFO] [stdout] | arguments to this function are incorrect [INFO] [stdout] | [INFO] [stdout] = note: expected reference `&VerifyingKey<_>` [INFO] [stdout] found struct `VerifyingKey<_>` [INFO] [stdout] note: function defined here [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-groth16-0.5.0-alpha.1/src/verifier.rs:13:8 [INFO] [stdout] | [INFO] [stdout] 13 | pub fn prepare_verifying_key(vk: &VerifyingKey) -> PreparedVerifyingKey { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] help: consider borrowing here [INFO] [stdout] | [INFO] [stdout] 51 | let pvk = ark_groth16::prepare_verifying_key(&vk); [INFO] [stdout] | + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0308]: mismatched types [INFO] [stdout] --> src/main.rs:51:50 [INFO] [stdout] | [INFO] [stdout] 51 | let pvk = ark_groth16::prepare_verifying_key(vk); [INFO] [stdout] | ---------------------------------- ^^ expected `&VerifyingKey<_>`, found `VerifyingKey<_>` [INFO] [stdout] | | [INFO] [stdout] | arguments to this function are incorrect [INFO] [stdout] | [INFO] [stdout] = note: expected reference `&VerifyingKey<_>` [INFO] [stdout] found struct `VerifyingKey<_>` [INFO] [stdout] note: function defined here [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-groth16-0.5.0-alpha.1/src/verifier.rs:13:8 [INFO] [stdout] | [INFO] [stdout] 13 | pub fn prepare_verifying_key(vk: &VerifyingKey) -> PreparedVerifyingKey { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] help: consider borrowing here [INFO] [stdout] | [INFO] [stdout] 51 | let pvk = ark_groth16::prepare_verifying_key(&vk); [INFO] [stdout] | + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] Some errors have detailed explanations: E0277, E0308, E0369, E0432, E0599. [INFO] [stdout] [INFO] [stdout] For more information about an error, try `rustc --explain E0277`. [INFO] [stdout] [INFO] [stdout] Some errors have detailed explanations: E0277, E0308, E0369, E0432, E0599. [INFO] [stdout] [INFO] [stdout] For more information about an error, try `rustc --explain E0277`. [INFO] [stdout] [INFO] [stderr] error: could not compile `poseidon-zk` (bin "poseidon-zk") due to 12 previous errors; 1 warning emitted [INFO] [stderr] warning: build failed, waiting for other jobs to finish... [INFO] [stderr] error: could not compile `poseidon-zk` (bin "poseidon-zk" test) due to 12 previous errors; 1 warning emitted [INFO] running `Command { std: "docker" "inspect" "b4b3b030290f59738255832fe20085dfb51a93aec09e42ffbbebde59fd484c45", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "b4b3b030290f59738255832fe20085dfb51a93aec09e42ffbbebde59fd484c45", kill_on_drop: false }` [INFO] [stdout] b4b3b030290f59738255832fe20085dfb51a93aec09e42ffbbebde59fd484c45