[INFO] cloning repository https://github.com/elizabeth269/halo2_voting
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/elizabeth269/halo2_voting" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Felizabeth269%2Fhalo2_voting", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Felizabeth269%2Fhalo2_voting'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] ea82ab71246bfae85525a977d026c18e32e3d3ed
[INFO] checking elizabeth269/halo2_voting against try#b4c55082edd8dec08ce8af276d7054d9c4db20c4 for pr-147984
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Felizabeth269%2Fhalo2_voting" "/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/elizabeth269/halo2_voting
[INFO] finished tweaking git repo https://github.com/elizabeth269/halo2_voting
[INFO] tweaked toml for git repo https://github.com/elizabeth269/halo2_voting written to /workspace/builds/worker-6-tc2/source/Cargo.toml
[INFO] validating manifest of git repo https://github.com/elizabeth269/halo2_voting on toolchain b4c55082edd8dec08ce8af276d7054d9c4db20c4
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+b4c55082edd8dec08ce8af276d7054d9c4db20c4" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate git repo https://github.com/elizabeth269/halo2_voting 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" "+b4c55082edd8dec08ce8af276d7054d9c4db20c4" "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
[ERROR] error running command: no output for 300 seconds
[INFO] checking elizabeth269/halo2_voting against try#b4c55082edd8dec08ce8af276d7054d9c4db20c4 for pr-147984
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Felizabeth269%2Fhalo2_voting" "/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/elizabeth269/halo2_voting
[INFO] finished tweaking git repo https://github.com/elizabeth269/halo2_voting
[INFO] tweaked toml for git repo https://github.com/elizabeth269/halo2_voting written to /workspace/builds/worker-6-tc2/source/Cargo.toml
[INFO] validating manifest of git repo https://github.com/elizabeth269/halo2_voting on toolchain b4c55082edd8dec08ce8af276d7054d9c4db20c4
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+b4c55082edd8dec08ce8af276d7054d9c4db20c4" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate git repo https://github.com/elizabeth269/halo2_voting 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" "+b4c55082edd8dec08ce8af276d7054d9c4db20c4" "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 halo2_proofs v0.3.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:e90291280db7d1fac5b66fc6dad9f9662629e7365a55743daf9bdf73ebc4ea79" "/opt/rustwide/cargo-home/bin/cargo" "+b4c55082edd8dec08ce8af276d7054d9c4db20c4" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 29eb107e39135493f9db0e21c173f91a04fad684e75b28c8605c110a4d5f464c
[INFO] running `Command { std: "docker" "start" "-a" "29eb107e39135493f9db0e21c173f91a04fad684e75b28c8605c110a4d5f464c", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "29eb107e39135493f9db0e21c173f91a04fad684e75b28c8605c110a4d5f464c", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "29eb107e39135493f9db0e21c173f91a04fad684e75b28c8605c110a4d5f464c", kill_on_drop: false }`
[INFO] [stdout] 29eb107e39135493f9db0e21c173f91a04fad684e75b28c8605c110a4d5f464c
[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:e90291280db7d1fac5b66fc6dad9f9662629e7365a55743daf9bdf73ebc4ea79" "/opt/rustwide/cargo-home/bin/cargo" "+b4c55082edd8dec08ce8af276d7054d9c4db20c4" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 289044868c1a55c95a96c15a9b81b4c8721d1066a348c25f26e3f01c56d9e7f8
[INFO] running `Command { std: "docker" "start" "-a" "289044868c1a55c95a96c15a9b81b4c8721d1066a348c25f26e3f01c56d9e7f8", kill_on_drop: false }`
[INFO] [stderr]    Compiling libc v0.2.155
[INFO] [stderr]    Compiling crossbeam-utils v0.8.20
[INFO] [stderr]     Checking funty v2.0.0
[INFO] [stderr]     Checking either v1.13.0
[INFO] [stderr]    Compiling radium v0.7.0
[INFO] [stderr]     Checking wyz v0.5.1
[INFO] [stderr]     Checking blake2b_simd v1.0.2
[INFO] [stderr]    Compiling syn v2.0.68
[INFO] [stderr]     Checking bitvec v1.0.1
[INFO] [stderr]     Checking crossbeam-epoch v0.9.18
[INFO] [stderr]     Checking crossbeam-deque v0.8.5
[INFO] [stderr]     Checking getrandom v0.2.15
[INFO] [stderr]     Checking rayon-core v1.12.1
[INFO] [stderr]     Checking rand_core v0.6.4
[INFO] [stderr]     Checking rand_chacha v0.3.1
[INFO] [stderr]     Checking rayon v1.10.0
[INFO] [stderr]     Checking rand v0.8.5
[INFO] [stderr]     Checking ff v0.13.0
[INFO] [stderr]     Checking group v0.13.0
[INFO] [stderr]     Checking pasta_curves v0.5.1
[INFO] [stderr]     Checking maybe-rayon v0.1.1
[INFO] [stderr]    Compiling tracing-attributes v0.1.27
[INFO] [stderr]     Checking tracing v0.1.40
[INFO] [stderr]     Checking halo2_proofs v0.3.0
[INFO] [stderr]     Checking halo2_voting v0.1.0 (/opt/rustwide/workdir)
[INFO] [stdout] error: expected `;`, found `vec`
[INFO] [stdout]   --> src/circuit.rs:34:78
[INFO] [stdout]    |
[INFO] [stdout] 34 |             let max_votes = meta.query_fixed(max_votes, /*Rotation::cur())*/)
[INFO] [stdout]    |                                                                              ^ help: add `;` here
[INFO] [stdout] 35 |
[INFO] [stdout] 36 |             vec![vote.clone() * (vote - max_votes.clone())]
[INFO] [stdout]    |             --- unexpected token
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved import `halo2_proofs::poly::commitment::Params`
[INFO] [stdout]  --> src/main.rs:8:23
[INFO] [stdout]   |
[INFO] [stdout] 8 |     poly::commitment::Params::*,
[INFO] [stdout]   |                       ^^^^^^ `Params` is a struct, not a module
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: expected `;`, found `vec`
[INFO] [stdout]   --> src/circuit.rs:34:78
[INFO] [stdout]    |
[INFO] [stdout] 34 |             let max_votes = meta.query_fixed(max_votes, /*Rotation::cur())*/)
[INFO] [stdout]    |                                                                              ^ help: add `;` here
[INFO] [stdout] 35 |
[INFO] [stdout] 36 |             vec![vote.clone() * (vote - max_votes.clone())]
[INFO] [stdout]    |             --- unexpected token
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved import `halo2_proofs::poly::commitment::Params`
[INFO] [stdout]  --> src/main.rs:8:23
[INFO] [stdout]   |
[INFO] [stdout] 8 |     poly::commitment::Params::*,
[INFO] [stdout]   |                       ^^^^^^ `Params` is a struct, not a module
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `AssignedCell` and `Chip`
[INFO] [stdout]  --> src/circuit.rs:3:15
[INFO] [stdout]   |
[INFO] [stdout] 3 |     circuit::{AssignedCell, Chip, Layouter, SimpleFloorPlanner},
[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: `AssignedCell` and `Chip`
[INFO] [stdout]  --> src/circuit.rs:3:15
[INFO] [stdout]   |
[INFO] [stdout] 3 |     circuit::{AssignedCell, Chip, Layouter, SimpleFloorPlanner},
[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: `ProvingKey`, `VerifyingKey`, and `dev::MockProver`
[INFO] [stdout]  --> src/main.rs:5:5
[INFO] [stdout]   |
[INFO] [stdout] 5 |     dev::MockProver,
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^
[INFO] [stdout] 6 |     pasta::Fp,
[INFO] [stdout] 7 |     plonk::{create_proof, keygen_pk, keygen_vk, verify_proof, ProvingKey, VerifyingKey},
[INFO] [stdout]   |                                                               ^^^^^^^^^^  ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `ProvingKey`, `VerifyingKey`, and `dev::MockProver`
[INFO] [stdout]  --> src/main.rs:5:5
[INFO] [stdout]   |
[INFO] [stdout] 5 |     dev::MockProver,
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^
[INFO] [stdout] 6 |     pasta::Fp,
[INFO] [stdout] 7 |     plonk::{create_proof, keygen_pk, keygen_vk, verify_proof, ProvingKey, VerifyingKey},
[INFO] [stdout]   |                                                               ^^^^^^^^^^  ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0308]: mismatched types
[INFO] [stdout]   --> src/circuit.rs:47:62
[INFO] [stdout]    |
[INFO] [stdout] 47 |                     region.assign_advice(|| "vote", 0, 0, || self.vote.ok_or(Error::Synthesis))?;
[INFO] [stdout]    |                                                              ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected `Value<_>`, found `Result<F, Error>`
[INFO] [stdout]    |
[INFO] [stdout]    = note: expected struct `Value<_>`
[INFO] [stdout]                 found enum `Result<F, halo2_proofs::plonk::Error>`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0308]: mismatched types
[INFO] [stdout]   --> src/circuit.rs:47:62
[INFO] [stdout]    |
[INFO] [stdout] 47 |                     region.assign_advice(|| "vote", 0, 0, || self.vote.ok_or(Error::Synthesis))?;
[INFO] [stdout]    |                                                              ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected `Value<_>`, found `Result<F, Error>`
[INFO] [stdout]    |
[INFO] [stdout]    = note: expected struct `Value<_>`
[INFO] [stdout]                 found enum `Result<F, halo2_proofs::plonk::Error>`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0308]: mismatched types
[INFO] [stdout]    --> src/circuit.rs:47:53
[INFO] [stdout]     |
[INFO] [stdout]  47 |                     region.assign_advice(|| "vote", 0, 0, || self.vote.ok_or(Error::Synthesis))?;
[INFO] [stdout]     |                            -------------            ^ expected `Column<Advice>`, found integer
[INFO] [stdout]     |                            |
[INFO] [stdout]     |                            arguments to this method are incorrect
[INFO] [stdout]     |
[INFO] [stdout]     = note: expected struct `halo2_proofs::plonk::Column<halo2_proofs::plonk::Advice>`
[INFO] [stdout]                  found type `{integer}`
[INFO] [stdout] note: method defined here
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/halo2_proofs-0.3.0/src/circuit.rs:207:12
[INFO] [stdout]     |
[INFO] [stdout] 207 |     pub fn assign_advice<'v, V, VR, A, AR>(
[INFO] [stdout]     |            ^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0308]: mismatched types
[INFO] [stdout]    --> src/circuit.rs:47:53
[INFO] [stdout]     |
[INFO] [stdout]  47 |                     region.assign_advice(|| "vote", 0, 0, || self.vote.ok_or(Error::Synthesis))?;
[INFO] [stdout]     |                            -------------            ^ expected `Column<Advice>`, found integer
[INFO] [stdout]     |                            |
[INFO] [stdout]     |                            arguments to this method are incorrect
[INFO] [stdout]     |
[INFO] [stdout]     = note: expected struct `halo2_proofs::plonk::Column<halo2_proofs::plonk::Advice>`
[INFO] [stdout]                  found type `{integer}`
[INFO] [stdout] note: method defined here
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/halo2_proofs-0.3.0/src/circuit.rs:207:12
[INFO] [stdout]     |
[INFO] [stdout] 207 |     pub fn assign_advice<'v, V, VR, A, AR>(
[INFO] [stdout]     |            ^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0308]: mismatched types
[INFO] [stdout]   --> src/circuit.rs:49:78
[INFO] [stdout]    |
[INFO] [stdout] 49 |                 let max_votes = region.assign_fixed(|| "max votes", 0, 0, || Ok(self.max_votes))?;
[INFO] [stdout]    |                                                                              ^^^^^^^^^^^^^^^^^^ expected `Value<_>`, found `Result<F, _>`
[INFO] [stdout]    |
[INFO] [stdout]    = note: expected struct `Value<_>`
[INFO] [stdout]                 found enum `Result<F, _>`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0308]: mismatched types
[INFO] [stdout]   --> src/circuit.rs:49:78
[INFO] [stdout]    |
[INFO] [stdout] 49 |                 let max_votes = region.assign_fixed(|| "max votes", 0, 0, || Ok(self.max_votes))?;
[INFO] [stdout]    |                                                                              ^^^^^^^^^^^^^^^^^^ expected `Value<_>`, found `Result<F, _>`
[INFO] [stdout]    |
[INFO] [stdout]    = note: expected struct `Value<_>`
[INFO] [stdout]                 found enum `Result<F, _>`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0308]: mismatched types
[INFO] [stdout]    --> src/circuit.rs:49:69
[INFO] [stdout]     |
[INFO] [stdout]  49 |                 let max_votes = region.assign_fixed(|| "max votes", 0, 0, || Ok(self.max_votes))?;
[INFO] [stdout]     |                                        ------------                 ^ expected `Column<Fixed>`, found integer
[INFO] [stdout]     |                                        |
[INFO] [stdout]     |                                        arguments to this method are incorrect
[INFO] [stdout]     |
[INFO] [stdout]     = note: expected struct `halo2_proofs::plonk::Column<halo2_proofs::plonk::Fixed>`
[INFO] [stdout]                  found type `{integer}`
[INFO] [stdout] note: method defined here
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/halo2_proofs-0.3.0/src/circuit.rs:316:12
[INFO] [stdout]     |
[INFO] [stdout] 316 |     pub fn assign_fixed<'v, V, VR, A, AR>(
[INFO] [stdout]     |            ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0308]: mismatched types
[INFO] [stdout]    --> src/circuit.rs:49:69
[INFO] [stdout]     |
[INFO] [stdout]  49 |                 let max_votes = region.assign_fixed(|| "max votes", 0, 0, || Ok(self.max_votes))?;
[INFO] [stdout]     |                                        ------------                 ^ expected `Column<Fixed>`, found integer
[INFO] [stdout]     |                                        |
[INFO] [stdout]     |                                        arguments to this method are incorrect
[INFO] [stdout]     |
[INFO] [stdout]     = note: expected struct `halo2_proofs::plonk::Column<halo2_proofs::plonk::Fixed>`
[INFO] [stdout]                  found type `{integer}`
[INFO] [stdout] note: method defined here
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/halo2_proofs-0.3.0/src/circuit.rs:316:12
[INFO] [stdout]     |
[INFO] [stdout] 316 |     pub fn assign_fixed<'v, V, VR, A, AR>(
[INFO] [stdout]     |            ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `Fp: CurveAffine` is not satisfied
[INFO] [stdout]   --> src/main.rs:25:17
[INFO] [stdout]    |
[INFO] [stdout] 25 |     let params: Params<Fp> = Params::new(8);
[INFO] [stdout]    |                 ^^^^^^^^^^ the trait `CurveAffine` is not implemented for `Fp`
[INFO] [stdout]    |
[INFO] [stdout]    = help: the following other types implement trait `CurveAffine`:
[INFO] [stdout]              EpAffine
[INFO] [stdout]              EqAffine
[INFO] [stdout] note: required by a bound in `halo2_proofs::poly::commitment::Params`
[INFO] [stdout]   --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/halo2_proofs-0.3.0/src/poly/commitment.rs:26:22
[INFO] [stdout]    |
[INFO] [stdout] 26 | pub struct Params<C: CurveAffine> {
[INFO] [stdout]    |                      ^^^^^^^^^^^ required by this bound in `Params`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `Fp: CurveAffine` is not satisfied
[INFO] [stdout]   --> src/main.rs:25:17
[INFO] [stdout]    |
[INFO] [stdout] 25 |     let params: Params<Fp> = Params::new(8);
[INFO] [stdout]    |                 ^^^^^^^^^^ the trait `CurveAffine` is not implemented for `Fp`
[INFO] [stdout]    |
[INFO] [stdout]    = help: the following other types implement trait `CurveAffine`:
[INFO] [stdout]              EpAffine
[INFO] [stdout]              EqAffine
[INFO] [stdout] note: required by a bound in `halo2_proofs::poly::commitment::Params`
[INFO] [stdout]   --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/halo2_proofs-0.3.0/src/poly/commitment.rs:26:22
[INFO] [stdout]    |
[INFO] [stdout] 26 | pub struct Params<C: CurveAffine> {
[INFO] [stdout]    |                      ^^^^^^^^^^^ required by this bound in `Params`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `Fp: CurveAffine` is not satisfied
[INFO] [stdout]   --> src/main.rs:25:30
[INFO] [stdout]    |
[INFO] [stdout] 25 |     let params: Params<Fp> = Params::new(8);
[INFO] [stdout]    |                              ^^^^^^ the trait `CurveAffine` is not implemented for `Fp`
[INFO] [stdout]    |
[INFO] [stdout]    = help: the following other types implement trait `CurveAffine`:
[INFO] [stdout]              EpAffine
[INFO] [stdout]              EqAffine
[INFO] [stdout] note: required by a bound in `halo2_proofs::poly::commitment::Params`
[INFO] [stdout]   --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/halo2_proofs-0.3.0/src/poly/commitment.rs:26:22
[INFO] [stdout]    |
[INFO] [stdout] 26 | pub struct Params<C: CurveAffine> {
[INFO] [stdout]    |                      ^^^^^^^^^^^ required by this bound in `Params`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `Fp: CurveAffine` is not satisfied
[INFO] [stdout]   --> src/main.rs:25:30
[INFO] [stdout]    |
[INFO] [stdout] 25 |     let params: Params<Fp> = Params::new(8);
[INFO] [stdout]    |                              ^^^^^^ the trait `CurveAffine` is not implemented for `Fp`
[INFO] [stdout]    |
[INFO] [stdout]    = help: the following other types implement trait `CurveAffine`:
[INFO] [stdout]              EpAffine
[INFO] [stdout]              EqAffine
[INFO] [stdout] note: required by a bound in `halo2_proofs::poly::commitment::Params`
[INFO] [stdout]   --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/halo2_proofs-0.3.0/src/poly/commitment.rs:26:22
[INFO] [stdout]    |
[INFO] [stdout] 26 | pub struct Params<C: CurveAffine> {
[INFO] [stdout]    |                      ^^^^^^^^^^^ required by this bound in `Params`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `Fp: CurveAffine` is not satisfied
[INFO] [stdout]   --> src/main.rs:25:30
[INFO] [stdout]    |
[INFO] [stdout] 25 |     let params: Params<Fp> = Params::new(8);
[INFO] [stdout]    |                              ^^^^^^^^^^^^^^ the trait `CurveAffine` is not implemented for `Fp`
[INFO] [stdout]    |
[INFO] [stdout]    = help: the following other types implement trait `CurveAffine`:
[INFO] [stdout]              EpAffine
[INFO] [stdout]              EqAffine
[INFO] [stdout] note: required by a bound in `halo2_proofs::poly::commitment::Params::<C>::new`
[INFO] [stdout]   --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/halo2_proofs-0.3.0/src/poly/commitment.rs:35:9
[INFO] [stdout]    |
[INFO] [stdout] 35 | impl<C: CurveAffine> Params<C> {
[INFO] [stdout]    |         ^^^^^^^^^^^ required by this bound in `Params::<C>::new`
[INFO] [stdout] ...
[INFO] [stdout] 38 |     pub fn new(k: u32) -> Self {
[INFO] [stdout]    |            --- required by a bound in this associated function
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `Fp: CurveAffine` is not satisfied
[INFO] [stdout]   --> src/main.rs:25:30
[INFO] [stdout]    |
[INFO] [stdout] 25 |     let params: Params<Fp> = Params::new(8);
[INFO] [stdout]    |                              ^^^^^^^^^^^^^^ the trait `CurveAffine` is not implemented for `Fp`
[INFO] [stdout]    |
[INFO] [stdout]    = help: the following other types implement trait `CurveAffine`:
[INFO] [stdout]              EpAffine
[INFO] [stdout]              EqAffine
[INFO] [stdout] note: required by a bound in `halo2_proofs::poly::commitment::Params::<C>::new`
[INFO] [stdout]   --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/halo2_proofs-0.3.0/src/poly/commitment.rs:35:9
[INFO] [stdout]    |
[INFO] [stdout] 35 | impl<C: CurveAffine> Params<C> {
[INFO] [stdout]    |         ^^^^^^^^^^^ required by this bound in `Params::<C>::new`
[INFO] [stdout] ...
[INFO] [stdout] 38 |     pub fn new(k: u32) -> Self {
[INFO] [stdout]    |            --- required by a bound in this associated function
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `Fp: CurveAffine` is not satisfied
[INFO] [stdout]    --> src/main.rs:26:24
[INFO] [stdout]     |
[INFO] [stdout]  26 |     let vk = keygen_vk(&params, &circuit).expect("keygen_vk should not fail");
[INFO] [stdout]     |              --------- ^^^^^^^ the trait `CurveAffine` is not implemented for `Fp`
[INFO] [stdout]     |              |
[INFO] [stdout]     |              required by a bound introduced by this call
[INFO] [stdout]     |
[INFO] [stdout]     = help: the following other types implement trait `CurveAffine`:
[INFO] [stdout]               EpAffine
[INFO] [stdout]               EqAffine
[INFO] [stdout] note: required by a bound in `keygen_vk`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/halo2_proofs-0.3.0/src/plonk/keygen.rs:194:8
[INFO] [stdout]     |
[INFO] [stdout] 189 | pub fn keygen_vk<C, ConcreteCircuit>(
[INFO] [stdout]     |        --------- required by a bound in this function
[INFO] [stdout] ...
[INFO] [stdout] 194 |     C: CurveAffine,
[INFO] [stdout]     |        ^^^^^^^^^^^ required by this bound in `keygen_vk`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `Fp: PrimeCurveAffine` is not satisfied
[INFO] [stdout]   --> src/main.rs:26:14
[INFO] [stdout]    |
[INFO] [stdout] 26 |     let vk = keygen_vk(&params, &circuit).expect("keygen_vk should not fail");
[INFO] [stdout]    |              ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `PrimeCurveAffine` is not implemented for `Fp`
[INFO] [stdout]    |
[INFO] [stdout]    = help: the following other types implement trait `PrimeCurveAffine`:
[INFO] [stdout]              EpAffine
[INFO] [stdout]              EqAffine
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `Fp: CurveAffine` is not satisfied
[INFO] [stdout]    --> src/main.rs:26:24
[INFO] [stdout]     |
[INFO] [stdout]  26 |     let vk = keygen_vk(&params, &circuit).expect("keygen_vk should not fail");
[INFO] [stdout]     |              --------- ^^^^^^^ the trait `CurveAffine` is not implemented for `Fp`
[INFO] [stdout]     |              |
[INFO] [stdout]     |              required by a bound introduced by this call
[INFO] [stdout]     |
[INFO] [stdout]     = help: the following other types implement trait `CurveAffine`:
[INFO] [stdout]               EpAffine
[INFO] [stdout]               EqAffine
[INFO] [stdout] note: required by a bound in `keygen_vk`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/halo2_proofs-0.3.0/src/plonk/keygen.rs:194:8
[INFO] [stdout]     |
[INFO] [stdout] 189 | pub fn keygen_vk<C, ConcreteCircuit>(
[INFO] [stdout]     |        --------- required by a bound in this function
[INFO] [stdout] ...
[INFO] [stdout] 194 |     C: CurveAffine,
[INFO] [stdout]     |        ^^^^^^^^^^^ required by this bound in `keygen_vk`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `Fp: PrimeCurveAffine` is not satisfied
[INFO] [stdout]   --> src/main.rs:26:14
[INFO] [stdout]    |
[INFO] [stdout] 26 |     let vk = keygen_vk(&params, &circuit).expect("keygen_vk should not fail");
[INFO] [stdout]    |              ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `PrimeCurveAffine` is not implemented for `Fp`
[INFO] [stdout]    |
[INFO] [stdout]    = help: the following other types implement trait `PrimeCurveAffine`:
[INFO] [stdout]              EpAffine
[INFO] [stdout]              EqAffine
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0599]: the method `expect` exists for enum `Result<VerifyingKey<Fp>, halo2_proofs::plonk::Error>`, but its trait bounds were not satisfied
[INFO] [stdout]   --> src/main.rs:26:43
[INFO] [stdout]    |
[INFO] [stdout] 26 |     let vk = keygen_vk(&params, &circuit).expect("keygen_vk should not fail");
[INFO] [stdout]    |                                           ^^^^^^ method cannot be called due to unsatisfied trait bounds
[INFO] [stdout]    |
[INFO] [stdout]   ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/halo2_proofs-0.3.0/src/plonk.rs:41:1
[INFO] [stdout]    |
[INFO] [stdout] 41 | pub struct VerifyingKey<C: CurveAffine> {
[INFO] [stdout]    | --------------------------------------- doesn't satisfy `VerifyingKey<Fp>: Sized`
[INFO] [stdout]    |
[INFO] [stdout]   ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/pasta_curves-0.5.1/src/fields/fp.rs:29:1
[INFO] [stdout]    |
[INFO] [stdout] 29 | pub struct Fp(pub(crate) [u64; 4]);
[INFO] [stdout]    | ------------- doesn't satisfy `Fp: PrimeCurveAffine`
[INFO] [stdout]    |
[INFO] [stdout]    = note: the following trait bounds were not satisfied:
[INFO] [stdout]            `Fp: PrimeCurveAffine`
[INFO] [stdout]            which is required by `VerifyingKey<Fp>: Sized`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0599]: the method `expect` exists for enum `Result<VerifyingKey<Fp>, halo2_proofs::plonk::Error>`, but its trait bounds were not satisfied
[INFO] [stdout]   --> src/main.rs:26:43
[INFO] [stdout]    |
[INFO] [stdout] 26 |     let vk = keygen_vk(&params, &circuit).expect("keygen_vk should not fail");
[INFO] [stdout]    |                                           ^^^^^^ method cannot be called due to unsatisfied trait bounds
[INFO] [stdout]    |
[INFO] [stdout]   ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/halo2_proofs-0.3.0/src/plonk.rs:41:1
[INFO] [stdout]    |
[INFO] [stdout] 41 | pub struct VerifyingKey<C: CurveAffine> {
[INFO] [stdout]    | --------------------------------------- doesn't satisfy `VerifyingKey<Fp>: Sized`
[INFO] [stdout]    |
[INFO] [stdout]   ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/pasta_curves-0.5.1/src/fields/fp.rs:29:1
[INFO] [stdout]    |
[INFO] [stdout] 29 | pub struct Fp(pub(crate) [u64; 4]);
[INFO] [stdout]    | ------------- doesn't satisfy `Fp: PrimeCurveAffine`
[INFO] [stdout]    |
[INFO] [stdout]    = note: the following trait bounds were not satisfied:
[INFO] [stdout]            `Fp: PrimeCurveAffine`
[INFO] [stdout]            which is required by `VerifyingKey<Fp>: Sized`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `Fp: CurveAffine` is not satisfied
[INFO] [stdout]   --> src/main.rs:26:14
[INFO] [stdout]    |
[INFO] [stdout] 26 |     let vk = keygen_vk(&params, &circuit).expect("keygen_vk should not fail");
[INFO] [stdout]    |              ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `CurveAffine` is not implemented for `Fp`
[INFO] [stdout]    |
[INFO] [stdout]    = help: the following other types implement trait `CurveAffine`:
[INFO] [stdout]              EpAffine
[INFO] [stdout]              EqAffine
[INFO] [stdout] note: required by a bound in `VerifyingKey`
[INFO] [stdout]   --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/halo2_proofs-0.3.0/src/plonk.rs:41:28
[INFO] [stdout]    |
[INFO] [stdout] 41 | pub struct VerifyingKey<C: CurveAffine> {
[INFO] [stdout]    |                            ^^^^^^^^^^^ required by this bound in `VerifyingKey`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `Fp: CurveAffine` is not satisfied
[INFO] [stdout]    --> src/main.rs:27:14
[INFO] [stdout]     |
[INFO] [stdout]  27 |     let pk = keygen_pk(&params, vk.clone(), &circuit).expect("keygen_pk should not fail");
[INFO] [stdout]     |              ^^^^^^^^^ the trait `CurveAffine` is not implemented for `Fp`
[INFO] [stdout]     |
[INFO] [stdout]     = help: the following other types implement trait `CurveAffine`:
[INFO] [stdout]               EpAffine
[INFO] [stdout]               EqAffine
[INFO] [stdout] note: required by a bound in `keygen_pk`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/halo2_proofs-0.3.0/src/plonk/keygen.rs:253:8
[INFO] [stdout]     |
[INFO] [stdout] 247 | pub fn keygen_pk<C, ConcreteCircuit>(
[INFO] [stdout]     |        --------- required by a bound in this function
[INFO] [stdout] ...
[INFO] [stdout] 253 |     C: CurveAffine,
[INFO] [stdout]     |        ^^^^^^^^^^^ required by this bound in `keygen_pk`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `Fp: PrimeCurveAffine` is not satisfied
[INFO] [stdout]   --> src/main.rs:27:14
[INFO] [stdout]    |
[INFO] [stdout] 27 |     let pk = keygen_pk(&params, vk.clone(), &circuit).expect("keygen_pk should not fail");
[INFO] [stdout]    |              ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `PrimeCurveAffine` is not implemented for `Fp`
[INFO] [stdout]    |
[INFO] [stdout]    = help: the following other types implement trait `PrimeCurveAffine`:
[INFO] [stdout]              EpAffine
[INFO] [stdout]              EqAffine
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `Fp: CurveAffine` is not satisfied
[INFO] [stdout]    --> src/main.rs:27:14
[INFO] [stdout]     |
[INFO] [stdout]  27 |     let pk = keygen_pk(&params, vk.clone(), &circuit).expect("keygen_pk should not fail");
[INFO] [stdout]     |              ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `CurveAffine` is not implemented for `Fp`
[INFO] [stdout]     |
[INFO] [stdout]     = help: the following other types implement trait `CurveAffine`:
[INFO] [stdout]               EpAffine
[INFO] [stdout]               EqAffine
[INFO] [stdout] note: required by a bound in `ProvingKey`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/halo2_proofs-0.3.0/src/plonk.rs:132:26
[INFO] [stdout]     |
[INFO] [stdout] 132 | pub struct ProvingKey<C: CurveAffine> {
[INFO] [stdout]     |                          ^^^^^^^^^^^ required by this bound in `ProvingKey`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `Fp: CurveAffine` is not satisfied
[INFO] [stdout]   --> src/main.rs:26:14
[INFO] [stdout]    |
[INFO] [stdout] 26 |     let vk = keygen_vk(&params, &circuit).expect("keygen_vk should not fail");
[INFO] [stdout]    |              ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `CurveAffine` is not implemented for `Fp`
[INFO] [stdout]    |
[INFO] [stdout]    = help: the following other types implement trait `CurveAffine`:
[INFO] [stdout]              EpAffine
[INFO] [stdout]              EqAffine
[INFO] [stdout] note: required by a bound in `VerifyingKey`
[INFO] [stdout]   --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/halo2_proofs-0.3.0/src/plonk.rs:41:28
[INFO] [stdout]    |
[INFO] [stdout] 41 | pub struct VerifyingKey<C: CurveAffine> {
[INFO] [stdout]    |                            ^^^^^^^^^^^ required by this bound in `VerifyingKey`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `Fp: CurveAffine` is not satisfied
[INFO] [stdout]    --> src/main.rs:27:14
[INFO] [stdout]     |
[INFO] [stdout]  27 |     let pk = keygen_pk(&params, vk.clone(), &circuit).expect("keygen_pk should not fail");
[INFO] [stdout]     |              ^^^^^^^^^ the trait `CurveAffine` is not implemented for `Fp`
[INFO] [stdout]     |
[INFO] [stdout]     = help: the following other types implement trait `CurveAffine`:
[INFO] [stdout]               EpAffine
[INFO] [stdout]               EqAffine
[INFO] [stdout] note: required by a bound in `keygen_pk`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/halo2_proofs-0.3.0/src/plonk/keygen.rs:253:8
[INFO] [stdout]     |
[INFO] [stdout] 247 | pub fn keygen_pk<C, ConcreteCircuit>(
[INFO] [stdout]     |        --------- required by a bound in this function
[INFO] [stdout] ...
[INFO] [stdout] 253 |     C: CurveAffine,
[INFO] [stdout]     |        ^^^^^^^^^^^ required by this bound in `keygen_pk`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `Fp: PrimeCurveAffine` is not satisfied
[INFO] [stdout]   --> src/main.rs:27:14
[INFO] [stdout]    |
[INFO] [stdout] 27 |     let pk = keygen_pk(&params, vk.clone(), &circuit).expect("keygen_pk should not fail");
[INFO] [stdout]    |              ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `PrimeCurveAffine` is not implemented for `Fp`
[INFO] [stdout]    |
[INFO] [stdout]    = help: the following other types implement trait `PrimeCurveAffine`:
[INFO] [stdout]              EpAffine
[INFO] [stdout]              EqAffine
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `Fp: CurveAffine` is not satisfied
[INFO] [stdout]    --> src/main.rs:27:14
[INFO] [stdout]     |
[INFO] [stdout]  27 |     let pk = keygen_pk(&params, vk.clone(), &circuit).expect("keygen_pk should not fail");
[INFO] [stdout]     |              ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `CurveAffine` is not implemented for `Fp`
[INFO] [stdout]     |
[INFO] [stdout]     = help: the following other types implement trait `CurveAffine`:
[INFO] [stdout]               EpAffine
[INFO] [stdout]               EqAffine
[INFO] [stdout] note: required by a bound in `ProvingKey`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/halo2_proofs-0.3.0/src/plonk.rs:132:26
[INFO] [stdout]     |
[INFO] [stdout] 132 | pub struct ProvingKey<C: CurveAffine> {
[INFO] [stdout]     |                          ^^^^^^^^^^^ required by this bound in `ProvingKey`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `Fp: CurveAffine` is not satisfied
[INFO] [stdout]    --> src/main.rs:30:26
[INFO] [stdout]     |
[INFO] [stdout]  30 |     let mut transcript = Blake2bWrite::<_, _, Challenge255<Fp>>::init(vec![]);
[INFO] [stdout]     |                          ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `CurveAffine` is not implemented for `Fp`
[INFO] [stdout]     |
[INFO] [stdout]     = help: the following other types implement trait `CurveAffine`:
[INFO] [stdout]               EpAffine
[INFO] [stdout]               EqAffine
[INFO] [stdout] note: required by a bound in `Challenge255`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/halo2_proofs-0.3.0/src/transcript.rs:273:28
[INFO] [stdout]     |
[INFO] [stdout] 273 | pub struct Challenge255<C: CurveAffine>([u8; 32], PhantomData<C>);
[INFO] [stdout]     |                            ^^^^^^^^^^^ required by this bound in `Challenge255`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `Fp: CurveAffine` is not satisfied
[INFO] [stdout]    --> src/main.rs:30:26
[INFO] [stdout]     |
[INFO] [stdout]  30 |     let mut transcript = Blake2bWrite::<_, _, Challenge255<Fp>>::init(vec![]);
[INFO] [stdout]     |                          ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `CurveAffine` is not implemented for `Fp`
[INFO] [stdout]     |
[INFO] [stdout]     = help: the following other types implement trait `CurveAffine`:
[INFO] [stdout]               EpAffine
[INFO] [stdout]               EqAffine
[INFO] [stdout] note: required by a bound in `Challenge255`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/halo2_proofs-0.3.0/src/transcript.rs:273:28
[INFO] [stdout]     |
[INFO] [stdout] 273 | pub struct Challenge255<C: CurveAffine>([u8; 32], PhantomData<C>);
[INFO] [stdout]     |                            ^^^^^^^^^^^ required by this bound in `Challenge255`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0599]: the function or associated item `init` exists for struct `Blake2bWrite<_, Fp, Challenge255<Fp>>`, but its trait bounds were not satisfied
[INFO] [stdout]    --> src/main.rs:30:66
[INFO] [stdout]     |
[INFO] [stdout]  30 |     let mut transcript = Blake2bWrite::<_, _, Challenge255<Fp>>::init(vec![]);
[INFO] [stdout]     |                                                                  ^^^^ function or associated item cannot be called on `Blake2bWrite<_, Fp, Challenge255<Fp>>` due to unsatisfied trait bounds
[INFO] [stdout]     |
[INFO] [stdout]    ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/halo2_proofs-0.3.0/src/transcript.rs:273:1
[INFO] [stdout]     |
[INFO] [stdout] 273 | pub struct Challenge255<C: CurveAffine>([u8; 32], PhantomData<C>);
[INFO] [stdout]     | --------------------------------------- doesn't satisfy `Challenge255<Fp>: EncodedChallenge<Fp>`
[INFO] [stdout]     |
[INFO] [stdout]    ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/pasta_curves-0.5.1/src/fields/fp.rs:29:1
[INFO] [stdout]     |
[INFO] [stdout]  29 | pub struct Fp(pub(crate) [u64; 4]);
[INFO] [stdout]     | ------------- doesn't satisfy `Fp: CurveAffine` or `Fp: PrimeCurveAffine`
[INFO] [stdout]     |
[INFO] [stdout]     = note: the following trait bounds were not satisfied:
[INFO] [stdout]             `Fp: CurveAffine`
[INFO] [stdout]             `Fp: PrimeCurveAffine`
[INFO] [stdout]             which is required by `Challenge255<Fp>: EncodedChallenge<Fp>`
[INFO] [stdout]     = help: items from traits can only be used if the trait is in scope
[INFO] [stdout] help: trait `Pointable` which provides `init` is implemented but not in scope; perhaps you want to import it
[INFO] [stdout]     |
[INFO] [stdout]   1 + use crossbeam_epoch::atomic::Pointable;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `Fp: CurveAffine` is not satisfied
[INFO] [stdout]   --> src/main.rs:31:5
[INFO] [stdout]    |
[INFO] [stdout] 31 |     create_proof(&params, &pk, &[circuit], &[&[]], OsRng, &mut transcript)
[INFO] [stdout]    |     ^^^^^^^^^^^^ the trait `CurveAffine` is not implemented for `Fp`
[INFO] [stdout]    |
[INFO] [stdout]    = help: the following other types implement trait `CurveAffine`:
[INFO] [stdout]              EpAffine
[INFO] [stdout]              EqAffine
[INFO] [stdout] note: required by a bound in `halo2_proofs::plonk::create_proof`
[INFO] [stdout]   --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/halo2_proofs-0.3.0/src/plonk/prover.rs:36:8
[INFO] [stdout]    |
[INFO] [stdout] 35 | pub fn create_proof<
[INFO] [stdout]    |        ------------ required by a bound in this function
[INFO] [stdout] 36 |     C: CurveAffine,
[INFO] [stdout]    |        ^^^^^^^^^^^ required by this bound in `create_proof`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `Fp: PrimeCurveAffine` is not satisfied
[INFO] [stdout]   --> src/main.rs:31:5
[INFO] [stdout]    |
[INFO] [stdout] 31 |     create_proof(&params, &pk, &[circuit], &[&[]], OsRng, &mut transcript)
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `PrimeCurveAffine` is not implemented for `Fp`
[INFO] [stdout]    |
[INFO] [stdout]    = help: the following other types implement trait `PrimeCurveAffine`:
[INFO] [stdout]              EpAffine
[INFO] [stdout]              EqAffine
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `Fp: CurveAffine` is not satisfied
[INFO] [stdout]   --> src/main.rs:38:13
[INFO] [stdout]    |
[INFO] [stdout] 38 |     assert!(verify_proof(&params, &vk, &mut transcript, &[&[]],).is_ok());
[INFO] [stdout]    |             ^^^^^^^^^^^^ the trait `CurveAffine` is not implemented for `Fp`
[INFO] [stdout]    |
[INFO] [stdout]    = help: the following other types implement trait `CurveAffine`:
[INFO] [stdout]              EpAffine
[INFO] [stdout]              EqAffine
[INFO] [stdout] note: required by a bound in `halo2_proofs::plonk::verify_proof`
[INFO] [stdout]   --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/halo2_proofs-0.3.0/src/plonk/verifier.rs:69:8
[INFO] [stdout]    |
[INFO] [stdout] 67 | pub fn verify_proof<
[INFO] [stdout]    |        ------------ required by a bound in this function
[INFO] [stdout] 68 |     'params,
[INFO] [stdout] 69 |     C: CurveAffine,
[INFO] [stdout]    |        ^^^^^^^^^^^ required by this bound in `verify_proof`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `Fp: PrimeCurveAffine` is not satisfied
[INFO] [stdout]   --> src/main.rs:38:13
[INFO] [stdout]    |
[INFO] [stdout] 38 |     assert!(verify_proof(&params, &vk, &mut transcript, &[&[]],).is_ok());
[INFO] [stdout]    |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `PrimeCurveAffine` is not implemented for `Fp`
[INFO] [stdout]    |
[INFO] [stdout]    = help: the following other types implement trait `PrimeCurveAffine`:
[INFO] [stdout]              EpAffine
[INFO] [stdout]              EqAffine
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0061]: this function takes 5 arguments but 4 arguments were supplied
[INFO] [stdout]   --> src/main.rs:38:13
[INFO] [stdout]    |
[INFO] [stdout] 38 |     assert!(verify_proof(&params, &vk, &mut transcript, &[&[]],).is_ok());
[INFO] [stdout]    |             ^^^^^^^^^^^^---------------------------------------- argument #5 of type `&mut _` is missing
[INFO] [stdout]    |
[INFO] [stdout] note: function defined here
[INFO] [stdout]   --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/halo2_proofs-0.3.0/src/plonk/verifier.rs:67:8
[INFO] [stdout]    |
[INFO] [stdout] 67 | pub fn verify_proof<
[INFO] [stdout]    |        ^^^^^^^^^^^^
[INFO] [stdout] help: provide the argument
[INFO] [stdout]    |
[INFO] [stdout] 38 |     assert!(verify_proof(&params, &vk, &mut transcript, &[&[]], /* transcript */).is_ok());
[INFO] [stdout]    |                                                                 ++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0599]: the function or associated item `init` exists for struct `Blake2bWrite<_, Fp, Challenge255<Fp>>`, but its trait bounds were not satisfied
[INFO] [stdout]    --> src/main.rs:30:66
[INFO] [stdout]     |
[INFO] [stdout]  30 |     let mut transcript = Blake2bWrite::<_, _, Challenge255<Fp>>::init(vec![]);
[INFO] [stdout]     |                                                                  ^^^^ function or associated item cannot be called on `Blake2bWrite<_, Fp, Challenge255<Fp>>` due to unsatisfied trait bounds
[INFO] [stdout]     |
[INFO] [stdout]    ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/halo2_proofs-0.3.0/src/transcript.rs:273:1
[INFO] [stdout]     |
[INFO] [stdout] 273 | pub struct Challenge255<C: CurveAffine>([u8; 32], PhantomData<C>);
[INFO] [stdout]     | --------------------------------------- doesn't satisfy `Challenge255<Fp>: EncodedChallenge<Fp>`
[INFO] [stdout]     |
[INFO] [stdout]    ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/pasta_curves-0.5.1/src/fields/fp.rs:29:1
[INFO] [stdout]     |
[INFO] [stdout]  29 | pub struct Fp(pub(crate) [u64; 4]);
[INFO] [stdout]     | ------------- doesn't satisfy `Fp: CurveAffine` or `Fp: PrimeCurveAffine`
[INFO] [stdout]     |
[INFO] [stdout]     = note: the following trait bounds were not satisfied:
[INFO] [stdout]             `Fp: CurveAffine`
[INFO] [stdout]             `Fp: PrimeCurveAffine`
[INFO] [stdout]             which is required by `Challenge255<Fp>: EncodedChallenge<Fp>`
[INFO] [stdout]     = help: items from traits can only be used if the trait is in scope
[INFO] [stdout] help: trait `Pointable` which provides `init` is implemented but not in scope; perhaps you want to import it
[INFO] [stdout]     |
[INFO] [stdout]   1 + use crossbeam_epoch::atomic::Pointable;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `Fp: CurveAffine` is not satisfied
[INFO] [stdout]   --> src/main.rs:31:5
[INFO] [stdout]    |
[INFO] [stdout] 31 |     create_proof(&params, &pk, &[circuit], &[&[]], OsRng, &mut transcript)
[INFO] [stdout]    |     ^^^^^^^^^^^^ the trait `CurveAffine` is not implemented for `Fp`
[INFO] [stdout]    |
[INFO] [stdout]    = help: the following other types implement trait `CurveAffine`:
[INFO] [stdout]              EpAffine
[INFO] [stdout]              EqAffine
[INFO] [stdout] note: required by a bound in `halo2_proofs::plonk::create_proof`
[INFO] [stdout]   --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/halo2_proofs-0.3.0/src/plonk/prover.rs:36:8
[INFO] [stdout]    |
[INFO] [stdout] 35 | pub fn create_proof<
[INFO] [stdout]    |        ------------ required by a bound in this function
[INFO] [stdout] 36 |     C: CurveAffine,
[INFO] [stdout]    |        ^^^^^^^^^^^ required by this bound in `create_proof`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `Fp: PrimeCurveAffine` is not satisfied
[INFO] [stdout]   --> src/main.rs:31:5
[INFO] [stdout]    |
[INFO] [stdout] 31 |     create_proof(&params, &pk, &[circuit], &[&[]], OsRng, &mut transcript)
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `PrimeCurveAffine` is not implemented for `Fp`
[INFO] [stdout]    |
[INFO] [stdout]    = help: the following other types implement trait `PrimeCurveAffine`:
[INFO] [stdout]              EpAffine
[INFO] [stdout]              EqAffine
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `Fp: CurveAffine` is not satisfied
[INFO] [stdout]   --> src/main.rs:38:13
[INFO] [stdout]    |
[INFO] [stdout] 38 |     assert!(verify_proof(&params, &vk, &mut transcript, &[&[]],).is_ok());
[INFO] [stdout]    |             ^^^^^^^^^^^^ the trait `CurveAffine` is not implemented for `Fp`
[INFO] [stdout]    |
[INFO] [stdout]    = help: the following other types implement trait `CurveAffine`:
[INFO] [stdout]              EpAffine
[INFO] [stdout]              EqAffine
[INFO] [stdout] note: required by a bound in `halo2_proofs::plonk::verify_proof`
[INFO] [stdout]   --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/halo2_proofs-0.3.0/src/plonk/verifier.rs:69:8
[INFO] [stdout]    |
[INFO] [stdout] 67 | pub fn verify_proof<
[INFO] [stdout]    |        ------------ required by a bound in this function
[INFO] [stdout] 68 |     'params,
[INFO] [stdout] 69 |     C: CurveAffine,
[INFO] [stdout]    |        ^^^^^^^^^^^ required by this bound in `verify_proof`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `Fp: PrimeCurveAffine` is not satisfied
[INFO] [stdout]   --> src/main.rs:38:13
[INFO] [stdout]    |
[INFO] [stdout] 38 |     assert!(verify_proof(&params, &vk, &mut transcript, &[&[]],).is_ok());
[INFO] [stdout]    |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `PrimeCurveAffine` is not implemented for `Fp`
[INFO] [stdout]    |
[INFO] [stdout]    = help: the following other types implement trait `PrimeCurveAffine`:
[INFO] [stdout]              EpAffine
[INFO] [stdout]              EqAffine
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0061]: this function takes 5 arguments but 4 arguments were supplied
[INFO] [stdout]   --> src/main.rs:38:13
[INFO] [stdout]    |
[INFO] [stdout] 38 |     assert!(verify_proof(&params, &vk, &mut transcript, &[&[]],).is_ok());
[INFO] [stdout]    |             ^^^^^^^^^^^^---------------------------------------- argument #5 of type `&mut _` is missing
[INFO] [stdout]    |
[INFO] [stdout] note: function defined here
[INFO] [stdout]   --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/halo2_proofs-0.3.0/src/plonk/verifier.rs:67:8
[INFO] [stdout]    |
[INFO] [stdout] 67 | pub fn verify_proof<
[INFO] [stdout]    |        ^^^^^^^^^^^^
[INFO] [stdout] help: provide the argument
[INFO] [stdout]    |
[INFO] [stdout] 38 |     assert!(verify_proof(&params, &vk, &mut transcript, &[&[]], /* transcript */).is_ok());
[INFO] [stdout]    |                                                                 ++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `Fp: PrimeCurveAffine` is not satisfied
[INFO] [stdout]   --> src/main.rs:31:44
[INFO] [stdout]    |
[INFO] [stdout] 31 |     create_proof(&params, &pk, &[circuit], &[&[]], OsRng, &mut transcript)
[INFO] [stdout]    |                                            ^^^^^^ the trait `PrimeCurveAffine` is not implemented for `Fp`
[INFO] [stdout]    |
[INFO] [stdout]    = help: the following other types implement trait `PrimeCurveAffine`:
[INFO] [stdout]              EpAffine
[INFO] [stdout]              EqAffine
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `Fp: PrimeCurveAffine` is not satisfied
[INFO] [stdout]   --> src/main.rs:31:44
[INFO] [stdout]    |
[INFO] [stdout] 31 |     create_proof(&params, &pk, &[circuit], &[&[]], OsRng, &mut transcript)
[INFO] [stdout]    |                                            ^^^^^^ the trait `PrimeCurveAffine` is not implemented for `Fp`
[INFO] [stdout]    |
[INFO] [stdout]    = help: the following other types implement trait `PrimeCurveAffine`:
[INFO] [stdout]              EpAffine
[INFO] [stdout]              EqAffine
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] Some errors have detailed explanations: E0061, E0277, E0308, E0432, E0599.
[INFO] [stdout] 
[INFO] [stdout] For more information about an error, try `rustc --explain E0061`.
[INFO] [stdout] 
[INFO] [stdout] Some errors have detailed explanations: E0061, E0277, E0308, E0432, E0599.
[INFO] [stdout] 
[INFO] [stdout] For more information about an error, try `rustc --explain E0061`.
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `halo2_voting` (bin "halo2_voting") due to 24 previous errors; 2 warnings emitted
[INFO] [stderr] warning: build failed, waiting for other jobs to finish...
[INFO] [stderr] error: could not compile `halo2_voting` (bin "halo2_voting" test) due to 24 previous errors; 2 warnings emitted
[INFO] running `Command { std: "docker" "inspect" "289044868c1a55c95a96c15a9b81b4c8721d1066a348c25f26e3f01c56d9e7f8", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "289044868c1a55c95a96c15a9b81b4c8721d1066a348c25f26e3f01c56d9e7f8", kill_on_drop: false }`
[INFO] [stdout] 289044868c1a55c95a96c15a9b81b4c8721d1066a348c25f26e3f01c56d9e7f8
