[INFO] cloning repository https://github.com/SyedDaiam9101/privacy-health-ledger
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/SyedDaiam9101/privacy-health-ledger" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FSyedDaiam9101%2Fprivacy-health-ledger", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FSyedDaiam9101%2Fprivacy-health-ledger'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] ef25cc9b02d21a76e0631cc818acc5e1aa583a11
[INFO] checking SyedDaiam9101/privacy-health-ledger against master#2aabf3ce0569dd7c8c2d2a27944850056dcf2566 for pr-156508-1
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FSyedDaiam9101%2Fprivacy-health-ledger" "/workspace/builds/worker-6-tc1/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-6-tc1/source'...
[INFO] [stderr] done.
[INFO] started tweaking git repo https://github.com/SyedDaiam9101/privacy-health-ledger
[INFO] finished tweaking git repo https://github.com/SyedDaiam9101/privacy-health-ledger
[INFO] tweaked toml for git repo https://github.com/SyedDaiam9101/privacy-health-ledger written to /workspace/builds/worker-6-tc1/source/Cargo.toml
[INFO] validating manifest of git repo https://github.com/SyedDaiam9101/privacy-health-ledger on toolchain 2aabf3ce0569dd7c8c2d2a27944850056dcf2566
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+2aabf3ce0569dd7c8c2d2a27944850056dcf2566" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate git repo https://github.com/SyedDaiam9101/privacy-health-ledger already has a lockfile, it will not be regenerated
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+2aabf3ce0569dd7c8c2d2a27944850056dcf2566" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Updating crates.io index
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded ark-std v0.5.0
[INFO] [stderr]   Downloaded ark-relations v0.5.1
[INFO] [stderr]   Downloaded ark-serialize v0.5.0
[INFO] [stderr]   Downloaded ark-serialize-derive v0.5.0
[INFO] [stderr]   Downloaded ark-ff v0.5.0
[INFO] [stderr]   Downloaded enum-ordinalize v4.3.2
[INFO] [stderr]   Downloaded ark-snark v0.5.1
[INFO] [stderr]   Downloaded educe v0.6.0
[INFO] [stderr]   Downloaded ark-ff-macros v0.5.0
[INFO] [stderr]   Downloaded ark-bn254 v0.5.0
[INFO] [stderr]   Downloaded ark-crypto-primitives-macros v0.5.0
[INFO] [stderr]   Downloaded enum-ordinalize-derive v4.3.2
[INFO] [stderr]   Downloaded ark-ff-asm v0.5.0
[INFO] [stderr]   Downloaded ark-groth16 v0.5.0
[INFO] [stderr]   Downloaded ark-ec v0.5.0
[INFO] [stderr]   Downloaded ark-poly v0.5.0
[INFO] [stderr]   Downloaded ark-crypto-primitives v0.5.0
[INFO] [stderr]   Downloaded ark-r1cs-std v0.5.0
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+2aabf3ce0569dd7c8c2d2a27944850056dcf2566" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] a818ff61b20b751ba0ae59dd0c10808b972123221ee0bf93f51a3bd2c92cba61
[INFO] running `Command { std: "docker" "start" "-a" "a818ff61b20b751ba0ae59dd0c10808b972123221ee0bf93f51a3bd2c92cba61", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "a818ff61b20b751ba0ae59dd0c10808b972123221ee0bf93f51a3bd2c92cba61", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "a818ff61b20b751ba0ae59dd0c10808b972123221ee0bf93f51a3bd2c92cba61", kill_on_drop: false }`
[INFO] [stdout] a818ff61b20b751ba0ae59dd0c10808b972123221ee0bf93f51a3bd2c92cba61
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+2aabf3ce0569dd7c8c2d2a27944850056dcf2566" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 4de59b0dcaf38a2a1741a6f93800c08d30ab81d67bbc0ebbc797c6db5d3713ea
[INFO] running `Command { std: "docker" "start" "-a" "4de59b0dcaf38a2a1741a6f93800c08d30ab81d67bbc0ebbc797c6db5d3713ea", kill_on_drop: false }`
[INFO] [stderr]    Compiling proc-macro2 v1.0.106
[INFO] [stderr]    Compiling unicode-ident v1.0.22
[INFO] [stderr]    Compiling libc v0.2.180
[INFO] [stderr]    Compiling serde_core v1.0.228
[INFO] [stderr]    Compiling quote v1.0.44
[INFO] [stderr]    Compiling zerocopy v0.8.36
[INFO] [stderr]    Compiling num-traits v0.2.19
[INFO] [stderr]    Compiling serde v1.0.228
[INFO] [stderr]    Compiling getrandom v0.3.4
[INFO] [stderr]    Compiling find-msvc-tools v0.1.8
[INFO] [stderr]    Compiling ahash v0.8.12
[INFO] [stderr]    Compiling cc v1.2.54
[INFO] [stderr]    Compiling paste v1.0.15
[INFO] [stderr]    Compiling syn v2.0.114
[INFO] [stderr]    Compiling cfg-if v1.0.4
[INFO] [stderr]     Checking crypto-common v0.1.7
[INFO] [stderr]    Compiling stable_deref_trait v1.2.1
[INFO] [stderr]     Checking subtle v2.6.1
[INFO] [stderr]     Checking getrandom v0.2.17
[INFO] [stderr]     Checking digest v0.10.7
[INFO] [stderr]     Checking tracing-core v0.1.36
[INFO] [stderr]     Checking rand_core v0.6.4
[INFO] [stderr]     Checking futures-core v0.3.31
[INFO] [stderr]    Compiling zmij v1.0.17
[INFO] [stderr]     Checking smallvec v1.15.1
[INFO] [stderr]     Checking allocator-api2 v0.2.21
[INFO] [stderr]     Checking bytes v1.11.0
[INFO] [stderr]    Compiling num-integer v0.1.46
[INFO] [stderr]    Compiling ring v0.17.14
[INFO] [stderr]     Checking memchr v2.7.6
[INFO] [stderr]    Compiling serde_json v1.0.149
[INFO] [stderr]     Checking num-bigint v0.4.6
[INFO] [stderr]    Compiling litemap v0.8.1
[INFO] [stderr]     Checking arrayvec v0.7.6
[INFO] [stderr]    Compiling writeable v0.6.2
[INFO] [stderr]     Checking futures-sink v0.3.31
[INFO] [stderr]     Checking errno v0.3.14
[INFO] [stderr]    Compiling typenum v1.19.0
[INFO] [stderr]    Compiling rustls v0.21.12
[INFO] [stderr]    Compiling scopeguard v1.2.0
[INFO] [stderr]     Checking pin-utils v0.1.0
[INFO] [stderr]    Compiling syn v1.0.109
[INFO] [stderr]    Compiling pin-project-lite v0.2.16
[INFO] [stderr]    Compiling lock_api v0.4.14
[INFO] [stderr]     Checking signal-hook-registry v1.4.8
[INFO] [stderr]    Compiling generic-array v0.14.7
[INFO] [stderr]    Compiling icu_properties_data v2.1.2
[INFO] [stderr]    Compiling icu_normalizer_data v2.1.1
[INFO] [stderr]     Checking mio v1.1.1
[INFO] [stderr]     Checking socket2 v0.6.2
[INFO] [stderr]    Compiling untrusted v0.9.0
[INFO] [stderr]    Compiling libsqlite3-sys v0.27.0
[INFO] [stderr]     Checking hashbrown v0.15.5
[INFO] [stderr]     Checking slab v0.4.11
[INFO] [stderr]     Checking futures-io v0.3.31
[INFO] [stderr]     Checking futures-task v0.3.31
[INFO] [stderr]     Checking ppv-lite86 v0.2.21
[INFO] [stderr]     Checking byteorder v1.5.0
[INFO] [stderr]    Compiling crossbeam-utils v0.8.21
[INFO] [stderr]     Checking rand_chacha v0.3.1
[INFO] [stderr]     Checking sha2 v0.10.9
[INFO] [stderr]     Checking futures-util v0.3.31
[INFO] [stderr]    Compiling synstructure v0.13.2
[INFO] [stderr]     Checking rand v0.8.5
[INFO] [stderr]    Compiling block-buffer v0.10.4
[INFO] [stderr]    Compiling parking_lot_core v0.9.12
[INFO] [stderr]     Checking http v1.4.0
[INFO] [stderr]     Checking tracing-subscriber v0.2.25
[INFO] [stderr]    Compiling zerofrom-derive v0.1.6
[INFO] [stderr]    Compiling yoke-derive v0.8.1
[INFO] [stderr]    Compiling zerovec-derive v0.11.2
[INFO] [stderr]    Compiling serde_derive v1.0.228
[INFO] [stderr]    Compiling displaydoc v0.2.5
[INFO] [stderr]    Compiling tracing-attributes v0.1.31
[INFO] [stderr]    Compiling zerofrom v0.1.6
[INFO] [stderr]    Compiling yoke v0.8.1
[INFO] [stderr]    Compiling zeroize_derive v1.4.3
[INFO] [stderr]    Compiling zerovec v0.11.5
[INFO] [stderr]    Compiling enum-ordinalize-derive v4.3.2
[INFO] [stderr]     Checking zeroize v1.8.2
[INFO] [stderr]    Compiling ark-serialize-derive v0.5.0
[INFO] [stderr]    Compiling tinystr v0.8.2
[INFO] [stderr]    Compiling potential_utf v0.1.4
[INFO] [stderr]    Compiling enum-ordinalize v4.3.2
[INFO] [stderr]    Compiling educe v0.6.0
[INFO] [stderr]    Compiling zerotrie v0.2.3
[INFO] [stderr]    Compiling icu_locale_core v2.1.1
[INFO] [stderr]    Compiling thiserror-impl v1.0.69
[INFO] [stderr]     Checking tracing v0.1.44
[INFO] [stderr]    Compiling ark-ff-macros v0.5.0
[INFO] [stderr]    Compiling ark-ff-asm v0.5.0
[INFO] [stderr]    Compiling icu_collections v2.1.1
[INFO] [stderr]    Compiling icu_provider v2.1.1
[INFO] [stderr]    Compiling tokio-macros v2.6.0
[INFO] [stderr]    Compiling icu_properties v2.1.2
[INFO] [stderr]    Compiling icu_normalizer v2.1.1
[INFO] [stderr]     Checking tokio v1.49.0
[INFO] [stderr]    Compiling minimal-lexical v0.2.1
[INFO] [stderr]    Compiling percent-encoding v2.3.2
[INFO] [stderr]    Compiling utf8_iter v1.0.4
[INFO] [stderr]     Checking either v1.15.0
[INFO] [stderr]    Compiling hashbrown v0.14.5
[INFO] [stderr]     Checking rayon v1.11.0
[INFO] [stderr]     Checking itertools v0.13.0
[INFO] [stderr]    Compiling idna_adapter v1.2.1
[INFO] [stderr]    Compiling idna v1.1.0
[INFO] [stderr]    Compiling form_urlencoded v1.2.2
[INFO] [stderr]    Compiling nom v7.1.3
[INFO] [stderr]     Checking ark-std v0.5.0
[INFO] [stderr]     Checking ark-serialize v0.5.0
[INFO] [stderr]     Checking ark-ff v0.5.0
[INFO] [stderr]     Checking http-body v1.0.1
[INFO] [stderr]    Compiling sct v0.7.1
[INFO] [stderr]    Compiling rustls-webpki v0.101.7
[INFO] [stderr]    Compiling parking_lot v0.12.5
[INFO] [stderr]     Checking futures-channel v0.3.31
[INFO] [stderr]    Compiling itoa v1.0.17
[INFO] [stderr]    Compiling rustix v1.1.3
[INFO] [stderr]    Compiling base64 v0.21.7
[INFO] [stderr]    Compiling unicode_categories v0.1.1
[INFO] [stderr]    Compiling log v0.4.29
[INFO] [stderr]    Compiling crc-catalog v2.4.0
[INFO] [stderr]    Compiling cpufeatures v0.2.17
[INFO] [stderr]    Compiling iana-time-zone v0.1.65
[INFO] [stderr]    Compiling sqlformat v0.2.6
[INFO] [stderr]    Compiling crc v3.4.0
[INFO] [stderr]    Compiling rustls-pemfile v1.0.4
[INFO] [stderr]    Compiling chrono v0.4.43
[INFO] [stderr]    Compiling crossbeam-queue v0.3.12
[INFO] [stderr]    Compiling futures-intrusive v0.5.0
[INFO] [stderr]    Compiling url v2.5.8
[INFO] [stderr]    Compiling tokio-stream v0.1.18
[INFO] [stderr]    Compiling hashlink v0.8.4
[INFO] [stderr]    Compiling thiserror v1.0.69
[INFO] [stderr]    Compiling spin v0.9.8
[INFO] [stderr]    Compiling atoi v2.0.0
[INFO] [stderr]    Compiling webpki-roots v0.25.4
[INFO] [stderr]    Compiling linux-raw-sys v0.11.0
[INFO] [stderr]    Compiling hex v0.4.3
[INFO] [stderr]    Compiling event-listener v2.5.3
[INFO] [stderr]    Compiling uuid v1.20.0
[INFO] [stderr]     Checking tower-service v0.3.3
[INFO] [stderr]    Compiling bitflags v2.10.0
[INFO] [stderr]     Checking keccak v0.1.5
[INFO] [stderr]     Checking merlin v3.0.0
[INFO] [stderr]    Compiling flume v0.11.1
[INFO] [stderr]    Compiling futures-executor v0.3.31
[INFO] [stderr]    Compiling derivative v2.2.0
[INFO] [stderr]    Compiling ark-crypto-primitives-macros v0.5.0
[INFO] [stderr]     Checking blake2 v0.10.6
[INFO] [stderr]    Compiling urlencoding v2.1.3
[INFO] [stderr]     Checking equivalent v1.0.2
[INFO] [stderr]     Checking hashbrown v0.16.1
[INFO] [stderr]    Compiling fastrand v2.3.0
[INFO] [stderr]     Checking ark-poly v0.5.0
[INFO] [stderr]     Checking ark-relations v0.5.1
[INFO] [stderr]     Checking tower-layer v0.3.3
[INFO] [stderr]     Checking indexmap v2.13.0
[INFO] [stderr]     Checking ark-snark v0.5.1
[INFO] [stderr]    Compiling sqlx-core v0.7.4
[INFO] [stderr]    Compiling heck v0.4.1
[INFO] [stderr]    Compiling tempfile v3.24.0
[INFO] [stderr]     Checking ark-ec v0.5.0
[INFO] [stderr]     Checking http-body-util v0.1.3
[INFO] [stderr]     Checking httpdate v1.0.3
[INFO] [stderr]    Compiling dotenvy v0.15.7
[INFO] [stderr]     Checking sync_wrapper v1.0.2
[INFO] [stderr]     Checking regex-syntax v0.8.8
[INFO] [stderr]     Checking hyper v1.8.1
[INFO] [stderr]    Compiling async-trait v0.1.89
[INFO] [stderr]     Checking mime v0.3.17
[INFO] [stderr]     Checking ryu v1.0.22
[INFO] [stderr]     Checking hyper-util v0.1.19
[INFO] [stderr]     Checking serde_urlencoded v0.7.1
[INFO] [stderr]     Checking tower v0.5.3
[INFO] [stderr]     Checking serde_path_to_error v0.1.20
[INFO] [stderr]     Checking tracing-log v0.2.0
[INFO] [stderr]     Checking ark-r1cs-std v0.5.0
[INFO] [stderr]     Checking ark-bn254 v0.5.0
[INFO] [stderr]     Checking nu-ansi-term v0.50.3
[INFO] [stderr]     Checking regex-automata v0.4.13
[INFO] [stderr]     Checking matchit v0.7.3
[INFO] [stderr]     Checking axum-core v0.4.5
[INFO] [stderr]    Compiling sqlx-sqlite v0.7.4
[INFO] [stderr]     Checking tower-http v0.5.2
[INFO] [stderr]     Checking matchers v0.2.0
[INFO] [stderr]     Checking tracing-subscriber v0.3.22
[INFO] [stderr]    Compiling sqlx-macros-core v0.7.4
[INFO] [stderr]     Checking axum v0.7.9
[INFO] [stderr]    Compiling sqlx-macros v0.7.4
[INFO] [stderr]     Checking sqlx v0.7.4
[INFO] [stderr]     Checking ark-crypto-primitives v0.5.0
[INFO] [stderr]     Checking ark-groth16 v0.5.0
[INFO] [stderr]     Checking zk-proofs v0.1.0 (/opt/rustwide/workdir/zk-proofs)
[INFO] [stdout] error[E0308]: arguments to this function are incorrect
[INFO] [stdout]    --> zk-proofs/src/constants.rs:55:22
[INFO] [stdout]     |
[INFO] [stdout]  55 |     let (ark, mds) = find_poseidon_ark_and_mds::<Fr>(
[INFO] [stdout]     |                      ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout]  58 |         POSEIDON_FULL_ROUNDS,
[INFO] [stdout]     |         -------------------- expected `u64`, found `usize`
[INFO] [stdout]  59 |         POSEIDON_PARTIAL_ROUNDS,
[INFO] [stdout]     |         ----------------------- expected `u64`, found `usize`
[INFO] [stdout]     |
[INFO] [stdout] note: function defined here
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-crypto-primitives-0.5.0/src/sponge/poseidon/traits.rs:105:8
[INFO] [stdout]     |
[INFO] [stdout] 105 | pub fn find_poseidon_ark_and_mds<F: PrimeField>(
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] help: you can convert a `usize` to a `u64` and panic if the converted value doesn't fit
[INFO] [stdout]     |
[INFO] [stdout]  58 |         POSEIDON_FULL_ROUNDS.try_into().unwrap(),
[INFO] [stdout]     |                             ++++++++++++++++++++
[INFO] [stdout] help: you can convert a `usize` to a `u64` and panic if the converted value doesn't fit
[INFO] [stdout]     |
[INFO] [stdout]  59 |         POSEIDON_PARTIAL_ROUNDS.try_into().unwrap(),
[INFO] [stdout]     |                                ++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0308]: arguments to this function are incorrect
[INFO] [stdout]    --> zk-proofs/src/constants.rs:55:22
[INFO] [stdout]     |
[INFO] [stdout]  55 |     let (ark, mds) = find_poseidon_ark_and_mds::<Fr>(
[INFO] [stdout]     |                      ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout]  58 |         POSEIDON_FULL_ROUNDS,
[INFO] [stdout]     |         -------------------- expected `u64`, found `usize`
[INFO] [stdout]  59 |         POSEIDON_PARTIAL_ROUNDS,
[INFO] [stdout]     |         ----------------------- expected `u64`, found `usize`
[INFO] [stdout]     |
[INFO] [stdout] note: function defined here
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-crypto-primitives-0.5.0/src/sponge/poseidon/traits.rs:105:8
[INFO] [stdout]     |
[INFO] [stdout] 105 | pub fn find_poseidon_ark_and_mds<F: PrimeField>(
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] help: you can convert a `usize` to a `u64` and panic if the converted value doesn't fit
[INFO] [stdout]     |
[INFO] [stdout]  58 |         POSEIDON_FULL_ROUNDS.try_into().unwrap(),
[INFO] [stdout]     |                             ++++++++++++++++++++
[INFO] [stdout] help: you can convert a `usize` to a `u64` and panic if the converted value doesn't fit
[INFO] [stdout]     |
[INFO] [stdout]  59 |         POSEIDON_PARTIAL_ROUNDS.try_into().unwrap(),
[INFO] [stdout]     |                                ++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0599]: no variant, associated function, or constant named `constant` found for enum `FpVar<F>` in the current scope
[INFO] [stdout]   --> zk-proofs/src/circuit.rs:23:32
[INFO] [stdout]    |
[INFO] [stdout] 23 |     let mut acc = FpVar::<Fr>::constant(Fr::from(0u64));
[INFO] [stdout]    |                                ^^^^^^^^ variant, associated function, or constant not found in `FpVar<Fp<MontBackend<FrConfig, 4>, 4>>`
[INFO] [stdout]    |
[INFO] [stdout]    = help: items from traits can only be used if the trait is in scope
[INFO] [stdout] help: there is a method `is_constant` with a similar name, but with different arguments
[INFO] [stdout]   --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-r1cs-std-0.5.0/src/r1cs_var.rs:19:5
[INFO] [stdout]    |
[INFO] [stdout] 19 |     fn is_constant(&self) -> bool {
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] help: trait `FieldVar` which provides `constant` is implemented but not in scope; perhaps you want to import it
[INFO] [stdout]    |
[INFO] [stdout] 10 + use ark_r1cs_std::fields::FieldVar;
[INFO] [stdout]    |
[INFO] [stdout] help: there is a variant with a similar name (notice the capitalization)
[INFO] [stdout]    |
[INFO] [stdout] 23 -     let mut acc = FpVar::<Fr>::constant(Fr::from(0u64));
[INFO] [stdout] 23 +     let mut acc = FpVar::<Fr>::Constant(Fr::from(0u64));
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0599]: no variant, associated function, or constant named `constant` found for enum `FpVar<F>` in the current scope
[INFO] [stdout]   --> zk-proofs/src/circuit.rs:24:34
[INFO] [stdout]    |
[INFO] [stdout] 24 |     let mut coeff = FpVar::<Fr>::constant(Fr::from(1u64));
[INFO] [stdout]    |                                  ^^^^^^^^ variant, associated function, or constant not found in `FpVar<Fp<MontBackend<FrConfig, 4>, 4>>`
[INFO] [stdout]    |
[INFO] [stdout]    = help: items from traits can only be used if the trait is in scope
[INFO] [stdout] help: there is a method `is_constant` with a similar name, but with different arguments
[INFO] [stdout]   --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-r1cs-std-0.5.0/src/r1cs_var.rs:19:5
[INFO] [stdout]    |
[INFO] [stdout] 19 |     fn is_constant(&self) -> bool {
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] help: trait `FieldVar` which provides `constant` is implemented but not in scope; perhaps you want to import it
[INFO] [stdout]    |
[INFO] [stdout] 10 + use ark_r1cs_std::fields::FieldVar;
[INFO] [stdout]    |
[INFO] [stdout] help: there is a variant with a similar name (notice the capitalization)
[INFO] [stdout]    |
[INFO] [stdout] 24 -     let mut coeff = FpVar::<Fr>::constant(Fr::from(1u64));
[INFO] [stdout] 24 +     let mut coeff = FpVar::<Fr>::Constant(Fr::from(1u64));
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0599]: no variant, associated function, or constant named `constant` found for enum `FpVar<F>` in the current scope
[INFO] [stdout]   --> zk-proofs/src/circuit.rs:23:32
[INFO] [stdout]    |
[INFO] [stdout] 23 |     let mut acc = FpVar::<Fr>::constant(Fr::from(0u64));
[INFO] [stdout]    |                                ^^^^^^^^ variant, associated function, or constant not found in `FpVar<Fp<MontBackend<FrConfig, 4>, 4>>`
[INFO] [stdout]    |
[INFO] [stdout]    = help: items from traits can only be used if the trait is in scope
[INFO] [stdout] help: there is a method `is_constant` with a similar name, but with different arguments
[INFO] [stdout]   --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-r1cs-std-0.5.0/src/r1cs_var.rs:19:5
[INFO] [stdout]    |
[INFO] [stdout] 19 |     fn is_constant(&self) -> bool {
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] help: trait `FieldVar` which provides `constant` is implemented but not in scope; perhaps you want to import it
[INFO] [stdout]    |
[INFO] [stdout] 10 + use ark_r1cs_std::fields::FieldVar;
[INFO] [stdout]    |
[INFO] [stdout] help: there is a variant with a similar name (notice the capitalization)
[INFO] [stdout]    |
[INFO] [stdout] 23 -     let mut acc = FpVar::<Fr>::constant(Fr::from(0u64));
[INFO] [stdout] 23 +     let mut acc = FpVar::<Fr>::Constant(Fr::from(0u64));
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0599]: no variant, associated function, or constant named `constant` found for enum `FpVar<F>` in the current scope
[INFO] [stdout]   --> zk-proofs/src/circuit.rs:28:51
[INFO] [stdout]    |
[INFO] [stdout] 28 |         let term = b.select(&coeff, &FpVar::<Fr>::constant(Fr::from(0u64)))?;
[INFO] [stdout]    |                                                   ^^^^^^^^ variant, associated function, or constant not found in `FpVar<Fp<MontBackend<FrConfig, 4>, 4>>`
[INFO] [stdout]    |
[INFO] [stdout]    = help: items from traits can only be used if the trait is in scope
[INFO] [stdout] help: there is a method `is_constant` with a similar name, but with different arguments
[INFO] [stdout]   --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-r1cs-std-0.5.0/src/r1cs_var.rs:19:5
[INFO] [stdout]    |
[INFO] [stdout] 19 |     fn is_constant(&self) -> bool {
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] help: trait `FieldVar` which provides `constant` is implemented but not in scope; perhaps you want to import it
[INFO] [stdout]    |
[INFO] [stdout] 10 + use ark_r1cs_std::fields::FieldVar;
[INFO] [stdout]    |
[INFO] [stdout] help: there is a variant with a similar name (notice the capitalization)
[INFO] [stdout]    |
[INFO] [stdout] 28 -         let term = b.select(&coeff, &FpVar::<Fr>::constant(Fr::from(0u64)))?;
[INFO] [stdout] 28 +         let term = b.select(&coeff, &FpVar::<Fr>::Constant(Fr::from(0u64)))?;
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0599]: no method named `to_bits_le` found for reference `&FpVar<Fp<MontBackend<FrConfig, 4>, 4>>` in the current scope
[INFO] [stdout]   --> zk-proofs/src/circuit.rs:38:18
[INFO] [stdout]    |
[INFO] [stdout] 38 |     let bits = v.to_bits_le()?;
[INFO] [stdout]    |                  ^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: items from traits can only be used if the trait is in scope
[INFO] [stdout] help: trait `ToBitsGadget` which provides `to_bits_le` is implemented but not in scope; perhaps you want to import it
[INFO] [stdout]    |
[INFO] [stdout] 10 + use ark_r1cs_std::convert::ToBitsGadget;
[INFO] [stdout]    |
[INFO] [stdout] help: there is a method `to_bits_be` with a similar name
[INFO] [stdout]    |
[INFO] [stdout] 38 -     let bits = v.to_bits_le()?;
[INFO] [stdout] 38 +     let bits = v.to_bits_be()?;
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0599]: no variant, associated function, or constant named `constant` found for enum `FpVar<F>` in the current scope
[INFO] [stdout]   --> zk-proofs/src/circuit.rs:24:34
[INFO] [stdout]    |
[INFO] [stdout] 24 |     let mut coeff = FpVar::<Fr>::constant(Fr::from(1u64));
[INFO] [stdout]    |                                  ^^^^^^^^ variant, associated function, or constant not found in `FpVar<Fp<MontBackend<FrConfig, 4>, 4>>`
[INFO] [stdout]    |
[INFO] [stdout]    = help: items from traits can only be used if the trait is in scope
[INFO] [stdout] help: there is a method `is_constant` with a similar name, but with different arguments
[INFO] [stdout]   --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-r1cs-std-0.5.0/src/r1cs_var.rs:19:5
[INFO] [stdout]    |
[INFO] [stdout] 19 |     fn is_constant(&self) -> bool {
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] help: trait `FieldVar` which provides `constant` is implemented but not in scope; perhaps you want to import it
[INFO] [stdout]    |
[INFO] [stdout] 10 + use ark_r1cs_std::fields::FieldVar;
[INFO] [stdout]    |
[INFO] [stdout] help: there is a variant with a similar name (notice the capitalization)
[INFO] [stdout]    |
[INFO] [stdout] 24 -     let mut coeff = FpVar::<Fr>::constant(Fr::from(1u64));
[INFO] [stdout] 24 +     let mut coeff = FpVar::<Fr>::Constant(Fr::from(1u64));
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0599]: no method named `to_bits_le` found for reference `&FpVar<Fp<MontBackend<FrConfig, 4>, 4>>` in the current scope
[INFO] [stdout]   --> zk-proofs/src/circuit.rs:47:18
[INFO] [stdout]    |
[INFO] [stdout] 47 |     let bits = v.to_bits_le()?;
[INFO] [stdout]    |                  ^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: items from traits can only be used if the trait is in scope
[INFO] [stdout] help: trait `ToBitsGadget` which provides `to_bits_le` is implemented but not in scope; perhaps you want to import it
[INFO] [stdout]    |
[INFO] [stdout] 10 + use ark_r1cs_std::convert::ToBitsGadget;
[INFO] [stdout]    |
[INFO] [stdout] help: there is a method `to_bits_be` with a similar name
[INFO] [stdout]    |
[INFO] [stdout] 47 -     let bits = v.to_bits_le()?;
[INFO] [stdout] 47 +     let bits = v.to_bits_be()?;
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0599]: no variant, associated function, or constant named `constant` found for enum `FpVar<F>` in the current scope
[INFO] [stdout]   --> zk-proofs/src/circuit.rs:28:51
[INFO] [stdout]    |
[INFO] [stdout] 28 |         let term = b.select(&coeff, &FpVar::<Fr>::constant(Fr::from(0u64)))?;
[INFO] [stdout]    |                                                   ^^^^^^^^ variant, associated function, or constant not found in `FpVar<Fp<MontBackend<FrConfig, 4>, 4>>`
[INFO] [stdout]    |
[INFO] [stdout]    = help: items from traits can only be used if the trait is in scope
[INFO] [stdout] help: there is a method `is_constant` with a similar name, but with different arguments
[INFO] [stdout]   --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-r1cs-std-0.5.0/src/r1cs_var.rs:19:5
[INFO] [stdout]    |
[INFO] [stdout] 19 |     fn is_constant(&self) -> bool {
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] help: trait `FieldVar` which provides `constant` is implemented but not in scope; perhaps you want to import it
[INFO] [stdout]    |
[INFO] [stdout] 10 + use ark_r1cs_std::fields::FieldVar;
[INFO] [stdout]    |
[INFO] [stdout] help: there is a variant with a similar name (notice the capitalization)
[INFO] [stdout]    |
[INFO] [stdout] 28 -         let term = b.select(&coeff, &FpVar::<Fr>::constant(Fr::from(0u64)))?;
[INFO] [stdout] 28 +         let term = b.select(&coeff, &FpVar::<Fr>::Constant(Fr::from(0u64)))?;
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0599]: no method named `not` found for enum `Boolean<F>` in the current scope
[INFO] [stdout]   --> zk-proofs/src/circuit.rs:66:29
[INFO] [stdout]    |
[INFO] [stdout] 66 |             let not_a = a_i.not();
[INFO] [stdout]    |                             ^^^ method not found in `Boolean<Fp<MontBackend<FrConfig, 4>, 4>>`
[INFO] [stdout]    |
[INFO] [stdout]   --> /rustc/2aabf3ce0569dd7c8c2d2a27944850056dcf2566/library/core/src/ops/bit.rs:52:7
[INFO] [stdout]    |
[INFO] [stdout]    = note: the method is available for `Boolean<Fp<MontBackend<FrConfig, 4>, 4>>` here
[INFO] [stdout] note: the method `not` exists on the type `AllocatedBool<Fp<MontBackend<FrConfig, 4>, 4>>`
[INFO] [stdout]   --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-r1cs-std-0.5.0/src/boolean/allocated.rs:62:5
[INFO] [stdout]    |
[INFO] [stdout] 62 |     pub fn not(&self) -> Result<Self, SynthesisError> {
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    = help: items from traits can only be used if the trait is in scope
[INFO] [stdout] help: trait `Not` which provides `not` is implemented but not in scope; perhaps you want to import it
[INFO] [stdout]    |
[INFO] [stdout] 10 + use std::ops::Not;
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0599]: no method named `and` found for enum `Boolean<F>` in the current scope
[INFO] [stdout]    --> zk-proofs/src/circuit.rs:67:32
[INFO] [stdout]     |
[INFO] [stdout]  67 |             let less_i = equal.and(&not_a)?;
[INFO] [stdout]     |                                ^^^
[INFO] [stdout]     |
[INFO] [stdout] note: the method `and` exists on the type `AllocatedBool<_>`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-r1cs-std-0.5.0/src/boolean/allocated.rs:105:5
[INFO] [stdout]     |
[INFO] [stdout] 105 |     pub fn and(&self, b: &Self) -> Result<Self, SynthesisError> {
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] help: there is a method `nand` with a similar name
[INFO] [stdout]     |
[INFO] [stdout]  67 |             let less_i = equal.nand(&not_a)?;
[INFO] [stdout]     |                                +
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0599]: no method named `or` found for enum `Boolean<F>` in the current scope
[INFO] [stdout]    --> zk-proofs/src/circuit.rs:68:25
[INFO] [stdout]     |
[INFO] [stdout]  68 |             less = less.or(&less_i)?;
[INFO] [stdout]     |                         ^^ method not found in `Boolean<_>`
[INFO] [stdout]     |
[INFO] [stdout] note: the method `or` exists on the type `AllocatedBool<_>`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-r1cs-std-0.5.0/src/boolean/allocated.rs:124:5
[INFO] [stdout]     |
[INFO] [stdout] 124 |     pub fn or(&self, b: &Self) -> Result<Self, SynthesisError> {
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0599]: no method named `not` found for enum `Boolean<F>` in the current scope
[INFO] [stdout]   --> zk-proofs/src/circuit.rs:72:49
[INFO] [stdout]    |
[INFO] [stdout] 72 |         let a_eq_ci = if c_i { a_i } else { a_i.not() };
[INFO] [stdout]    |                                                 ^^^ method not found in `Boolean<Fp<MontBackend<FrConfig, 4>, 4>>`
[INFO] [stdout]    |
[INFO] [stdout]   --> /rustc/2aabf3ce0569dd7c8c2d2a27944850056dcf2566/library/core/src/ops/bit.rs:52:7
[INFO] [stdout]    |
[INFO] [stdout]    = note: the method is available for `Boolean<Fp<MontBackend<FrConfig, 4>, 4>>` here
[INFO] [stdout] note: the method `not` exists on the type `AllocatedBool<Fp<MontBackend<FrConfig, 4>, 4>>`
[INFO] [stdout]   --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-r1cs-std-0.5.0/src/boolean/allocated.rs:62:5
[INFO] [stdout]    |
[INFO] [stdout] 62 |     pub fn not(&self) -> Result<Self, SynthesisError> {
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    = help: items from traits can only be used if the trait is in scope
[INFO] [stdout] help: trait `Not` which provides `not` is implemented but not in scope; perhaps you want to import it
[INFO] [stdout]    |
[INFO] [stdout] 10 + use std::ops::Not;
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0599]: no method named `to_bits_le` found for reference `&FpVar<Fp<MontBackend<FrConfig, 4>, 4>>` in the current scope
[INFO] [stdout]   --> zk-proofs/src/circuit.rs:38:18
[INFO] [stdout]    |
[INFO] [stdout] 38 |     let bits = v.to_bits_le()?;
[INFO] [stdout]    |                  ^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: items from traits can only be used if the trait is in scope
[INFO] [stdout] help: trait `ToBitsGadget` which provides `to_bits_le` is implemented but not in scope; perhaps you want to import it
[INFO] [stdout]    |
[INFO] [stdout] 10 + use ark_r1cs_std::convert::ToBitsGadget;
[INFO] [stdout]    |
[INFO] [stdout] help: there is a method `to_bits_be` with a similar name
[INFO] [stdout]    |
[INFO] [stdout] 38 -     let bits = v.to_bits_le()?;
[INFO] [stdout] 38 +     let bits = v.to_bits_be()?;
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0599]: no method named `and` found for enum `Boolean<F>` in the current scope
[INFO] [stdout]    --> zk-proofs/src/circuit.rs:73:23
[INFO] [stdout]     |
[INFO] [stdout]  73 |         equal = equal.and(&a_eq_ci)?;
[INFO] [stdout]     |                       ^^^
[INFO] [stdout]     |
[INFO] [stdout] note: the method `and` exists on the type `AllocatedBool<_>`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-r1cs-std-0.5.0/src/boolean/allocated.rs:105:5
[INFO] [stdout]     |
[INFO] [stdout] 105 |     pub fn and(&self, b: &Self) -> Result<Self, SynthesisError> {
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] help: there is a method `nand` with a similar name
[INFO] [stdout]     |
[INFO] [stdout]  73 |         equal = equal.nand(&a_eq_ci)?;
[INFO] [stdout]     |                       +
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0599]: no method named `to_bits_le` found for reference `&FpVar<Fp<MontBackend<FrConfig, 4>, 4>>` in the current scope
[INFO] [stdout]   --> zk-proofs/src/circuit.rs:47:18
[INFO] [stdout]    |
[INFO] [stdout] 47 |     let bits = v.to_bits_le()?;
[INFO] [stdout]    |                  ^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: items from traits can only be used if the trait is in scope
[INFO] [stdout] help: trait `ToBitsGadget` which provides `to_bits_le` is implemented but not in scope; perhaps you want to import it
[INFO] [stdout]    |
[INFO] [stdout] 10 + use ark_r1cs_std::convert::ToBitsGadget;
[INFO] [stdout]    |
[INFO] [stdout] help: there is a method `to_bits_be` with a similar name
[INFO] [stdout]    |
[INFO] [stdout] 47 -     let bits = v.to_bits_le()?;
[INFO] [stdout] 47 +     let bits = v.to_bits_be()?;
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0599]: no method named `not` found for enum `Boolean<F>` in the current scope
[INFO] [stdout]   --> zk-proofs/src/circuit.rs:66:29
[INFO] [stdout]    |
[INFO] [stdout] 66 |             let not_a = a_i.not();
[INFO] [stdout]    |                             ^^^ method not found in `Boolean<Fp<MontBackend<FrConfig, 4>, 4>>`
[INFO] [stdout]    |
[INFO] [stdout]   --> /rustc/2aabf3ce0569dd7c8c2d2a27944850056dcf2566/library/core/src/ops/bit.rs:52:7
[INFO] [stdout]    |
[INFO] [stdout]    = note: the method is available for `Boolean<Fp<MontBackend<FrConfig, 4>, 4>>` here
[INFO] [stdout] note: the method `not` exists on the type `AllocatedBool<Fp<MontBackend<FrConfig, 4>, 4>>`
[INFO] [stdout]   --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-r1cs-std-0.5.0/src/boolean/allocated.rs:62:5
[INFO] [stdout]    |
[INFO] [stdout] 62 |     pub fn not(&self) -> Result<Self, SynthesisError> {
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    = help: items from traits can only be used if the trait is in scope
[INFO] [stdout] help: trait `Not` which provides `not` is implemented but not in scope; perhaps you want to import it
[INFO] [stdout]    |
[INFO] [stdout] 10 + use std::ops::Not;
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0599]: no method named `or` found for enum `Boolean<F>` in the current scope
[INFO] [stdout]    --> zk-proofs/src/circuit.rs:76:10
[INFO] [stdout]     |
[INFO] [stdout]  76 |     less.or(&equal)
[INFO] [stdout]     |          ^^ method not found in `Boolean<_>`
[INFO] [stdout]     |
[INFO] [stdout] note: the method `or` exists on the type `AllocatedBool<_>`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-r1cs-std-0.5.0/src/boolean/allocated.rs:124:5
[INFO] [stdout]     |
[INFO] [stdout] 124 |     pub fn or(&self, b: &Self) -> Result<Self, SynthesisError> {
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0599]: no method named `not` found for enum `Boolean<F>` in the current scope
[INFO] [stdout]   --> zk-proofs/src/circuit.rs:86:17
[INFO] [stdout]    |
[INFO] [stdout] 86 |     Ok(leq_prev.not())
[INFO] [stdout]    |                 ^^^ method not found in `Boolean<Fp<MontBackend<FrConfig, 4>, 4>>`
[INFO] [stdout]    |
[INFO] [stdout]   --> /rustc/2aabf3ce0569dd7c8c2d2a27944850056dcf2566/library/core/src/ops/bit.rs:52:7
[INFO] [stdout]    |
[INFO] [stdout]    = note: the method is available for `Boolean<Fp<MontBackend<FrConfig, 4>, 4>>` here
[INFO] [stdout] note: the method `not` exists on the type `AllocatedBool<Fp<MontBackend<FrConfig, 4>, 4>>`
[INFO] [stdout]   --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-r1cs-std-0.5.0/src/boolean/allocated.rs:62:5
[INFO] [stdout]    |
[INFO] [stdout] 62 |     pub fn not(&self) -> Result<Self, SynthesisError> {
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    = help: items from traits can only be used if the trait is in scope
[INFO] [stdout] help: trait `Not` which provides `not` is implemented but not in scope; perhaps you want to import it
[INFO] [stdout]    |
[INFO] [stdout] 10 + use std::ops::Not;
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0599]: no method named `and` found for enum `Boolean<F>` in the current scope
[INFO] [stdout]    --> zk-proofs/src/circuit.rs:67:32
[INFO] [stdout]     |
[INFO] [stdout]  67 |             let less_i = equal.and(&not_a)?;
[INFO] [stdout]     |                                ^^^
[INFO] [stdout]     |
[INFO] [stdout] note: the method `and` exists on the type `AllocatedBool<_>`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-r1cs-std-0.5.0/src/boolean/allocated.rs:105:5
[INFO] [stdout]     |
[INFO] [stdout] 105 |     pub fn and(&self, b: &Self) -> Result<Self, SynthesisError> {
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] help: there is a method `nand` with a similar name
[INFO] [stdout]     |
[INFO] [stdout]  67 |             let less_i = equal.nand(&not_a)?;
[INFO] [stdout]     |                                +
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0599]: no method named `or` found for enum `Boolean<F>` in the current scope
[INFO] [stdout]    --> zk-proofs/src/circuit.rs:68:25
[INFO] [stdout]     |
[INFO] [stdout]  68 |             less = less.or(&less_i)?;
[INFO] [stdout]     |                         ^^ method not found in `Boolean<_>`
[INFO] [stdout]     |
[INFO] [stdout] note: the method `or` exists on the type `AllocatedBool<_>`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-r1cs-std-0.5.0/src/boolean/allocated.rs:124:5
[INFO] [stdout]     |
[INFO] [stdout] 124 |     pub fn or(&self, b: &Self) -> Result<Self, SynthesisError> {
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0599]: no method named `not` found for enum `Boolean<F>` in the current scope
[INFO] [stdout]   --> zk-proofs/src/circuit.rs:72:49
[INFO] [stdout]    |
[INFO] [stdout] 72 |         let a_eq_ci = if c_i { a_i } else { a_i.not() };
[INFO] [stdout]    |                                                 ^^^ method not found in `Boolean<Fp<MontBackend<FrConfig, 4>, 4>>`
[INFO] [stdout]    |
[INFO] [stdout]   --> /rustc/2aabf3ce0569dd7c8c2d2a27944850056dcf2566/library/core/src/ops/bit.rs:52:7
[INFO] [stdout]    |
[INFO] [stdout]    = note: the method is available for `Boolean<Fp<MontBackend<FrConfig, 4>, 4>>` here
[INFO] [stdout] note: the method `not` exists on the type `AllocatedBool<Fp<MontBackend<FrConfig, 4>, 4>>`
[INFO] [stdout]   --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-r1cs-std-0.5.0/src/boolean/allocated.rs:62:5
[INFO] [stdout]    |
[INFO] [stdout] 62 |     pub fn not(&self) -> Result<Self, SynthesisError> {
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    = help: items from traits can only be used if the trait is in scope
[INFO] [stdout] help: trait `Not` which provides `not` is implemented but not in scope; perhaps you want to import it
[INFO] [stdout]    |
[INFO] [stdout] 10 + use std::ops::Not;
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0599]: no method named `and` found for enum `Boolean<F>` in the current scope
[INFO] [stdout]    --> zk-proofs/src/circuit.rs:93:8
[INFO] [stdout]     |
[INFO] [stdout]  93 |     ge.and(&le)
[INFO] [stdout]     |        ^^^
[INFO] [stdout]     |
[INFO] [stdout] note: the method `and` exists on the type `AllocatedBool<Fp<MontBackend<FrConfig, 4>, 4>>`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-r1cs-std-0.5.0/src/boolean/allocated.rs:105:5
[INFO] [stdout]     |
[INFO] [stdout] 105 |     pub fn and(&self, b: &Self) -> Result<Self, SynthesisError> {
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] help: there is a method `nand` with a similar name
[INFO] [stdout]     |
[INFO] [stdout]  93 |     ge.nand(&le)
[INFO] [stdout]     |        +
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0599]: no method named `and` found for enum `Boolean<F>` in the current scope
[INFO] [stdout]    --> zk-proofs/src/circuit.rs:73:23
[INFO] [stdout]     |
[INFO] [stdout]  73 |         equal = equal.and(&a_eq_ci)?;
[INFO] [stdout]     |                       ^^^
[INFO] [stdout]     |
[INFO] [stdout] note: the method `and` exists on the type `AllocatedBool<_>`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-r1cs-std-0.5.0/src/boolean/allocated.rs:105:5
[INFO] [stdout]     |
[INFO] [stdout] 105 |     pub fn and(&self, b: &Self) -> Result<Self, SynthesisError> {
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] help: there is a method `nand` with a similar name
[INFO] [stdout]     |
[INFO] [stdout]  73 |         equal = equal.nand(&a_eq_ci)?;
[INFO] [stdout]     |                       +
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0599]: no variant, associated function, or constant named `new_input` found for enum `FpVar<F>` in the current scope
[INFO] [stdout]    --> zk-proofs/src/circuit.rs:116:46
[INFO] [stdout]     |
[INFO] [stdout] 116 |         let public_commitment = FpVar::<Fr>::new_input(cs.clone(), || Ok(self.public_shard_commitment))?;
[INFO] [stdout]     |                                              ^^^^^^^^^ variant, associated function, or constant not found in `FpVar<Fp<MontBackend<FrConfig, 4>, 4>>`
[INFO] [stdout]     |
[INFO] [stdout]     = help: items from traits can only be used if the trait is in scope
[INFO] [stdout] help: trait `AllocVar` which provides `new_input` is implemented but not in scope; perhaps you want to import it
[INFO] [stdout]     |
[INFO] [stdout]  10 + use ark_r1cs_std::alloc::AllocVar;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0599]: no method named `or` found for enum `Boolean<F>` in the current scope
[INFO] [stdout]    --> zk-proofs/src/circuit.rs:76:10
[INFO] [stdout]     |
[INFO] [stdout]  76 |     less.or(&equal)
[INFO] [stdout]     |          ^^ method not found in `Boolean<_>`
[INFO] [stdout]     |
[INFO] [stdout] note: the method `or` exists on the type `AllocatedBool<_>`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-r1cs-std-0.5.0/src/boolean/allocated.rs:124:5
[INFO] [stdout]     |
[INFO] [stdout] 124 |     pub fn or(&self, b: &Self) -> Result<Self, SynthesisError> {
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0599]: no variant, associated function, or constant named `new_input` found for enum `FpVar<F>` in the current scope
[INFO] [stdout]    --> zk-proofs/src/circuit.rs:124:43
[INFO] [stdout]     |
[INFO] [stdout] 124 |             public_sums.push(FpVar::<Fr>::new_input(cs.clone(), || Ok(Fr::from(self.public_sum_glucose_by_bucket[i])))?);
[INFO] [stdout]     |                                           ^^^^^^^^^ variant, associated function, or constant not found in `FpVar<Fp<MontBackend<FrConfig, 4>, 4>>`
[INFO] [stdout]     |
[INFO] [stdout]     = help: items from traits can only be used if the trait is in scope
[INFO] [stdout] help: trait `AllocVar` which provides `new_input` is implemented but not in scope; perhaps you want to import it
[INFO] [stdout]     |
[INFO] [stdout]  10 + use ark_r1cs_std::alloc::AllocVar;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0599]: no method named `not` found for enum `Boolean<F>` in the current scope
[INFO] [stdout]   --> zk-proofs/src/circuit.rs:86:17
[INFO] [stdout]    |
[INFO] [stdout] 86 |     Ok(leq_prev.not())
[INFO] [stdout]    |                 ^^^ method not found in `Boolean<Fp<MontBackend<FrConfig, 4>, 4>>`
[INFO] [stdout]    |
[INFO] [stdout]   --> /rustc/2aabf3ce0569dd7c8c2d2a27944850056dcf2566/library/core/src/ops/bit.rs:52:7
[INFO] [stdout]    |
[INFO] [stdout]    = note: the method is available for `Boolean<Fp<MontBackend<FrConfig, 4>, 4>>` here
[INFO] [stdout] note: the method `not` exists on the type `AllocatedBool<Fp<MontBackend<FrConfig, 4>, 4>>`
[INFO] [stdout]   --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-r1cs-std-0.5.0/src/boolean/allocated.rs:62:5
[INFO] [stdout]    |
[INFO] [stdout] 62 |     pub fn not(&self) -> Result<Self, SynthesisError> {
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    = help: items from traits can only be used if the trait is in scope
[INFO] [stdout] help: trait `Not` which provides `not` is implemented but not in scope; perhaps you want to import it
[INFO] [stdout]    |
[INFO] [stdout] 10 + use std::ops::Not;
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0599]: no variant, associated function, or constant named `new_input` found for enum `FpVar<F>` in the current scope
[INFO] [stdout]    --> zk-proofs/src/circuit.rs:127:45
[INFO] [stdout]     |
[INFO] [stdout] 127 |             public_counts.push(FpVar::<Fr>::new_input(cs.clone(), || Ok(Fr::from(self.public_count_by_bucket[i])))?);
[INFO] [stdout]     |                                             ^^^^^^^^^ variant, associated function, or constant not found in `FpVar<Fp<MontBackend<FrConfig, 4>, 4>>`
[INFO] [stdout]     |
[INFO] [stdout]     = help: items from traits can only be used if the trait is in scope
[INFO] [stdout] help: trait `AllocVar` which provides `new_input` is implemented but not in scope; perhaps you want to import it
[INFO] [stdout]     |
[INFO] [stdout]  10 + use ark_r1cs_std::alloc::AllocVar;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0599]: no variant, associated function, or constant named `constant` found for enum `FpVar<F>` in the current scope
[INFO] [stdout]    --> zk-proofs/src/circuit.rs:139:46
[INFO] [stdout]     |
[INFO] [stdout] 139 |         let mut sum_vars = vec![FpVar::<Fr>::constant(Fr::from(0u64)); NUM_BUCKETS];
[INFO] [stdout]     |                                              ^^^^^^^^ variant, associated function, or constant not found in `FpVar<Fp<MontBackend<FrConfig, 4>, 4>>`
[INFO] [stdout]     |
[INFO] [stdout]     = help: items from traits can only be used if the trait is in scope
[INFO] [stdout] help: there is a method `is_constant` with a similar name, but with different arguments
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-r1cs-std-0.5.0/src/r1cs_var.rs:19:5
[INFO] [stdout]     |
[INFO] [stdout]  19 |     fn is_constant(&self) -> bool {
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] help: trait `FieldVar` which provides `constant` is implemented but not in scope; perhaps you want to import it
[INFO] [stdout]     |
[INFO] [stdout]  10 + use ark_r1cs_std::fields::FieldVar;
[INFO] [stdout]     |
[INFO] [stdout] help: there is a variant with a similar name (notice the capitalization)
[INFO] [stdout]     |
[INFO] [stdout] 139 -         let mut sum_vars = vec![FpVar::<Fr>::constant(Fr::from(0u64)); NUM_BUCKETS];
[INFO] [stdout] 139 +         let mut sum_vars = vec![FpVar::<Fr>::Constant(Fr::from(0u64)); NUM_BUCKETS];
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0599]: no method named `and` found for enum `Boolean<F>` in the current scope
[INFO] [stdout]    --> zk-proofs/src/circuit.rs:93:8
[INFO] [stdout]     |
[INFO] [stdout]  93 |     ge.and(&le)
[INFO] [stdout]     |        ^^^
[INFO] [stdout]     |
[INFO] [stdout] note: the method `and` exists on the type `AllocatedBool<Fp<MontBackend<FrConfig, 4>, 4>>`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-r1cs-std-0.5.0/src/boolean/allocated.rs:105:5
[INFO] [stdout]     |
[INFO] [stdout] 105 |     pub fn and(&self, b: &Self) -> Result<Self, SynthesisError> {
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] help: there is a method `nand` with a similar name
[INFO] [stdout]     |
[INFO] [stdout]  93 |     ge.nand(&le)
[INFO] [stdout]     |        +
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0599]: no variant, associated function, or constant named `constant` found for enum `FpVar<F>` in the current scope
[INFO] [stdout]    --> zk-proofs/src/circuit.rs:140:48
[INFO] [stdout]     |
[INFO] [stdout] 140 |         let mut count_vars = vec![FpVar::<Fr>::constant(Fr::from(0u64)); NUM_BUCKETS];
[INFO] [stdout]     |                                                ^^^^^^^^ variant, associated function, or constant not found in `FpVar<Fp<MontBackend<FrConfig, 4>, 4>>`
[INFO] [stdout]     |
[INFO] [stdout]     = help: items from traits can only be used if the trait is in scope
[INFO] [stdout] help: there is a method `is_constant` with a similar name, but with different arguments
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-r1cs-std-0.5.0/src/r1cs_var.rs:19:5
[INFO] [stdout]     |
[INFO] [stdout]  19 |     fn is_constant(&self) -> bool {
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] help: trait `FieldVar` which provides `constant` is implemented but not in scope; perhaps you want to import it
[INFO] [stdout]     |
[INFO] [stdout]  10 + use ark_r1cs_std::fields::FieldVar;
[INFO] [stdout]     |
[INFO] [stdout] help: there is a variant with a similar name (notice the capitalization)
[INFO] [stdout]     |
[INFO] [stdout] 140 -         let mut count_vars = vec![FpVar::<Fr>::constant(Fr::from(0u64)); NUM_BUCKETS];
[INFO] [stdout] 140 +         let mut count_vars = vec![FpVar::<Fr>::Constant(Fr::from(0u64)); NUM_BUCKETS];
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0599]: no variant, associated function, or constant named `new_input` found for enum `FpVar<F>` in the current scope
[INFO] [stdout]    --> zk-proofs/src/circuit.rs:116:46
[INFO] [stdout]     |
[INFO] [stdout] 116 |         let public_commitment = FpVar::<Fr>::new_input(cs.clone(), || Ok(self.public_shard_commitment))?;
[INFO] [stdout]     |                                              ^^^^^^^^^ variant, associated function, or constant not found in `FpVar<Fp<MontBackend<FrConfig, 4>, 4>>`
[INFO] [stdout]     |
[INFO] [stdout]     = help: items from traits can only be used if the trait is in scope
[INFO] [stdout] help: trait `AllocVar` which provides `new_input` is implemented but not in scope; perhaps you want to import it
[INFO] [stdout]     |
[INFO] [stdout]  10 + use ark_r1cs_std::alloc::AllocVar;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0599]: no variant, associated function, or constant named `new_witness` found for enum `FpVar<F>` in the current scope
[INFO] [stdout]    --> zk-proofs/src/circuit.rs:144:36
[INFO] [stdout]     |
[INFO] [stdout] 144 |             let age = FpVar::<Fr>::new_witness(cs.clone(), || Ok(Fr::from(rec.age as u64)))?;
[INFO] [stdout]     |                                    ^^^^^^^^^^^ variant, associated function, or constant not found in `FpVar<Fp<MontBackend<FrConfig, 4>, 4>>`
[INFO] [stdout]     |
[INFO] [stdout]     = help: items from traits can only be used if the trait is in scope
[INFO] [stdout] help: trait `AllocVar` which provides `new_witness` is implemented but not in scope; perhaps you want to import it
[INFO] [stdout]     |
[INFO] [stdout]  10 + use ark_r1cs_std::alloc::AllocVar;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0599]: no variant, associated function, or constant named `new_input` found for enum `FpVar<F>` in the current scope
[INFO] [stdout]    --> zk-proofs/src/circuit.rs:124:43
[INFO] [stdout]     |
[INFO] [stdout] 124 |             public_sums.push(FpVar::<Fr>::new_input(cs.clone(), || Ok(Fr::from(self.public_sum_glucose_by_bucket[i])))?);
[INFO] [stdout]     |                                           ^^^^^^^^^ variant, associated function, or constant not found in `FpVar<Fp<MontBackend<FrConfig, 4>, 4>>`
[INFO] [stdout]     |
[INFO] [stdout]     = help: items from traits can only be used if the trait is in scope
[INFO] [stdout] help: trait `AllocVar` which provides `new_input` is implemented but not in scope; perhaps you want to import it
[INFO] [stdout]     |
[INFO] [stdout]  10 + use ark_r1cs_std::alloc::AllocVar;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0599]: no variant, associated function, or constant named `new_input` found for enum `FpVar<F>` in the current scope
[INFO] [stdout]    --> zk-proofs/src/circuit.rs:127:45
[INFO] [stdout]     |
[INFO] [stdout] 127 |             public_counts.push(FpVar::<Fr>::new_input(cs.clone(), || Ok(Fr::from(self.public_count_by_bucket[i])))?);
[INFO] [stdout]     |                                             ^^^^^^^^^ variant, associated function, or constant not found in `FpVar<Fp<MontBackend<FrConfig, 4>, 4>>`
[INFO] [stdout]     |
[INFO] [stdout]     = help: items from traits can only be used if the trait is in scope
[INFO] [stdout] help: trait `AllocVar` which provides `new_input` is implemented but not in scope; perhaps you want to import it
[INFO] [stdout]     |
[INFO] [stdout]  10 + use ark_r1cs_std::alloc::AllocVar;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0599]: no variant, associated function, or constant named `new_witness` found for enum `FpVar<F>` in the current scope
[INFO] [stdout]    --> zk-proofs/src/circuit.rs:145:40
[INFO] [stdout]     |
[INFO] [stdout] 145 |             let glucose = FpVar::<Fr>::new_witness(cs.clone(), || Ok(Fr::from(rec.blood_glucose_mg_dl as u64)))?;
[INFO] [stdout]     |                                        ^^^^^^^^^^^ variant, associated function, or constant not found in `FpVar<Fp<MontBackend<FrConfig, 4>, 4>>`
[INFO] [stdout]     |
[INFO] [stdout]     = help: items from traits can only be used if the trait is in scope
[INFO] [stdout] help: trait `AllocVar` which provides `new_witness` is implemented but not in scope; perhaps you want to import it
[INFO] [stdout]     |
[INFO] [stdout]  10 + use ark_r1cs_std::alloc::AllocVar;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0599]: no variant, associated function, or constant named `constant` found for enum `FpVar<F>` in the current scope
[INFO] [stdout]    --> zk-proofs/src/circuit.rs:139:46
[INFO] [stdout]     |
[INFO] [stdout] 139 |         let mut sum_vars = vec![FpVar::<Fr>::constant(Fr::from(0u64)); NUM_BUCKETS];
[INFO] [stdout]     |                                              ^^^^^^^^ variant, associated function, or constant not found in `FpVar<Fp<MontBackend<FrConfig, 4>, 4>>`
[INFO] [stdout]     |
[INFO] [stdout]     = help: items from traits can only be used if the trait is in scope
[INFO] [stdout] help: there is a method `is_constant` with a similar name, but with different arguments
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-r1cs-std-0.5.0/src/r1cs_var.rs:19:5
[INFO] [stdout]     |
[INFO] [stdout]  19 |     fn is_constant(&self) -> bool {
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] help: trait `FieldVar` which provides `constant` is implemented but not in scope; perhaps you want to import it
[INFO] [stdout]     |
[INFO] [stdout]  10 + use ark_r1cs_std::fields::FieldVar;
[INFO] [stdout]     |
[INFO] [stdout] help: there is a variant with a similar name (notice the capitalization)
[INFO] [stdout]     |
[INFO] [stdout] 139 -         let mut sum_vars = vec![FpVar::<Fr>::constant(Fr::from(0u64)); NUM_BUCKETS];
[INFO] [stdout] 139 +         let mut sum_vars = vec![FpVar::<Fr>::Constant(Fr::from(0u64)); NUM_BUCKETS];
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0599]: no variant, associated function, or constant named `constant` found for enum `FpVar<F>` in the current scope
[INFO] [stdout]    --> zk-proofs/src/circuit.rs:140:48
[INFO] [stdout]     |
[INFO] [stdout] 140 |         let mut count_vars = vec![FpVar::<Fr>::constant(Fr::from(0u64)); NUM_BUCKETS];
[INFO] [stdout]     |                                                ^^^^^^^^ variant, associated function, or constant not found in `FpVar<Fp<MontBackend<FrConfig, 4>, 4>>`
[INFO] [stdout]     |
[INFO] [stdout]     = help: items from traits can only be used if the trait is in scope
[INFO] [stdout] help: there is a method `is_constant` with a similar name, but with different arguments
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-r1cs-std-0.5.0/src/r1cs_var.rs:19:5
[INFO] [stdout]     |
[INFO] [stdout]  19 |     fn is_constant(&self) -> bool {
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] help: trait `FieldVar` which provides `constant` is implemented but not in scope; perhaps you want to import it
[INFO] [stdout]     |
[INFO] [stdout]  10 + use ark_r1cs_std::fields::FieldVar;
[INFO] [stdout]     |
[INFO] [stdout] help: there is a variant with a similar name (notice the capitalization)
[INFO] [stdout]     |
[INFO] [stdout] 140 -         let mut count_vars = vec![FpVar::<Fr>::constant(Fr::from(0u64)); NUM_BUCKETS];
[INFO] [stdout] 140 +         let mut count_vars = vec![FpVar::<Fr>::Constant(Fr::from(0u64)); NUM_BUCKETS];
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0599]: no method named `or` found for enum `Boolean<F>` in the current scope
[INFO] [stdout]    --> zk-proofs/src/circuit.rs:161:47
[INFO] [stdout]     |
[INFO] [stdout] 161 |                 in_any_bucket = in_any_bucket.or(&in_bucket)?;
[INFO] [stdout]     |                                               ^^ method not found in `Boolean<_>`
[INFO] [stdout]     |
[INFO] [stdout] note: the method `or` exists on the type `AllocatedBool<_>`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-r1cs-std-0.5.0/src/boolean/allocated.rs:124:5
[INFO] [stdout]     |
[INFO] [stdout] 124 |     pub fn or(&self, b: &Self) -> Result<Self, SynthesisError> {
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0599]: no variant, associated function, or constant named `new_witness` found for enum `FpVar<F>` in the current scope
[INFO] [stdout]    --> zk-proofs/src/circuit.rs:144:36
[INFO] [stdout]     |
[INFO] [stdout] 144 |             let age = FpVar::<Fr>::new_witness(cs.clone(), || Ok(Fr::from(rec.age as u64)))?;
[INFO] [stdout]     |                                    ^^^^^^^^^^^ variant, associated function, or constant not found in `FpVar<Fp<MontBackend<FrConfig, 4>, 4>>`
[INFO] [stdout]     |
[INFO] [stdout]     = help: items from traits can only be used if the trait is in scope
[INFO] [stdout] help: trait `AllocVar` which provides `new_witness` is implemented but not in scope; perhaps you want to import it
[INFO] [stdout]     |
[INFO] [stdout]  10 + use ark_r1cs_std::alloc::AllocVar;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0599]: no variant, associated function, or constant named `constant` found for enum `FpVar<F>` in the current scope
[INFO] [stdout]    --> zk-proofs/src/circuit.rs:164:76
[INFO] [stdout]     |
[INFO] [stdout] 164 |                 let add_glucose = in_bucket.select(&glucose, &FpVar::<Fr>::constant(Fr::from(0u64)))?;
[INFO] [stdout]     |                                                                            ^^^^^^^^ variant, associated function, or constant not found in `FpVar<Fp<MontBackend<FrConfig, 4>, 4>>`
[INFO] [stdout]     |
[INFO] [stdout]     = help: items from traits can only be used if the trait is in scope
[INFO] [stdout] help: there is a method `is_constant` with a similar name, but with different arguments
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-r1cs-std-0.5.0/src/r1cs_var.rs:19:5
[INFO] [stdout]     |
[INFO] [stdout]  19 |     fn is_constant(&self) -> bool {
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] help: trait `FieldVar` which provides `constant` is implemented but not in scope; perhaps you want to import it
[INFO] [stdout]     |
[INFO] [stdout]  10 + use ark_r1cs_std::fields::FieldVar;
[INFO] [stdout]     |
[INFO] [stdout] help: there is a variant with a similar name (notice the capitalization)
[INFO] [stdout]     |
[INFO] [stdout] 164 -                 let add_glucose = in_bucket.select(&glucose, &FpVar::<Fr>::constant(Fr::from(0u64)))?;
[INFO] [stdout] 164 +                 let add_glucose = in_bucket.select(&glucose, &FpVar::<Fr>::Constant(Fr::from(0u64)))?;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0599]: no variant, associated function, or constant named `new_witness` found for enum `FpVar<F>` in the current scope
[INFO] [stdout]    --> zk-proofs/src/circuit.rs:145:40
[INFO] [stdout]     |
[INFO] [stdout] 145 |             let glucose = FpVar::<Fr>::new_witness(cs.clone(), || Ok(Fr::from(rec.blood_glucose_mg_dl as u64)))?;
[INFO] [stdout]     |                                        ^^^^^^^^^^^ variant, associated function, or constant not found in `FpVar<Fp<MontBackend<FrConfig, 4>, 4>>`
[INFO] [stdout]     |
[INFO] [stdout]     = help: items from traits can only be used if the trait is in scope
[INFO] [stdout] help: trait `AllocVar` which provides `new_witness` is implemented but not in scope; perhaps you want to import it
[INFO] [stdout]     |
[INFO] [stdout]  10 + use ark_r1cs_std::alloc::AllocVar;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0599]: no variant, associated function, or constant named `constant` found for enum `FpVar<F>` in the current scope
[INFO] [stdout]    --> zk-proofs/src/circuit.rs:168:62
[INFO] [stdout]     |
[INFO] [stdout] 168 |                 let add_one = in_bucket.select(&FpVar::<Fr>::constant(Fr::from(1u64)), &FpVar::<Fr>::constant(Fr::from(0u64)))?;
[INFO] [stdout]     |                                                              ^^^^^^^^ variant, associated function, or constant not found in `FpVar<Fp<MontBackend<FrConfig, 4>, 4>>`
[INFO] [stdout]     |
[INFO] [stdout]     = help: items from traits can only be used if the trait is in scope
[INFO] [stdout] help: there is a method `is_constant` with a similar name, but with different arguments
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-r1cs-std-0.5.0/src/r1cs_var.rs:19:5
[INFO] [stdout]     |
[INFO] [stdout]  19 |     fn is_constant(&self) -> bool {
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] help: trait `FieldVar` which provides `constant` is implemented but not in scope; perhaps you want to import it
[INFO] [stdout]     |
[INFO] [stdout]  10 + use ark_r1cs_std::fields::FieldVar;
[INFO] [stdout]     |
[INFO] [stdout] help: there is a variant with a similar name (notice the capitalization)
[INFO] [stdout]     |
[INFO] [stdout] 168 -                 let add_one = in_bucket.select(&FpVar::<Fr>::constant(Fr::from(1u64)), &FpVar::<Fr>::constant(Fr::from(0u64)))?;
[INFO] [stdout] 168 +                 let add_one = in_bucket.select(&FpVar::<Fr>::Constant(Fr::from(1u64)), &FpVar::<Fr>::constant(Fr::from(0u64)))?;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0599]: no variant, associated function, or constant named `constant` found for enum `FpVar<F>` in the current scope
[INFO] [stdout]    --> zk-proofs/src/circuit.rs:168:102
[INFO] [stdout]     |
[INFO] [stdout] 168 |                 let add_one = in_bucket.select(&FpVar::<Fr>::constant(Fr::from(1u64)), &FpVar::<Fr>::constant(Fr::from(0u64)))?;
[INFO] [stdout]     |                                                                                                      ^^^^^^^^ variant, associated function, or constant not found in `FpVar<Fp<MontBackend<FrConfig, 4>, 4>>`
[INFO] [stdout]     |
[INFO] [stdout]     = help: items from traits can only be used if the trait is in scope
[INFO] [stdout] help: there is a method `is_constant` with a similar name, but with different arguments
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-r1cs-std-0.5.0/src/r1cs_var.rs:19:5
[INFO] [stdout]     |
[INFO] [stdout]  19 |     fn is_constant(&self) -> bool {
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] help: trait `FieldVar` which provides `constant` is implemented but not in scope; perhaps you want to import it
[INFO] [stdout]     |
[INFO] [stdout]  10 + use ark_r1cs_std::fields::FieldVar;
[INFO] [stdout]     |
[INFO] [stdout] help: there is a variant with a similar name (notice the capitalization)
[INFO] [stdout]     |
[INFO] [stdout] 168 -                 let add_one = in_bucket.select(&FpVar::<Fr>::constant(Fr::from(1u64)), &FpVar::<Fr>::constant(Fr::from(0u64)))?;
[INFO] [stdout] 168 +                 let add_one = in_bucket.select(&FpVar::<Fr>::constant(Fr::from(1u64)), &FpVar::<Fr>::Constant(Fr::from(0u64)))?;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0599]: no method named `or` found for enum `Boolean<F>` in the current scope
[INFO] [stdout]    --> zk-proofs/src/circuit.rs:161:47
[INFO] [stdout]     |
[INFO] [stdout] 161 |                 in_any_bucket = in_any_bucket.or(&in_bucket)?;
[INFO] [stdout]     |                                               ^^ method not found in `Boolean<_>`
[INFO] [stdout]     |
[INFO] [stdout] note: the method `or` exists on the type `AllocatedBool<_>`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-r1cs-std-0.5.0/src/boolean/allocated.rs:124:5
[INFO] [stdout]     |
[INFO] [stdout] 124 |     pub fn or(&self, b: &Self) -> Result<Self, SynthesisError> {
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0599]: no variant, associated function, or constant named `constant` found for enum `FpVar<F>` in the current scope
[INFO] [stdout]    --> zk-proofs/src/circuit.rs:164:76
[INFO] [stdout]     |
[INFO] [stdout] 164 |                 let add_glucose = in_bucket.select(&glucose, &FpVar::<Fr>::constant(Fr::from(0u64)))?;
[INFO] [stdout]     |                                                                            ^^^^^^^^ variant, associated function, or constant not found in `FpVar<Fp<MontBackend<FrConfig, 4>, 4>>`
[INFO] [stdout]     |
[INFO] [stdout]     = help: items from traits can only be used if the trait is in scope
[INFO] [stdout] help: there is a method `is_constant` with a similar name, but with different arguments
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-r1cs-std-0.5.0/src/r1cs_var.rs:19:5
[INFO] [stdout]     |
[INFO] [stdout]  19 |     fn is_constant(&self) -> bool {
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] help: trait `FieldVar` which provides `constant` is implemented but not in scope; perhaps you want to import it
[INFO] [stdout]     |
[INFO] [stdout]  10 + use ark_r1cs_std::fields::FieldVar;
[INFO] [stdout]     |
[INFO] [stdout] help: there is a variant with a similar name (notice the capitalization)
[INFO] [stdout]     |
[INFO] [stdout] 164 -                 let add_glucose = in_bucket.select(&glucose, &FpVar::<Fr>::constant(Fr::from(0u64)))?;
[INFO] [stdout] 164 +                 let add_glucose = in_bucket.select(&glucose, &FpVar::<Fr>::Constant(Fr::from(0u64)))?;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `[Fp<MontBackend<FrConfig, 4>, 4>; 2]: Absorb` is not satisfied
[INFO] [stdout]    --> zk-proofs/src/groth16.rs:47:23
[INFO] [stdout]     |
[INFO] [stdout]  47 |         sponge.absorb(&[Fr::from(r.age as u64), Fr::from(r.blood_glucose_mg_dl as u64)]);
[INFO] [stdout]     |                ------ ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `Absorb` is not implemented for `[Fp<MontBackend<FrConfig, 4>, 4>; 2]`
[INFO] [stdout]     |                |
[INFO] [stdout]     |                required by a bound introduced by this call
[INFO] [stdout]     |
[INFO] [stdout] help: the trait `Absorb` is implemented for `&[A]`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-crypto-primitives-0.5.0/src/sponge/absorb.rs:284:1
[INFO] [stdout]     |
[INFO] [stdout] 284 | impl<A: Absorb> Absorb for &[A] {
[INFO] [stdout]     | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] note: required by a bound in `ark_crypto_primitives::sponge::CryptographicSponge::absorb`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-crypto-primitives-0.5.0/src/sponge/mod.rs:109:39
[INFO] [stdout]     |
[INFO] [stdout] 109 |     fn absorb(&mut self, input: &impl Absorb);
[INFO] [stdout]     |                                       ^^^^^^ required by this bound in `CryptographicSponge::absorb`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0599]: no variant, associated function, or constant named `constant` found for enum `FpVar<F>` in the current scope
[INFO] [stdout]    --> zk-proofs/src/circuit.rs:168:62
[INFO] [stdout]     |
[INFO] [stdout] 168 |                 let add_one = in_bucket.select(&FpVar::<Fr>::constant(Fr::from(1u64)), &FpVar::<Fr>::constant(Fr::from(0u64)))?;
[INFO] [stdout]     |                                                              ^^^^^^^^ variant, associated function, or constant not found in `FpVar<Fp<MontBackend<FrConfig, 4>, 4>>`
[INFO] [stdout]     |
[INFO] [stdout]     = help: items from traits can only be used if the trait is in scope
[INFO] [stdout] help: there is a method `is_constant` with a similar name, but with different arguments
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-r1cs-std-0.5.0/src/r1cs_var.rs:19:5
[INFO] [stdout]     |
[INFO] [stdout]  19 |     fn is_constant(&self) -> bool {
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] help: trait `FieldVar` which provides `constant` is implemented but not in scope; perhaps you want to import it
[INFO] [stdout]     |
[INFO] [stdout]  10 + use ark_r1cs_std::fields::FieldVar;
[INFO] [stdout]     |
[INFO] [stdout] help: there is a variant with a similar name (notice the capitalization)
[INFO] [stdout]     |
[INFO] [stdout] 168 -                 let add_one = in_bucket.select(&FpVar::<Fr>::constant(Fr::from(1u64)), &FpVar::<Fr>::constant(Fr::from(0u64)))?;
[INFO] [stdout] 168 +                 let add_one = in_bucket.select(&FpVar::<Fr>::Constant(Fr::from(1u64)), &FpVar::<Fr>::constant(Fr::from(0u64)))?;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0599]: no variant, associated function, or constant named `constant` found for enum `FpVar<F>` in the current scope
[INFO] [stdout]    --> zk-proofs/src/circuit.rs:168:102
[INFO] [stdout]     |
[INFO] [stdout] 168 |                 let add_one = in_bucket.select(&FpVar::<Fr>::constant(Fr::from(1u64)), &FpVar::<Fr>::constant(Fr::from(0u64)))?;
[INFO] [stdout]     |                                                                                                      ^^^^^^^^ variant, associated function, or constant not found in `FpVar<Fp<MontBackend<FrConfig, 4>, 4>>`
[INFO] [stdout]     |
[INFO] [stdout]     = help: items from traits can only be used if the trait is in scope
[INFO] [stdout] help: there is a method `is_constant` with a similar name, but with different arguments
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-r1cs-std-0.5.0/src/r1cs_var.rs:19:5
[INFO] [stdout]     |
[INFO] [stdout]  19 |     fn is_constant(&self) -> bool {
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] help: trait `FieldVar` which provides `constant` is implemented but not in scope; perhaps you want to import it
[INFO] [stdout]     |
[INFO] [stdout]  10 + use ark_r1cs_std::fields::FieldVar;
[INFO] [stdout]     |
[INFO] [stdout] help: there is a variant with a similar name (notice the capitalization)
[INFO] [stdout]     |
[INFO] [stdout] 168 -                 let add_one = in_bucket.select(&FpVar::<Fr>::constant(Fr::from(1u64)), &FpVar::<Fr>::constant(Fr::from(0u64)))?;
[INFO] [stdout] 168 +                 let add_one = in_bucket.select(&FpVar::<Fr>::constant(Fr::from(1u64)), &FpVar::<Fr>::Constant(Fr::from(0u64)))?;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0308]: mismatched types
[INFO] [stdout]    --> zk-proofs/src/groth16.rs:128:45
[INFO] [stdout]     |
[INFO] [stdout] 128 |     let ok = Groth16::<Bn254>::verify_proof(vk, proof, &public_inputs)
[INFO] [stdout]     |              ------------------------------ ^^ expected `&PreparedVerifyingKey<Bn<Config>>`, found `&VerifyingKey<Bn<Config>>`
[INFO] [stdout]     |              |
[INFO] [stdout]     |              arguments to this function are incorrect
[INFO] [stdout]     |
[INFO] [stdout]     = note: expected reference `&PreparedVerifyingKey<ark_ec::models::bn::Bn<ark_bn254::Config>>`
[INFO] [stdout]                found reference `&VerifyingKey<ark_ec::models::bn::Bn<ark_bn254::Config>>`
[INFO] [stdout] note: associated function defined here
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-groth16-0.5.0/src/verifier.rs:69:12
[INFO] [stdout]     |
[INFO] [stdout]  69 |     pub fn verify_proof(
[INFO] [stdout]     |            ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `[Fp<MontBackend<FrConfig, 4>, 4>; 2]: Absorb` is not satisfied
[INFO] [stdout]    --> zk-proofs/src/groth16.rs:47:23
[INFO] [stdout]     |
[INFO] [stdout]  47 |         sponge.absorb(&[Fr::from(r.age as u64), Fr::from(r.blood_glucose_mg_dl as u64)]);
[INFO] [stdout]     |                ------ ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `Absorb` is not implemented for `[Fp<MontBackend<FrConfig, 4>, 4>; 2]`
[INFO] [stdout]     |                |
[INFO] [stdout]     |                required by a bound introduced by this call
[INFO] [stdout]     |
[INFO] [stdout] help: the trait `Absorb` is implemented for `&[A]`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-crypto-primitives-0.5.0/src/sponge/absorb.rs:284:1
[INFO] [stdout]     |
[INFO] [stdout] 284 | impl<A: Absorb> Absorb for &[A] {
[INFO] [stdout]     | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] note: required by a bound in `ark_crypto_primitives::sponge::CryptographicSponge::absorb`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-crypto-primitives-0.5.0/src/sponge/mod.rs:109:39
[INFO] [stdout]     |
[INFO] [stdout] 109 |     fn absorb(&mut self, input: &impl Absorb);
[INFO] [stdout]     |                                       ^^^^^^ required by this bound in `CryptographicSponge::absorb`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0308]: mismatched types
[INFO] [stdout]    --> zk-proofs/src/groth16.rs:128:45
[INFO] [stdout]     |
[INFO] [stdout] 128 |     let ok = Groth16::<Bn254>::verify_proof(vk, proof, &public_inputs)
[INFO] [stdout]     |              ------------------------------ ^^ expected `&PreparedVerifyingKey<Bn<Config>>`, found `&VerifyingKey<Bn<Config>>`
[INFO] [stdout]     |              |
[INFO] [stdout]     |              arguments to this function are incorrect
[INFO] [stdout]     |
[INFO] [stdout]     = note: expected reference `&PreparedVerifyingKey<ark_ec::models::bn::Bn<ark_bn254::Config>>`
[INFO] [stdout]                found reference `&VerifyingKey<ark_ec::models::bn::Bn<ark_bn254::Config>>`
[INFO] [stdout] note: associated function defined here
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-groth16-0.5.0/src/verifier.rs:69:12
[INFO] [stdout]     |
[INFO] [stdout]  69 |     pub fn verify_proof(
[INFO] [stdout]     |            ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] Some errors have detailed explanations: E0277, E0308, E0599.
[INFO] [stdout] 
[INFO] [stdout] For more information about an error, try `rustc --explain E0277`.
[INFO] [stdout] 
[INFO] [stdout] Some errors have detailed explanations: E0277, E0308, E0599.
[INFO] [stdout] 
[INFO] [stdout] For more information about an error, try `rustc --explain E0277`.
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `zk-proofs` (lib) due to 27 previous errors
[INFO] [stderr] warning: build failed, waiting for other jobs to finish...
[INFO] [stderr] error: could not compile `zk-proofs` (lib test) due to 27 previous errors
[INFO] running `Command { std: "docker" "inspect" "4de59b0dcaf38a2a1741a6f93800c08d30ab81d67bbc0ebbc797c6db5d3713ea", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "4de59b0dcaf38a2a1741a6f93800c08d30ab81d67bbc0ebbc797c6db5d3713ea", kill_on_drop: false }`
[INFO] [stdout] 4de59b0dcaf38a2a1741a6f93800c08d30ab81d67bbc0ebbc797c6db5d3713ea
