[INFO] fetching crate snarkvm-marlin 0.7.2... [INFO] testing snarkvm-marlin-0.7.2 against try#ecabaf78506b7a4668d42dc20268c086b93f0fad for pr-87041 [INFO] extracting crate snarkvm-marlin 0.7.2 into /workspace/builds/worker-13/source [INFO] validating manifest of crates.io crate snarkvm-marlin 0.7.2 on toolchain ecabaf78506b7a4668d42dc20268c086b93f0fad [INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+ecabaf78506b7a4668d42dc20268c086b93f0fad" "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-13/source/Cargo.toml [INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+ecabaf78506b7a4668d42dc20268c086b93f0fad" "generate-lockfile" "--manifest-path" "Cargo.toml" "-Zno-index-update", kill_on_drop: false }` [INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+ecabaf78506b7a4668d42dc20268c086b93f0fad" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] [stderr] Blocking waiting for file lock on package cache [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-13/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-13/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" "+ecabaf78506b7a4668d42dc20268c086b93f0fad" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] bb9cffde69c9071f39d44fb9acef45a06dbc10f1b9559035857d9e8e069624b7 [INFO] running `Command { std: "docker" "start" "-a" "bb9cffde69c9071f39d44fb9acef45a06dbc10f1b9559035857d9e8e069624b7", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "bb9cffde69c9071f39d44fb9acef45a06dbc10f1b9559035857d9e8e069624b7", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "bb9cffde69c9071f39d44fb9acef45a06dbc10f1b9559035857d9e8e069624b7", kill_on_drop: false }` [INFO] [stdout] bb9cffde69c9071f39d44fb9acef45a06dbc10f1b9559035857d9e8e069624b7 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-13/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-13/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" "+ecabaf78506b7a4668d42dc20268c086b93f0fad" "build" "--frozen" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 5d50312a35a8c63a2c8a93c4f5f004c5559eee9812b93be0834232cd37f2e4ea [INFO] running `Command { std: "docker" "start" "-a" "5d50312a35a8c63a2c8a93c4f5f004c5559eee9812b93be0834232cd37f2e4ea", kill_on_drop: false }` [INFO] [stderr] Compiling autocfg v1.0.1 [INFO] [stderr] Compiling version_check v0.9.3 [INFO] [stderr] Compiling crossbeam-utils v0.8.5 [INFO] [stderr] Compiling ppv-lite86 v0.2.10 [INFO] [stderr] Compiling crossbeam-epoch v0.9.5 [INFO] [stderr] Compiling rayon-core v1.9.1 [INFO] [stderr] Compiling scopeguard v1.1.0 [INFO] [stderr] Compiling once_cell v1.8.0 [INFO] [stderr] Compiling tap v1.0.1 [INFO] [stderr] Compiling funty v1.2.0 [INFO] [stderr] Compiling smallvec v1.6.1 [INFO] [stderr] Compiling snarkvm-profiler v0.7.4 [INFO] [stderr] Compiling fxhash v0.2.1 [INFO] [stderr] Compiling itertools v0.10.1 [INFO] [stderr] Compiling getrandom v0.2.3 [INFO] [stderr] Compiling syn v1.0.73 [INFO] [stderr] Compiling wyz v0.4.0 [INFO] [stderr] Compiling rand_core v0.6.3 [INFO] [stderr] Compiling num-traits v0.2.14 [INFO] [stderr] Compiling num-integer v0.1.44 [INFO] [stderr] Compiling memoffset v0.6.4 [INFO] [stderr] Compiling num-bigint v0.4.0 [INFO] [stderr] Compiling indexmap v1.7.0 [INFO] [stderr] Compiling rayon v1.5.1 [INFO] [stderr] Compiling proc-macro-error-attr v1.0.4 [INFO] [stderr] Compiling generic-array v0.14.4 [INFO] [stderr] Compiling proc-macro-error v1.0.4 [INFO] [stderr] Compiling ahash v0.7.4 [INFO] [stderr] Compiling rand_xorshift v0.3.0 [INFO] [stderr] Compiling rand_chacha v0.3.1 [INFO] [stderr] Compiling crossbeam-channel v0.5.1 [INFO] [stderr] Compiling bitvec v0.22.3 [INFO] [stderr] Compiling rand v0.8.4 [INFO] [stderr] Compiling digest v0.9.0 [INFO] [stderr] Compiling block-buffer v0.9.0 [INFO] [stderr] Compiling crypto-mac v0.8.0 [INFO] [stderr] Compiling crossbeam-deque v0.8.0 [INFO] [stderr] Compiling hashbrown v0.11.2 [INFO] [stderr] Compiling blake2 v0.9.1 [INFO] [stderr] Compiling sha2 v0.9.5 [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] Compiling thiserror v1.0.26 [INFO] [stderr] Compiling serde v1.0.126 [INFO] [stderr] Compiling toml v0.5.8 [INFO] [stderr] Compiling bincode v1.3.3 [INFO] [stderr] Compiling proc-macro-crate v0.1.5 [INFO] [stderr] Compiling snarkvm-derives v0.7.4 [INFO] [stderr] Compiling snarkvm-utilities v0.7.4 [INFO] [stderr] Compiling snarkvm-fields v0.7.4 [INFO] [stderr] Compiling snarkvm-curves v0.7.4 [INFO] [stderr] Compiling snarkvm-r1cs v0.7.4 [INFO] [stderr] Compiling snarkvm-algorithms v0.7.4 [INFO] [stderr] Compiling snarkvm-gadgets v0.7.4 [INFO] [stderr] Compiling snarkvm-polycommit v0.7.4 [INFO] [stderr] Compiling snarkvm-marlin v0.7.2 (/opt/rustwide/workdir) [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/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/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 `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[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: aborting due to 61 previous errors; 4 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: could not compile `snarkvm-marlin` [INFO] [stderr] [INFO] [stderr] To learn more, run the command again with --verbose. [INFO] running `Command { std: "docker" "inspect" "5d50312a35a8c63a2c8a93c4f5f004c5559eee9812b93be0834232cd37f2e4ea", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "5d50312a35a8c63a2c8a93c4f5f004c5559eee9812b93be0834232cd37f2e4ea", kill_on_drop: false }` [INFO] [stdout] 5d50312a35a8c63a2c8a93c4f5f004c5559eee9812b93be0834232cd37f2e4ea