[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` [INFO] [stdout] | [INFO] [stdout] = note: expected struct `Value<_>` [INFO] [stdout] found enum `Result` [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` [INFO] [stdout] | [INFO] [stdout] = note: expected struct `Value<_>` [INFO] [stdout] found enum `Result` [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`, found integer [INFO] [stdout] | | [INFO] [stdout] | arguments to this method are incorrect [INFO] [stdout] | [INFO] [stdout] = note: expected struct `halo2_proofs::plonk::Column` [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`, found integer [INFO] [stdout] | | [INFO] [stdout] | arguments to this method are incorrect [INFO] [stdout] | [INFO] [stdout] = note: expected struct `halo2_proofs::plonk::Column` [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` [INFO] [stdout] | [INFO] [stdout] = note: expected struct `Value<_>` [INFO] [stdout] found enum `Result` [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` [INFO] [stdout] | [INFO] [stdout] = note: expected struct `Value<_>` [INFO] [stdout] found enum `Result` [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`, found integer [INFO] [stdout] | | [INFO] [stdout] | arguments to this method are incorrect [INFO] [stdout] | [INFO] [stdout] = note: expected struct `halo2_proofs::plonk::Column` [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`, found integer [INFO] [stdout] | | [INFO] [stdout] | arguments to this method are incorrect [INFO] [stdout] | [INFO] [stdout] = note: expected struct `halo2_proofs::plonk::Column` [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 = 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 { [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 = 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 { [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 = 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 { [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 = 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 { [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 = 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::::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 Params { [INFO] [stdout] | ^^^^^^^^^^^ required by this bound in `Params::::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 = 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::::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 Params { [INFO] [stdout] | ^^^^^^^^^^^ required by this bound in `Params::::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(¶ms, &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( [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(¶ms, &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(¶ms, &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( [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(¶ms, &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, 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(¶ms, &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 { [INFO] [stdout] | --------------------------------------- doesn't satisfy `VerifyingKey: 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: Sized` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0599]: the method `expect` exists for enum `Result, 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(¶ms, &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 { [INFO] [stdout] | --------------------------------------- doesn't satisfy `VerifyingKey: 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: 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(¶ms, &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 { [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(¶ms, 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( [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(¶ms, 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(¶ms, 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 { [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(¶ms, &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 { [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(¶ms, 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( [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(¶ms, 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(¶ms, 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 { [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>::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([u8; 32], PhantomData); [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>::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([u8; 32], PhantomData); [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>`, but its trait bounds were not satisfied [INFO] [stdout] --> src/main.rs:30:66 [INFO] [stdout] | [INFO] [stdout] 30 | let mut transcript = Blake2bWrite::<_, _, Challenge255>::init(vec![]); [INFO] [stdout] | ^^^^ function or associated item cannot be called on `Blake2bWrite<_, Fp, Challenge255>` 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([u8; 32], PhantomData); [INFO] [stdout] | --------------------------------------- doesn't satisfy `Challenge255: EncodedChallenge` [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: EncodedChallenge` [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(¶ms, &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(¶ms, &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(¶ms, &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(¶ms, &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(¶ms, &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(¶ms, &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>`, but its trait bounds were not satisfied [INFO] [stdout] --> src/main.rs:30:66 [INFO] [stdout] | [INFO] [stdout] 30 | let mut transcript = Blake2bWrite::<_, _, Challenge255>::init(vec![]); [INFO] [stdout] | ^^^^ function or associated item cannot be called on `Blake2bWrite<_, Fp, Challenge255>` 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([u8; 32], PhantomData); [INFO] [stdout] | --------------------------------------- doesn't satisfy `Challenge255: EncodedChallenge` [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: EncodedChallenge` [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(¶ms, &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(¶ms, &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(¶ms, &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(¶ms, &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(¶ms, &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(¶ms, &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(¶ms, &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(¶ms, &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