[INFO] cloning repository https://github.com/yczhangsjtu/voproof-rust [INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/yczhangsjtu/voproof-rust" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fyczhangsjtu%2Fvoproof-rust", kill_on_drop: false }` [INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fyczhangsjtu%2Fvoproof-rust'... [INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }` [INFO] [stdout] 73b0fe6d915fcc8620334ce0d7508f73ee7f3b67 [INFO] checking yczhangsjtu/voproof-rust against try#b6bca0d7327839b5e3f7a7779947cb9113d08917+rustflags=-Zstrict-projection-item-bounds for 150662-leaf [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fyczhangsjtu%2Fvoproof-rust" "/workspace/builds/worker-6-tc2/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-6-tc2/source'... [INFO] [stderr] done. [INFO] removed /workspace/builds/worker-6-tc2/source/rust-toolchain [INFO] started tweaking git repo https://github.com/yczhangsjtu/voproof-rust [INFO] finished tweaking git repo https://github.com/yczhangsjtu/voproof-rust [INFO] tweaked toml for git repo https://github.com/yczhangsjtu/voproof-rust written to /workspace/builds/worker-6-tc2/source/Cargo.toml [INFO] validating manifest of git repo https://github.com/yczhangsjtu/voproof-rust on toolchain b6bca0d7327839b5e3f7a7779947cb9113d08917 [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+b6bca0d7327839b5e3f7a7779947cb9113d08917" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] crate git repo https://github.com/yczhangsjtu/voproof-rust 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" "+b6bca0d7327839b5e3f7a7779947cb9113d08917" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] [stderr] warning: /workspace/builds/worker-6-tc2/source/voproof/Cargo.toml: unused manifest key: tests [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+b6bca0d7327839b5e3f7a7779947cb9113d08917" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] 6d7b6178680614b8aa986e1238b22e0a633f8bcddcf6318e5ee6416a8935ca98 [INFO] running `Command { std: "docker" "start" "-a" "6d7b6178680614b8aa986e1238b22e0a633f8bcddcf6318e5ee6416a8935ca98", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "6d7b6178680614b8aa986e1238b22e0a633f8bcddcf6318e5ee6416a8935ca98", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "6d7b6178680614b8aa986e1238b22e0a633f8bcddcf6318e5ee6416a8935ca98", kill_on_drop: false }` [INFO] [stdout] 6d7b6178680614b8aa986e1238b22e0a633f8bcddcf6318e5ee6416a8935ca98 [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 -Zstrict-projection-item-bounds" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+b6bca0d7327839b5e3f7a7779947cb9113d08917" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 773fb4c24af9beecb911c66662ea27429224a37b0dcf64073a70316082832421 [INFO] running `Command { std: "docker" "start" "-a" "773fb4c24af9beecb911c66662ea27429224a37b0dcf64073a70316082832421", kill_on_drop: false }` [INFO] [stderr] warning: /opt/rustwide/workdir/voproof/Cargo.toml: unused manifest key: tests [INFO] [stderr] Compiling proc-macro2 v1.0.81 [INFO] [stderr] Compiling autocfg v1.2.0 [INFO] [stderr] Compiling typenum v1.17.0 [INFO] [stderr] Compiling syn v1.0.109 [INFO] [stderr] Compiling crossbeam-utils v0.8.19 [INFO] [stderr] Compiling rayon-core v1.12.1 [INFO] [stderr] Checking either v1.11.0 [INFO] [stderr] Checking ppv-lite86 v0.2.17 [INFO] [stderr] Checking rand_core v0.6.4 [INFO] [stderr] Compiling paste v1.0.14 [INFO] [stderr] Compiling thiserror v1.0.59 [INFO] [stderr] Checking subtle v2.5.0 [INFO] [stderr] Compiling generic-array v0.14.7 [INFO] [stderr] Compiling memchr v2.7.2 [INFO] [stderr] Compiling ucd-trie v0.1.6 [INFO] [stderr] Checking tracing-core v0.1.32 [INFO] [stderr] Checking pin-project-lite v0.2.14 [INFO] [stderr] Compiling ahash v0.8.11 [INFO] [stderr] Checking zerocopy v0.7.32 [INFO] [stderr] Compiling libc v0.2.153 [INFO] [stderr] Checking itertools v0.10.5 [INFO] [stderr] Compiling ahash v0.7.8 [INFO] [stderr] Checking cpufeatures v0.2.12 [INFO] [stderr] Compiling num-traits v0.2.18 [INFO] [stderr] Compiling num-bigint v0.4.4 [INFO] [stderr] Checking hashbrown v0.13.2 [INFO] [stderr] Checking tracing-subscriber v0.2.25 [INFO] [stderr] Checking rand_chacha v0.3.1 [INFO] [stderr] Checking rand v0.8.5 [INFO] [stderr] Compiling quote v1.0.36 [INFO] [stderr] Checking crossbeam-epoch v0.9.18 [INFO] [stderr] Compiling syn v2.0.60 [INFO] [stderr] Checking getrandom v0.2.14 [INFO] [stderr] Checking crossbeam-deque v0.8.5 [INFO] [stderr] Checking hashbrown v0.11.2 [INFO] [stderr] Checking num-integer v0.1.46 [INFO] [stderr] Checking rayon v1.10.0 [INFO] [stderr] Checking block-buffer v0.10.4 [INFO] [stderr] Checking crypto-common v0.1.6 [INFO] [stderr] Checking digest v0.9.0 [INFO] [stderr] Checking digest v0.10.7 [INFO] [stderr] Checking sha2 v0.10.8 [INFO] [stderr] Checking blake2 v0.10.6 [INFO] [stderr] Checking ark-std v0.4.0 [INFO] [stderr] Checking ark-std v0.3.0 [INFO] [stderr] Compiling derivative v2.2.0 [INFO] [stderr] Compiling ark-serialize-derive v0.4.2 [INFO] [stderr] Compiling ark-ff-macros v0.4.2 [INFO] [stderr] Compiling ark-ff-asm v0.4.2 [INFO] [stderr] Compiling ark-serialize-derive v0.3.0 [INFO] [stderr] Compiling ark-ff-asm v0.3.0 [INFO] [stderr] Compiling ark-ff-macros v0.3.0 [INFO] [stderr] Checking ark-serialize v0.3.0 [INFO] [stderr] Checking ark-serialize v0.4.2 [INFO] [stderr] Compiling zeroize_derive v1.4.2 [INFO] [stderr] Compiling thiserror-impl v1.0.59 [INFO] [stderr] Compiling tracing-attributes v0.1.27 [INFO] [stderr] Checking zeroize v1.7.0 [INFO] [stderr] Compiling pest v2.7.9 [INFO] [stderr] Checking ark-ff v0.4.2 [INFO] [stderr] Checking tracing v0.1.40 [INFO] [stderr] Compiling semver-parser v0.10.2 [INFO] [stderr] Compiling semver v0.11.0 [INFO] [stderr] Compiling rustc_version v0.3.3 [INFO] [stderr] Compiling ark-ff v0.3.0 [INFO] [stderr] Checking ark-poly v0.4.2 [INFO] [stderr] Checking ark-relations v0.4.0 [INFO] [stderr] Checking ark-snark v0.4.0 [INFO] [stderr] Checking ark-ec v0.4.2 [INFO] [stderr] Checking ark-r1cs-std v0.4.0 [INFO] [stderr] Checking ark-bls12-381 v0.4.0 [INFO] [stderr] Checking ark-bls12-377 v0.4.0 [INFO] [stderr] Checking ark-ed-on-bls12-381 v0.4.0 [INFO] [stderr] Checking ark-relations v0.3.0 [INFO] [stderr] Checking ark-ec v0.3.0 [INFO] [stderr] Checking ark-poly v0.3.0 [INFO] [stderr] Checking ark-r1cs-std v0.3.1 [INFO] [stderr] Checking ark-crypto-primitives v0.4.0 [INFO] [stderr] Checking ark-nonnative-field v0.3.0 [INFO] [stderr] Checking ark-poly-commit v0.4.0 [INFO] [stderr] Checking ark-groth16 v0.4.0 [INFO] [stderr] Checking ark-poly-commit v0.3.0 [INFO] [stderr] Checking ark-sponge v0.3.0 [INFO] [stderr] Checking ark-marlin v0.3.0 [INFO] [stderr] Checking voproof v0.2.0 (/opt/rustwide/workdir/voproof) [INFO] [stdout] warning: unnecessary parentheses around assigned value [INFO] [stdout] --> voproof/src/snarks/range_check.rs:47:11 [INFO] [stdout] | [INFO] [stdout] 47 | (max!((size.lookup_size as i64), (size.range as i64))) as usize [INFO] [stdout] | ^ ^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_parens)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] help: remove these parentheses [INFO] [stdout] | [INFO] [stdout] 47 - (max!((size.lookup_size as i64), (size.range as i64))) as usize [INFO] [stdout] 47 + (max!(size.lookup_size as i64, (size.range as i64))) as usize [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unnecessary parentheses around assigned value [INFO] [stdout] --> voproof/src/snarks/range_check.rs:47:38 [INFO] [stdout] | [INFO] [stdout] 47 | (max!((size.lookup_size as i64), (size.range as i64))) as usize [INFO] [stdout] | ^ ^ [INFO] [stdout] | [INFO] [stdout] help: remove these parentheses [INFO] [stdout] | [INFO] [stdout] 47 - (max!((size.lookup_size as i64), (size.range as i64))) as usize [INFO] [stdout] 47 + (max!((size.lookup_size as i64), size.range as i64)) as usize [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unnecessary parentheses around closure body [INFO] [stdout] --> voproof/src/snarks/range_check.rs:173:18 [INFO] [stdout] | [INFO] [stdout] 173 | .map(|x| (*x + beta)) [INFO] [stdout] | ^ ^ [INFO] [stdout] | [INFO] [stdout] help: remove these parentheses [INFO] [stdout] | [INFO] [stdout] 173 - .map(|x| (*x + beta)) [INFO] [stdout] 173 + .map(|x| *x + beta) [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unnecessary parentheses around closure body [INFO] [stdout] --> voproof/src/snarks/range_check.rs:190:18 [INFO] [stdout] | [INFO] [stdout] 190 | .map(|x| (*x + beta)) [INFO] [stdout] | ^ ^ [INFO] [stdout] | [INFO] [stdout] help: remove these parentheses [INFO] [stdout] | [INFO] [stdout] 190 - .map(|x| (*x + beta)) [INFO] [stdout] 190 + .map(|x| *x + beta) [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unnecessary parentheses around assigned value [INFO] [stdout] --> voproof/src/snarks/range_check.rs:47:11 [INFO] [stdout] | [INFO] [stdout] 47 | (max!((size.lookup_size as i64), (size.range as i64))) as usize [INFO] [stdout] | ^ ^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_parens)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] help: remove these parentheses [INFO] [stdout] | [INFO] [stdout] 47 - (max!((size.lookup_size as i64), (size.range as i64))) as usize [INFO] [stdout] 47 + (max!(size.lookup_size as i64, (size.range as i64))) as usize [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unnecessary parentheses around assigned value [INFO] [stdout] --> voproof/src/snarks/range_check.rs:47:38 [INFO] [stdout] | [INFO] [stdout] 47 | (max!((size.lookup_size as i64), (size.range as i64))) as usize [INFO] [stdout] | ^ ^ [INFO] [stdout] | [INFO] [stdout] help: remove these parentheses [INFO] [stdout] | [INFO] [stdout] 47 - (max!((size.lookup_size as i64), (size.range as i64))) as usize [INFO] [stdout] 47 + (max!((size.lookup_size as i64), size.range as i64)) as usize [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unnecessary parentheses around closure body [INFO] [stdout] --> voproof/src/snarks/range_check.rs:173:18 [INFO] [stdout] | [INFO] [stdout] 173 | .map(|x| (*x + beta)) [INFO] [stdout] | ^ ^ [INFO] [stdout] | [INFO] [stdout] help: remove these parentheses [INFO] [stdout] | [INFO] [stdout] 173 - .map(|x| (*x + beta)) [INFO] [stdout] 173 + .map(|x| *x + beta) [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unnecessary parentheses around closure body [INFO] [stdout] --> voproof/src/snarks/range_check.rs:190:18 [INFO] [stdout] | [INFO] [stdout] 190 | .map(|x| (*x + beta)) [INFO] [stdout] | ^ ^ [INFO] [stdout] | [INFO] [stdout] help: remove these parentheses [INFO] [stdout] | [INFO] [stdout] 190 - .map(|x| (*x + beta)) [INFO] [stdout] 190 + .map(|x| *x + beta) [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::G1Affine: Neg` is not satisfied [INFO] [stdout] --> voproof/src/kzg/mod.rs:69:46 [INFO] [stdout] | [INFO] [stdout] 69 | let powers_of_g = E::G1::normalize_batch(&powers_of_g); [INFO] [stdout] | ---------------------- ^^^^^^^^^^^^ the trait `Neg` is not implemented for `::G1Affine` [INFO] [stdout] | | [INFO] [stdout] | required by a bound introduced by this call [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `normalize_batch` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11 [INFO] [stdout] | [INFO] [stdout] 41 | + Neg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::normalize_batch` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:154:8 [INFO] [stdout] | [INFO] [stdout] 154 | fn normalize_batch(v: &[Self]) -> Vec; [INFO] [stdout] | --------------- required by a bound in this associated function [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] | [INFO] [stdout] 43 | pub fn setup(max_degree: usize, rng: &mut R) -> Result, Error> where ::G1Affine: Neg { [INFO] [stdout] | +++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::G2Affine: Neg` is not satisfied [INFO] [stdout] --> voproof/src/kzg/mod.rs:70:15 [INFO] [stdout] | [INFO] [stdout] 70 | let h = h.into_affine(); [INFO] [stdout] | ^^^^^^^^^^^ the trait `Neg` is not implemented for `::G2Affine` [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `into_affine` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11 [INFO] [stdout] | [INFO] [stdout] 41 | + Neg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::into_affine` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:157:8 [INFO] [stdout] | [INFO] [stdout] 157 | fn into_affine(self) -> Self::Affine { [INFO] [stdout] | ----------- required by a bound in this associated function [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] | [INFO] [stdout] 43 | pub fn setup(max_degree: usize, rng: &mut R) -> Result, Error> where ::G2Affine: Neg { [INFO] [stdout] | +++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::G2Affine: Neg` is not satisfied [INFO] [stdout] --> voproof/src/kzg/mod.rs:71:30 [INFO] [stdout] | [INFO] [stdout] 71 | let beta_h = h.mul(beta).into_affine(); [INFO] [stdout] | ^^^^^^^^^^^ the trait `Neg` is not implemented for `::G2Affine` [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `into_affine` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11 [INFO] [stdout] | [INFO] [stdout] 41 | + Neg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::into_affine` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:157:8 [INFO] [stdout] | [INFO] [stdout] 157 | fn into_affine(self) -> Self::Affine { [INFO] [stdout] | ----------- required by a bound in this associated function [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] | [INFO] [stdout] 43 | pub fn setup(max_degree: usize, rng: &mut R) -> Result, Error> where ::G2Affine: Neg { [INFO] [stdout] | +++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::G1Affine: Neg` is not satisfied [INFO] [stdout] --> voproof/src/kzg/mod.rs:184:21 [INFO] [stdout] | [INFO] [stdout] 184 | Ok(Proof { w: w.into_affine() }) [INFO] [stdout] | ^^^^^^^^^^^ the trait `Neg` is not implemented for `::G1Affine` [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `into_affine` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11 [INFO] [stdout] | [INFO] [stdout] 41 | + Neg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::into_affine` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:157:8 [INFO] [stdout] | [INFO] [stdout] 157 | fn into_affine(self) -> Self::Affine { [INFO] [stdout] | ----------- required by a bound in this associated function [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] | [INFO] [stdout] 167 | ) -> Result, Error> where ::G1Affine: Neg { [INFO] [stdout] | +++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::G1Affine: Neg` is not satisfied [INFO] [stdout] --> voproof/src/kzg/mod.rs:335:27 [INFO] [stdout] | [INFO] [stdout] 335 | let point_f = point_f.into_affine(); [INFO] [stdout] | ^^^^^^^^^^^ the trait `Neg` is not implemented for `::G1Affine` [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `into_affine` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11 [INFO] [stdout] | [INFO] [stdout] 41 | + Neg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::into_affine` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:157:8 [INFO] [stdout] | [INFO] [stdout] 157 | fn into_affine(self) -> Self::Affine { [INFO] [stdout] | ----------- required by a bound in this associated function [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] | [INFO] [stdout] 302 | ) -> Result where ::G1Affine: Neg { [INFO] [stdout] | +++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::G1Affine: Neg` is not satisfied [INFO] [stdout] --> voproof/src/kzg/mod.rs:336:55 [INFO] [stdout] | [INFO] [stdout] 336 | let total_w = proof.w + proof_2.w.mul(randomizer).into_affine(); [INFO] [stdout] | ^^^^^^^^^^^ the trait `Neg` is not implemented for `::G1Affine` [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `into_affine` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11 [INFO] [stdout] | [INFO] [stdout] 41 | + Neg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::into_affine` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:157:8 [INFO] [stdout] | [INFO] [stdout] 157 | fn into_affine(self) -> Self::Affine { [INFO] [stdout] | ----------- required by a bound in this associated function [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] | [INFO] [stdout] 302 | ) -> Result where ::G1Affine: Neg { [INFO] [stdout] | +++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::G1Affine: Neg` is not satisfied [INFO] [stdout] --> voproof/src/tools/mod.rs:140:6 [INFO] [stdout] | [INFO] [stdout] 140 | .into_affine(), [INFO] [stdout] | ^^^^^^^^^^^ the trait `Neg` is not implemented for `::G1Affine` [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `into_affine` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11 [INFO] [stdout] | [INFO] [stdout] 41 | + Neg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::into_affine` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:157:8 [INFO] [stdout] | [INFO] [stdout] 157 | fn into_affine(self) -> Self::Affine { [INFO] [stdout] | ----------- required by a bound in this associated function [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] | [INFO] [stdout] 134 | ) -> Commitment where ::G1Affine: Neg { [INFO] [stdout] | +++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::G1Affine: Neg` is not satisfied [INFO] [stdout] --> voproof/src/kzg/mod.rs:69:46 [INFO] [stdout] | [INFO] [stdout] 69 | let powers_of_g = E::G1::normalize_batch(&powers_of_g); [INFO] [stdout] | ---------------------- ^^^^^^^^^^^^ the trait `Neg` is not implemented for `::G1Affine` [INFO] [stdout] | | [INFO] [stdout] | required by a bound introduced by this call [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `normalize_batch` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11 [INFO] [stdout] | [INFO] [stdout] 41 | + Neg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::normalize_batch` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:154:8 [INFO] [stdout] | [INFO] [stdout] 154 | fn normalize_batch(v: &[Self]) -> Vec; [INFO] [stdout] | --------------- required by a bound in this associated function [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] | [INFO] [stdout] 43 | pub fn setup(max_degree: usize, rng: &mut R) -> Result, Error> where ::G1Affine: Neg { [INFO] [stdout] | +++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::G2Affine: Neg` is not satisfied [INFO] [stdout] --> voproof/src/kzg/mod.rs:70:15 [INFO] [stdout] | [INFO] [stdout] 70 | let h = h.into_affine(); [INFO] [stdout] | ^^^^^^^^^^^ the trait `Neg` is not implemented for `::G2Affine` [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `into_affine` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11 [INFO] [stdout] | [INFO] [stdout] 41 | + Neg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::into_affine` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:157:8 [INFO] [stdout] | [INFO] [stdout] 157 | fn into_affine(self) -> Self::Affine { [INFO] [stdout] | ----------- required by a bound in this associated function [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] | [INFO] [stdout] 43 | pub fn setup(max_degree: usize, rng: &mut R) -> Result, Error> where ::G2Affine: Neg { [INFO] [stdout] | +++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::G2Affine: Neg` is not satisfied [INFO] [stdout] --> voproof/src/kzg/mod.rs:71:30 [INFO] [stdout] | [INFO] [stdout] 71 | let beta_h = h.mul(beta).into_affine(); [INFO] [stdout] | ^^^^^^^^^^^ the trait `Neg` is not implemented for `::G2Affine` [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `into_affine` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11 [INFO] [stdout] | [INFO] [stdout] 41 | + Neg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::into_affine` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:157:8 [INFO] [stdout] | [INFO] [stdout] 157 | fn into_affine(self) -> Self::Affine { [INFO] [stdout] | ----------- required by a bound in this associated function [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] | [INFO] [stdout] 43 | pub fn setup(max_degree: usize, rng: &mut R) -> Result, Error> where ::G2Affine: Neg { [INFO] [stdout] | +++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::G1Affine: Neg` is not satisfied [INFO] [stdout] --> voproof/src/kzg/mod.rs:184:21 [INFO] [stdout] | [INFO] [stdout] 184 | Ok(Proof { w: w.into_affine() }) [INFO] [stdout] | ^^^^^^^^^^^ the trait `Neg` is not implemented for `::G1Affine` [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `into_affine` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11 [INFO] [stdout] | [INFO] [stdout] 41 | + Neg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::into_affine` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:157:8 [INFO] [stdout] | [INFO] [stdout] 157 | fn into_affine(self) -> Self::Affine { [INFO] [stdout] | ----------- required by a bound in this associated function [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] | [INFO] [stdout] 167 | ) -> Result, Error> where ::G1Affine: Neg { [INFO] [stdout] | +++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::G1Affine: Neg` is not satisfied [INFO] [stdout] --> voproof/src/kzg/mod.rs:335:27 [INFO] [stdout] | [INFO] [stdout] 335 | let point_f = point_f.into_affine(); [INFO] [stdout] | ^^^^^^^^^^^ the trait `Neg` is not implemented for `::G1Affine` [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `into_affine` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11 [INFO] [stdout] | [INFO] [stdout] 41 | + Neg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::into_affine` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:157:8 [INFO] [stdout] | [INFO] [stdout] 157 | fn into_affine(self) -> Self::Affine { [INFO] [stdout] | ----------- required by a bound in this associated function [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] | [INFO] [stdout] 302 | ) -> Result where ::G1Affine: Neg { [INFO] [stdout] | +++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::G1Affine: Neg` is not satisfied [INFO] [stdout] --> voproof/src/kzg/mod.rs:336:55 [INFO] [stdout] | [INFO] [stdout] 336 | let total_w = proof.w + proof_2.w.mul(randomizer).into_affine(); [INFO] [stdout] | ^^^^^^^^^^^ the trait `Neg` is not implemented for `::G1Affine` [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `into_affine` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11 [INFO] [stdout] | [INFO] [stdout] 41 | + Neg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::into_affine` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:157:8 [INFO] [stdout] | [INFO] [stdout] 157 | fn into_affine(self) -> Self::Affine { [INFO] [stdout] | ----------- required by a bound in this associated function [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] | [INFO] [stdout] 302 | ) -> Result where ::G1Affine: Neg { [INFO] [stdout] | +++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::G1Affine: Neg` is not satisfied [INFO] [stdout] --> voproof/src/tools/mod.rs:140:6 [INFO] [stdout] | [INFO] [stdout] 140 | .into_affine(), [INFO] [stdout] | ^^^^^^^^^^^ the trait `Neg` is not implemented for `::G1Affine` [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `into_affine` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11 [INFO] [stdout] | [INFO] [stdout] 41 | + Neg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::into_affine` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:157:8 [INFO] [stdout] | [INFO] [stdout] 157 | fn into_affine(self) -> Self::Affine { [INFO] [stdout] | ----------- required by a bound in this associated function [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] | [INFO] [stdout] 134 | ) -> Commitment where ::G1Affine: Neg { [INFO] [stdout] | +++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::G1Affine: Neg` is not satisfied [INFO] [stdout] --> voproof/src/tools/mod.rs:447:17 [INFO] [stdout] | [INFO] [stdout] 447 | / sum!( [INFO] [stdout] 448 | | $( ( $cm.0 ).mul($c) ),*, [INFO] [stdout] 449 | | commit_scalar!($vk, $one) [INFO] [stdout] 450 | | ) [INFO] [stdout] | |_________________^ the trait `Neg` is not implemented for `::G1Affine` [INFO] [stdout] 451 | .into_affine(), [INFO] [stdout] | ----------- required by a bound introduced by this call [INFO] [stdout] | [INFO] [stdout] ::: voproof/src/snarks/fibonacci.rs:905:5 [INFO] [stdout] | [INFO] [stdout] 905 | / define_commitment_linear_combination!( [INFO] [stdout] 906 | | cm_g, [INFO] [stdout] 907 | | vk, [INFO] [stdout] 908 | | c_17, [INFO] [stdout] ... | [INFO] [stdout] 916 | | c_25 [INFO] [stdout] 917 | | ); [INFO] [stdout] | |_____- in this macro invocation [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `into_affine` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11 [INFO] [stdout] | [INFO] [stdout] 41 | + Neg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::into_affine` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:157:8 [INFO] [stdout] | [INFO] [stdout] 157 | fn into_affine(self) -> Self::Affine { [INFO] [stdout] | ----------- required by a bound in this associated function [INFO] [stdout] = note: this error originates in the macro `commitment_linear_combination` which comes from the expansion of the macro `define_commitment_linear_combination` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] --> voproof/src/snarks/fibonacci.rs:106:83 [INFO] [stdout] | [INFO] [stdout] 106 | fn prove(pk: &Self::PK, x: &Self::Ins, w: &Self::Wit) -> Result where ::G1Affine: Neg { [INFO] [stdout] | +++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::G1Affine: Neg` is not satisfied [INFO] [stdout] --> voproof/src/tools/mod.rs:447:17 [INFO] [stdout] | [INFO] [stdout] 447 | / sum!( [INFO] [stdout] 448 | | $( ( $cm.0 ).mul($c) ),*, [INFO] [stdout] 449 | | commit_scalar!($vk, $one) [INFO] [stdout] 450 | | ) [INFO] [stdout] | |_________________^ the trait `Neg` is not implemented for `::G1Affine` [INFO] [stdout] 451 | .into_affine(), [INFO] [stdout] | ----------- required by a bound introduced by this call [INFO] [stdout] | [INFO] [stdout] ::: voproof/src/snarks/fibonacci.rs:1036:5 [INFO] [stdout] | [INFO] [stdout] 1036 | / define_commitment_linear_combination!( [INFO] [stdout] 1037 | | cm_g, [INFO] [stdout] 1038 | | vk, [INFO] [stdout] 1039 | | c_17, [INFO] [stdout] ... | [INFO] [stdout] 1047 | | c_25 [INFO] [stdout] 1048 | | ); [INFO] [stdout] | |_____- in this macro invocation [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `into_affine` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11 [INFO] [stdout] | [INFO] [stdout] 41 | + Neg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::into_affine` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:157:8 [INFO] [stdout] | [INFO] [stdout] 157 | fn into_affine(self) -> Self::Affine { [INFO] [stdout] | ----------- required by a bound in this associated function [INFO] [stdout] = note: this error originates in the macro `commitment_linear_combination` which comes from the expansion of the macro `define_commitment_linear_combination` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] --> voproof/src/snarks/fibonacci.rs:982:81 [INFO] [stdout] | [INFO] [stdout] 982 | fn verify(vk: &Self::VK, x: &Self::Ins, proof: &Self::Pf) -> Result<(), Error> where ::G1Affine: Neg { [INFO] [stdout] | +++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::G1Affine: Neg` is not satisfied [INFO] [stdout] --> voproof/src/tools/mod.rs:447:17 [INFO] [stdout] | [INFO] [stdout] 447 | / sum!( [INFO] [stdout] 448 | | $( ( $cm.0 ).mul($c) ),*, [INFO] [stdout] 449 | | commit_scalar!($vk, $one) [INFO] [stdout] 450 | | ) [INFO] [stdout] | |_________________^ the trait `Neg` is not implemented for `::G1Affine` [INFO] [stdout] 451 | .into_affine(), [INFO] [stdout] | ----------- required by a bound introduced by this call [INFO] [stdout] | [INFO] [stdout] ::: voproof/src/snarks/fibonacci.rs:905:5 [INFO] [stdout] | [INFO] [stdout] 905 | / define_commitment_linear_combination!( [INFO] [stdout] 906 | | cm_g, [INFO] [stdout] 907 | | vk, [INFO] [stdout] 908 | | c_17, [INFO] [stdout] ... | [INFO] [stdout] 916 | | c_25 [INFO] [stdout] 917 | | ); [INFO] [stdout] | |_____- in this macro invocation [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `into_affine` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11 [INFO] [stdout] | [INFO] [stdout] 41 | + Neg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::into_affine` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:157:8 [INFO] [stdout] | [INFO] [stdout] 157 | fn into_affine(self) -> Self::Affine { [INFO] [stdout] | ----------- required by a bound in this associated function [INFO] [stdout] = note: this error originates in the macro `commitment_linear_combination` which comes from the expansion of the macro `define_commitment_linear_combination` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] --> voproof/src/snarks/fibonacci.rs:106:83 [INFO] [stdout] | [INFO] [stdout] 106 | fn prove(pk: &Self::PK, x: &Self::Ins, w: &Self::Wit) -> Result where ::G1Affine: Neg { [INFO] [stdout] | +++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::G1Affine: Neg` is not satisfied [INFO] [stdout] --> voproof/src/tools/mod.rs:447:17 [INFO] [stdout] | [INFO] [stdout] 447 | / sum!( [INFO] [stdout] 448 | | $( ( $cm.0 ).mul($c) ),*, [INFO] [stdout] 449 | | commit_scalar!($vk, $one) [INFO] [stdout] 450 | | ) [INFO] [stdout] | |_________________^ the trait `Neg` is not implemented for `::G1Affine` [INFO] [stdout] 451 | .into_affine(), [INFO] [stdout] | ----------- required by a bound introduced by this call [INFO] [stdout] | [INFO] [stdout] ::: voproof/src/snarks/fibonacci.rs:1036:5 [INFO] [stdout] | [INFO] [stdout] 1036 | / define_commitment_linear_combination!( [INFO] [stdout] 1037 | | cm_g, [INFO] [stdout] 1038 | | vk, [INFO] [stdout] 1039 | | c_17, [INFO] [stdout] ... | [INFO] [stdout] 1047 | | c_25 [INFO] [stdout] 1048 | | ); [INFO] [stdout] | |_____- in this macro invocation [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `into_affine` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11 [INFO] [stdout] | [INFO] [stdout] 41 | + Neg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::into_affine` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:157:8 [INFO] [stdout] | [INFO] [stdout] 157 | fn into_affine(self) -> Self::Affine { [INFO] [stdout] | ----------- required by a bound in this associated function [INFO] [stdout] = note: this error originates in the macro `commitment_linear_combination` which comes from the expansion of the macro `define_commitment_linear_combination` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] --> voproof/src/snarks/fibonacci.rs:982:81 [INFO] [stdout] | [INFO] [stdout] 982 | fn verify(vk: &Self::VK, x: &Self::Ins, proof: &Self::Pf) -> Result<(), Error> where ::G1Affine: Neg { [INFO] [stdout] | +++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::G1Affine: Neg` is not satisfied [INFO] [stdout] --> voproof/src/tools/mod.rs:447:17 [INFO] [stdout] | [INFO] [stdout] 447 | / sum!( [INFO] [stdout] 448 | | $( ( $cm.0 ).mul($c) ),*, [INFO] [stdout] 449 | | commit_scalar!($vk, $one) [INFO] [stdout] 450 | | ) [INFO] [stdout] | |_________________^ the trait `Neg` is not implemented for `::G1Affine` [INFO] [stdout] 451 | .into_affine(), [INFO] [stdout] | ----------- required by a bound introduced by this call [INFO] [stdout] | [INFO] [stdout] ::: voproof/src/snarks/range_check.rs:1194:5 [INFO] [stdout] | [INFO] [stdout] 1194 | / define_commitment_linear_combination!( [INFO] [stdout] 1195 | | cm_g, [INFO] [stdout] 1196 | | vk, [INFO] [stdout] 1197 | | c_15, [INFO] [stdout] ... | [INFO] [stdout] 1209 | | c_30 [INFO] [stdout] 1210 | | ); [INFO] [stdout] | |_____- in this macro invocation [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `into_affine` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11 [INFO] [stdout] | [INFO] [stdout] 41 | + Neg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::into_affine` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:157:8 [INFO] [stdout] | [INFO] [stdout] 157 | fn into_affine(self) -> Self::Affine { [INFO] [stdout] | ----------- required by a bound in this associated function [INFO] [stdout] = note: this error originates in the macro `commitment_linear_combination` which comes from the expansion of the macro `define_commitment_linear_combination` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] --> voproof/src/snarks/range_check.rs:116:83 [INFO] [stdout] | [INFO] [stdout] 116 | fn prove(pk: &Self::PK, x: &Self::Ins, w: &Self::Wit) -> Result where ::G1Affine: Neg { [INFO] [stdout] | +++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::G1Affine: Neg` is not satisfied [INFO] [stdout] --> voproof/src/tools/mod.rs:447:17 [INFO] [stdout] | [INFO] [stdout] 447 | / sum!( [INFO] [stdout] 448 | | $( ( $cm.0 ).mul($c) ),*, [INFO] [stdout] 449 | | commit_scalar!($vk, $one) [INFO] [stdout] 450 | | ) [INFO] [stdout] | |_________________^ the trait `Neg` is not implemented for `::G1Affine` [INFO] [stdout] 451 | .into_affine(), [INFO] [stdout] | ----------- required by a bound introduced by this call [INFO] [stdout] | [INFO] [stdout] ::: voproof/src/snarks/range_check.rs:1379:5 [INFO] [stdout] | [INFO] [stdout] 1379 | / define_commitment_linear_combination!( [INFO] [stdout] 1380 | | cm_g, [INFO] [stdout] 1381 | | vk, [INFO] [stdout] 1382 | | c_15, [INFO] [stdout] ... | [INFO] [stdout] 1394 | | c_30 [INFO] [stdout] 1395 | | ); [INFO] [stdout] | |_____- in this macro invocation [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `into_affine` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11 [INFO] [stdout] | [INFO] [stdout] 41 | + Neg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::into_affine` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:157:8 [INFO] [stdout] | [INFO] [stdout] 157 | fn into_affine(self) -> Self::Affine { [INFO] [stdout] | ----------- required by a bound in this associated function [INFO] [stdout] = note: this error originates in the macro `commitment_linear_combination` which comes from the expansion of the macro `define_commitment_linear_combination` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] --> voproof/src/snarks/range_check.rs:1284:81 [INFO] [stdout] | [INFO] [stdout] 1284 | fn verify(vk: &Self::VK, x: &Self::Ins, proof: &Self::Pf) -> Result<(), Error> where ::G1Affine: Neg { [INFO] [stdout] | +++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::G1Affine: Neg` is not satisfied [INFO] [stdout] --> voproof/src/tools/mod.rs:447:17 [INFO] [stdout] | [INFO] [stdout] 447 | / sum!( [INFO] [stdout] 448 | | $( ( $cm.0 ).mul($c) ),*, [INFO] [stdout] 449 | | commit_scalar!($vk, $one) [INFO] [stdout] 450 | | ) [INFO] [stdout] | |_________________^ the trait `Neg` is not implemented for `::G1Affine` [INFO] [stdout] 451 | .into_affine(), [INFO] [stdout] | ----------- required by a bound introduced by this call [INFO] [stdout] | [INFO] [stdout] ::: voproof/src/snarks/voproof_hpr.rs:887:5 [INFO] [stdout] | [INFO] [stdout] 887 | / define_commitment_linear_combination!( [INFO] [stdout] 888 | | cm_g, [INFO] [stdout] 889 | | vk, [INFO] [stdout] 890 | | c_36, [INFO] [stdout] ... | [INFO] [stdout] 912 | | c_46 [INFO] [stdout] 913 | | ); [INFO] [stdout] | |_____- in this macro invocation [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `into_affine` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11 [INFO] [stdout] | [INFO] [stdout] 41 | + Neg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::into_affine` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:157:8 [INFO] [stdout] | [INFO] [stdout] 157 | fn into_affine(self) -> Self::Affine { [INFO] [stdout] | ----------- required by a bound in this associated function [INFO] [stdout] = note: this error originates in the macro `commitment_linear_combination` which comes from the expansion of the macro `define_commitment_linear_combination` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] --> voproof/src/snarks/voproof_hpr.rs:152:83 [INFO] [stdout] | [INFO] [stdout] 152 | fn prove(pk: &Self::PK, x: &Self::Ins, w: &Self::Wit) -> Result where ::G1Affine: Neg { [INFO] [stdout] | +++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::G1Affine: Neg` is not satisfied [INFO] [stdout] --> voproof/src/tools/mod.rs:447:17 [INFO] [stdout] | [INFO] [stdout] 447 | / sum!( [INFO] [stdout] 448 | | $( ( $cm.0 ).mul($c) ),*, [INFO] [stdout] 449 | | commit_scalar!($vk, $one) [INFO] [stdout] 450 | | ) [INFO] [stdout] | |_________________^ the trait `Neg` is not implemented for `::G1Affine` [INFO] [stdout] 451 | .into_affine(), [INFO] [stdout] | ----------- required by a bound introduced by this call [INFO] [stdout] | [INFO] [stdout] ::: voproof/src/snarks/voproof_hpr.rs:1193:5 [INFO] [stdout] | [INFO] [stdout] 1193 | / define_commitment_linear_combination!( [INFO] [stdout] 1194 | | cm_g, [INFO] [stdout] 1195 | | vk, [INFO] [stdout] 1196 | | c_36, [INFO] [stdout] ... | [INFO] [stdout] 1218 | | c_46 [INFO] [stdout] 1219 | | ); [INFO] [stdout] | |_____- in this macro invocation [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `into_affine` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11 [INFO] [stdout] | [INFO] [stdout] 41 | + Neg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::into_affine` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:157:8 [INFO] [stdout] | [INFO] [stdout] 157 | fn into_affine(self) -> Self::Affine { [INFO] [stdout] | ----------- required by a bound in this associated function [INFO] [stdout] = note: this error originates in the macro `commitment_linear_combination` which comes from the expansion of the macro `define_commitment_linear_combination` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] --> voproof/src/snarks/voproof_hpr.rs:980:81 [INFO] [stdout] | [INFO] [stdout] 980 | fn verify(vk: &Self::VK, x: &Self::Ins, proof: &Self::Pf) -> Result<(), Error> where ::G1Affine: Neg { [INFO] [stdout] | +++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::G1Affine: Neg` is not satisfied [INFO] [stdout] --> voproof/src/tools/mod.rs:447:17 [INFO] [stdout] | [INFO] [stdout] 447 | / sum!( [INFO] [stdout] 448 | | $( ( $cm.0 ).mul($c) ),*, [INFO] [stdout] 449 | | commit_scalar!($vk, $one) [INFO] [stdout] 450 | | ) [INFO] [stdout] | |_________________^ the trait `Neg` is not implemented for `::G1Affine` [INFO] [stdout] 451 | .into_affine(), [INFO] [stdout] | ----------- required by a bound introduced by this call [INFO] [stdout] | [INFO] [stdout] ::: voproof/src/snarks/voproof_pov.rs:601:5 [INFO] [stdout] | [INFO] [stdout] 601 | / define_commitment_linear_combination!( [INFO] [stdout] 602 | | cm_g, [INFO] [stdout] 603 | | vk, [INFO] [stdout] 604 | | c_22, [INFO] [stdout] ... | [INFO] [stdout] 616 | | c_26 [INFO] [stdout] 617 | | ); [INFO] [stdout] | |_____- in this macro invocation [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `into_affine` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11 [INFO] [stdout] | [INFO] [stdout] 41 | + Neg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::into_affine` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:157:8 [INFO] [stdout] | [INFO] [stdout] 157 | fn into_affine(self) -> Self::Affine { [INFO] [stdout] | ----------- required by a bound in this associated function [INFO] [stdout] = note: this error originates in the macro `commitment_linear_combination` which comes from the expansion of the macro `define_commitment_linear_combination` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] --> voproof/src/snarks/voproof_pov.rs:112:83 [INFO] [stdout] | [INFO] [stdout] 112 | fn prove(pk: &Self::PK, x: &Self::Ins, w: &Self::Wit) -> Result where ::G1Affine: Neg { [INFO] [stdout] | +++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::G1Affine: Neg` is not satisfied [INFO] [stdout] --> voproof/src/tools/mod.rs:447:17 [INFO] [stdout] | [INFO] [stdout] 447 | / sum!( [INFO] [stdout] 448 | | $( ( $cm.0 ).mul($c) ),*, [INFO] [stdout] 449 | | commit_scalar!($vk, $one) [INFO] [stdout] 450 | | ) [INFO] [stdout] | |_________________^ the trait `Neg` is not implemented for `::G1Affine` [INFO] [stdout] 451 | .into_affine(), [INFO] [stdout] | ----------- required by a bound introduced by this call [INFO] [stdout] | [INFO] [stdout] ::: voproof/src/snarks/voproof_pov.rs:814:5 [INFO] [stdout] | [INFO] [stdout] 814 | / define_commitment_linear_combination!( [INFO] [stdout] 815 | | cm_g, [INFO] [stdout] 816 | | vk, [INFO] [stdout] 817 | | c_22, [INFO] [stdout] ... | [INFO] [stdout] 829 | | c_26 [INFO] [stdout] 830 | | ); [INFO] [stdout] | |_____- in this macro invocation [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `into_affine` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11 [INFO] [stdout] | [INFO] [stdout] 41 | + Neg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::into_affine` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:157:8 [INFO] [stdout] | [INFO] [stdout] 157 | fn into_affine(self) -> Self::Affine { [INFO] [stdout] | ----------- required by a bound in this associated function [INFO] [stdout] = note: this error originates in the macro `commitment_linear_combination` which comes from the expansion of the macro `define_commitment_linear_combination` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] --> voproof/src/snarks/voproof_pov.rs:676:81 [INFO] [stdout] | [INFO] [stdout] 676 | fn verify(vk: &Self::VK, x: &Self::Ins, proof: &Self::Pf) -> Result<(), Error> where ::G1Affine: Neg { [INFO] [stdout] | +++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::G1Affine: Neg` is not satisfied [INFO] [stdout] --> voproof/src/tools/mod.rs:447:17 [INFO] [stdout] | [INFO] [stdout] 447 | / sum!( [INFO] [stdout] 448 | | $( ( $cm.0 ).mul($c) ),*, [INFO] [stdout] 449 | | commit_scalar!($vk, $one) [INFO] [stdout] 450 | | ) [INFO] [stdout] | |_________________^ the trait `Neg` is not implemented for `::G1Affine` [INFO] [stdout] 451 | .into_affine(), [INFO] [stdout] | ----------- required by a bound introduced by this call [INFO] [stdout] | [INFO] [stdout] ::: voproof/src/snarks/range_check.rs:1194:5 [INFO] [stdout] | [INFO] [stdout] 1194 | / define_commitment_linear_combination!( [INFO] [stdout] 1195 | | cm_g, [INFO] [stdout] 1196 | | vk, [INFO] [stdout] 1197 | | c_15, [INFO] [stdout] ... | [INFO] [stdout] 1209 | | c_30 [INFO] [stdout] 1210 | | ); [INFO] [stdout] | |_____- in this macro invocation [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `into_affine` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11 [INFO] [stdout] | [INFO] [stdout] 41 | + Neg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::into_affine` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:157:8 [INFO] [stdout] | [INFO] [stdout] 157 | fn into_affine(self) -> Self::Affine { [INFO] [stdout] | ----------- required by a bound in this associated function [INFO] [stdout] = note: this error originates in the macro `commitment_linear_combination` which comes from the expansion of the macro `define_commitment_linear_combination` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] --> voproof/src/snarks/range_check.rs:116:83 [INFO] [stdout] | [INFO] [stdout] 116 | fn prove(pk: &Self::PK, x: &Self::Ins, w: &Self::Wit) -> Result where ::G1Affine: Neg { [INFO] [stdout] | +++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::G1Affine: Neg` is not satisfied [INFO] [stdout] --> voproof/src/tools/mod.rs:447:17 [INFO] [stdout] | [INFO] [stdout] 447 | / sum!( [INFO] [stdout] 448 | | $( ( $cm.0 ).mul($c) ),*, [INFO] [stdout] 449 | | commit_scalar!($vk, $one) [INFO] [stdout] 450 | | ) [INFO] [stdout] | |_________________^ the trait `Neg` is not implemented for `::G1Affine` [INFO] [stdout] 451 | .into_affine(), [INFO] [stdout] | ----------- required by a bound introduced by this call [INFO] [stdout] | [INFO] [stdout] ::: voproof/src/snarks/voproof_pov_prover_efficient.rs:646:5 [INFO] [stdout] | [INFO] [stdout] 646 | / define_commitment_linear_combination!( [INFO] [stdout] 647 | | cm_g, [INFO] [stdout] 648 | | vk, [INFO] [stdout] 649 | | c_20, [INFO] [stdout] ... | [INFO] [stdout] 663 | | c_25 [INFO] [stdout] 664 | | ); [INFO] [stdout] | |_____- in this macro invocation [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `into_affine` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11 [INFO] [stdout] | [INFO] [stdout] 41 | + Neg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::into_affine` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:157:8 [INFO] [stdout] | [INFO] [stdout] 157 | fn into_affine(self) -> Self::Affine { [INFO] [stdout] | ----------- required by a bound in this associated function [INFO] [stdout] = note: this error originates in the macro `commitment_linear_combination` which comes from the expansion of the macro `define_commitment_linear_combination` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] --> voproof/src/snarks/voproof_pov_prover_efficient.rs:119:83 [INFO] [stdout] | [INFO] [stdout] 119 | fn prove(pk: &Self::PK, x: &Self::Ins, w: &Self::Wit) -> Result where ::G1Affine: Neg { [INFO] [stdout] | +++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::G1Affine: Neg` is not satisfied [INFO] [stdout] --> voproof/src/tools/mod.rs:447:17 [INFO] [stdout] | [INFO] [stdout] 447 | / sum!( [INFO] [stdout] 448 | | $( ( $cm.0 ).mul($c) ),*, [INFO] [stdout] 449 | | commit_scalar!($vk, $one) [INFO] [stdout] 450 | | ) [INFO] [stdout] | |_________________^ the trait `Neg` is not implemented for `::G1Affine` [INFO] [stdout] 451 | .into_affine(), [INFO] [stdout] | ----------- required by a bound introduced by this call [INFO] [stdout] | [INFO] [stdout] ::: voproof/src/snarks/range_check.rs:1379:5 [INFO] [stdout] | [INFO] [stdout] 1379 | / define_commitment_linear_combination!( [INFO] [stdout] 1380 | | cm_g, [INFO] [stdout] 1381 | | vk, [INFO] [stdout] 1382 | | c_15, [INFO] [stdout] ... | [INFO] [stdout] 1394 | | c_30 [INFO] [stdout] 1395 | | ); [INFO] [stdout] | |_____- in this macro invocation [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `into_affine` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11 [INFO] [stdout] | [INFO] [stdout] 41 | + Neg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::into_affine` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:157:8 [INFO] [stdout] | [INFO] [stdout] 157 | fn into_affine(self) -> Self::Affine { [INFO] [stdout] | ----------- required by a bound in this associated function [INFO] [stdout] = note: this error originates in the macro `commitment_linear_combination` which comes from the expansion of the macro `define_commitment_linear_combination` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] --> voproof/src/snarks/range_check.rs:1284:81 [INFO] [stdout] | [INFO] [stdout] 1284 | fn verify(vk: &Self::VK, x: &Self::Ins, proof: &Self::Pf) -> Result<(), Error> where ::G1Affine: Neg { [INFO] [stdout] | +++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::G1Affine: Neg` is not satisfied [INFO] [stdout] --> voproof/src/tools/mod.rs:447:17 [INFO] [stdout] | [INFO] [stdout] 447 | / sum!( [INFO] [stdout] 448 | | $( ( $cm.0 ).mul($c) ),*, [INFO] [stdout] 449 | | commit_scalar!($vk, $one) [INFO] [stdout] 450 | | ) [INFO] [stdout] | |_________________^ the trait `Neg` is not implemented for `::G1Affine` [INFO] [stdout] 451 | .into_affine(), [INFO] [stdout] | ----------- required by a bound introduced by this call [INFO] [stdout] | [INFO] [stdout] ::: voproof/src/snarks/voproof_pov_prover_efficient.rs:875:5 [INFO] [stdout] | [INFO] [stdout] 875 | / define_commitment_linear_combination!( [INFO] [stdout] 876 | | cm_g, [INFO] [stdout] 877 | | vk, [INFO] [stdout] 878 | | c_20, [INFO] [stdout] ... | [INFO] [stdout] 892 | | c_25 [INFO] [stdout] 893 | | ); [INFO] [stdout] | |_____- in this macro invocation [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `into_affine` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11 [INFO] [stdout] | [INFO] [stdout] 41 | + Neg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::into_affine` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:157:8 [INFO] [stdout] | [INFO] [stdout] 157 | fn into_affine(self) -> Self::Affine { [INFO] [stdout] | ----------- required by a bound in this associated function [INFO] [stdout] = note: this error originates in the macro `commitment_linear_combination` which comes from the expansion of the macro `define_commitment_linear_combination` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] --> voproof/src/snarks/voproof_pov_prover_efficient.rs:726:81 [INFO] [stdout] | [INFO] [stdout] 726 | fn verify(vk: &Self::VK, x: &Self::Ins, proof: &Self::Pf) -> Result<(), Error> where ::G1Affine: Neg { [INFO] [stdout] | +++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::G1Affine: Neg` is not satisfied [INFO] [stdout] --> voproof/src/tools/mod.rs:447:17 [INFO] [stdout] | [INFO] [stdout] 447 | / sum!( [INFO] [stdout] 448 | | $( ( $cm.0 ).mul($c) ),*, [INFO] [stdout] 449 | | commit_scalar!($vk, $one) [INFO] [stdout] 450 | | ) [INFO] [stdout] | |_________________^ the trait `Neg` is not implemented for `::G1Affine` [INFO] [stdout] 451 | .into_affine(), [INFO] [stdout] | ----------- required by a bound introduced by this call [INFO] [stdout] | [INFO] [stdout] ::: voproof/src/snarks/voproof_r1cs.rs:835:5 [INFO] [stdout] | [INFO] [stdout] 835 | / define_commitment_linear_combination!( [INFO] [stdout] 836 | | cm_g, [INFO] [stdout] 837 | | vk, [INFO] [stdout] 838 | | c_36, [INFO] [stdout] ... | [INFO] [stdout] 860 | | c_46 [INFO] [stdout] 861 | | ); [INFO] [stdout] | |_____- in this macro invocation [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `into_affine` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11 [INFO] [stdout] | [INFO] [stdout] 41 | + Neg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::into_affine` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:157:8 [INFO] [stdout] | [INFO] [stdout] 157 | fn into_affine(self) -> Self::Affine { [INFO] [stdout] | ----------- required by a bound in this associated function [INFO] [stdout] = note: this error originates in the macro `commitment_linear_combination` which comes from the expansion of the macro `define_commitment_linear_combination` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] --> voproof/src/snarks/voproof_r1cs.rs:131:83 [INFO] [stdout] | [INFO] [stdout] 131 | fn prove(pk: &Self::PK, x: &Self::Ins, w: &Self::Wit) -> Result where ::G1Affine: Neg { [INFO] [stdout] | +++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::G1Affine: Neg` is not satisfied [INFO] [stdout] --> voproof/src/tools/mod.rs:447:17 [INFO] [stdout] | [INFO] [stdout] 447 | / sum!( [INFO] [stdout] 448 | | $( ( $cm.0 ).mul($c) ),*, [INFO] [stdout] 449 | | commit_scalar!($vk, $one) [INFO] [stdout] 450 | | ) [INFO] [stdout] | |_________________^ the trait `Neg` is not implemented for `::G1Affine` [INFO] [stdout] 451 | .into_affine(), [INFO] [stdout] | ----------- required by a bound introduced by this call [INFO] [stdout] | [INFO] [stdout] ::: voproof/src/snarks/voproof_hpr.rs:887:5 [INFO] [stdout] | [INFO] [stdout] 887 | / define_commitment_linear_combination!( [INFO] [stdout] 888 | | cm_g, [INFO] [stdout] 889 | | vk, [INFO] [stdout] 890 | | c_36, [INFO] [stdout] ... | [INFO] [stdout] 912 | | c_46 [INFO] [stdout] 913 | | ); [INFO] [stdout] | |_____- in this macro invocation [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `into_affine` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11 [INFO] [stdout] | [INFO] [stdout] 41 | + Neg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::into_affine` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:157:8 [INFO] [stdout] | [INFO] [stdout] 157 | fn into_affine(self) -> Self::Affine { [INFO] [stdout] | ----------- required by a bound in this associated function [INFO] [stdout] = note: this error originates in the macro `commitment_linear_combination` which comes from the expansion of the macro `define_commitment_linear_combination` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] --> voproof/src/snarks/voproof_hpr.rs:152:83 [INFO] [stdout] | [INFO] [stdout] 152 | fn prove(pk: &Self::PK, x: &Self::Ins, w: &Self::Wit) -> Result where ::G1Affine: Neg { [INFO] [stdout] | +++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::G1Affine: Neg` is not satisfied [INFO] [stdout] --> voproof/src/tools/mod.rs:447:17 [INFO] [stdout] | [INFO] [stdout] 447 | / sum!( [INFO] [stdout] 448 | | $( ( $cm.0 ).mul($c) ),*, [INFO] [stdout] 449 | | commit_scalar!($vk, $one) [INFO] [stdout] 450 | | ) [INFO] [stdout] | |_________________^ the trait `Neg` is not implemented for `::G1Affine` [INFO] [stdout] 451 | .into_affine(), [INFO] [stdout] | ----------- required by a bound introduced by this call [INFO] [stdout] | [INFO] [stdout] ::: voproof/src/snarks/voproof_r1cs.rs:1133:5 [INFO] [stdout] | [INFO] [stdout] 1133 | / define_commitment_linear_combination!( [INFO] [stdout] 1134 | | cm_g, [INFO] [stdout] 1135 | | vk, [INFO] [stdout] 1136 | | c_36, [INFO] [stdout] ... | [INFO] [stdout] 1158 | | c_46 [INFO] [stdout] 1159 | | ); [INFO] [stdout] | |_____- in this macro invocation [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `into_affine` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11 [INFO] [stdout] | [INFO] [stdout] 41 | + Neg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::into_affine` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:157:8 [INFO] [stdout] | [INFO] [stdout] 157 | fn into_affine(self) -> Self::Affine { [INFO] [stdout] | ----------- required by a bound in this associated function [INFO] [stdout] = note: this error originates in the macro `commitment_linear_combination` which comes from the expansion of the macro `define_commitment_linear_combination` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] --> voproof/src/snarks/voproof_r1cs.rs:928:81 [INFO] [stdout] | [INFO] [stdout] 928 | fn verify(vk: &Self::VK, x: &Self::Ins, proof: &Self::Pf) -> Result<(), Error> where ::G1Affine: Neg { [INFO] [stdout] | +++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::G1Affine: Neg` is not satisfied [INFO] [stdout] --> voproof/src/tools/mod.rs:447:17 [INFO] [stdout] | [INFO] [stdout] 447 | / sum!( [INFO] [stdout] 448 | | $( ( $cm.0 ).mul($c) ),*, [INFO] [stdout] 449 | | commit_scalar!($vk, $one) [INFO] [stdout] 450 | | ) [INFO] [stdout] | |_________________^ the trait `Neg` is not implemented for `::G1Affine` [INFO] [stdout] 451 | .into_affine(), [INFO] [stdout] | ----------- required by a bound introduced by this call [INFO] [stdout] | [INFO] [stdout] ::: voproof/src/snarks/voproof_hpr.rs:1193:5 [INFO] [stdout] | [INFO] [stdout] 1193 | / define_commitment_linear_combination!( [INFO] [stdout] 1194 | | cm_g, [INFO] [stdout] 1195 | | vk, [INFO] [stdout] 1196 | | c_36, [INFO] [stdout] ... | [INFO] [stdout] 1218 | | c_46 [INFO] [stdout] 1219 | | ); [INFO] [stdout] | |_____- in this macro invocation [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `into_affine` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11 [INFO] [stdout] | [INFO] [stdout] 41 | + Neg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::into_affine` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:157:8 [INFO] [stdout] | [INFO] [stdout] 157 | fn into_affine(self) -> Self::Affine { [INFO] [stdout] | ----------- required by a bound in this associated function [INFO] [stdout] = note: this error originates in the macro `commitment_linear_combination` which comes from the expansion of the macro `define_commitment_linear_combination` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] --> voproof/src/snarks/voproof_hpr.rs:980:81 [INFO] [stdout] | [INFO] [stdout] 980 | fn verify(vk: &Self::VK, x: &Self::Ins, proof: &Self::Pf) -> Result<(), Error> where ::G1Affine: Neg { [INFO] [stdout] | +++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::G1Affine: Neg` is not satisfied [INFO] [stdout] --> voproof/src/tools/mod.rs:447:17 [INFO] [stdout] | [INFO] [stdout] 447 | / sum!( [INFO] [stdout] 448 | | $( ( $cm.0 ).mul($c) ),*, [INFO] [stdout] 449 | | commit_scalar!($vk, $one) [INFO] [stdout] 450 | | ) [INFO] [stdout] | |_________________^ the trait `Neg` is not implemented for `::G1Affine` [INFO] [stdout] 451 | .into_affine(), [INFO] [stdout] | ----------- required by a bound introduced by this call [INFO] [stdout] | [INFO] [stdout] ::: voproof/src/snarks/voproof_r1cs_prover_efficient.rs:825:5 [INFO] [stdout] | [INFO] [stdout] 825 | / define_commitment_linear_combination!( [INFO] [stdout] 826 | | cm_g, [INFO] [stdout] 827 | | vk, [INFO] [stdout] 828 | | c_37, [INFO] [stdout] ... | [INFO] [stdout] 854 | | c_49 [INFO] [stdout] 855 | | ); [INFO] [stdout] | |_____- in this macro invocation [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `into_affine` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11 [INFO] [stdout] | [INFO] [stdout] 41 | + Neg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::into_affine` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:157:8 [INFO] [stdout] | [INFO] [stdout] 157 | fn into_affine(self) -> Self::Affine { [INFO] [stdout] | ----------- required by a bound in this associated function [INFO] [stdout] = note: this error originates in the macro `commitment_linear_combination` which comes from the expansion of the macro `define_commitment_linear_combination` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] --> voproof/src/snarks/voproof_r1cs_prover_efficient.rs:140:83 [INFO] [stdout] | [INFO] [stdout] 140 | fn prove(pk: &Self::PK, x: &Self::Ins, w: &Self::Wit) -> Result where ::G1Affine: Neg { [INFO] [stdout] | +++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::G1Affine: Neg` is not satisfied [INFO] [stdout] --> voproof/src/tools/mod.rs:447:17 [INFO] [stdout] | [INFO] [stdout] 447 | / sum!( [INFO] [stdout] 448 | | $( ( $cm.0 ).mul($c) ),*, [INFO] [stdout] 449 | | commit_scalar!($vk, $one) [INFO] [stdout] 450 | | ) [INFO] [stdout] | |_________________^ the trait `Neg` is not implemented for `::G1Affine` [INFO] [stdout] 451 | .into_affine(), [INFO] [stdout] | ----------- required by a bound introduced by this call [INFO] [stdout] | [INFO] [stdout] ::: voproof/src/snarks/voproof_pov.rs:601:5 [INFO] [stdout] | [INFO] [stdout] 601 | / define_commitment_linear_combination!( [INFO] [stdout] 602 | | cm_g, [INFO] [stdout] 603 | | vk, [INFO] [stdout] 604 | | c_22, [INFO] [stdout] ... | [INFO] [stdout] 616 | | c_26 [INFO] [stdout] 617 | | ); [INFO] [stdout] | |_____- in this macro invocation [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `into_affine` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11 [INFO] [stdout] | [INFO] [stdout] 41 | + Neg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::into_affine` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:157:8 [INFO] [stdout] | [INFO] [stdout] 157 | fn into_affine(self) -> Self::Affine { [INFO] [stdout] | ----------- required by a bound in this associated function [INFO] [stdout] = note: this error originates in the macro `commitment_linear_combination` which comes from the expansion of the macro `define_commitment_linear_combination` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] --> voproof/src/snarks/voproof_pov.rs:112:83 [INFO] [stdout] | [INFO] [stdout] 112 | fn prove(pk: &Self::PK, x: &Self::Ins, w: &Self::Wit) -> Result where ::G1Affine: Neg { [INFO] [stdout] | +++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::G1Affine: Neg` is not satisfied [INFO] [stdout] --> voproof/src/tools/mod.rs:447:17 [INFO] [stdout] | [INFO] [stdout] 447 | / sum!( [INFO] [stdout] 448 | | $( ( $cm.0 ).mul($c) ),*, [INFO] [stdout] 449 | | commit_scalar!($vk, $one) [INFO] [stdout] 450 | | ) [INFO] [stdout] | |_________________^ the trait `Neg` is not implemented for `::G1Affine` [INFO] [stdout] 451 | .into_affine(), [INFO] [stdout] | ----------- required by a bound introduced by this call [INFO] [stdout] | [INFO] [stdout] ::: voproof/src/snarks/voproof_r1cs_prover_efficient.rs:1160:5 [INFO] [stdout] | [INFO] [stdout] 1160 | / define_commitment_linear_combination!( [INFO] [stdout] 1161 | | cm_g, [INFO] [stdout] 1162 | | vk, [INFO] [stdout] 1163 | | c_37, [INFO] [stdout] ... | [INFO] [stdout] 1189 | | c_49 [INFO] [stdout] 1190 | | ); [INFO] [stdout] | |_____- in this macro invocation [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `into_affine` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11 [INFO] [stdout] | [INFO] [stdout] 41 | + Neg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::into_affine` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:157:8 [INFO] [stdout] | [INFO] [stdout] 157 | fn into_affine(self) -> Self::Affine { [INFO] [stdout] | ----------- required by a bound in this associated function [INFO] [stdout] = note: this error originates in the macro `commitment_linear_combination` which comes from the expansion of the macro `define_commitment_linear_combination` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] --> voproof/src/snarks/voproof_r1cs_prover_efficient.rs:935:81 [INFO] [stdout] | [INFO] [stdout] 935 | fn verify(vk: &Self::VK, x: &Self::Ins, proof: &Self::Pf) -> Result<(), Error> where ::G1Affine: Neg { [INFO] [stdout] | +++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::G1Affine: Neg` is not satisfied [INFO] [stdout] --> voproof/src/tools/mod.rs:447:17 [INFO] [stdout] | [INFO] [stdout] 447 | / sum!( [INFO] [stdout] 448 | | $( ( $cm.0 ).mul($c) ),*, [INFO] [stdout] 449 | | commit_scalar!($vk, $one) [INFO] [stdout] 450 | | ) [INFO] [stdout] | |_________________^ the trait `Neg` is not implemented for `::G1Affine` [INFO] [stdout] 451 | .into_affine(), [INFO] [stdout] | ----------- required by a bound introduced by this call [INFO] [stdout] | [INFO] [stdout] ::: voproof/src/snarks/voproof_pov.rs:814:5 [INFO] [stdout] | [INFO] [stdout] 814 | / define_commitment_linear_combination!( [INFO] [stdout] 815 | | cm_g, [INFO] [stdout] 816 | | vk, [INFO] [stdout] 817 | | c_22, [INFO] [stdout] ... | [INFO] [stdout] 829 | | c_26 [INFO] [stdout] 830 | | ); [INFO] [stdout] | |_____- in this macro invocation [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `into_affine` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11 [INFO] [stdout] | [INFO] [stdout] 41 | + Neg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::into_affine` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:157:8 [INFO] [stdout] | [INFO] [stdout] 157 | fn into_affine(self) -> Self::Affine { [INFO] [stdout] | ----------- required by a bound in this associated function [INFO] [stdout] = note: this error originates in the macro `commitment_linear_combination` which comes from the expansion of the macro `define_commitment_linear_combination` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] --> voproof/src/snarks/voproof_pov.rs:676:81 [INFO] [stdout] | [INFO] [stdout] 676 | fn verify(vk: &Self::VK, x: &Self::Ins, proof: &Self::Pf) -> Result<(), Error> where ::G1Affine: Neg { [INFO] [stdout] | +++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `n` [INFO] [stdout] --> voproof/src/tools/mod.rs:1325:9 [INFO] [stdout] | [INFO] [stdout] 1325 | let $name: i64 = $size.$attr as i64; [INFO] [stdout] | ^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: voproof/src/snarks/fibonacci.rs:72:5 [INFO] [stdout] | [INFO] [stdout] 72 | init_size!(n, n, size); [INFO] [stdout] | ---------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] help: `n` is captured in macro and introduced a unused variable [INFO] [stdout] --> voproof/src/tools/mod.rs:1325:9 [INFO] [stdout] | [INFO] [stdout] 1325 | let $name: i64 = $size.$attr as i64; [INFO] [stdout] | ^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: voproof/src/snarks/fibonacci.rs:72:5 [INFO] [stdout] | [INFO] [stdout] 72 | init_size!(n, n, size); [INFO] [stdout] | ---------------------- in this macro invocation [INFO] [stdout] = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] = note: this warning originates in the macro `init_size` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `gamma` [INFO] [stdout] --> voproof/src/tools/mod.rs:1318:9 [INFO] [stdout] | [INFO] [stdout] 1318 | let $gamma = generator_of!($e); [INFO] [stdout] | ^^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: voproof/src/snarks/fibonacci.rs:73:5 [INFO] [stdout] | [INFO] [stdout] 73 | define_generator!(gamma, E); [INFO] [stdout] | --------------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] help: `gamma` is captured in macro and introduced a unused variable [INFO] [stdout] --> voproof/src/tools/mod.rs:1318:9 [INFO] [stdout] | [INFO] [stdout] 1318 | let $gamma = generator_of!($e); [INFO] [stdout] | ^^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: voproof/src/snarks/fibonacci.rs:73:5 [INFO] [stdout] | [INFO] [stdout] 73 | define_generator!(gamma, E); [INFO] [stdout] | --------------------------- in this macro invocation [INFO] [stdout] = note: this warning originates in the macro `define_generator` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `nsize` [INFO] [stdout] --> voproof/src/tools/mod.rs:1325:9 [INFO] [stdout] | [INFO] [stdout] 1325 | let $name: i64 = $size.$attr as i64; [INFO] [stdout] | ^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: voproof/src/snarks/range_check.rs:75:5 [INFO] [stdout] | [INFO] [stdout] 75 | init_size!(nsize, lookup_size, size); [INFO] [stdout] | ------------------------------------ in this macro invocation [INFO] [stdout] | [INFO] [stdout] help: `nsize` is captured in macro and introduced a unused variable [INFO] [stdout] --> voproof/src/tools/mod.rs:1325:9 [INFO] [stdout] | [INFO] [stdout] 1325 | let $name: i64 = $size.$attr as i64; [INFO] [stdout] | ^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: voproof/src/snarks/range_check.rs:75:5 [INFO] [stdout] | [INFO] [stdout] 75 | init_size!(nsize, lookup_size, size); [INFO] [stdout] | ------------------------------------ in this macro invocation [INFO] [stdout] = note: this warning originates in the macro `init_size` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `range` [INFO] [stdout] --> voproof/src/tools/mod.rs:1325:9 [INFO] [stdout] | [INFO] [stdout] 1325 | let $name: i64 = $size.$attr as i64; [INFO] [stdout] | ^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: voproof/src/snarks/range_check.rs:76:5 [INFO] [stdout] | [INFO] [stdout] 76 | init_size!(range, range, size); [INFO] [stdout] | ------------------------------ in this macro invocation [INFO] [stdout] | [INFO] [stdout] help: `range` is captured in macro and introduced a unused variable [INFO] [stdout] --> voproof/src/tools/mod.rs:1325:9 [INFO] [stdout] | [INFO] [stdout] 1325 | let $name: i64 = $size.$attr as i64; [INFO] [stdout] | ^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: voproof/src/snarks/range_check.rs:76:5 [INFO] [stdout] | [INFO] [stdout] 76 | init_size!(range, range, size); [INFO] [stdout] | ------------------------------ in this macro invocation [INFO] [stdout] = note: this warning originates in the macro `init_size` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `gamma` [INFO] [stdout] --> voproof/src/tools/mod.rs:1318:9 [INFO] [stdout] | [INFO] [stdout] 1318 | let $gamma = generator_of!($e); [INFO] [stdout] | ^^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: voproof/src/snarks/range_check.rs:77:5 [INFO] [stdout] | [INFO] [stdout] 77 | define_generator!(gamma, E); [INFO] [stdout] | --------------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] help: `gamma` is captured in macro and introduced a unused variable [INFO] [stdout] --> voproof/src/tools/mod.rs:1318:9 [INFO] [stdout] | [INFO] [stdout] 1318 | let $gamma = generator_of!($e); [INFO] [stdout] | ^^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: voproof/src/snarks/range_check.rs:77:5 [INFO] [stdout] | [INFO] [stdout] 77 | define_generator!(gamma, E); [INFO] [stdout] | --------------------------- in this macro invocation [INFO] [stdout] = note: this warning originates in the macro `define_generator` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::G1Affine: Neg` is not satisfied [INFO] [stdout] --> voproof/src/tools/mod.rs:447:17 [INFO] [stdout] | [INFO] [stdout] 447 | / sum!( [INFO] [stdout] 448 | | $( ( $cm.0 ).mul($c) ),*, [INFO] [stdout] 449 | | commit_scalar!($vk, $one) [INFO] [stdout] 450 | | ) [INFO] [stdout] | |_________________^ the trait `Neg` is not implemented for `::G1Affine` [INFO] [stdout] 451 | .into_affine(), [INFO] [stdout] | ----------- required by a bound introduced by this call [INFO] [stdout] | [INFO] [stdout] ::: voproof/src/snarks/voproof_pov_prover_efficient.rs:646:5 [INFO] [stdout] | [INFO] [stdout] 646 | / define_commitment_linear_combination!( [INFO] [stdout] 647 | | cm_g, [INFO] [stdout] 648 | | vk, [INFO] [stdout] 649 | | c_20, [INFO] [stdout] ... | [INFO] [stdout] 663 | | c_25 [INFO] [stdout] 664 | | ); [INFO] [stdout] | |_____- in this macro invocation [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `into_affine` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11 [INFO] [stdout] | [INFO] [stdout] 41 | + Neg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::into_affine` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:157:8 [INFO] [stdout] | [INFO] [stdout] 157 | fn into_affine(self) -> Self::Affine { [INFO] [stdout] | ----------- required by a bound in this associated function [INFO] [stdout] = note: this error originates in the macro `commitment_linear_combination` which comes from the expansion of the macro `define_commitment_linear_combination` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] --> voproof/src/snarks/voproof_pov_prover_efficient.rs:119:83 [INFO] [stdout] | [INFO] [stdout] 119 | fn prove(pk: &Self::PK, x: &Self::Ins, w: &Self::Wit) -> Result where ::G1Affine: Neg { [INFO] [stdout] | +++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `cap_h` [INFO] [stdout] --> voproof/src/tools/mod.rs:1325:9 [INFO] [stdout] | [INFO] [stdout] 1325 | let $name: i64 = $size.$attr as i64; [INFO] [stdout] | ^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: voproof/src/snarks/voproof_hpr.rs:85:5 [INFO] [stdout] | [INFO] [stdout] 85 | init_size!(cap_h, nrows, size); [INFO] [stdout] | ------------------------------ in this macro invocation [INFO] [stdout] | [INFO] [stdout] help: `cap_h` is captured in macro and introduced a unused variable [INFO] [stdout] --> voproof/src/tools/mod.rs:1325:9 [INFO] [stdout] | [INFO] [stdout] 1325 | let $name: i64 = $size.$attr as i64; [INFO] [stdout] | ^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: voproof/src/snarks/voproof_hpr.rs:85:5 [INFO] [stdout] | [INFO] [stdout] 85 | init_size!(cap_h, nrows, size); [INFO] [stdout] | ------------------------------ in this macro invocation [INFO] [stdout] = note: this warning originates in the macro `init_size` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `cap_c_c` [INFO] [stdout] --> voproof/src/tools/mod.rs:1325:9 [INFO] [stdout] | [INFO] [stdout] 1325 | let $name: i64 = $size.$attr as i64; [INFO] [stdout] | ^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: voproof/src/snarks/voproof_pov.rs:76:5 [INFO] [stdout] | [INFO] [stdout] 76 | init_size!(cap_c_c, nconsts, size); [INFO] [stdout] | ---------------------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] help: `cap_c_c` is captured in macro and introduced a unused variable [INFO] [stdout] --> voproof/src/tools/mod.rs:1325:9 [INFO] [stdout] | [INFO] [stdout] 1325 | let $name: i64 = $size.$attr as i64; [INFO] [stdout] | ^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: voproof/src/snarks/voproof_pov.rs:76:5 [INFO] [stdout] | [INFO] [stdout] 76 | init_size!(cap_c_c, nconsts, size); [INFO] [stdout] | ---------------------------------- in this macro invocation [INFO] [stdout] = note: this warning originates in the macro `init_size` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::G1Affine: Neg` is not satisfied [INFO] [stdout] --> voproof/src/tools/mod.rs:447:17 [INFO] [stdout] | [INFO] [stdout] 447 | / sum!( [INFO] [stdout] 448 | | $( ( $cm.0 ).mul($c) ),*, [INFO] [stdout] 449 | | commit_scalar!($vk, $one) [INFO] [stdout] 450 | | ) [INFO] [stdout] | |_________________^ the trait `Neg` is not implemented for `::G1Affine` [INFO] [stdout] 451 | .into_affine(), [INFO] [stdout] | ----------- required by a bound introduced by this call [INFO] [stdout] | [INFO] [stdout] ::: voproof/src/snarks/voproof_pov_prover_efficient.rs:875:5 [INFO] [stdout] | [INFO] [stdout] 875 | / define_commitment_linear_combination!( [INFO] [stdout] 876 | | cm_g, [INFO] [stdout] 877 | | vk, [INFO] [stdout] 878 | | c_20, [INFO] [stdout] ... | [INFO] [stdout] 892 | | c_25 [INFO] [stdout] 893 | | ); [INFO] [stdout] | |_____- in this macro invocation [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `into_affine` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11 [INFO] [stdout] | [INFO] [stdout] 41 | + Neg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::into_affine` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:157:8 [INFO] [stdout] | [INFO] [stdout] 157 | fn into_affine(self) -> Self::Affine { [INFO] [stdout] | ----------- required by a bound in this associated function [INFO] [stdout] = note: this error originates in the macro `commitment_linear_combination` which comes from the expansion of the macro `define_commitment_linear_combination` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] --> voproof/src/snarks/voproof_pov_prover_efficient.rs:726:81 [INFO] [stdout] | [INFO] [stdout] 726 | fn verify(vk: &Self::VK, x: &Self::Ins, proof: &Self::Pf) -> Result<(), Error> where ::G1Affine: Neg { [INFO] [stdout] | +++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `cap_c_c` [INFO] [stdout] --> voproof/src/tools/mod.rs:1325:9 [INFO] [stdout] | [INFO] [stdout] 1325 | let $name: i64 = $size.$attr as i64; [INFO] [stdout] | ^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: voproof/src/snarks/voproof_pov_prover_efficient.rs:83:5 [INFO] [stdout] | [INFO] [stdout] 83 | init_size!(cap_c_c, nconsts, size); [INFO] [stdout] | ---------------------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] help: `cap_c_c` is captured in macro and introduced a unused variable [INFO] [stdout] --> voproof/src/tools/mod.rs:1325:9 [INFO] [stdout] | [INFO] [stdout] 1325 | let $name: i64 = $size.$attr as i64; [INFO] [stdout] | ^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: voproof/src/snarks/voproof_pov_prover_efficient.rs:83:5 [INFO] [stdout] | [INFO] [stdout] 83 | init_size!(cap_c_c, nconsts, size); [INFO] [stdout] | ---------------------------------- in this macro invocation [INFO] [stdout] = note: this warning originates in the macro `init_size` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `cap_k` [INFO] [stdout] --> voproof/src/tools/mod.rs:1325:9 [INFO] [stdout] | [INFO] [stdout] 1325 | let $name: i64 = $size.$attr as i64; [INFO] [stdout] | ^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: voproof/src/snarks/voproof_r1cs.rs:85:5 [INFO] [stdout] | [INFO] [stdout] 85 | init_size!(cap_k, ncols, size); [INFO] [stdout] | ------------------------------ in this macro invocation [INFO] [stdout] | [INFO] [stdout] help: `cap_k` is captured in macro and introduced a unused variable [INFO] [stdout] --> voproof/src/tools/mod.rs:1325:9 [INFO] [stdout] | [INFO] [stdout] 1325 | let $name: i64 = $size.$attr as i64; [INFO] [stdout] | ^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: voproof/src/snarks/voproof_r1cs.rs:85:5 [INFO] [stdout] | [INFO] [stdout] 85 | init_size!(cap_k, ncols, size); [INFO] [stdout] | ------------------------------ in this macro invocation [INFO] [stdout] = note: this warning originates in the macro `init_size` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `ell` [INFO] [stdout] --> voproof/src/tools/mod.rs:1325:9 [INFO] [stdout] | [INFO] [stdout] 1325 | let $name: i64 = $size.$attr as i64; [INFO] [stdout] | ^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: voproof/src/snarks/voproof_r1cs.rs:89:5 [INFO] [stdout] | [INFO] [stdout] 89 | init_size!(ell, input_size, size); [INFO] [stdout] | --------------------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] help: `ell` is captured in macro and introduced a unused variable [INFO] [stdout] --> voproof/src/tools/mod.rs:1325:9 [INFO] [stdout] | [INFO] [stdout] 1325 | let $name: i64 = $size.$attr as i64; [INFO] [stdout] | ^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: voproof/src/snarks/voproof_r1cs.rs:89:5 [INFO] [stdout] | [INFO] [stdout] 89 | init_size!(ell, input_size, size); [INFO] [stdout] | --------------------------------- in this macro invocation [INFO] [stdout] = note: this warning originates in the macro `init_size` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `cap_k` [INFO] [stdout] --> voproof/src/tools/mod.rs:1325:9 [INFO] [stdout] | [INFO] [stdout] 1325 | let $name: i64 = $size.$attr as i64; [INFO] [stdout] | ^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: voproof/src/snarks/voproof_r1cs_prover_efficient.rs:94:5 [INFO] [stdout] | [INFO] [stdout] 94 | init_size!(cap_k, ncols, size); [INFO] [stdout] | ------------------------------ in this macro invocation [INFO] [stdout] | [INFO] [stdout] help: `cap_k` is captured in macro and introduced a unused variable [INFO] [stdout] --> voproof/src/tools/mod.rs:1325:9 [INFO] [stdout] | [INFO] [stdout] 1325 | let $name: i64 = $size.$attr as i64; [INFO] [stdout] | ^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: voproof/src/snarks/voproof_r1cs_prover_efficient.rs:94:5 [INFO] [stdout] | [INFO] [stdout] 94 | init_size!(cap_k, ncols, size); [INFO] [stdout] | ------------------------------ in this macro invocation [INFO] [stdout] = note: this warning originates in the macro `init_size` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `ell` [INFO] [stdout] --> voproof/src/tools/mod.rs:1325:9 [INFO] [stdout] | [INFO] [stdout] 1325 | let $name: i64 = $size.$attr as i64; [INFO] [stdout] | ^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: voproof/src/snarks/voproof_r1cs_prover_efficient.rs:98:5 [INFO] [stdout] | [INFO] [stdout] 98 | init_size!(ell, input_size, size); [INFO] [stdout] | --------------------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] help: `ell` is captured in macro and introduced a unused variable [INFO] [stdout] --> voproof/src/tools/mod.rs:1325:9 [INFO] [stdout] | [INFO] [stdout] 1325 | let $name: i64 = $size.$attr as i64; [INFO] [stdout] | ^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: voproof/src/snarks/voproof_r1cs_prover_efficient.rs:98:5 [INFO] [stdout] | [INFO] [stdout] 98 | init_size!(ell, input_size, size); [INFO] [stdout] | --------------------------------- in this macro invocation [INFO] [stdout] = note: this warning originates in the macro `init_size` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] For more information about this error, try `rustc --explain E0277`. [INFO] [stdout] [INFO] [stderr] error: could not compile `voproof` (lib) due to 21 previous errors; 16 warnings emitted [INFO] [stderr] warning: build failed, waiting for other jobs to finish... [INFO] [stdout] error[E0277]: the trait bound `::G1Affine: Neg` is not satisfied [INFO] [stdout] --> voproof/src/tools/mod.rs:447:17 [INFO] [stdout] | [INFO] [stdout] 447 | / sum!( [INFO] [stdout] 448 | | $( ( $cm.0 ).mul($c) ),*, [INFO] [stdout] 449 | | commit_scalar!($vk, $one) [INFO] [stdout] 450 | | ) [INFO] [stdout] | |_________________^ the trait `Neg` is not implemented for `::G1Affine` [INFO] [stdout] 451 | .into_affine(), [INFO] [stdout] | ----------- required by a bound introduced by this call [INFO] [stdout] | [INFO] [stdout] ::: voproof/src/snarks/voproof_r1cs.rs:835:5 [INFO] [stdout] | [INFO] [stdout] 835 | / define_commitment_linear_combination!( [INFO] [stdout] 836 | | cm_g, [INFO] [stdout] 837 | | vk, [INFO] [stdout] 838 | | c_36, [INFO] [stdout] ... | [INFO] [stdout] 860 | | c_46 [INFO] [stdout] 861 | | ); [INFO] [stdout] | |_____- in this macro invocation [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `into_affine` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11 [INFO] [stdout] | [INFO] [stdout] 41 | + Neg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::into_affine` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:157:8 [INFO] [stdout] | [INFO] [stdout] 157 | fn into_affine(self) -> Self::Affine { [INFO] [stdout] | ----------- required by a bound in this associated function [INFO] [stdout] = note: this error originates in the macro `commitment_linear_combination` which comes from the expansion of the macro `define_commitment_linear_combination` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] --> voproof/src/snarks/voproof_r1cs.rs:131:83 [INFO] [stdout] | [INFO] [stdout] 131 | fn prove(pk: &Self::PK, x: &Self::Ins, w: &Self::Wit) -> Result where ::G1Affine: Neg { [INFO] [stdout] | +++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::G1Affine: Neg` is not satisfied [INFO] [stdout] --> voproof/src/tools/mod.rs:447:17 [INFO] [stdout] | [INFO] [stdout] 447 | / sum!( [INFO] [stdout] 448 | | $( ( $cm.0 ).mul($c) ),*, [INFO] [stdout] 449 | | commit_scalar!($vk, $one) [INFO] [stdout] 450 | | ) [INFO] [stdout] | |_________________^ the trait `Neg` is not implemented for `::G1Affine` [INFO] [stdout] 451 | .into_affine(), [INFO] [stdout] | ----------- required by a bound introduced by this call [INFO] [stdout] | [INFO] [stdout] ::: voproof/src/snarks/voproof_r1cs.rs:1133:5 [INFO] [stdout] | [INFO] [stdout] 1133 | / define_commitment_linear_combination!( [INFO] [stdout] 1134 | | cm_g, [INFO] [stdout] 1135 | | vk, [INFO] [stdout] 1136 | | c_36, [INFO] [stdout] ... | [INFO] [stdout] 1158 | | c_46 [INFO] [stdout] 1159 | | ); [INFO] [stdout] | |_____- in this macro invocation [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `into_affine` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11 [INFO] [stdout] | [INFO] [stdout] 41 | + Neg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::into_affine` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:157:8 [INFO] [stdout] | [INFO] [stdout] 157 | fn into_affine(self) -> Self::Affine { [INFO] [stdout] | ----------- required by a bound in this associated function [INFO] [stdout] = note: this error originates in the macro `commitment_linear_combination` which comes from the expansion of the macro `define_commitment_linear_combination` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] --> voproof/src/snarks/voproof_r1cs.rs:928:81 [INFO] [stdout] | [INFO] [stdout] 928 | fn verify(vk: &Self::VK, x: &Self::Ins, proof: &Self::Pf) -> Result<(), Error> where ::G1Affine: Neg { [INFO] [stdout] | +++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::G1Affine: Neg` is not satisfied [INFO] [stdout] --> voproof/src/tools/mod.rs:447:17 [INFO] [stdout] | [INFO] [stdout] 447 | / sum!( [INFO] [stdout] 448 | | $( ( $cm.0 ).mul($c) ),*, [INFO] [stdout] 449 | | commit_scalar!($vk, $one) [INFO] [stdout] 450 | | ) [INFO] [stdout] | |_________________^ the trait `Neg` is not implemented for `::G1Affine` [INFO] [stdout] 451 | .into_affine(), [INFO] [stdout] | ----------- required by a bound introduced by this call [INFO] [stdout] | [INFO] [stdout] ::: voproof/src/snarks/voproof_r1cs_prover_efficient.rs:825:5 [INFO] [stdout] | [INFO] [stdout] 825 | / define_commitment_linear_combination!( [INFO] [stdout] 826 | | cm_g, [INFO] [stdout] 827 | | vk, [INFO] [stdout] 828 | | c_37, [INFO] [stdout] ... | [INFO] [stdout] 854 | | c_49 [INFO] [stdout] 855 | | ); [INFO] [stdout] | |_____- in this macro invocation [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `into_affine` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11 [INFO] [stdout] | [INFO] [stdout] 41 | + Neg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::into_affine` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:157:8 [INFO] [stdout] | [INFO] [stdout] 157 | fn into_affine(self) -> Self::Affine { [INFO] [stdout] | ----------- required by a bound in this associated function [INFO] [stdout] = note: this error originates in the macro `commitment_linear_combination` which comes from the expansion of the macro `define_commitment_linear_combination` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] --> voproof/src/snarks/voproof_r1cs_prover_efficient.rs:140:83 [INFO] [stdout] | [INFO] [stdout] 140 | fn prove(pk: &Self::PK, x: &Self::Ins, w: &Self::Wit) -> Result where ::G1Affine: Neg { [INFO] [stdout] | +++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::G1Affine: Neg` is not satisfied [INFO] [stdout] --> voproof/src/tools/mod.rs:447:17 [INFO] [stdout] | [INFO] [stdout] 447 | / sum!( [INFO] [stdout] 448 | | $( ( $cm.0 ).mul($c) ),*, [INFO] [stdout] 449 | | commit_scalar!($vk, $one) [INFO] [stdout] 450 | | ) [INFO] [stdout] | |_________________^ the trait `Neg` is not implemented for `::G1Affine` [INFO] [stdout] 451 | .into_affine(), [INFO] [stdout] | ----------- required by a bound introduced by this call [INFO] [stdout] | [INFO] [stdout] ::: voproof/src/snarks/voproof_r1cs_prover_efficient.rs:1160:5 [INFO] [stdout] | [INFO] [stdout] 1160 | / define_commitment_linear_combination!( [INFO] [stdout] 1161 | | cm_g, [INFO] [stdout] 1162 | | vk, [INFO] [stdout] 1163 | | c_37, [INFO] [stdout] ... | [INFO] [stdout] 1189 | | c_49 [INFO] [stdout] 1190 | | ); [INFO] [stdout] | |_____- in this macro invocation [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `into_affine` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11 [INFO] [stdout] | [INFO] [stdout] 41 | + Neg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::into_affine` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:157:8 [INFO] [stdout] | [INFO] [stdout] 157 | fn into_affine(self) -> Self::Affine { [INFO] [stdout] | ----------- required by a bound in this associated function [INFO] [stdout] = note: this error originates in the macro `commitment_linear_combination` which comes from the expansion of the macro `define_commitment_linear_combination` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] --> voproof/src/snarks/voproof_r1cs_prover_efficient.rs:935:81 [INFO] [stdout] | [INFO] [stdout] 935 | fn verify(vk: &Self::VK, x: &Self::Ins, proof: &Self::Pf) -> Result<(), Error> where ::G1Affine: Neg { [INFO] [stdout] | +++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `i` [INFO] [stdout] --> voproof/src/kzg/mod.rs:613:9 [INFO] [stdout] | [INFO] [stdout] 613 | for i in 0..10 { [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_i` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `n` [INFO] [stdout] --> voproof/src/tools/mod.rs:1325:9 [INFO] [stdout] | [INFO] [stdout] 1325 | let $name: i64 = $size.$attr as i64; [INFO] [stdout] | ^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: voproof/src/snarks/fibonacci.rs:72:5 [INFO] [stdout] | [INFO] [stdout] 72 | init_size!(n, n, size); [INFO] [stdout] | ---------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] help: `n` is captured in macro and introduced a unused variable [INFO] [stdout] --> voproof/src/tools/mod.rs:1325:9 [INFO] [stdout] | [INFO] [stdout] 1325 | let $name: i64 = $size.$attr as i64; [INFO] [stdout] | ^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: voproof/src/snarks/fibonacci.rs:72:5 [INFO] [stdout] | [INFO] [stdout] 72 | init_size!(n, n, size); [INFO] [stdout] | ---------------------- in this macro invocation [INFO] [stdout] = note: this warning originates in the macro `init_size` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `gamma` [INFO] [stdout] --> voproof/src/tools/mod.rs:1318:9 [INFO] [stdout] | [INFO] [stdout] 1318 | let $gamma = generator_of!($e); [INFO] [stdout] | ^^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: voproof/src/snarks/fibonacci.rs:73:5 [INFO] [stdout] | [INFO] [stdout] 73 | define_generator!(gamma, E); [INFO] [stdout] | --------------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] help: `gamma` is captured in macro and introduced a unused variable [INFO] [stdout] --> voproof/src/tools/mod.rs:1318:9 [INFO] [stdout] | [INFO] [stdout] 1318 | let $gamma = generator_of!($e); [INFO] [stdout] | ^^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: voproof/src/snarks/fibonacci.rs:73:5 [INFO] [stdout] | [INFO] [stdout] 73 | define_generator!(gamma, E); [INFO] [stdout] | --------------------------- in this macro invocation [INFO] [stdout] = note: this warning originates in the macro `define_generator` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `nsize` [INFO] [stdout] --> voproof/src/tools/mod.rs:1325:9 [INFO] [stdout] | [INFO] [stdout] 1325 | let $name: i64 = $size.$attr as i64; [INFO] [stdout] | ^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: voproof/src/snarks/range_check.rs:75:5 [INFO] [stdout] | [INFO] [stdout] 75 | init_size!(nsize, lookup_size, size); [INFO] [stdout] | ------------------------------------ in this macro invocation [INFO] [stdout] | [INFO] [stdout] help: `nsize` is captured in macro and introduced a unused variable [INFO] [stdout] --> voproof/src/tools/mod.rs:1325:9 [INFO] [stdout] | [INFO] [stdout] 1325 | let $name: i64 = $size.$attr as i64; [INFO] [stdout] | ^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: voproof/src/snarks/range_check.rs:75:5 [INFO] [stdout] | [INFO] [stdout] 75 | init_size!(nsize, lookup_size, size); [INFO] [stdout] | ------------------------------------ in this macro invocation [INFO] [stdout] = note: this warning originates in the macro `init_size` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `range` [INFO] [stdout] --> voproof/src/tools/mod.rs:1325:9 [INFO] [stdout] | [INFO] [stdout] 1325 | let $name: i64 = $size.$attr as i64; [INFO] [stdout] | ^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: voproof/src/snarks/range_check.rs:76:5 [INFO] [stdout] | [INFO] [stdout] 76 | init_size!(range, range, size); [INFO] [stdout] | ------------------------------ in this macro invocation [INFO] [stdout] | [INFO] [stdout] help: `range` is captured in macro and introduced a unused variable [INFO] [stdout] --> voproof/src/tools/mod.rs:1325:9 [INFO] [stdout] | [INFO] [stdout] 1325 | let $name: i64 = $size.$attr as i64; [INFO] [stdout] | ^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: voproof/src/snarks/range_check.rs:76:5 [INFO] [stdout] | [INFO] [stdout] 76 | init_size!(range, range, size); [INFO] [stdout] | ------------------------------ in this macro invocation [INFO] [stdout] = note: this warning originates in the macro `init_size` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `gamma` [INFO] [stdout] --> voproof/src/tools/mod.rs:1318:9 [INFO] [stdout] | [INFO] [stdout] 1318 | let $gamma = generator_of!($e); [INFO] [stdout] | ^^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: voproof/src/snarks/range_check.rs:77:5 [INFO] [stdout] | [INFO] [stdout] 77 | define_generator!(gamma, E); [INFO] [stdout] | --------------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] help: `gamma` is captured in macro and introduced a unused variable [INFO] [stdout] --> voproof/src/tools/mod.rs:1318:9 [INFO] [stdout] | [INFO] [stdout] 1318 | let $gamma = generator_of!($e); [INFO] [stdout] | ^^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: voproof/src/snarks/range_check.rs:77:5 [INFO] [stdout] | [INFO] [stdout] 77 | define_generator!(gamma, E); [INFO] [stdout] | --------------------------- in this macro invocation [INFO] [stdout] = note: this warning originates in the macro `define_generator` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `cap_h` [INFO] [stdout] --> voproof/src/tools/mod.rs:1325:9 [INFO] [stdout] | [INFO] [stdout] 1325 | let $name: i64 = $size.$attr as i64; [INFO] [stdout] | ^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: voproof/src/snarks/voproof_hpr.rs:85:5 [INFO] [stdout] | [INFO] [stdout] 85 | init_size!(cap_h, nrows, size); [INFO] [stdout] | ------------------------------ in this macro invocation [INFO] [stdout] | [INFO] [stdout] help: `cap_h` is captured in macro and introduced a unused variable [INFO] [stdout] --> voproof/src/tools/mod.rs:1325:9 [INFO] [stdout] | [INFO] [stdout] 1325 | let $name: i64 = $size.$attr as i64; [INFO] [stdout] | ^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: voproof/src/snarks/voproof_hpr.rs:85:5 [INFO] [stdout] | [INFO] [stdout] 85 | init_size!(cap_h, nrows, size); [INFO] [stdout] | ------------------------------ in this macro invocation [INFO] [stdout] = note: this warning originates in the macro `init_size` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `cap_c_c` [INFO] [stdout] --> voproof/src/tools/mod.rs:1325:9 [INFO] [stdout] | [INFO] [stdout] 1325 | let $name: i64 = $size.$attr as i64; [INFO] [stdout] | ^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: voproof/src/snarks/voproof_pov.rs:76:5 [INFO] [stdout] | [INFO] [stdout] 76 | init_size!(cap_c_c, nconsts, size); [INFO] [stdout] | ---------------------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] help: `cap_c_c` is captured in macro and introduced a unused variable [INFO] [stdout] --> voproof/src/tools/mod.rs:1325:9 [INFO] [stdout] | [INFO] [stdout] 1325 | let $name: i64 = $size.$attr as i64; [INFO] [stdout] | ^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: voproof/src/snarks/voproof_pov.rs:76:5 [INFO] [stdout] | [INFO] [stdout] 76 | init_size!(cap_c_c, nconsts, size); [INFO] [stdout] | ---------------------------------- in this macro invocation [INFO] [stdout] = note: this warning originates in the macro `init_size` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `cap_c_c` [INFO] [stdout] --> voproof/src/tools/mod.rs:1325:9 [INFO] [stdout] | [INFO] [stdout] 1325 | let $name: i64 = $size.$attr as i64; [INFO] [stdout] | ^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: voproof/src/snarks/voproof_pov_prover_efficient.rs:83:5 [INFO] [stdout] | [INFO] [stdout] 83 | init_size!(cap_c_c, nconsts, size); [INFO] [stdout] | ---------------------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] help: `cap_c_c` is captured in macro and introduced a unused variable [INFO] [stdout] --> voproof/src/tools/mod.rs:1325:9 [INFO] [stdout] | [INFO] [stdout] 1325 | let $name: i64 = $size.$attr as i64; [INFO] [stdout] | ^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: voproof/src/snarks/voproof_pov_prover_efficient.rs:83:5 [INFO] [stdout] | [INFO] [stdout] 83 | init_size!(cap_c_c, nconsts, size); [INFO] [stdout] | ---------------------------------- in this macro invocation [INFO] [stdout] = note: this warning originates in the macro `init_size` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `cap_k` [INFO] [stdout] --> voproof/src/tools/mod.rs:1325:9 [INFO] [stdout] | [INFO] [stdout] 1325 | let $name: i64 = $size.$attr as i64; [INFO] [stdout] | ^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: voproof/src/snarks/voproof_r1cs.rs:85:5 [INFO] [stdout] | [INFO] [stdout] 85 | init_size!(cap_k, ncols, size); [INFO] [stdout] | ------------------------------ in this macro invocation [INFO] [stdout] | [INFO] [stdout] help: `cap_k` is captured in macro and introduced a unused variable [INFO] [stdout] --> voproof/src/tools/mod.rs:1325:9 [INFO] [stdout] | [INFO] [stdout] 1325 | let $name: i64 = $size.$attr as i64; [INFO] [stdout] | ^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: voproof/src/snarks/voproof_r1cs.rs:85:5 [INFO] [stdout] | [INFO] [stdout] 85 | init_size!(cap_k, ncols, size); [INFO] [stdout] | ------------------------------ in this macro invocation [INFO] [stdout] = note: this warning originates in the macro `init_size` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `ell` [INFO] [stdout] --> voproof/src/tools/mod.rs:1325:9 [INFO] [stdout] | [INFO] [stdout] 1325 | let $name: i64 = $size.$attr as i64; [INFO] [stdout] | ^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: voproof/src/snarks/voproof_r1cs.rs:89:5 [INFO] [stdout] | [INFO] [stdout] 89 | init_size!(ell, input_size, size); [INFO] [stdout] | --------------------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] help: `ell` is captured in macro and introduced a unused variable [INFO] [stdout] --> voproof/src/tools/mod.rs:1325:9 [INFO] [stdout] | [INFO] [stdout] 1325 | let $name: i64 = $size.$attr as i64; [INFO] [stdout] | ^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: voproof/src/snarks/voproof_r1cs.rs:89:5 [INFO] [stdout] | [INFO] [stdout] 89 | init_size!(ell, input_size, size); [INFO] [stdout] | --------------------------------- in this macro invocation [INFO] [stdout] = note: this warning originates in the macro `init_size` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `cap_k` [INFO] [stdout] --> voproof/src/tools/mod.rs:1325:9 [INFO] [stdout] | [INFO] [stdout] 1325 | let $name: i64 = $size.$attr as i64; [INFO] [stdout] | ^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: voproof/src/snarks/voproof_r1cs_prover_efficient.rs:94:5 [INFO] [stdout] | [INFO] [stdout] 94 | init_size!(cap_k, ncols, size); [INFO] [stdout] | ------------------------------ in this macro invocation [INFO] [stdout] | [INFO] [stdout] help: `cap_k` is captured in macro and introduced a unused variable [INFO] [stdout] --> voproof/src/tools/mod.rs:1325:9 [INFO] [stdout] | [INFO] [stdout] 1325 | let $name: i64 = $size.$attr as i64; [INFO] [stdout] | ^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: voproof/src/snarks/voproof_r1cs_prover_efficient.rs:94:5 [INFO] [stdout] | [INFO] [stdout] 94 | init_size!(cap_k, ncols, size); [INFO] [stdout] | ------------------------------ in this macro invocation [INFO] [stdout] = note: this warning originates in the macro `init_size` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `ell` [INFO] [stdout] --> voproof/src/tools/mod.rs:1325:9 [INFO] [stdout] | [INFO] [stdout] 1325 | let $name: i64 = $size.$attr as i64; [INFO] [stdout] | ^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: voproof/src/snarks/voproof_r1cs_prover_efficient.rs:98:5 [INFO] [stdout] | [INFO] [stdout] 98 | init_size!(ell, input_size, size); [INFO] [stdout] | --------------------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] help: `ell` is captured in macro and introduced a unused variable [INFO] [stdout] --> voproof/src/tools/mod.rs:1325:9 [INFO] [stdout] | [INFO] [stdout] 1325 | let $name: i64 = $size.$attr as i64; [INFO] [stdout] | ^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: voproof/src/snarks/voproof_r1cs_prover_efficient.rs:98:5 [INFO] [stdout] | [INFO] [stdout] 98 | init_size!(ell, input_size, size); [INFO] [stdout] | --------------------------------- in this macro invocation [INFO] [stdout] = note: this warning originates in the macro `init_size` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] For more information about this error, try `rustc --explain E0277`. [INFO] [stdout] [INFO] [stderr] error: could not compile `voproof` (lib test) due to 21 previous errors; 17 warnings emitted [INFO] running `Command { std: "docker" "inspect" "773fb4c24af9beecb911c66662ea27429224a37b0dcf64073a70316082832421", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "773fb4c24af9beecb911c66662ea27429224a37b0dcf64073a70316082832421", kill_on_drop: false }` [INFO] [stdout] 773fb4c24af9beecb911c66662ea27429224a37b0dcf64073a70316082832421