[INFO] fetching crate snarkvm-marlin 0.7.2... [INFO] checking snarkvm-marlin-0.7.2 against master#dfd7b8d03fb93d0e03147d28b3be6d93260fa94d for pr-87050 [INFO] extracting crate snarkvm-marlin 0.7.2 into /workspace/builds/worker-5/source [INFO] validating manifest of crates.io crate snarkvm-marlin 0.7.2 on toolchain dfd7b8d03fb93d0e03147d28b3be6d93260fa94d [INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+dfd7b8d03fb93d0e03147d28b3be6d93260fa94d" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] started tweaking crates.io crate snarkvm-marlin 0.7.2 [INFO] finished tweaking crates.io crate snarkvm-marlin 0.7.2 [INFO] tweaked toml for crates.io crate snarkvm-marlin 0.7.2 written to /workspace/builds/worker-5/source/Cargo.toml [INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+dfd7b8d03fb93d0e03147d28b3be6d93260fa94d" "generate-lockfile" "--manifest-path" "Cargo.toml" "-Zno-index-update", kill_on_drop: false }` [INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+dfd7b8d03fb93d0e03147d28b3be6d93260fa94d" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5/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:34b6a614d2c27851fe6cbf88fbd1137609cefab8b10d0615aaeb6fd47975d74e" "/opt/rustwide/cargo-home/bin/cargo" "+dfd7b8d03fb93d0e03147d28b3be6d93260fa94d" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] 8a55b73be306fc87b1c06b6b8bc41cdd834522a52f903255162bd3b1d0051a75 [INFO] running `Command { std: "docker" "start" "-a" "8a55b73be306fc87b1c06b6b8bc41cdd834522a52f903255162bd3b1d0051a75", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "8a55b73be306fc87b1c06b6b8bc41cdd834522a52f903255162bd3b1d0051a75", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "8a55b73be306fc87b1c06b6b8bc41cdd834522a52f903255162bd3b1d0051a75", kill_on_drop: false }` [INFO] [stdout] 8a55b73be306fc87b1c06b6b8bc41cdd834522a52f903255162bd3b1d0051a75 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "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:34b6a614d2c27851fe6cbf88fbd1137609cefab8b10d0615aaeb6fd47975d74e" "/opt/rustwide/cargo-home/bin/cargo" "+dfd7b8d03fb93d0e03147d28b3be6d93260fa94d" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 656563673ca3868aeefea8f7875ce0d3e5b5c99346a7c10e68e15e6f1ff9ce68 [INFO] running `Command { std: "docker" "start" "-a" "656563673ca3868aeefea8f7875ce0d3e5b5c99346a7c10e68e15e6f1ff9ce68", kill_on_drop: false }` [INFO] [stderr] Compiling syn v1.0.74 [INFO] [stderr] Compiling typenum v1.13.0 [INFO] [stderr] Checking either v1.6.1 [INFO] [stderr] Checking scopeguard v1.1.0 [INFO] [stderr] Checking once_cell v1.8.0 [INFO] [stderr] Compiling radium v0.6.2 [INFO] [stderr] Compiling ryu v1.0.5 [INFO] [stderr] Checking opaque-debug v0.3.0 [INFO] [stderr] Compiling memchr v2.4.0 [INFO] [stderr] Checking funty v1.2.0 [INFO] [stderr] Checking cpufeatures v0.1.5 [INFO] [stderr] Checking itoa v0.4.7 [INFO] [stderr] Checking snarkvm-profiler v0.7.4 [INFO] [stderr] Checking smallvec v1.6.1 [INFO] [stderr] Compiling serde_json v1.0.64 [INFO] [stderr] Compiling bitflags v1.2.1 [INFO] [stderr] Checking unicode-width v0.1.8 [INFO] [stderr] Checking same-file v1.0.6 [INFO] [stderr] Checking half v1.7.1 [INFO] [stderr] Checking regex-syntax v0.6.25 [INFO] [stderr] Checking oorandom v11.1.3 [INFO] [stderr] Compiling num-traits v0.2.14 [INFO] [stderr] Compiling memoffset v0.6.4 [INFO] [stderr] Compiling rayon v1.5.1 [INFO] [stderr] Compiling indexmap v1.7.0 [INFO] [stderr] Compiling generic-array v0.14.4 [INFO] [stderr] Compiling ahash v0.7.4 [INFO] [stderr] Checking wyz v0.4.0 [INFO] [stderr] Checking crossbeam-utils v0.8.5 [INFO] [stderr] Checking num_cpus v1.13.0 [INFO] [stderr] Checking atty v0.2.14 [INFO] [stderr] Checking rand_xorshift v0.3.0 [INFO] [stderr] Checking itertools v0.10.1 [INFO] [stderr] Checking itertools v0.9.0 [INFO] [stderr] Checking walkdir v2.3.2 [INFO] [stderr] Checking textwrap v0.11.0 [INFO] [stderr] Checking crossbeam-channel v0.5.1 [INFO] [stderr] Checking crossbeam-epoch v0.9.5 [INFO] [stderr] Checking clap v2.33.3 [INFO] [stderr] Checking criterion-plot v0.4.3 [INFO] [stderr] Checking hashbrown v0.11.2 [INFO] [stderr] Checking regex v1.5.4 [INFO] [stderr] Checking csv-core v0.1.10 [INFO] [stderr] Checking crossbeam-deque v0.8.0 [INFO] [stderr] Checking num-integer v0.1.44 [INFO] [stderr] Checking plotters v0.3.1 [INFO] [stderr] Checking bitvec v0.22.3 [INFO] [stderr] Checking rayon-core v1.9.1 [INFO] [stderr] Checking num-bigint v0.4.0 [INFO] [stderr] Checking digest v0.9.0 [INFO] [stderr] Checking crypto-mac v0.8.0 [INFO] [stderr] Checking block-buffer v0.9.0 [INFO] [stderr] Checking sha2 v0.9.5 [INFO] [stderr] Checking blake2 v0.9.1 [INFO] [stderr] Compiling serde_derive v1.0.126 [INFO] [stderr] Compiling thiserror-impl v1.0.26 [INFO] [stderr] Compiling derivative v2.2.0 [INFO] [stderr] Checking thiserror v1.0.26 [INFO] [stderr] Checking serde v1.0.126 [INFO] [stderr] Checking bincode v1.3.3 [INFO] [stderr] Checking bstr v0.2.16 [INFO] [stderr] Checking serde_cbor v0.11.1 [INFO] [stderr] Compiling toml v0.5.8 [INFO] [stderr] Checking csv v1.1.6 [INFO] [stderr] Checking tinytemplate v1.2.1 [INFO] [stderr] Checking criterion v0.3.4 [INFO] [stderr] Compiling proc-macro-crate v0.1.5 [INFO] [stderr] Compiling snarkvm-derives v0.7.4 [INFO] [stderr] Checking snarkvm-utilities v0.7.4 [INFO] [stderr] Checking snarkvm-fields v0.7.4 [INFO] [stderr] Checking snarkvm-curves v0.7.4 [INFO] [stderr] Checking snarkvm-r1cs v0.7.4 [INFO] [stderr] Checking snarkvm-algorithms v0.7.4 [INFO] [stderr] Checking snarkvm-gadgets v0.7.4 [INFO] [stderr] Checking snarkvm-polycommit v0.7.4 [INFO] [stderr] Checking snarkvm-marlin v0.7.2 (/opt/rustwide/workdir) [INFO] [stdout] error[E0432]: unresolved import `snarkvm_utilities::to_bytes` [INFO] [stdout] --> src/constraints/ahp.rs:958:39 [INFO] [stdout] | [INFO] [stdout] 958 | use snarkvm_utilities::{test_rng, to_bytes, ToBytes, UniformRand}; [INFO] [stdout] | ^^^^^^^^ no `to_bytes` in the root [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0432]: unresolved import `snarkvm_utilities::to_bytes` [INFO] [stdout] --> src/constraints/verifier_key/prepared_circuit_verifier_key.rs:32:25 [INFO] [stdout] | [INFO] [stdout] 32 | use snarkvm_utilities::{to_bytes, FromBytes, ToBytes}; [INFO] [stdout] | ^^^^^^^^ no `to_bytes` in the root [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0432]: unresolved import `snarkvm_utilities::to_bytes` [INFO] [stdout] --> src/marlin/marlin.rs:27:41 [INFO] [stdout] | [INFO] [stdout] 27 | use snarkvm_utilities::{bytes::ToBytes, to_bytes}; [INFO] [stdout] | ^^^^^^^^ no `to_bytes` in the root [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: cannot determine resolution for the macro `to_bytes` [INFO] [stdout] --> src/constraints/verifier_key/prepared_circuit_verifier_key.rs:110:34 [INFO] [stdout] | [INFO] [stdout] 110 | fs_rng_raw.absorb_bytes(&to_bytes![ [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: import resolution is stuck, try simplifying macro imports [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: cannot determine resolution for the macro `to_bytes` [INFO] [stdout] --> src/constraints/verifier_key/prepared_circuit_verifier_key.rs:206:34 [INFO] [stdout] | [INFO] [stdout] 206 | fs_rng_raw.absorb_bytes(&to_bytes![ [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: import resolution is stuck, try simplifying macro imports [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: cannot determine resolution for the macro `to_bytes` [INFO] [stdout] --> src/constraints/verifier_key/prepared_circuit_verifier_key.rs:270:34 [INFO] [stdout] | [INFO] [stdout] 270 | fs_rng_raw.absorb_bytes(&to_bytes![ [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: import resolution is stuck, try simplifying macro imports [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: cannot determine resolution for the macro `to_bytes` [INFO] [stdout] --> src/constraints/verifier_key/prepared_circuit_verifier_key.rs:334:34 [INFO] [stdout] | [INFO] [stdout] 334 | fs_rng_raw.absorb_bytes(&to_bytes![ [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: import resolution is stuck, try simplifying macro imports [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: cannot determine resolution for the macro `to_bytes` [INFO] [stdout] --> src/marlin/marlin.rs:641:34 [INFO] [stdout] | [INFO] [stdout] 641 | fs_rng.absorb_bytes(&to_bytes![&proof.evaluations].unwrap()); [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: import resolution is stuck, try simplifying macro imports [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: cannot determine resolution for the macro `to_bytes` [INFO] [stdout] --> src/marlin/marlin.rs:602:34 [INFO] [stdout] | [INFO] [stdout] 602 | fs_rng.absorb_bytes(&to_bytes![third_commitments, proof.prover_messages[2]].unwrap()); [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: import resolution is stuck, try simplifying macro imports [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: cannot determine resolution for the macro `to_bytes` [INFO] [stdout] --> src/marlin/marlin.rs:583:34 [INFO] [stdout] | [INFO] [stdout] 583 | fs_rng.absorb_bytes(&to_bytes![second_commitments, proof.prover_messages[1]].unwrap()); [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: import resolution is stuck, try simplifying macro imports [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: cannot determine resolution for the macro `to_bytes` [INFO] [stdout] --> src/marlin/marlin.rs:564:34 [INFO] [stdout] | [INFO] [stdout] 564 | fs_rng.absorb_bytes(&to_bytes![first_commitments, proof.prover_messages[0]].unwrap()); [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: import resolution is stuck, try simplifying macro imports [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: cannot determine resolution for the macro `to_bytes` [INFO] [stdout] --> src/marlin/marlin.rs:547:34 [INFO] [stdout] | [INFO] [stdout] 547 | fs_rng.absorb_bytes(&to_bytes![&Self::PROTOCOL_NAME, &circuit_verifying_key, &public_input].unwrap()); [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: import resolution is stuck, try simplifying macro imports [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: cannot determine resolution for the macro `to_bytes` [INFO] [stdout] --> src/marlin/marlin.rs:541:34 [INFO] [stdout] | [INFO] [stdout] 541 | fs_rng.absorb_bytes(&to_bytes![&Self::PROTOCOL_NAME].unwrap()); [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: import resolution is stuck, try simplifying macro imports [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: cannot determine resolution for the macro `to_bytes` [INFO] [stdout] --> src/marlin/marlin.rs:460:34 [INFO] [stdout] | [INFO] [stdout] 460 | fs_rng.absorb_bytes(&to_bytes![&evaluations].unwrap()); [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: import resolution is stuck, try simplifying macro imports [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: cannot determine resolution for the macro `to_bytes` [INFO] [stdout] --> src/marlin/marlin.rs:352:34 [INFO] [stdout] | [INFO] [stdout] 352 | fs_rng.absorb_bytes(&to_bytes![third_commitments, prover_third_message].unwrap()); [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: import resolution is stuck, try simplifying macro imports [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: cannot determine resolution for the macro `to_bytes` [INFO] [stdout] --> src/marlin/marlin.rs:326:34 [INFO] [stdout] | [INFO] [stdout] 326 | fs_rng.absorb_bytes(&to_bytes![second_commitments, prover_second_message].unwrap()); [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: import resolution is stuck, try simplifying macro imports [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: cannot determine resolution for the macro `to_bytes` [INFO] [stdout] --> src/marlin/marlin.rs:298:34 [INFO] [stdout] | [INFO] [stdout] 298 | fs_rng.absorb_bytes(&to_bytes![first_commitments, prover_first_message].unwrap()); [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: import resolution is stuck, try simplifying macro imports [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: cannot determine resolution for the macro `to_bytes` [INFO] [stdout] --> src/marlin/marlin.rs:268:18 [INFO] [stdout] | [INFO] [stdout] 268 | &to_bytes![ [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: import resolution is stuck, try simplifying macro imports [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: cannot determine resolution for the macro `to_bytes` [INFO] [stdout] --> src/marlin/marlin.rs:261:34 [INFO] [stdout] | [INFO] [stdout] 261 | fs_rng.absorb_bytes(&to_bytes![&Self::PROTOCOL_NAME].unwrap()); [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: import resolution is stuck, try simplifying macro imports [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: cannot determine resolution for the macro `to_bytes` [INFO] [stdout] --> src/constraints/ahp.rs:2083:34 [INFO] [stdout] | [INFO] [stdout] 2083 | fs_rng.absorb_bytes(&to_bytes![&proof.evaluations].unwrap()); [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: import resolution is stuck, try simplifying macro imports [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: cannot determine resolution for the macro `to_bytes` [INFO] [stdout] --> src/constraints/ahp.rs:2057:34 [INFO] [stdout] | [INFO] [stdout] 2057 | fs_rng.absorb_bytes(&to_bytes![third_commitments, proof.prover_messages[2]].unwrap()); [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: import resolution is stuck, try simplifying macro imports [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: cannot determine resolution for the macro `to_bytes` [INFO] [stdout] --> src/constraints/ahp.rs:2006:34 [INFO] [stdout] | [INFO] [stdout] 2006 | fs_rng.absorb_bytes(&to_bytes![second_commitments, proof.prover_messages[1]].unwrap()); [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: import resolution is stuck, try simplifying macro imports [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: cannot determine resolution for the macro `to_bytes` [INFO] [stdout] --> src/constraints/ahp.rs:1955:34 [INFO] [stdout] | [INFO] [stdout] 1955 | fs_rng.absorb_bytes(&to_bytes![first_commitments, proof.prover_messages[0]].unwrap()); [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: import resolution is stuck, try simplifying macro imports [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: cannot determine resolution for the macro `to_bytes` [INFO] [stdout] --> src/constraints/ahp.rs:1918:34 [INFO] [stdout] | [INFO] [stdout] 1918 | fs_rng.absorb_bytes(&to_bytes![&MarlinInst::PROTOCOL_NAME, &circuit_vk, &public_input].unwrap()); [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: import resolution is stuck, try simplifying macro imports [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: cannot determine resolution for the macro `to_bytes` [INFO] [stdout] --> src/constraints/ahp.rs:1914:34 [INFO] [stdout] | [INFO] [stdout] 1914 | fs_rng.absorb_bytes(&to_bytes![&MarlinInst::PROTOCOL_NAME].unwrap()); [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: import resolution is stuck, try simplifying macro imports [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: cannot determine resolution for the macro `to_bytes` [INFO] [stdout] --> src/constraints/ahp.rs:1782:34 [INFO] [stdout] | [INFO] [stdout] 1782 | fs_rng.absorb_bytes(&to_bytes![&proof.evaluations].unwrap()); [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: import resolution is stuck, try simplifying macro imports [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: cannot determine resolution for the macro `to_bytes` [INFO] [stdout] --> src/constraints/ahp.rs:1756:34 [INFO] [stdout] | [INFO] [stdout] 1756 | fs_rng.absorb_bytes(&to_bytes![third_commitments, proof.prover_messages[2]].unwrap()); [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: import resolution is stuck, try simplifying macro imports [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: cannot determine resolution for the macro `to_bytes` [INFO] [stdout] --> src/constraints/ahp.rs:1705:34 [INFO] [stdout] | [INFO] [stdout] 1705 | fs_rng.absorb_bytes(&to_bytes![second_commitments, proof.prover_messages[1]].unwrap()); [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: import resolution is stuck, try simplifying macro imports [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: cannot determine resolution for the macro `to_bytes` [INFO] [stdout] --> src/constraints/ahp.rs:1654:34 [INFO] [stdout] | [INFO] [stdout] 1654 | fs_rng.absorb_bytes(&to_bytes![first_commitments, proof.prover_messages[0]].unwrap()); [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: import resolution is stuck, try simplifying macro imports [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: cannot determine resolution for the macro `to_bytes` [INFO] [stdout] --> src/constraints/ahp.rs:1617:34 [INFO] [stdout] | [INFO] [stdout] 1617 | fs_rng.absorb_bytes(&to_bytes![&MarlinInst::PROTOCOL_NAME, &circuit_vk, &public_input].unwrap()); [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: import resolution is stuck, try simplifying macro imports [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: cannot determine resolution for the macro `to_bytes` [INFO] [stdout] --> src/constraints/ahp.rs:1613:34 [INFO] [stdout] | [INFO] [stdout] 1613 | fs_rng.absorb_bytes(&to_bytes![&MarlinInst::PROTOCOL_NAME].unwrap()); [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: import resolution is stuck, try simplifying macro imports [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: cannot determine resolution for the macro `to_bytes` [INFO] [stdout] --> src/constraints/ahp.rs:1536:34 [INFO] [stdout] | [INFO] [stdout] 1536 | fs_rng.absorb_bytes(&to_bytes![third_commitments, proof.prover_messages[2]].unwrap()); [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: import resolution is stuck, try simplifying macro imports [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: cannot determine resolution for the macro `to_bytes` [INFO] [stdout] --> src/constraints/ahp.rs:1485:34 [INFO] [stdout] | [INFO] [stdout] 1485 | fs_rng.absorb_bytes(&to_bytes![second_commitments, proof.prover_messages[1]].unwrap()); [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: import resolution is stuck, try simplifying macro imports [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: cannot determine resolution for the macro `to_bytes` [INFO] [stdout] --> src/constraints/ahp.rs:1434:34 [INFO] [stdout] | [INFO] [stdout] 1434 | fs_rng.absorb_bytes(&to_bytes![first_commitments, proof.prover_messages[0]].unwrap()); [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: import resolution is stuck, try simplifying macro imports [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: cannot determine resolution for the macro `to_bytes` [INFO] [stdout] --> src/constraints/ahp.rs:1397:34 [INFO] [stdout] | [INFO] [stdout] 1397 | fs_rng.absorb_bytes(&to_bytes![&MarlinInst::PROTOCOL_NAME, &circuit_vk, &public_input].unwrap()); [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: import resolution is stuck, try simplifying macro imports [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: cannot determine resolution for the macro `to_bytes` [INFO] [stdout] --> src/constraints/ahp.rs:1393:34 [INFO] [stdout] | [INFO] [stdout] 1393 | fs_rng.absorb_bytes(&to_bytes![&MarlinInst::PROTOCOL_NAME].unwrap()); [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: import resolution is stuck, try simplifying macro imports [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: cannot determine resolution for the macro `to_bytes` [INFO] [stdout] --> src/constraints/ahp.rs:1318:34 [INFO] [stdout] | [INFO] [stdout] 1318 | fs_rng.absorb_bytes(&to_bytes![second_commitments, proof.prover_messages[1]].unwrap()); [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: import resolution is stuck, try simplifying macro imports [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: cannot determine resolution for the macro `to_bytes` [INFO] [stdout] --> src/constraints/ahp.rs:1267:34 [INFO] [stdout] | [INFO] [stdout] 1267 | fs_rng.absorb_bytes(&to_bytes![first_commitments, proof.prover_messages[0]].unwrap()); [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: import resolution is stuck, try simplifying macro imports [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: cannot determine resolution for the macro `to_bytes` [INFO] [stdout] --> src/constraints/ahp.rs:1230:34 [INFO] [stdout] | [INFO] [stdout] 1230 | fs_rng.absorb_bytes(&to_bytes![&MarlinInst::PROTOCOL_NAME, &circuit_vk, &public_input].unwrap()); [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: import resolution is stuck, try simplifying macro imports [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: cannot determine resolution for the macro `to_bytes` [INFO] [stdout] --> src/constraints/ahp.rs:1226:34 [INFO] [stdout] | [INFO] [stdout] 1226 | fs_rng.absorb_bytes(&to_bytes![&MarlinInst::PROTOCOL_NAME].unwrap()); [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: import resolution is stuck, try simplifying macro imports [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: cannot determine resolution for the macro `to_bytes` [INFO] [stdout] --> src/constraints/ahp.rs:1137:34 [INFO] [stdout] | [INFO] [stdout] 1137 | fs_rng.absorb_bytes(&to_bytes![first_commitments, proof.prover_messages[0]].unwrap()); [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: import resolution is stuck, try simplifying macro imports [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: cannot determine resolution for the macro `to_bytes` [INFO] [stdout] --> src/constraints/ahp.rs:1098:34 [INFO] [stdout] | [INFO] [stdout] 1098 | fs_rng.absorb_bytes(&to_bytes![&MarlinInst::PROTOCOL_NAME, &circuit_vk, &public_input].unwrap()); [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: import resolution is stuck, try simplifying macro imports [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: cannot determine resolution for the macro `to_bytes` [INFO] [stdout] --> src/constraints/ahp.rs:1094:34 [INFO] [stdout] | [INFO] [stdout] 1094 | fs_rng.absorb_bytes(&to_bytes![&MarlinInst::PROTOCOL_NAME].unwrap()); [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: import resolution is stuck, try simplifying macro imports [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0407]: method `write` is not a member of trait `ToBytes` [INFO] [stdout] --> src/ahp/indexer/circuit_info.rs:50:5 [INFO] [stdout] | [INFO] [stdout] 50 | / fn write(&self, mut w: W) -> Result<(), std::io::Error> { [INFO] [stdout] 51 | | (self.num_variables as u64).write(&mut w)?; [INFO] [stdout] 52 | | (self.num_constraints as u64).write(&mut w)?; [INFO] [stdout] 53 | | (self.num_non_zero as u64).write(&mut w) [INFO] [stdout] 54 | | } [INFO] [stdout] | |_____^ not a member of trait `ToBytes` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0407]: method `write` is not a member of trait `ToBytes` [INFO] [stdout] --> src/ahp/prover/message.rs:30:5 [INFO] [stdout] | [INFO] [stdout] 30 | / fn write(&self, mut w: W) -> io::Result<()> { [INFO] [stdout] 31 | | CanonicalSerialize::serialize(self, &mut w).map_err(|_| error("Could not serialize ProverMsg")) [INFO] [stdout] 32 | | } [INFO] [stdout] | |_____^ not a member of trait `ToBytes` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0407]: method `write` is not a member of trait `ToBytes` [INFO] [stdout] --> src/marlin/circuit_proving_key.rs:46:5 [INFO] [stdout] | [INFO] [stdout] 46 | / fn write(&self, mut writer: W) -> IoResult<()> { [INFO] [stdout] 47 | | CanonicalSerialize::serialize(self, &mut writer).map_err(|_| error("could not serialize CircuitProvingKey")) [INFO] [stdout] 48 | | } [INFO] [stdout] | |_____^ not a member of trait `ToBytes` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0407]: method `read` is not a member of trait `FromBytes` [INFO] [stdout] --> src/marlin/circuit_proving_key.rs:53:5 [INFO] [stdout] | [INFO] [stdout] 53 | / fn read(mut reader: R) -> IoResult { [INFO] [stdout] 54 | | CanonicalDeserialize::deserialize(&mut reader).map_err(|_| error("could not deserialize CircuitProvingKey")) [INFO] [stdout] 55 | | } [INFO] [stdout] | |_____^ not a member of trait `FromBytes` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0407]: method `write` is not a member of trait `ToBytes` [INFO] [stdout] --> src/marlin/circuit_verifying_key.rs:53:5 [INFO] [stdout] | [INFO] [stdout] 53 | / fn write(&self, mut w: W) -> io::Result<()> { [INFO] [stdout] 54 | | CanonicalSerialize::serialize(self, &mut w).map_err(|_| error("could not serialize CircuitVerifyingKey")) [INFO] [stdout] 55 | | } [INFO] [stdout] | |_____^ not a member of trait `ToBytes` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0407]: method `read` is not a member of trait `FromBytes` [INFO] [stdout] --> src/marlin/circuit_verifying_key.rs:59:5 [INFO] [stdout] | [INFO] [stdout] 59 | / fn read(mut r: R) -> io::Result { [INFO] [stdout] 60 | | CanonicalDeserialize::deserialize(&mut r).map_err(|_| error("could not deserialize CircuitVerifyingKey")) [INFO] [stdout] 61 | | } [INFO] [stdout] | |_____^ not a member of trait `FromBytes` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0407]: method `write` is not a member of trait `ToBytes` [INFO] [stdout] --> src/marlin/proof.rs:127:5 [INFO] [stdout] | [INFO] [stdout] 127 | / fn write(&self, mut w: W) -> io::Result<()> { [INFO] [stdout] 128 | | CanonicalSerialize::serialize(self, &mut w).map_err(|_| error("could not serialize Proof")) [INFO] [stdout] 129 | | } [INFO] [stdout] | |_____^ not a member of trait `ToBytes` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0407]: method `read` is not a member of trait `FromBytes` [INFO] [stdout] --> src/marlin/proof.rs:133:5 [INFO] [stdout] | [INFO] [stdout] 133 | / fn read(mut r: R) -> io::Result { [INFO] [stdout] 134 | | CanonicalDeserialize::deserialize(&mut r).map_err(|_| error("could not deserialize Proof")) [INFO] [stdout] 135 | | } [INFO] [stdout] | |_____^ not a member of trait `FromBytes` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0407]: method `write` is not a member of trait `ToBytes` [INFO] [stdout] --> src/parameters.rs:72:5 [INFO] [stdout] | [INFO] [stdout] 72 | / fn write(&self, mut w: W) -> io::Result<()> { [INFO] [stdout] 73 | | CanonicalSerialize::serialize(self, &mut w).map_err(|_| error("could not serialize parameters")) [INFO] [stdout] 74 | | } [INFO] [stdout] | |_____^ not a member of trait `ToBytes` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0407]: method `read` is not a member of trait `FromBytes` [INFO] [stdout] --> src/parameters.rs:78:5 [INFO] [stdout] | [INFO] [stdout] 78 | / fn read(mut r: R) -> io::Result { [INFO] [stdout] 79 | | // Signal that the SNARK params are being processed in order for the validation of affine values to be [INFO] [stdout] 80 | | // deferred, while ensuring that this method is not called recursively; the expected number of entries is [INFO] [stdout] 81 | | // counted with a thread-local SNARK_PARAMS_AFFINE_COUNT, which does not support recursion in its current form [INFO] [stdout] ... | [INFO] [stdout] 172 | | Ok(ret) [INFO] [stdout] 173 | | } [INFO] [stdout] | |_____^ not a member of trait `FromBytes` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0432]: unresolved import `snarkvm_utilities::to_bytes` [INFO] [stdout] --> src/constraints/verifier_key/prepared_circuit_verifier_key.rs:32:25 [INFO] [stdout] | [INFO] [stdout] 32 | use snarkvm_utilities::{to_bytes, FromBytes, ToBytes}; [INFO] [stdout] | ^^^^^^^^ no `to_bytes` in the root [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0432]: unresolved import `snarkvm_utilities::to_bytes` [INFO] [stdout] --> src/marlin/marlin.rs:27:41 [INFO] [stdout] | [INFO] [stdout] 27 | use snarkvm_utilities::{bytes::ToBytes, to_bytes}; [INFO] [stdout] | ^^^^^^^^ no `to_bytes` in the root [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: cannot determine resolution for the macro `to_bytes` [INFO] [stdout] --> src/constraints/verifier_key/prepared_circuit_verifier_key.rs:110:34 [INFO] [stdout] | [INFO] [stdout] 110 | fs_rng_raw.absorb_bytes(&to_bytes![ [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: import resolution is stuck, try simplifying macro imports [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: cannot determine resolution for the macro `to_bytes` [INFO] [stdout] --> src/constraints/verifier_key/prepared_circuit_verifier_key.rs:206:34 [INFO] [stdout] | [INFO] [stdout] 206 | fs_rng_raw.absorb_bytes(&to_bytes![ [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: import resolution is stuck, try simplifying macro imports [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: cannot determine resolution for the macro `to_bytes` [INFO] [stdout] --> src/constraints/verifier_key/prepared_circuit_verifier_key.rs:270:34 [INFO] [stdout] | [INFO] [stdout] 270 | fs_rng_raw.absorb_bytes(&to_bytes![ [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: import resolution is stuck, try simplifying macro imports [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: cannot determine resolution for the macro `to_bytes` [INFO] [stdout] --> src/constraints/verifier_key/prepared_circuit_verifier_key.rs:334:34 [INFO] [stdout] | [INFO] [stdout] 334 | fs_rng_raw.absorb_bytes(&to_bytes![ [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: import resolution is stuck, try simplifying macro imports [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: cannot determine resolution for the macro `to_bytes` [INFO] [stdout] --> src/marlin/marlin.rs:641:34 [INFO] [stdout] | [INFO] [stdout] 641 | fs_rng.absorb_bytes(&to_bytes![&proof.evaluations].unwrap()); [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: import resolution is stuck, try simplifying macro imports [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: cannot determine resolution for the macro `to_bytes` [INFO] [stdout] --> src/marlin/marlin.rs:602:34 [INFO] [stdout] | [INFO] [stdout] 602 | fs_rng.absorb_bytes(&to_bytes![third_commitments, proof.prover_messages[2]].unwrap()); [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: import resolution is stuck, try simplifying macro imports [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: cannot determine resolution for the macro `to_bytes` [INFO] [stdout] --> src/marlin/marlin.rs:583:34 [INFO] [stdout] | [INFO] [stdout] 583 | fs_rng.absorb_bytes(&to_bytes![second_commitments, proof.prover_messages[1]].unwrap()); [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: import resolution is stuck, try simplifying macro imports [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: cannot determine resolution for the macro `to_bytes` [INFO] [stdout] --> src/marlin/marlin.rs:564:34 [INFO] [stdout] | [INFO] [stdout] 564 | fs_rng.absorb_bytes(&to_bytes![first_commitments, proof.prover_messages[0]].unwrap()); [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: import resolution is stuck, try simplifying macro imports [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: cannot determine resolution for the macro `to_bytes` [INFO] [stdout] --> src/marlin/marlin.rs:547:34 [INFO] [stdout] | [INFO] [stdout] 547 | fs_rng.absorb_bytes(&to_bytes![&Self::PROTOCOL_NAME, &circuit_verifying_key, &public_input].unwrap()); [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: import resolution is stuck, try simplifying macro imports [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: cannot determine resolution for the macro `to_bytes` [INFO] [stdout] --> src/marlin/marlin.rs:541:34 [INFO] [stdout] | [INFO] [stdout] 541 | fs_rng.absorb_bytes(&to_bytes![&Self::PROTOCOL_NAME].unwrap()); [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: import resolution is stuck, try simplifying macro imports [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: cannot determine resolution for the macro `to_bytes` [INFO] [stdout] --> src/marlin/marlin.rs:460:34 [INFO] [stdout] | [INFO] [stdout] 460 | fs_rng.absorb_bytes(&to_bytes![&evaluations].unwrap()); [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: import resolution is stuck, try simplifying macro imports [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: cannot determine resolution for the macro `to_bytes` [INFO] [stdout] --> src/marlin/marlin.rs:352:34 [INFO] [stdout] | [INFO] [stdout] 352 | fs_rng.absorb_bytes(&to_bytes![third_commitments, prover_third_message].unwrap()); [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: import resolution is stuck, try simplifying macro imports [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: cannot determine resolution for the macro `to_bytes` [INFO] [stdout] --> src/marlin/marlin.rs:326:34 [INFO] [stdout] | [INFO] [stdout] 326 | fs_rng.absorb_bytes(&to_bytes![second_commitments, prover_second_message].unwrap()); [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: import resolution is stuck, try simplifying macro imports [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: cannot determine resolution for the macro `to_bytes` [INFO] [stdout] --> src/marlin/marlin.rs:298:34 [INFO] [stdout] | [INFO] [stdout] 298 | fs_rng.absorb_bytes(&to_bytes![first_commitments, prover_first_message].unwrap()); [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: import resolution is stuck, try simplifying macro imports [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: cannot determine resolution for the macro `to_bytes` [INFO] [stdout] --> src/marlin/marlin.rs:268:18 [INFO] [stdout] | [INFO] [stdout] 268 | &to_bytes![ [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: import resolution is stuck, try simplifying macro imports [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: cannot determine resolution for the macro `to_bytes` [INFO] [stdout] --> src/marlin/marlin.rs:261:34 [INFO] [stdout] | [INFO] [stdout] 261 | fs_rng.absorb_bytes(&to_bytes![&Self::PROTOCOL_NAME].unwrap()); [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: import resolution is stuck, try simplifying macro imports [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0407]: method `write` is not a member of trait `ToBytes` [INFO] [stdout] --> src/ahp/indexer/circuit_info.rs:50:5 [INFO] [stdout] | [INFO] [stdout] 50 | / fn write(&self, mut w: W) -> Result<(), std::io::Error> { [INFO] [stdout] 51 | | (self.num_variables as u64).write(&mut w)?; [INFO] [stdout] 52 | | (self.num_constraints as u64).write(&mut w)?; [INFO] [stdout] 53 | | (self.num_non_zero as u64).write(&mut w) [INFO] [stdout] 54 | | } [INFO] [stdout] | |_____^ not a member of trait `ToBytes` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0407]: method `write` is not a member of trait `ToBytes` [INFO] [stdout] --> src/ahp/prover/message.rs:30:5 [INFO] [stdout] | [INFO] [stdout] 30 | / fn write(&self, mut w: W) -> io::Result<()> { [INFO] [stdout] 31 | | CanonicalSerialize::serialize(self, &mut w).map_err(|_| error("Could not serialize ProverMsg")) [INFO] [stdout] 32 | | } [INFO] [stdout] | |_____^ not a member of trait `ToBytes` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0407]: method `write` is not a member of trait `ToBytes` [INFO] [stdout] --> src/marlin/circuit_proving_key.rs:46:5 [INFO] [stdout] | [INFO] [stdout] 46 | / fn write(&self, mut writer: W) -> IoResult<()> { [INFO] [stdout] 47 | | CanonicalSerialize::serialize(self, &mut writer).map_err(|_| error("could not serialize CircuitProvingKey")) [INFO] [stdout] 48 | | } [INFO] [stdout] | |_____^ not a member of trait `ToBytes` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0407]: method `read` is not a member of trait `FromBytes` [INFO] [stdout] --> src/marlin/circuit_proving_key.rs:53:5 [INFO] [stdout] | [INFO] [stdout] 53 | / fn read(mut reader: R) -> IoResult { [INFO] [stdout] 54 | | CanonicalDeserialize::deserialize(&mut reader).map_err(|_| error("could not deserialize CircuitProvingKey")) [INFO] [stdout] 55 | | } [INFO] [stdout] | |_____^ not a member of trait `FromBytes` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0407]: method `write` is not a member of trait `ToBytes` [INFO] [stdout] --> src/marlin/circuit_verifying_key.rs:53:5 [INFO] [stdout] | [INFO] [stdout] 53 | / fn write(&self, mut w: W) -> io::Result<()> { [INFO] [stdout] 54 | | CanonicalSerialize::serialize(self, &mut w).map_err(|_| error("could not serialize CircuitVerifyingKey")) [INFO] [stdout] 55 | | } [INFO] [stdout] | |_____^ not a member of trait `ToBytes` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0407]: method `read` is not a member of trait `FromBytes` [INFO] [stdout] --> src/marlin/circuit_verifying_key.rs:59:5 [INFO] [stdout] | [INFO] [stdout] 59 | / fn read(mut r: R) -> io::Result { [INFO] [stdout] 60 | | CanonicalDeserialize::deserialize(&mut r).map_err(|_| error("could not deserialize CircuitVerifyingKey")) [INFO] [stdout] 61 | | } [INFO] [stdout] | |_____^ not a member of trait `FromBytes` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0407]: method `write` is not a member of trait `ToBytes` [INFO] [stdout] --> src/marlin/proof.rs:127:5 [INFO] [stdout] | [INFO] [stdout] 127 | / fn write(&self, mut w: W) -> io::Result<()> { [INFO] [stdout] 128 | | CanonicalSerialize::serialize(self, &mut w).map_err(|_| error("could not serialize Proof")) [INFO] [stdout] 129 | | } [INFO] [stdout] | |_____^ not a member of trait `ToBytes` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0407]: method `read` is not a member of trait `FromBytes` [INFO] [stdout] --> src/marlin/proof.rs:133:5 [INFO] [stdout] | [INFO] [stdout] 133 | / fn read(mut r: R) -> io::Result { [INFO] [stdout] 134 | | CanonicalDeserialize::deserialize(&mut r).map_err(|_| error("could not deserialize Proof")) [INFO] [stdout] 135 | | } [INFO] [stdout] | |_____^ not a member of trait `FromBytes` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0407]: method `write` is not a member of trait `ToBytes` [INFO] [stdout] --> src/parameters.rs:72:5 [INFO] [stdout] | [INFO] [stdout] 72 | / fn write(&self, mut w: W) -> io::Result<()> { [INFO] [stdout] 73 | | CanonicalSerialize::serialize(self, &mut w).map_err(|_| error("could not serialize parameters")) [INFO] [stdout] 74 | | } [INFO] [stdout] | |_____^ not a member of trait `ToBytes` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0407]: method `read` is not a member of trait `FromBytes` [INFO] [stdout] --> src/parameters.rs:78:5 [INFO] [stdout] | [INFO] [stdout] 78 | / fn read(mut r: R) -> io::Result { [INFO] [stdout] 79 | | // Signal that the SNARK params are being processed in order for the validation of affine values to be [INFO] [stdout] 80 | | // deferred, while ensuring that this method is not called recursively; the expected number of entries is [INFO] [stdout] 81 | | // counted with a thread-local SNARK_PARAMS_AFFINE_COUNT, which does not support recursion in its current form [INFO] [stdout] ... | [INFO] [stdout] 172 | | Ok(ret) [INFO] [stdout] 173 | | } [INFO] [stdout] | |_____^ not a member of trait `FromBytes` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `ToBytes` [INFO] [stdout] --> src/constraints/ahp.rs:958:49 [INFO] [stdout] | [INFO] [stdout] 958 | use snarkvm_utilities::{test_rng, to_bytes, ToBytes, UniformRand}; [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `ToBytes` [INFO] [stdout] --> src/constraints/verifier_key/prepared_circuit_verifier_key.rs:32:46 [INFO] [stdout] | [INFO] [stdout] 32 | use snarkvm_utilities::{to_bytes, FromBytes, ToBytes}; [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `verifier::MarlinVerificationGadget` [INFO] [stdout] --> src/constraints/verifier_key/prepared_circuit_verifier_key.rs:35:19 [INFO] [stdout] | [INFO] [stdout] 35 | constraints::{verifier::MarlinVerificationGadget, verifier_key::CircuitVerifyingKeyVar}, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `bytes::ToBytes` [INFO] [stdout] --> src/marlin/marlin.rs:27:25 [INFO] [stdout] | [INFO] [stdout] 27 | use snarkvm_utilities::{bytes::ToBytes, to_bytes}; [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `snarkvm_utilities::BigInteger` [INFO] [stdout] --> src/fiat_shamir/fiat_shamir_algebraic_sponge.rs:29:5 [INFO] [stdout] | [INFO] [stdout] 29 | use snarkvm_utilities::BigInteger; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `ToBytes` [INFO] [stdout] --> src/constraints/verifier_key/prepared_circuit_verifier_key.rs:32:46 [INFO] [stdout] | [INFO] [stdout] 32 | use snarkvm_utilities::{to_bytes, FromBytes, ToBytes}; [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `verifier::MarlinVerificationGadget` [INFO] [stdout] --> src/constraints/verifier_key/prepared_circuit_verifier_key.rs:35:19 [INFO] [stdout] | [INFO] [stdout] 35 | constraints::{verifier::MarlinVerificationGadget, verifier_key::CircuitVerifyingKeyVar}, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `bytes::ToBytes` [INFO] [stdout] --> src/marlin/marlin.rs:27:25 [INFO] [stdout] | [INFO] [stdout] 27 | use snarkvm_utilities::{bytes::ToBytes, to_bytes}; [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `snarkvm_utilities::BigInteger` [INFO] [stdout] --> src/fiat_shamir/fiat_shamir_algebraic_sponge.rs:29:5 [INFO] [stdout] | [INFO] [stdout] 29 | use snarkvm_utilities::BigInteger; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0046]: not all trait items implemented, missing: `write_le` [INFO] [stdout] --> src/ahp/indexer/circuit_info.rs:49:1 [INFO] [stdout] | [INFO] [stdout] 49 | impl ToBytes for CircuitInfo { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ missing `write_le` in implementation [INFO] [stdout] | [INFO] [stdout] = help: implement the missing item: `fn write_le(&self, _: W) -> Result<(), std::io::Error> where W: snarkvm_utilities::Write { todo!() }` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0046]: not all trait items implemented, missing: `is_in_setup_mode` [INFO] [stdout] --> src/ahp/indexer/constraint_system.rs:103:1 [INFO] [stdout] | [INFO] [stdout] 103 | impl ConstraintSystem for IndexerConstraintSystem { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ missing `is_in_setup_mode` in implementation [INFO] [stdout] | [INFO] [stdout] = help: implement the missing item: `fn is_in_setup_mode(&self) -> bool { todo!() }` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0046]: not all trait items implemented, missing: `is_in_setup_mode` [INFO] [stdout] --> src/ahp/prover/constraint_system.rs:67:1 [INFO] [stdout] | [INFO] [stdout] 67 | impl ConstraintSystem for ProverConstraintSystem { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ missing `is_in_setup_mode` in implementation [INFO] [stdout] | [INFO] [stdout] = help: implement the missing item: `fn is_in_setup_mode(&self) -> bool { todo!() }` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0046]: not all trait items implemented, missing: `write_le` [INFO] [stdout] --> src/ahp/prover/message.rs:29:1 [INFO] [stdout] | [INFO] [stdout] 29 | impl ToBytes for ProverMessage { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ missing `write_le` in implementation [INFO] [stdout] | [INFO] [stdout] = help: implement the missing item: `fn write_le(&self, _: W) -> Result<(), std::io::Error> where W: snarkvm_utilities::Write { todo!() }` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0046]: not all trait items implemented, missing: `write_le` [INFO] [stdout] --> src/ahp/indexer/circuit_info.rs:49:1 [INFO] [stdout] | [INFO] [stdout] 49 | impl ToBytes for CircuitInfo { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ missing `write_le` in implementation [INFO] [stdout] | [INFO] [stdout] = help: implement the missing item: `fn write_le(&self, _: W) -> Result<(), std::io::Error> where W: snarkvm_utilities::Write { todo!() }` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0046]: not all trait items implemented, missing: `is_in_setup_mode` [INFO] [stdout] --> src/ahp/indexer/constraint_system.rs:103:1 [INFO] [stdout] | [INFO] [stdout] 103 | impl ConstraintSystem for IndexerConstraintSystem { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ missing `is_in_setup_mode` in implementation [INFO] [stdout] | [INFO] [stdout] = help: implement the missing item: `fn is_in_setup_mode(&self) -> bool { todo!() }` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0046]: not all trait items implemented, missing: `is_in_setup_mode` [INFO] [stdout] --> src/ahp/prover/constraint_system.rs:67:1 [INFO] [stdout] | [INFO] [stdout] 67 | impl ConstraintSystem for ProverConstraintSystem { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ missing `is_in_setup_mode` in implementation [INFO] [stdout] | [INFO] [stdout] = help: implement the missing item: `fn is_in_setup_mode(&self) -> bool { todo!() }` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0046]: not all trait items implemented, missing: `write_le` [INFO] [stdout] --> src/ahp/prover/message.rs:29:1 [INFO] [stdout] | [INFO] [stdout] 29 | impl ToBytes for ProverMessage { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ missing `write_le` in implementation [INFO] [stdout] | [INFO] [stdout] = help: implement the missing item: `fn write_le(&self, _: W) -> Result<(), std::io::Error> where W: snarkvm_utilities::Write { todo!() }` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0046]: not all trait items implemented, missing: `write_le` [INFO] [stdout] --> src/marlin/circuit_proving_key.rs:45:1 [INFO] [stdout] | [INFO] [stdout] 45 | impl> ToBytes for CircuitProvingKey { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ missing `write_le` in implementation [INFO] [stdout] | [INFO] [stdout] = help: implement the missing item: `fn write_le(&self, _: W) -> Result<(), std::io::Error> where W: snarkvm_utilities::Write { todo!() }` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0046]: not all trait items implemented, missing: `read_le` [INFO] [stdout] --> src/marlin/circuit_proving_key.rs:51:1 [INFO] [stdout] | [INFO] [stdout] 51 | impl> FromBytes for CircuitProvingKey { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ missing `read_le` in implementation [INFO] [stdout] | [INFO] [stdout] = help: implement the missing item: `fn read_le(_: R) -> Result where R: snarkvm_utilities::Read { todo!() }` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0046]: not all trait items implemented, missing: `write_le` [INFO] [stdout] --> src/marlin/circuit_verifying_key.rs:52:1 [INFO] [stdout] | [INFO] [stdout] 52 | impl> ToBytes for CircuitVerifyingKey { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ missing `write_le` in implementation [INFO] [stdout] | [INFO] [stdout] = help: implement the missing item: `fn write_le(&self, _: W) -> Result<(), std::io::Error> where W: snarkvm_utilities::Write { todo!() }` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0046]: not all trait items implemented, missing: `read_le` [INFO] [stdout] --> src/marlin/circuit_verifying_key.rs:58:1 [INFO] [stdout] | [INFO] [stdout] 58 | impl> FromBytes for CircuitVerifyingKey { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ missing `read_le` in implementation [INFO] [stdout] | [INFO] [stdout] = help: implement the missing item: `fn read_le(_: R) -> Result where R: snarkvm_utilities::Read { todo!() }` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0046]: not all trait items implemented, missing: `write_le` [INFO] [stdout] --> src/marlin/proof.rs:126:1 [INFO] [stdout] | [INFO] [stdout] 126 | impl> ToBytes for Proof { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ missing `write_le` in implementation [INFO] [stdout] | [INFO] [stdout] = help: implement the missing item: `fn write_le(&self, _: W) -> Result<(), std::io::Error> where W: snarkvm_utilities::Write { todo!() }` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0046]: not all trait items implemented, missing: `read_le` [INFO] [stdout] --> src/marlin/proof.rs:132:1 [INFO] [stdout] | [INFO] [stdout] 132 | impl> FromBytes for Proof { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ missing `read_le` in implementation [INFO] [stdout] | [INFO] [stdout] = help: implement the missing item: `fn read_le(_: R) -> Result where R: snarkvm_utilities::Read { todo!() }` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0046]: not all trait items implemented, missing: `write_le` [INFO] [stdout] --> src/parameters.rs:71:1 [INFO] [stdout] | [INFO] [stdout] 71 | impl ToBytes for Parameters { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ missing `write_le` in implementation [INFO] [stdout] | [INFO] [stdout] = help: implement the missing item: `fn write_le(&self, _: W) -> Result<(), std::io::Error> where W: snarkvm_utilities::Write { todo!() }` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0046]: not all trait items implemented, missing: `read_le` [INFO] [stdout] --> src/parameters.rs:77:1 [INFO] [stdout] | [INFO] [stdout] 77 | impl FromBytes for Parameters { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ missing `read_le` in implementation [INFO] [stdout] | [INFO] [stdout] = help: implement the missing item: `fn read_le(_: R) -> Result where R: snarkvm_utilities::Read { todo!() }` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0046]: not all trait items implemented, missing: `write_le` [INFO] [stdout] --> src/marlin/circuit_proving_key.rs:45:1 [INFO] [stdout] | [INFO] [stdout] 45 | impl> ToBytes for CircuitProvingKey { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ missing `write_le` in implementation [INFO] [stdout] | [INFO] [stdout] = help: implement the missing item: `fn write_le(&self, _: W) -> Result<(), std::io::Error> where W: snarkvm_utilities::Write { todo!() }` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0046]: not all trait items implemented, missing: `read_le` [INFO] [stdout] --> src/marlin/circuit_proving_key.rs:51:1 [INFO] [stdout] | [INFO] [stdout] 51 | impl> FromBytes for CircuitProvingKey { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ missing `read_le` in implementation [INFO] [stdout] | [INFO] [stdout] = help: implement the missing item: `fn read_le(_: R) -> Result where R: snarkvm_utilities::Read { todo!() }` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0046]: not all trait items implemented, missing: `write_le` [INFO] [stdout] --> src/marlin/circuit_verifying_key.rs:52:1 [INFO] [stdout] | [INFO] [stdout] 52 | impl> ToBytes for CircuitVerifyingKey { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ missing `write_le` in implementation [INFO] [stdout] | [INFO] [stdout] = help: implement the missing item: `fn write_le(&self, _: W) -> Result<(), std::io::Error> where W: snarkvm_utilities::Write { todo!() }` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0046]: not all trait items implemented, missing: `read_le` [INFO] [stdout] --> src/marlin/circuit_verifying_key.rs:58:1 [INFO] [stdout] | [INFO] [stdout] 58 | impl> FromBytes for CircuitVerifyingKey { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ missing `read_le` in implementation [INFO] [stdout] | [INFO] [stdout] = help: implement the missing item: `fn read_le(_: R) -> Result where R: snarkvm_utilities::Read { todo!() }` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0046]: not all trait items implemented, missing: `write_le` [INFO] [stdout] --> src/marlin/proof.rs:126:1 [INFO] [stdout] | [INFO] [stdout] 126 | impl> ToBytes for Proof { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ missing `write_le` in implementation [INFO] [stdout] | [INFO] [stdout] = help: implement the missing item: `fn write_le(&self, _: W) -> Result<(), std::io::Error> where W: snarkvm_utilities::Write { todo!() }` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0046]: not all trait items implemented, missing: `read_le` [INFO] [stdout] --> src/marlin/proof.rs:132:1 [INFO] [stdout] | [INFO] [stdout] 132 | impl> FromBytes for Proof { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ missing `read_le` in implementation [INFO] [stdout] | [INFO] [stdout] = help: implement the missing item: `fn read_le(_: R) -> Result where R: snarkvm_utilities::Read { todo!() }` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0046]: not all trait items implemented, missing: `write_le` [INFO] [stdout] --> src/parameters.rs:71:1 [INFO] [stdout] | [INFO] [stdout] 71 | impl ToBytes for Parameters { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ missing `write_le` in implementation [INFO] [stdout] | [INFO] [stdout] = help: implement the missing item: `fn write_le(&self, _: W) -> Result<(), std::io::Error> where W: snarkvm_utilities::Write { todo!() }` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0046]: not all trait items implemented, missing: `read_le` [INFO] [stdout] --> src/parameters.rs:77:1 [INFO] [stdout] | [INFO] [stdout] 77 | impl FromBytes for Parameters { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ missing `read_le` in implementation [INFO] [stdout] | [INFO] [stdout] = help: implement the missing item: `fn read_le(_: R) -> Result where R: snarkvm_utilities::Read { todo!() }` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0599]: no method named `into_repr` found for reference `&Fp256` in the current scope [INFO] [stdout] --> src/ahp/ahp.rs:443:58 [INFO] [stdout] | [INFO] [stdout] 443 | .filter_map(|f| if !f.is_zero() { Some(f.into_repr()) } else { None }) [INFO] [stdout] | ^^^^^^^^^ method not found in `&Fp256` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0599]: no method named `into_repr` found for reference `&Fp256` in the current scope [INFO] [stdout] --> src/ahp/ahp.rs:470:58 [INFO] [stdout] | [INFO] [stdout] 470 | .filter_map(|f| if !f.is_zero() { Some(f.into_repr()) } else { None }) [INFO] [stdout] | ^^^^^^^^^ method not found in `&Fp256` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0599]: no method named `write` found for type `u64` in the current scope [INFO] [stdout] --> src/ahp/indexer/circuit_info.rs:51:37 [INFO] [stdout] | [INFO] [stdout] 51 | (self.num_variables as u64).write(&mut w)?; [INFO] [stdout] | ^^^^^ method not found in `u64` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0599]: no method named `write` found for type `u64` in the current scope [INFO] [stdout] --> src/ahp/indexer/circuit_info.rs:52:39 [INFO] [stdout] | [INFO] [stdout] 52 | (self.num_constraints as u64).write(&mut w)?; [INFO] [stdout] | ^^^^^ method not found in `u64` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0599]: no method named `write` found for type `u64` in the current scope [INFO] [stdout] --> src/ahp/indexer/circuit_info.rs:53:36 [INFO] [stdout] | [INFO] [stdout] 53 | (self.num_non_zero as u64).write(&mut w) [INFO] [stdout] | ^^^^^ method not found in `u64` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0599]: no method named `write` found for type `u64` in the current scope [INFO] [stdout] --> src/ahp/indexer/circuit_info.rs:51:37 [INFO] [stdout] | [INFO] [stdout] 51 | (self.num_variables as u64).write(&mut w)?; [INFO] [stdout] | ^^^^^ method not found in `u64` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0599]: no method named `write` found for type `u64` in the current scope [INFO] [stdout] --> src/ahp/indexer/circuit_info.rs:52:39 [INFO] [stdout] | [INFO] [stdout] 52 | (self.num_constraints as u64).write(&mut w)?; [INFO] [stdout] | ^^^^^ method not found in `u64` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0599]: no method named `write` found for type `u64` in the current scope [INFO] [stdout] --> src/ahp/indexer/circuit_info.rs:53:36 [INFO] [stdout] | [INFO] [stdout] 53 | (self.num_non_zero as u64).write(&mut w) [INFO] [stdout] | ^^^^^ method not found in `u64` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0599]: no function or associated item named `read` found for trait object `dyn FromBytes` in the current scope [INFO] [stdout] --> src/constraints/proof.rs:392:60 [INFO] [stdout] | [INFO] [stdout] 392 | let proof: Proof = FromBytes::read(&proof_bytes.borrow()[..])?; [INFO] [stdout] | ^^^^ function or associated item not found in `dyn FromBytes` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0599]: no function or associated item named `read` found for trait object `dyn FromBytes` in the current scope [INFO] [stdout] --> src/constraints/proof.rs:408:60 [INFO] [stdout] | [INFO] [stdout] 408 | let proof: Proof = FromBytes::read(&proof_bytes.borrow()[..])?; [INFO] [stdout] | ^^^^ function or associated item not found in `dyn FromBytes` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0599]: no function or associated item named `read` found for trait object `dyn FromBytes` in the current scope [INFO] [stdout] --> src/constraints/proof.rs:392:60 [INFO] [stdout] | [INFO] [stdout] 392 | let proof: Proof = FromBytes::read(&proof_bytes.borrow()[..])?; [INFO] [stdout] | ^^^^ function or associated item not found in `dyn FromBytes` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0599]: no function or associated item named `read` found for trait object `dyn FromBytes` in the current scope [INFO] [stdout] --> src/constraints/proof.rs:408:60 [INFO] [stdout] | [INFO] [stdout] 408 | let proof: Proof = FromBytes::read(&proof_bytes.borrow()[..])?; [INFO] [stdout] | ^^^^ function or associated item not found in `dyn FromBytes` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the size for values of type `[u8]` cannot be known at compilation time [INFO] [stdout] --> src/constraints/verifier_key/prepared_circuit_verifier_key.rs:110:34 [INFO] [stdout] | [INFO] [stdout] 110 | fs_rng_raw.absorb_bytes(&to_bytes![ [INFO] [stdout] | __________________________________^ [INFO] [stdout] 111 | | &MarlinVerificationGadget::::PROTOCOL_NAME [INFO] [stdout] 112 | | ]?); [INFO] [stdout] | |__________^ doesn't have a size known at compile-time [INFO] [stdout] | [INFO] [stdout] = help: the trait `Sized` is not implemented for `[u8]` [INFO] [stdout] = note: all local variables must have a statically known size [INFO] [stdout] = help: unsized locals are gated as an unstable feature [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the size for values of type `[u8]` cannot be known at compilation time [INFO] [stdout] --> src/constraints/verifier_key/prepared_circuit_verifier_key.rs:112:10 [INFO] [stdout] | [INFO] [stdout] 112 | ]?); [INFO] [stdout] | ^ doesn't have a size known at compile-time [INFO] [stdout] | [INFO] [stdout] = help: the trait `Sized` is not implemented for `[u8]` [INFO] [stdout] = note: required by `Break` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the size for values of type `[u8]` cannot be known at compilation time [INFO] [stdout] --> src/constraints/verifier_key/prepared_circuit_verifier_key.rs:206:34 [INFO] [stdout] | [INFO] [stdout] 206 | fs_rng_raw.absorb_bytes(&to_bytes![ [INFO] [stdout] | __________________________________^ [INFO] [stdout] 207 | | &MarlinVerificationGadget::::PROTOCOL_NAME [INFO] [stdout] 208 | | ]?); [INFO] [stdout] | |__________^ doesn't have a size known at compile-time [INFO] [stdout] | [INFO] [stdout] = help: the trait `Sized` is not implemented for `[u8]` [INFO] [stdout] = note: all local variables must have a statically known size [INFO] [stdout] = help: unsized locals are gated as an unstable feature [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the size for values of type `[u8]` cannot be known at compilation time [INFO] [stdout] --> src/constraints/verifier_key/prepared_circuit_verifier_key.rs:208:10 [INFO] [stdout] | [INFO] [stdout] 208 | ]?); [INFO] [stdout] | ^ doesn't have a size known at compile-time [INFO] [stdout] | [INFO] [stdout] = help: the trait `Sized` is not implemented for `[u8]` [INFO] [stdout] = note: required by `Break` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the size for values of type `[u8]` cannot be known at compilation time [INFO] [stdout] --> src/constraints/verifier_key/prepared_circuit_verifier_key.rs:270:34 [INFO] [stdout] | [INFO] [stdout] 270 | fs_rng_raw.absorb_bytes(&to_bytes![ [INFO] [stdout] | __________________________________^ [INFO] [stdout] 271 | | &MarlinVerificationGadget::::PROTOCOL_NAME [INFO] [stdout] 272 | | ]?); [INFO] [stdout] | |__________^ doesn't have a size known at compile-time [INFO] [stdout] | [INFO] [stdout] = help: the trait `Sized` is not implemented for `[u8]` [INFO] [stdout] = note: all local variables must have a statically known size [INFO] [stdout] = help: unsized locals are gated as an unstable feature [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the size for values of type `[u8]` cannot be known at compilation time [INFO] [stdout] --> src/constraints/verifier_key/prepared_circuit_verifier_key.rs:272:10 [INFO] [stdout] | [INFO] [stdout] 272 | ]?); [INFO] [stdout] | ^ doesn't have a size known at compile-time [INFO] [stdout] | [INFO] [stdout] = help: the trait `Sized` is not implemented for `[u8]` [INFO] [stdout] = note: required by `Break` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the size for values of type `[u8]` cannot be known at compilation time [INFO] [stdout] --> src/constraints/verifier_key/prepared_circuit_verifier_key.rs:334:34 [INFO] [stdout] | [INFO] [stdout] 334 | fs_rng_raw.absorb_bytes(&to_bytes![ [INFO] [stdout] | __________________________________^ [INFO] [stdout] 335 | | &MarlinVerificationGadget::::PROTOCOL_NAME [INFO] [stdout] 336 | | ]?); [INFO] [stdout] | |__________^ doesn't have a size known at compile-time [INFO] [stdout] | [INFO] [stdout] = help: the trait `Sized` is not implemented for `[u8]` [INFO] [stdout] = note: all local variables must have a statically known size [INFO] [stdout] = help: unsized locals are gated as an unstable feature [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the size for values of type `[u8]` cannot be known at compilation time [INFO] [stdout] --> src/constraints/verifier_key/prepared_circuit_verifier_key.rs:336:10 [INFO] [stdout] | [INFO] [stdout] 336 | ]?); [INFO] [stdout] | ^ doesn't have a size known at compile-time [INFO] [stdout] | [INFO] [stdout] = help: the trait `Sized` is not implemented for `[u8]` [INFO] [stdout] = note: required by `Break` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0599]: no function or associated item named `read` found for trait object `dyn FromBytes` in the current scope [INFO] [stdout] --> src/constraints/verifier_key/prepared_circuit_verifier_key.rs:475:79 [INFO] [stdout] | [INFO] [stdout] 475 | let circuit_vk: CircuitVerifyingKey = FromBytes::read(&vk_bytes.borrow()[..])?; [INFO] [stdout] | ^^^^ function or associated item not found in `dyn FromBytes` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0599]: no function or associated item named `read` found for trait object `dyn FromBytes` in the current scope [INFO] [stdout] --> src/constraints/verifier_key/prepared_circuit_verifier_key.rs:497:79 [INFO] [stdout] | [INFO] [stdout] 497 | let circuit_vk: CircuitVerifyingKey = FromBytes::read(&vk_bytes.borrow()[..])?; [INFO] [stdout] | ^^^^ function or associated item not found in `dyn FromBytes` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the size for values of type `[u8]` cannot be known at compilation time [INFO] [stdout] --> src/constraints/verifier_key/prepared_circuit_verifier_key.rs:110:34 [INFO] [stdout] | [INFO] [stdout] 110 | fs_rng_raw.absorb_bytes(&to_bytes![ [INFO] [stdout] | __________________________________^ [INFO] [stdout] 111 | | &MarlinVerificationGadget::::PROTOCOL_NAME [INFO] [stdout] 112 | | ]?); [INFO] [stdout] | |__________^ doesn't have a size known at compile-time [INFO] [stdout] | [INFO] [stdout] = help: the trait `Sized` is not implemented for `[u8]` [INFO] [stdout] = note: all local variables must have a statically known size [INFO] [stdout] = help: unsized locals are gated as an unstable feature [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the size for values of type `[u8]` cannot be known at compilation time [INFO] [stdout] --> src/constraints/verifier_key/prepared_circuit_verifier_key.rs:112:10 [INFO] [stdout] | [INFO] [stdout] 112 | ]?); [INFO] [stdout] | ^ doesn't have a size known at compile-time [INFO] [stdout] | [INFO] [stdout] = help: the trait `Sized` is not implemented for `[u8]` [INFO] [stdout] = note: required by `Break` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the size for values of type `[u8]` cannot be known at compilation time [INFO] [stdout] --> src/constraints/verifier_key/prepared_circuit_verifier_key.rs:206:34 [INFO] [stdout] | [INFO] [stdout] 206 | fs_rng_raw.absorb_bytes(&to_bytes![ [INFO] [stdout] | __________________________________^ [INFO] [stdout] 207 | | &MarlinVerificationGadget::::PROTOCOL_NAME [INFO] [stdout] 208 | | ]?); [INFO] [stdout] | |__________^ doesn't have a size known at compile-time [INFO] [stdout] | [INFO] [stdout] = help: the trait `Sized` is not implemented for `[u8]` [INFO] [stdout] = note: all local variables must have a statically known size [INFO] [stdout] = help: unsized locals are gated as an unstable feature [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the size for values of type `[u8]` cannot be known at compilation time [INFO] [stdout] --> src/constraints/verifier_key/prepared_circuit_verifier_key.rs:208:10 [INFO] [stdout] | [INFO] [stdout] 208 | ]?); [INFO] [stdout] | ^ doesn't have a size known at compile-time [INFO] [stdout] | [INFO] [stdout] = help: the trait `Sized` is not implemented for `[u8]` [INFO] [stdout] = note: required by `Break` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the size for values of type `[u8]` cannot be known at compilation time [INFO] [stdout] --> src/constraints/verifier_key/prepared_circuit_verifier_key.rs:270:34 [INFO] [stdout] | [INFO] [stdout] 270 | fs_rng_raw.absorb_bytes(&to_bytes![ [INFO] [stdout] | __________________________________^ [INFO] [stdout] 271 | | &MarlinVerificationGadget::::PROTOCOL_NAME [INFO] [stdout] 272 | | ]?); [INFO] [stdout] | |__________^ doesn't have a size known at compile-time [INFO] [stdout] | [INFO] [stdout] = help: the trait `Sized` is not implemented for `[u8]` [INFO] [stdout] = note: all local variables must have a statically known size [INFO] [stdout] = help: unsized locals are gated as an unstable feature [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the size for values of type `[u8]` cannot be known at compilation time [INFO] [stdout] --> src/constraints/verifier_key/prepared_circuit_verifier_key.rs:272:10 [INFO] [stdout] | [INFO] [stdout] 272 | ]?); [INFO] [stdout] | ^ doesn't have a size known at compile-time [INFO] [stdout] | [INFO] [stdout] = help: the trait `Sized` is not implemented for `[u8]` [INFO] [stdout] = note: required by `Break` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the size for values of type `[u8]` cannot be known at compilation time [INFO] [stdout] --> src/constraints/verifier_key/prepared_circuit_verifier_key.rs:334:34 [INFO] [stdout] | [INFO] [stdout] 334 | fs_rng_raw.absorb_bytes(&to_bytes![ [INFO] [stdout] | __________________________________^ [INFO] [stdout] 335 | | &MarlinVerificationGadget::::PROTOCOL_NAME [INFO] [stdout] 336 | | ]?); [INFO] [stdout] | |__________^ doesn't have a size known at compile-time [INFO] [stdout] | [INFO] [stdout] = help: the trait `Sized` is not implemented for `[u8]` [INFO] [stdout] = note: all local variables must have a statically known size [INFO] [stdout] = help: unsized locals are gated as an unstable feature [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the size for values of type `[u8]` cannot be known at compilation time [INFO] [stdout] --> src/constraints/verifier_key/prepared_circuit_verifier_key.rs:336:10 [INFO] [stdout] | [INFO] [stdout] 336 | ]?); [INFO] [stdout] | ^ doesn't have a size known at compile-time [INFO] [stdout] | [INFO] [stdout] = help: the trait `Sized` is not implemented for `[u8]` [INFO] [stdout] = note: required by `Break` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0599]: no function or associated item named `read` found for trait object `dyn FromBytes` in the current scope [INFO] [stdout] --> src/constraints/verifier_key/prepared_circuit_verifier_key.rs:475:79 [INFO] [stdout] | [INFO] [stdout] 475 | let circuit_vk: CircuitVerifyingKey = FromBytes::read(&vk_bytes.borrow()[..])?; [INFO] [stdout] | ^^^^ function or associated item not found in `dyn FromBytes` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0599]: no function or associated item named `read` found for trait object `dyn FromBytes` in the current scope [INFO] [stdout] --> src/constraints/verifier_key/prepared_circuit_verifier_key.rs:497:79 [INFO] [stdout] | [INFO] [stdout] 497 | let circuit_vk: CircuitVerifyingKey = FromBytes::read(&vk_bytes.borrow()[..])?; [INFO] [stdout] | ^^^^ function or associated item not found in `dyn FromBytes` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0599]: no method named `into_repr` found for type parameter `F` in the current scope [INFO] [stdout] --> src/marlin/proof.rs:67:45 [INFO] [stdout] | [INFO] [stdout] 67 | let size_of_fe_in_bytes = F::zero().into_repr().as_ref().len() * 8; [INFO] [stdout] | ^^^^^^^^^ help: there is an associated function with a similar name: `to_repr` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0599]: no function or associated item named `from_bits_be` found for associated type `::BigInteger` in the current scope [INFO] [stdout] --> src/fiat_shamir/fiat_shamir_algebraic_sponge.rs:83:69 [INFO] [stdout] | [INFO] [stdout] 83 | .map(|bits| BaseField::from_repr(BaseField::BigInteger::from_bits_be(bits.to_vec())).unwrap()) [INFO] [stdout] | ^^^^^^^^^^^^ function or associated item not found in `::BigInteger` [INFO] [stdout] | [INFO] [stdout] = help: items from traits can only be used if the trait is in scope [INFO] [stdout] = note: the following trait is implemented but not in scope; perhaps add a `use` for it: [INFO] [stdout] `use snarkvm_utilities::FromBits;` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0599]: no method named `into_repr` found for reference `&BaseField` in the current scope [INFO] [stdout] --> src/fiat_shamir/fiat_shamir_algebraic_sponge.rs:147:38 [INFO] [stdout] | [INFO] [stdout] 147 | let mut elem_bits = elem.into_repr().to_bits_be(); [INFO] [stdout] | ^^^^^^^^^ help: there is an associated function with a similar name: `to_repr` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0599]: no method named `into_repr` found for reference `&BaseField` in the current scope [INFO] [stdout] --> src/fiat_shamir/fiat_shamir_algebraic_sponge.rs:258:34 [INFO] [stdout] | [INFO] [stdout] 258 | let elem_bits = elem.into_repr().to_bits_be(); [INFO] [stdout] | ^^^^^^^^^ help: there is an associated function with a similar name: `to_repr` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0599]: no method named `write` found for reference `&TargetField` in the current scope [INFO] [stdout] --> src/fiat_shamir/fiat_shamir_chacha.rs:95:18 [INFO] [stdout] | [INFO] [stdout] 95 | elem.write(&mut bytes).expect("failed to convert to bytes"); [INFO] [stdout] | ^^^^^ method not found in `&TargetField` [INFO] [stdout] | [INFO] [stdout] = help: items from traits can only be used if the type parameter is bounded by the trait [INFO] [stdout] help: the following traits define an item `write`, perhaps you need to restrict type parameter `TargetField` with one of them: [INFO] [stdout] | [INFO] [stdout] 79 | impl FiatShamirRng [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] 79 | impl FiatShamirRng [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0599]: no method named `write` found for reference `&BaseField` in the current scope [INFO] [stdout] --> src/fiat_shamir/fiat_shamir_chacha.rs:108:18 [INFO] [stdout] | [INFO] [stdout] 108 | elem.write(&mut bytes).expect("failed to convert to bytes"); [INFO] [stdout] | ^^^^^ method not found in `&BaseField` [INFO] [stdout] | [INFO] [stdout] = help: items from traits can only be used if the type parameter is bounded by the trait [INFO] [stdout] help: the following traits define an item `write`, perhaps you need to restrict type parameter `BaseField` with one of them: [INFO] [stdout] | [INFO] [stdout] 79 | impl FiatShamirRng [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] 79 | impl FiatShamirRng [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0599]: no method named `into_repr` found for type parameter `F` in the current scope [INFO] [stdout] --> src/marlin/proof.rs:67:45 [INFO] [stdout] | [INFO] [stdout] 67 | let size_of_fe_in_bytes = F::zero().into_repr().as_ref().len() * 8; [INFO] [stdout] | ^^^^^^^^^ help: there is an associated function with a similar name: `to_repr` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0599]: no function or associated item named `from_bits_be` found for associated type `::BigInteger` in the current scope [INFO] [stdout] --> src/fiat_shamir/fiat_shamir_algebraic_sponge.rs:83:69 [INFO] [stdout] | [INFO] [stdout] 83 | .map(|bits| BaseField::from_repr(BaseField::BigInteger::from_bits_be(bits.to_vec())).unwrap()) [INFO] [stdout] | ^^^^^^^^^^^^ function or associated item not found in `::BigInteger` [INFO] [stdout] | [INFO] [stdout] = help: items from traits can only be used if the trait is in scope [INFO] [stdout] = note: the following trait is implemented but not in scope; perhaps add a `use` for it: [INFO] [stdout] `use snarkvm_utilities::FromBits;` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0599]: no method named `into_repr` found for reference `&BaseField` in the current scope [INFO] [stdout] --> src/fiat_shamir/fiat_shamir_algebraic_sponge.rs:147:38 [INFO] [stdout] | [INFO] [stdout] 147 | let mut elem_bits = elem.into_repr().to_bits_be(); [INFO] [stdout] | ^^^^^^^^^ help: there is an associated function with a similar name: `to_repr` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: aborting due to 61 previous errors; 4 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0599]: no method named `into_repr` found for reference `&BaseField` in the current scope [INFO] [stdout] --> src/fiat_shamir/fiat_shamir_algebraic_sponge.rs:258:34 [INFO] [stdout] | [INFO] [stdout] 258 | let elem_bits = elem.into_repr().to_bits_be(); [INFO] [stdout] | ^^^^^^^^^ help: there is an associated function with a similar name: `to_repr` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] Some errors have detailed explanations: E0046, E0277, E0407, E0432, E0599. [INFO] [stdout] [INFO] [stdout] For more information about an error, try `rustc --explain E0046`. [INFO] [stdout] [INFO] [stderr] error: could not compile `snarkvm-marlin` [INFO] [stderr] [INFO] [stderr] To learn more, run the command again with --verbose. [INFO] [stderr] warning: build failed, waiting for other jobs to finish... [INFO] [stdout] error[E0599]: no method named `write` found for reference `&TargetField` in the current scope [INFO] [stdout] --> src/fiat_shamir/fiat_shamir_chacha.rs:95:18 [INFO] [stdout] | [INFO] [stdout] 95 | elem.write(&mut bytes).expect("failed to convert to bytes"); [INFO] [stdout] | ^^^^^ method not found in `&TargetField` [INFO] [stdout] | [INFO] [stdout] = help: items from traits can only be used if the type parameter is bounded by the trait [INFO] [stdout] help: the following traits define an item `write`, perhaps you need to restrict type parameter `TargetField` with one of them: [INFO] [stdout] | [INFO] [stdout] 79 | impl FiatShamirRng [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] 79 | impl FiatShamirRng [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0599]: no method named `write` found for reference `&BaseField` in the current scope [INFO] [stdout] --> src/fiat_shamir/fiat_shamir_chacha.rs:108:18 [INFO] [stdout] | [INFO] [stdout] 108 | elem.write(&mut bytes).expect("failed to convert to bytes"); [INFO] [stdout] | ^^^^^ method not found in `&BaseField` [INFO] [stdout] | [INFO] [stdout] = help: items from traits can only be used if the type parameter is bounded by the trait [INFO] [stdout] help: the following traits define an item `write`, perhaps you need to restrict type parameter `BaseField` with one of them: [INFO] [stdout] | [INFO] [stdout] 79 | impl FiatShamirRng [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] 79 | impl FiatShamirRng [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0599]: no method named `into_repr` found for reference `&Fp384` in the current scope [INFO] [stdout] --> src/fiat_shamir/fiat_shamir_algebraic_sponge_gadget.rs:569:22 [INFO] [stdout] | [INFO] [stdout] 569 | left.into_repr(), [INFO] [stdout] | ^^^^^^^^^ method not found in `&Fp384` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0599]: no method named `into_repr` found for struct `Fp384` in the current scope [INFO] [stdout] --> src/fiat_shamir/fiat_shamir_algebraic_sponge_gadget.rs:570:40 [INFO] [stdout] | [INFO] [stdout] 570 | right.value().unwrap().into_repr(), [INFO] [stdout] | ^^^^^^^^^ method not found in `Fp384` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0599]: no method named `into_repr` found for reference `&Fp384` in the current scope [INFO] [stdout] --> src/fiat_shamir/fiat_shamir_algebraic_sponge_gadget.rs:573:22 [INFO] [stdout] | [INFO] [stdout] 573 | left.into_repr(), [INFO] [stdout] | ^^^^^^^^^ method not found in `&Fp384` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0599]: no method named `into_repr` found for struct `Fp384` in the current scope [INFO] [stdout] --> src/fiat_shamir/fiat_shamir_algebraic_sponge_gadget.rs:574:40 [INFO] [stdout] | [INFO] [stdout] 574 | right.value().unwrap().into_repr() [INFO] [stdout] | ^^^^^^^^^ method not found in `Fp384` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0599]: no method named `into_repr` found for reference `&Fp384` in the current scope [INFO] [stdout] --> src/fiat_shamir/fiat_shamir_algebraic_sponge_gadget.rs:585:22 [INFO] [stdout] | [INFO] [stdout] 585 | left.into_repr().eq(&right.value().unwrap().into_repr()), [INFO] [stdout] | ^^^^^^^^^ method not found in `&Fp384` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0599]: no method named `into_repr` found for struct `Fp384` in the current scope [INFO] [stdout] --> src/fiat_shamir/fiat_shamir_algebraic_sponge_gadget.rs:585:61 [INFO] [stdout] | [INFO] [stdout] 585 | left.into_repr().eq(&right.value().unwrap().into_repr()), [INFO] [stdout] | ^^^^^^^^^ method not found in `Fp384` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0599]: no method named `into_repr` found for reference `&Fp384` in the current scope [INFO] [stdout] --> src/fiat_shamir/fiat_shamir_algebraic_sponge_gadget.rs:588:22 [INFO] [stdout] | [INFO] [stdout] 588 | left.into_repr(), [INFO] [stdout] | ^^^^^^^^^ method not found in `&Fp384` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0599]: no method named `into_repr` found for struct `Fp384` in the current scope [INFO] [stdout] --> src/fiat_shamir/fiat_shamir_algebraic_sponge_gadget.rs:589:40 [INFO] [stdout] | [INFO] [stdout] 589 | right.value().unwrap().into_repr() [INFO] [stdout] | ^^^^^^^^^ method not found in `Fp384` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: aborting due to 96 previous errors; 5 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] Some errors have detailed explanations: E0046, E0277, E0407, E0432, E0599. [INFO] [stdout] [INFO] [stdout] For more information about an error, try `rustc --explain E0046`. [INFO] [stdout] [INFO] [stderr] error: build failed [INFO] running `Command { std: "docker" "inspect" "656563673ca3868aeefea8f7875ce0d3e5b5c99346a7c10e68e15e6f1ff9ce68", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "656563673ca3868aeefea8f7875ce0d3e5b5c99346a7c10e68e15e6f1ff9ce68", kill_on_drop: false }` [INFO] [stdout] 656563673ca3868aeefea8f7875ce0d3e5b5c99346a7c10e68e15e6f1ff9ce68