[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<F>` to implement `AllocVar<F, F>`
[INFO] [stdout] help: consider further restricting type parameter `F` with trait `PrimeField`
[INFO] [stdout]    |
[INFO] [stdout] 15 | impl<F: Field + ark_ff::PrimeField> ConstraintSynthesizer<F> for ExampleCircuit<F> {
[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<F: PrimeField> {
[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<F: Field + ark_ff::PrimeField> ConstraintSynthesizer<F> for ExampleCircuit<F> {
[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<F: PrimeField> {
[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<F: Field + ark_ff::PrimeField> ConstraintSynthesizer<F> for ExampleCircuit<F> {
[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<F>` to implement `AllocVar<F, F>`
[INFO] [stdout] help: consider further restricting type parameter `F` with trait `PrimeField`
[INFO] [stdout]    |
[INFO] [stdout] 15 | impl<F: Field + ark_ff::PrimeField> ConstraintSynthesizer<F> for ExampleCircuit<F> {
[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<F>` to implement `AllocVar<F, F>`
[INFO] [stdout] help: consider further restricting type parameter `F` with trait `PrimeField`
[INFO] [stdout]    |
[INFO] [stdout] 15 | impl<F: Field + ark_ff::PrimeField> ConstraintSynthesizer<F> for ExampleCircuit<F> {
[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<F: PrimeField> {
[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<F: Field + ark_ff::PrimeField> ConstraintSynthesizer<F> for ExampleCircuit<F> {
[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<F: PrimeField> {
[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<F: Field + ark_ff::PrimeField> ConstraintSynthesizer<F> for ExampleCircuit<F> {
[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<F: PrimeField> {
[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<F: Field + ark_ff::PrimeField> ConstraintSynthesizer<F> for ExampleCircuit<F> {
[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<F: PrimeField> {
[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<F: Field + ark_ff::PrimeField> ConstraintSynthesizer<F> for ExampleCircuit<F> {
[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<F>` to implement `AllocVar<F, F>`
[INFO] [stdout] help: consider further restricting type parameter `F` with trait `PrimeField`
[INFO] [stdout]    |
[INFO] [stdout] 15 | impl<F: Field + ark_ff::PrimeField> ConstraintSynthesizer<F> for ExampleCircuit<F> {
[INFO] [stdout]    |               ++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0369]: cannot multiply `FpVar<F>` by `&FpVar<F>`
[INFO] [stdout]   --> src/main.rs:19:19
[INFO] [stdout]    |
[INFO] [stdout] 19 |         let c = a * &b;
[INFO] [stdout]    |                 - ^ -- &FpVar<F>
[INFO] [stdout]    |                 |
[INFO] [stdout]    |                 FpVar<F>
[INFO] [stdout]    |
[INFO] [stdout] help: consider further restricting type parameter `F` with trait `PrimeField`
[INFO] [stdout]    |
[INFO] [stdout] 15 | impl<F: Field + ark_ff::PrimeField> ConstraintSynthesizer<F> for ExampleCircuit<F> {
[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<F: PrimeField> {
[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<F: Field + ark_ff::PrimeField> ConstraintSynthesizer<F> for ExampleCircuit<F> {
[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<F: PrimeField> {
[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<F: Field + ark_ff::PrimeField> ConstraintSynthesizer<F> for ExampleCircuit<F> {
[INFO] [stdout]    |               ++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0369]: cannot multiply `FpVar<F>` by `&FpVar<F>`
[INFO] [stdout]   --> src/main.rs:19:19
[INFO] [stdout]    |
[INFO] [stdout] 19 |         let c = a * &b;
[INFO] [stdout]    |                 - ^ -- &FpVar<F>
[INFO] [stdout]    |                 |
[INFO] [stdout]    |                 FpVar<F>
[INFO] [stdout]    |
[INFO] [stdout] help: consider further restricting type parameter `F` with trait `PrimeField`
[INFO] [stdout]    |
[INFO] [stdout] 15 | impl<F: Field + ark_ff::PrimeField> ConstraintSynthesizer<F> for ExampleCircuit<F> {
[INFO] [stdout]    |               ++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0599]: no variant, associated function, or constant named `constant` found for enum `FpVar<F>` 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<F>` 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<E: Pairing>(vk: &VerifyingKey<E>) -> PreparedVerifyingKey<E> {
[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<E: Pairing>(vk: &VerifyingKey<E>) -> PreparedVerifyingKey<E> {
[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
