[INFO] fetching crate filecoin-proofs-ffi 0.7.3... [INFO] checking filecoin-proofs-ffi-0.7.3 against try#ea663bba38739867a4b75ac820991b4f5d093c3b for pr-62262-1 [INFO] extracting crate filecoin-proofs-ffi 0.7.3 into /workspace/builds/worker-6/source [INFO] validating manifest of crates.io crate filecoin-proofs-ffi 0.7.3 on toolchain ea663bba38739867a4b75ac820991b4f5d093c3b [INFO] running `"/workspace/cargo-home/bin/cargo" "+ea663bba38739867a4b75ac820991b4f5d093c3b" "read-manifest" "--manifest-path" "Cargo.toml"` [INFO] started tweaking crates.io crate filecoin-proofs-ffi 0.7.3 [INFO] finished tweaking crates.io crate filecoin-proofs-ffi 0.7.3 [INFO] tweaked toml for crates.io crate filecoin-proofs-ffi 0.7.3 written to /workspace/builds/worker-6/source/Cargo.toml [INFO] running `"/workspace/cargo-home/bin/cargo" "+ea663bba38739867a4b75ac820991b4f5d093c3b" "generate-lockfile" "--manifest-path" "Cargo.toml" "-Zno-index-update"` [INFO] running `"/workspace/cargo-home/bin/cargo" "+ea663bba38739867a4b75ac820991b4f5d093c3b" "fetch" "--locked" "--manifest-path" "Cargo.toml"` [INFO] [stderr] Downloading crates ... [INFO] [stderr] Downloaded ffi-toolkit v0.3.0 [INFO] [stderr] Downloaded drop_struct_macro_derive v0.3.0 [INFO] [stderr] Downloaded bitvec v0.5.0 [INFO] [stderr] Downloaded bellperson v0.2.0 [INFO] [stderr] Downloaded merkletree v0.7.1 [INFO] [stderr] Downloaded phase21 v0.3.2 [INFO] [stderr] Downloaded bellperson v0.3.2 [INFO] [stderr] Downloaded filecoin-proofs v0.6.4 [INFO] [stderr] Downloaded fil-sapling-crypto v0.1.2 [INFO] [stderr] Downloaded storage-proofs v0.6.2 [INFO] running `"docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6/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" "MAP_USER_ID=0" "-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" "--network" "none" "rustops/crates-build-env" "/opt/rustwide/cargo-home/bin/cargo" "+ea663bba38739867a4b75ac820991b4f5d093c3b" "check" "--frozen" "--all" "--all-targets"` [INFO] [stderr] WARNING: Your kernel does not support swap limit capabilities or the cgroup is not mounted. Memory limited without swap. [INFO] [stdout] 575c945f50239e0a1c13099581759a9ab2ac59881d253361f6b8b27a77295eb2 [INFO] running `"docker" "start" "-a" "575c945f50239e0a1c13099581759a9ab2ac59881d253361f6b8b27a77295eb2"` [INFO] [stderr] Blocking waiting for file lock on package cache [INFO] [stderr] Blocking waiting for file lock on package cache [INFO] [stderr] Compiling serde v1.0.101 [INFO] [stderr] Compiling openssl v0.10.25 [INFO] [stderr] Compiling winapi v0.3.8 [INFO] [stderr] Compiling native-tls v0.2.3 [INFO] [stderr] Compiling cbindgen v0.9.1 [INFO] [stderr] Checking bitvec v0.5.0 [INFO] [stderr] Compiling openssl-src v111.6.0+1.1.1d [INFO] [stderr] Checking fs2 v0.4.3 [INFO] [stderr] Checking ffi-toolkit v0.3.0 [INFO] [stderr] Checking blake2b_simd v0.5.8 [INFO] [stderr] Checking blake2s_simd v0.5.8 [INFO] [stderr] Compiling num-integer v0.1.41 [INFO] [stderr] Checking env_proxy v0.3.1 [INFO] [stderr] Checking aes-soft v0.3.3 [INFO] [stderr] Checking block-modes v0.3.3 [INFO] [stderr] Compiling drop_struct_macro_derive v0.3.0 [INFO] [stderr] Checking pretty_env_logger v0.3.1 [INFO] [stderr] Checking once_cell v0.2.4 [INFO] [stderr] Checking merkletree v0.7.1 [INFO] [stderr] Checking aes v0.3.2 [INFO] [stderr] Compiling num-bigint v0.2.3 [INFO] [stderr] Compiling openssl-sys v0.9.51 [INFO] [stderr] Checking winconsole v0.10.0 [INFO] [stderr] Checking colored v1.8.0 [INFO] [stderr] Compiling ff_derive v0.3.0 [INFO] [stderr] Checking ff v0.4.0 [INFO] [stderr] Checking paired v0.15.1 [INFO] [stderr] Checking serde_json v1.0.41 [INFO] [stderr] Checking toml v0.4.10 [INFO] [stderr] Checking serde_urlencoded v0.5.5 [INFO] [stderr] Checking toml v0.5.3 [INFO] [stderr] Checking serde_cbor v0.9.0 [INFO] [stderr] Checking config v0.9.3 [INFO] [stderr] Checking cookie_store v0.7.0 [INFO] [stderr] Checking bellperson v0.3.2 [INFO] [stderr] Checking bellperson v0.2.0 [INFO] [stderr] Checking fil-sapling-crypto v0.1.2 [INFO] [stderr] Checking phase21 v0.3.2 [INFO] [stderr] Checking storage-proofs v0.6.2 [INFO] [stderr] error[E0277]: cannot add `bellperson::Variable` to `bellperson::LinearCombination` [INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/storage-proofs-0.6.2/src/circuit/constraint.rs:20:17 [INFO] [stderr] | [INFO] [stderr] 20 | |lc| lc + a.get_variable(), [INFO] [stderr] | ^ no implementation for `bellperson::LinearCombination + bellperson::Variable` [INFO] [stderr] | [INFO] [stderr] = help: the trait `std::ops::Add` is not implemented for `bellperson::LinearCombination` [INFO] [stderr] [INFO] [stderr] error[E0277]: cannot add `bellperson::Variable` to `bellperson::LinearCombination` [INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/storage-proofs-0.6.2/src/circuit/constraint.rs:22:17 [INFO] [stderr] | [INFO] [stderr] 22 | |lc| lc + b.get_variable(), [INFO] [stderr] | ^ no implementation for `bellperson::LinearCombination + bellperson::Variable` [INFO] [stderr] | [INFO] [stderr] = help: the trait `std::ops::Add` is not implemented for `bellperson::LinearCombination` [INFO] [stderr] [INFO] [stderr] error[E0277]: cannot add `bellperson::Variable` to `bellperson::LinearCombination` [INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/storage-proofs-0.6.2/src/circuit/constraint.rs:44:17 [INFO] [stderr] | [INFO] [stderr] 44 | |lc| lc + difference.get_variable() + b.get_variable(), [INFO] [stderr] | ^ no implementation for `bellperson::LinearCombination + bellperson::Variable` [INFO] [stderr] | [INFO] [stderr] = help: the trait `std::ops::Add` is not implemented for `bellperson::LinearCombination` [INFO] [stderr] [INFO] [stderr] error[E0277]: cannot add `bellperson::Variable` to `bellperson::LinearCombination` [INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/storage-proofs-0.6.2/src/circuit/constraint.rs:46:17 [INFO] [stderr] | [INFO] [stderr] 46 | |lc| lc + a.get_variable(), [INFO] [stderr] | ^ no implementation for `bellperson::LinearCombination + bellperson::Variable` [INFO] [stderr] | [INFO] [stderr] = help: the trait `std::ops::Add` is not implemented for `bellperson::LinearCombination` [INFO] [stderr] [INFO] [stderr] error[E0277]: the trait bound `bellperson::Namespace<'_, E, >::Root>: bellperson::ConstraintSystem<_>` is not satisfied [INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/storage-proofs-0.6.2/src/circuit/por.rs:150:54 [INFO] [stderr] | [INFO] [stderr] 150 | let value_num = num::AllocatedNum::alloc(cs.namespace(|| "value"), || { [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^ the trait `bellperson::ConstraintSystem<_>` is not implemented for `bellperson::Namespace<'_, E, >::Root>` [INFO] [stderr] | [INFO] [stderr] ::: /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/fil-sapling-crypto-0.1.2/src/circuit/num.rs:29:24 [INFO] [stderr] | [INFO] [stderr] 29 | F: FnOnce() -> Result, [INFO] [stderr] | ----------------------------- required by this bound in `fil_sapling_crypto::circuit::num::AllocatedNum::::alloc` [INFO] [stderr] [INFO] [stderr] error[E0308]: mismatched types [INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/storage-proofs-0.6.2/src/circuit/por.rs:151:17 [INFO] [stderr] | [INFO] [stderr] 151 | value.ok_or_else(|| SynthesisError::AssignmentMissing) [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected enum `bellperson::SynthesisError`, found a different enum `bellperson::SynthesisError` [INFO] [stderr] | [INFO] [stderr] = note: expected type `std::result::Result<_, bellperson::SynthesisError>` [INFO] [stderr] found type `std::result::Result<::Fr, bellperson::SynthesisError>` [INFO] [stderr] note: Perhaps two different versions of crate `bellperson` are being used? [INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/storage-proofs-0.6.2/src/circuit/por.rs:151:17 [INFO] [stderr] | [INFO] [stderr] 151 | value.ok_or_else(|| SynthesisError::AssignmentMissing) [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] error[E0277]: `?` couldn't convert the error to `bellperson::SynthesisError` [INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/storage-proofs-0.6.2/src/circuit/por.rs:152:15 [INFO] [stderr] | [INFO] [stderr] 152 | })?; [INFO] [stderr] | ^ the trait `std::convert::From` is not implemented for `bellperson::SynthesisError` [INFO] [stderr] | [INFO] [stderr] = note: the question mark operation (`?`) implicitly performs a conversion on the error value using the `From` trait [INFO] [stderr] = help: the following implementations were found: [INFO] [stderr] > [INFO] [stderr] = note: required by `std::convert::From::from` [INFO] [stderr] [INFO] [stderr] error[E0277]: the trait bound `bellperson::Namespace<'_, E, <>::Root as bellperson::ConstraintSystem>::Root>: bellperson::ConstraintSystem<_>` is not satisfied [INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/storage-proofs-0.6.2/src/circuit/por.rs:164:59 [INFO] [stderr] | [INFO] [stderr] 164 | let cur_is_right = boolean::Boolean::from(boolean::AllocatedBit::alloc( [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `bellperson::ConstraintSystem<_>` is not implemented for `bellperson::Namespace<'_, E, <>::Root as bellperson::ConstraintSystem>::Root>` [INFO] [stderr] | [INFO] [stderr] ::: /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/fil-sapling-crypto-0.1.2/src/circuit/boolean.rs:73:13 [INFO] [stderr] | [INFO] [stderr] 73 | CS: ConstraintSystem, [INFO] [stderr] | ------------------- required by this bound in `fil_sapling_crypto::circuit::boolean::AllocatedBit::alloc` [INFO] [stderr] [INFO] [stderr] error[E0277]: `?` couldn't convert the error to `bellperson::SynthesisError` [INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/storage-proofs-0.6.2/src/circuit/por.rs:167:18 [INFO] [stderr] | [INFO] [stderr] 167 | )?); [INFO] [stderr] | ^ the trait `std::convert::From` is not implemented for `bellperson::SynthesisError` [INFO] [stderr] | [INFO] [stderr] = note: the question mark operation (`?`) implicitly performs a conversion on the error value using the `From` trait [INFO] [stderr] = help: the following implementations were found: [INFO] [stderr] > [INFO] [stderr] = note: required by `std::convert::From::from` [INFO] [stderr] [INFO] [stderr] error[E0277]: the trait bound `bellperson::Namespace<'_, E, <>::Root as bellperson::ConstraintSystem>::Root>: bellperson::ConstraintSystem<_>` is not satisfied [INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/storage-proofs-0.6.2/src/circuit/por.rs:172:46 [INFO] [stderr] | [INFO] [stderr] 172 | num::AllocatedNum::alloc(cs.namespace(|| "path element"), || { [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `bellperson::ConstraintSystem<_>` is not implemented for `bellperson::Namespace<'_, E, <>::Root as bellperson::ConstraintSystem>::Root>` [INFO] [stderr] | [INFO] [stderr] ::: /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/fil-sapling-crypto-0.1.2/src/circuit/num.rs:29:24 [INFO] [stderr] | [INFO] [stderr] 29 | F: FnOnce() -> Result, [INFO] [stderr] | ----------------------------- required by this bound in `fil_sapling_crypto::circuit::num::AllocatedNum::::alloc` [INFO] [stderr] [INFO] [stderr] error[E0277]: `?` couldn't convert the error to `bellperson::SynthesisError` [INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/storage-proofs-0.6.2/src/circuit/por.rs:173:70 [INFO] [stderr] | [INFO] [stderr] 173 | Ok(e.ok_or(SynthesisError::AssignmentMissing)?.0) [INFO] [stderr] | ^ the trait `std::convert::From` is not implemented for `bellperson::SynthesisError` [INFO] [stderr] | [INFO] [stderr] = note: the question mark operation (`?`) implicitly performs a conversion on the error value using the `From` trait [INFO] [stderr] = help: the following implementations were found: [INFO] [stderr] > [INFO] [stderr] = note: required by `std::convert::From::from` [INFO] [stderr] [INFO] [stderr] error[E0277]: `?` couldn't convert the error to `bellperson::SynthesisError` [INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/storage-proofs-0.6.2/src/circuit/por.rs:174:23 [INFO] [stderr] | [INFO] [stderr] 174 | })?; [INFO] [stderr] | ^ the trait `std::convert::From` is not implemented for `bellperson::SynthesisError` [INFO] [stderr] | [INFO] [stderr] = note: the question mark operation (`?`) implicitly performs a conversion on the error value using the `From` trait [INFO] [stderr] = help: the following implementations were found: [INFO] [stderr] > [INFO] [stderr] = note: required by `std::convert::From::from` [INFO] [stderr] [INFO] [stderr] error[E0277]: the trait bound `bellperson::Namespace<'_, E, <>::Root as bellperson::ConstraintSystem>::Root>: bellperson::ConstraintSystem<_>` is not satisfied [INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/storage-proofs-0.6.2/src/circuit/por.rs:177:32 [INFO] [stderr] | [INFO] [stderr] 177 | let (xl, xr) = num::AllocatedNum::conditionally_reverse( [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `bellperson::ConstraintSystem<_>` is not implemented for `bellperson::Namespace<'_, E, <>::Root as bellperson::ConstraintSystem>::Root>` [INFO] [stderr] | [INFO] [stderr] = note: required by `fil_sapling_crypto::circuit::num::AllocatedNum::::conditionally_reverse` [INFO] [stderr] [INFO] [stderr] error[E0277]: `?` couldn't convert the error to `bellperson::SynthesisError` [INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/storage-proofs-0.6.2/src/circuit/por.rs:182:18 [INFO] [stderr] | [INFO] [stderr] 182 | )?; [INFO] [stderr] | ^ the trait `std::convert::From` is not implemented for `bellperson::SynthesisError` [INFO] [stderr] | [INFO] [stderr] = note: the question mark operation (`?`) implicitly performs a conversion on the error value using the `From` trait [INFO] [stderr] = help: the following implementations were found: [INFO] [stderr] > [INFO] [stderr] = note: required by `std::convert::From::from` [INFO] [stderr] [INFO] [stderr] error[E0277]: the trait bound `bellperson::Namespace<'_, E, <>::Root as bellperson::ConstraintSystem>::Root>: bellperson::ConstraintSystem<_>` is not satisfied [INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/storage-proofs-0.6.2/src/circuit/por.rs:184:47 [INFO] [stderr] | [INFO] [stderr] 184 | let xl_bits = xl.into_bits_le(cs.namespace(|| "xl into bits"))?; [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `bellperson::ConstraintSystem<_>` is not implemented for `bellperson::Namespace<'_, E, <>::Root as bellperson::ConstraintSystem>::Root>` [INFO] [stderr] [INFO] [stderr] error[E0277]: `?` couldn't convert the error to `bellperson::SynthesisError` [INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/storage-proofs-0.6.2/src/circuit/por.rs:184:79 [INFO] [stderr] | [INFO] [stderr] 184 | let xl_bits = xl.into_bits_le(cs.namespace(|| "xl into bits"))?; [INFO] [stderr] | ^ the trait `std::convert::From` is not implemented for `bellperson::SynthesisError` [INFO] [stderr] | [INFO] [stderr] = note: the question mark operation (`?`) implicitly performs a conversion on the error value using the `From` trait [INFO] [stderr] = help: the following implementations were found: [INFO] [stderr] > [INFO] [stderr] = note: required by `std::convert::From::from` [INFO] [stderr] [INFO] [stderr] error[E0277]: the trait bound `bellperson::Namespace<'_, E, <>::Root as bellperson::ConstraintSystem>::Root>: bellperson::ConstraintSystem<_>` is not satisfied [INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/storage-proofs-0.6.2/src/circuit/por.rs:185:47 [INFO] [stderr] | [INFO] [stderr] 185 | let xr_bits = xr.into_bits_le(cs.namespace(|| "xr into bits"))?; [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `bellperson::ConstraintSystem<_>` is not implemented for `bellperson::Namespace<'_, E, <>::Root as bellperson::ConstraintSystem>::Root>` [INFO] [stderr] [INFO] [stderr] error[E0277]: `?` couldn't convert the error to `bellperson::SynthesisError` [INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/storage-proofs-0.6.2/src/circuit/por.rs:185:79 [INFO] [stderr] | [INFO] [stderr] 185 | let xr_bits = xr.into_bits_le(cs.namespace(|| "xr into bits"))?; [INFO] [stderr] | ^ the trait `std::convert::From` is not implemented for `bellperson::SynthesisError` [INFO] [stderr] | [INFO] [stderr] = note: the question mark operation (`?`) implicitly performs a conversion on the error value using the `From` trait [INFO] [stderr] = help: the following implementations were found: [INFO] [stderr] > [INFO] [stderr] = note: required by `std::convert::From::from` [INFO] [stderr] [INFO] [stderr] error[E0277]: the trait bound `bellperson::Namespace<'_, E, >::Root>: bellperson::ConstraintSystem<_>` is not satisfied [INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/storage-proofs-0.6.2/src/circuit/por.rs:199:41 [INFO] [stderr] | [INFO] [stderr] 199 | multipack::pack_into_inputs(cs.namespace(|| "path"), &auth_path_bits)?; [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^ the trait `bellperson::ConstraintSystem<_>` is not implemented for `bellperson::Namespace<'_, E, >::Root>` [INFO] [stderr] | [INFO] [stderr] ::: /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/fil-sapling-crypto-0.1.2/src/circuit/multipack.rs:13:9 [INFO] [stderr] | [INFO] [stderr] 13 | CS: ConstraintSystem, [INFO] [stderr] | ------------------- required by this bound in `fil_sapling_crypto::circuit::multipack::pack_into_inputs` [INFO] [stderr] [INFO] [stderr] error[E0277]: `?` couldn't convert the error to `bellperson::SynthesisError` [INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/storage-proofs-0.6.2/src/circuit/por.rs:199:82 [INFO] [stderr] | [INFO] [stderr] 199 | multipack::pack_into_inputs(cs.namespace(|| "path"), &auth_path_bits)?; [INFO] [stderr] | ^ the trait `std::convert::From` is not implemented for `bellperson::SynthesisError` [INFO] [stderr] | [INFO] [stderr] = note: the question mark operation (`?`) implicitly performs a conversion on the error value using the `From` trait [INFO] [stderr] = help: the following implementations were found: [INFO] [stderr] > [INFO] [stderr] = note: required by `std::convert::From::from` [INFO] [stderr] [INFO] [stderr] error[E0277]: the trait bound `bellperson::Namespace<'_, E, >::Root>: bellperson::ConstraintSystem` is not satisfied [INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/storage-proofs-0.6.2/src/circuit/por.rs:209:33 [INFO] [stderr] | [INFO] [stderr] 209 | rt.inputize(cs.namespace(|| "root"))?; [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^ the trait `bellperson::ConstraintSystem` is not implemented for `bellperson::Namespace<'_, E, >::Root>` [INFO] [stderr] [INFO] [stderr] error[E0277]: `?` couldn't convert the error to `bellperson::SynthesisError` [INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/storage-proofs-0.6.2/src/circuit/por.rs:209:57 [INFO] [stderr] | [INFO] [stderr] 209 | rt.inputize(cs.namespace(|| "root"))?; [INFO] [stderr] | ^ the trait `std::convert::From` is not implemented for `bellperson::SynthesisError` [INFO] [stderr] | [INFO] [stderr] = note: the question mark operation (`?`) implicitly performs a conversion on the error value using the `From` trait [INFO] [stderr] = help: the following implementations were found: [INFO] [stderr] > [INFO] [stderr] = note: required by `std::convert::From::from` [INFO] [stderr] [INFO] [stderr] error[E0277]: the trait bound `bellperson::Namespace<'_, E, >::Root>: bellperson::ConstraintSystem` is not satisfied [INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/storage-proofs-0.6.2/src/circuit/apex_commitment.rs:50:43 [INFO] [stderr] | [INFO] [stderr] 50 | .extend(comm.into_bits_le(cs.namespace(|| format!("preimage-bits-{}", i)))?); [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `bellperson::ConstraintSystem` is not implemented for `bellperson::Namespace<'_, E, >::Root>` [INFO] [stderr] [INFO] [stderr] error[E0277]: `?` couldn't convert the error to `bellperson::SynthesisError` [INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/storage-proofs-0.6.2/src/circuit/apex_commitment.rs:50:91 [INFO] [stderr] | [INFO] [stderr] 50 | .extend(comm.into_bits_le(cs.namespace(|| format!("preimage-bits-{}", i)))?); [INFO] [stderr] | ^ the trait `std::convert::From` is not implemented for `bellperson::SynthesisError` [INFO] [stderr] | [INFO] [stderr] = note: the question mark operation (`?`) implicitly performs a conversion on the error value using the `From` trait [INFO] [stderr] = help: the following implementations were found: [INFO] [stderr] > [INFO] [stderr] = note: required by `std::convert::From::from` [INFO] [stderr] [INFO] [stderr] error[E0277]: the trait bound `bellperson::Namespace<'_, E, <>::Root as bellperson::ConstraintSystem>::Root>: bellperson::ConstraintSystem<_>` is not satisfied [INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/storage-proofs-0.6.2/src/circuit/apex_commitment.rs:166:33 [INFO] [stderr] | [INFO] [stderr] 166 | let (xl, _xr) = num::AllocatedNum::conditionally_reverse( [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `bellperson::ConstraintSystem<_>` is not implemented for `bellperson::Namespace<'_, E, <>::Root as bellperson::ConstraintSystem>::Root>` [INFO] [stderr] | [INFO] [stderr] = note: required by `fil_sapling_crypto::circuit::num::AllocatedNum::::conditionally_reverse` [INFO] [stderr] [INFO] [stderr] error[E0277]: `?` couldn't convert the error to `bellperson::SynthesisError` [INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/storage-proofs-0.6.2/src/circuit/apex_commitment.rs:171:18 [INFO] [stderr] | [INFO] [stderr] 171 | )?; [INFO] [stderr] | ^ the trait `std::convert::From` is not implemented for `bellperson::SynthesisError` [INFO] [stderr] | [INFO] [stderr] = note: the question mark operation (`?`) implicitly performs a conversion on the error value using the `From` trait [INFO] [stderr] = help: the following implementations were found: [INFO] [stderr] > [INFO] [stderr] = note: required by `std::convert::From::from` [INFO] [stderr] [INFO] [stderr] error[E0277]: the trait bound `bellperson::Namespace<'_, E, <>::Root as bellperson::ConstraintSystem>::Root>: bellperson::ConstraintSystem<_>` is not satisfied [INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/storage-proofs-0.6.2/src/circuit/apex_commitment.rs:223:33 [INFO] [stderr] | [INFO] [stderr] 223 | let (xl, _xr) = num::AllocatedNum::conditionally_reverse( [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `bellperson::ConstraintSystem<_>` is not implemented for `bellperson::Namespace<'_, E, <>::Root as bellperson::ConstraintSystem>::Root>` [INFO] [stderr] | [INFO] [stderr] = note: required by `fil_sapling_crypto::circuit::num::AllocatedNum::::conditionally_reverse` [INFO] [stderr] [INFO] [stderr] error[E0277]: `?` couldn't convert the error to `bellperson::SynthesisError` [INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/storage-proofs-0.6.2/src/circuit/apex_commitment.rs:230:18 [INFO] [stderr] | [INFO] [stderr] 230 | )?; [INFO] [stderr] | ^ the trait `std::convert::From` is not implemented for `bellperson::SynthesisError` [INFO] [stderr] | [INFO] [stderr] = note: the question mark operation (`?`) implicitly performs a conversion on the error value using the `From` trait [INFO] [stderr] = help: the following implementations were found: [INFO] [stderr] > [INFO] [stderr] = note: required by `std::convert::From::from` [INFO] [stderr] [INFO] [stderr] error[E0277]: the trait bound `bellperson::Namespace<'_, E, >::Root>: bellperson::ConstraintSystem<_>` is not satisfied [INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/storage-proofs-0.6.2/src/circuit/drgporep.rs:414:9 [INFO] [stderr] | [INFO] [stderr] 414 | multipack::pack_into_inputs( [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `bellperson::ConstraintSystem<_>` is not implemented for `bellperson::Namespace<'_, E, >::Root>` [INFO] [stderr] | [INFO] [stderr] ::: /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/fil-sapling-crypto-0.1.2/src/circuit/multipack.rs:13:9 [INFO] [stderr] | [INFO] [stderr] 13 | CS: ConstraintSystem, [INFO] [stderr] | ------------------- required by this bound in `fil_sapling_crypto::circuit::multipack::pack_into_inputs` [INFO] [stderr] [INFO] [stderr] error[E0277]: `?` couldn't convert the error to `bellperson::SynthesisError` [INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/storage-proofs-0.6.2/src/circuit/drgporep.rs:417:10 [INFO] [stderr] | [INFO] [stderr] 417 | )?; [INFO] [stderr] | ^ the trait `std::convert::From` is not implemented for `bellperson::SynthesisError` [INFO] [stderr] | [INFO] [stderr] = note: the question mark operation (`?`) implicitly performs a conversion on the error value using the `From` trait [INFO] [stderr] = help: the following implementations were found: [INFO] [stderr] > [INFO] [stderr] = note: required by `std::convert::From::from` [INFO] [stderr] [INFO] [stderr] error[E0277]: the trait bound `bellperson::Namespace<'_, E, <<>::Root as bellperson::ConstraintSystem>::Root as bellperson::ConstraintSystem>::Root>: bellperson::ConstraintSystem<_>` is not satisfied [INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/storage-proofs-0.6.2/src/circuit/drgporep.rs:480:41 [INFO] [stderr] | [INFO] [stderr] 480 | ... let mut v = boolean::field_into_boolean_vec_le( [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `bellperson::ConstraintSystem<_>` is not implemented for `bellperson::Namespace<'_, E, <<>::Root as bellperson::ConstraintSystem>::Root as bellperson::ConstraintSystem>::Root>` [INFO] [stderr] | [INFO] [stderr] ::: /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/fil-sapling-crypto-0.1.2/src/circuit/boolean.rs:300:49 [INFO] [stderr] | [INFO] [stderr] 300 | pub fn field_into_boolean_vec_le, F: PrimeField>( [INFO] [stderr] | ------------------- required by this bound in `fil_sapling_crypto::circuit::boolean::field_into_boolean_vec_le` [INFO] [stderr] [INFO] [stderr] error[E0277]: `?` couldn't convert the error to `bellperson::SynthesisError` [INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/storage-proofs-0.6.2/src/circuit/drgporep.rs:483:30 [INFO] [stderr] | [INFO] [stderr] 483 | ... )?; [INFO] [stderr] | ^ the trait `std::convert::From` is not implemented for `bellperson::SynthesisError` [INFO] [stderr] | [INFO] [stderr] = note: the question mark operation (`?`) implicitly performs a conversion on the error value using the `From` trait [INFO] [stderr] = help: the following implementations were found: [INFO] [stderr] > [INFO] [stderr] = note: required by `std::convert::From::from` [INFO] [stderr] [INFO] [stderr] error[E0277]: the trait bound `bellperson::Namespace<'_, E, <<>::Root as bellperson::ConstraintSystem>::Root as bellperson::ConstraintSystem>::Root>: bellperson::ConstraintSystem<_>` is not satisfied [INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/storage-proofs-0.6.2/src/circuit/drgporep.rs:506:57 [INFO] [stderr] | [INFO] [stderr] 506 | let expected = num::AllocatedNum::alloc(cs.namespace(|| "data node"), || { [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `bellperson::ConstraintSystem<_>` is not implemented for `bellperson::Namespace<'_, E, <<>::Root as bellperson::ConstraintSystem>::Root as bellperson::ConstraintSystem>::Root>` [INFO] [stderr] | [INFO] [stderr] ::: /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/fil-sapling-crypto-0.1.2/src/circuit/num.rs:29:24 [INFO] [stderr] | [INFO] [stderr] 29 | F: FnOnce() -> Result, [INFO] [stderr] | ----------------------------- required by this bound in `fil_sapling_crypto::circuit::num::AllocatedNum::::alloc` [INFO] [stderr] [INFO] [stderr] Compiling filecoin-proofs-ffi v0.7.3 (/opt/rustwide/workdir) [INFO] [stderr] error[E0308]: mismatched types [INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/storage-proofs-0.6.2/src/circuit/drgporep.rs:507:21 [INFO] [stderr] | [INFO] [stderr] 507 | data_node.ok_or_else(|| SynthesisError::AssignmentMissing) [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected enum `bellperson::SynthesisError`, found a different enum `bellperson::SynthesisError` [INFO] [stderr] | [INFO] [stderr] = note: expected type `std::result::Result<_, bellperson::SynthesisError>` [INFO] [stderr] found type `std::result::Result<::Fr, bellperson::SynthesisError>` [INFO] [stderr] note: Perhaps two different versions of crate `bellperson` are being used? [INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/storage-proofs-0.6.2/src/circuit/drgporep.rs:507:21 [INFO] [stderr] | [INFO] [stderr] 507 | data_node.ok_or_else(|| SynthesisError::AssignmentMissing) [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] error[E0277]: `?` couldn't convert the error to `bellperson::SynthesisError` [INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/storage-proofs-0.6.2/src/circuit/drgporep.rs:508:19 [INFO] [stderr] | [INFO] [stderr] 508 | })?; [INFO] [stderr] | ^ the trait `std::convert::From` is not implemented for `bellperson::SynthesisError` [INFO] [stderr] | [INFO] [stderr] = note: the question mark operation (`?`) implicitly performs a conversion on the error value using the `From` trait [INFO] [stderr] = help: the following implementations were found: [INFO] [stderr] > [INFO] [stderr] = note: required by `std::convert::From::from` [INFO] [stderr] [INFO] [stderr] error[E0277]: the trait bound `bellperson::Namespace<'_, E, >::Root>: bellperson::ConstraintSystem<_>` is not satisfied [INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/storage-proofs-0.6.2/src/circuit/kdf.rs:28:22 [INFO] [stderr] | [INFO] [stderr] 28 | let alloc_bits = blake2s_circuit(cs.namespace(|| "hash"), &ciphertexts[..], &personalization)?; [INFO] [stderr] | ^^^^^^^^^^^^^^^ the trait `bellperson::ConstraintSystem<_>` is not implemented for `bellperson::Namespace<'_, E, >::Root>` [INFO] [stderr] | [INFO] [stderr] ::: /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/fil-sapling-crypto-0.1.2/src/circuit/blake2s.rs:342:31 [INFO] [stderr] | [INFO] [stderr] 342 | pub fn blake2s>( [INFO] [stderr] | ------------------- required by this bound in `fil_sapling_crypto::circuit::blake2s::blake2s` [INFO] [stderr] [INFO] [stderr] error[E0277]: `?` couldn't convert the error to `bellperson::SynthesisError` [INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/storage-proofs-0.6.2/src/circuit/kdf.rs:28:98 [INFO] [stderr] | [INFO] [stderr] 28 | let alloc_bits = blake2s_circuit(cs.namespace(|| "hash"), &ciphertexts[..], &personalization)?; [INFO] [stderr] | ^ the trait `std::convert::From` is not implemented for `bellperson::SynthesisError` [INFO] [stderr] | [INFO] [stderr] = note: the question mark operation (`?`) implicitly performs a conversion on the error value using the `From` trait [INFO] [stderr] = help: the following implementations were found: [INFO] [stderr] > [INFO] [stderr] = note: required by `std::convert::From::from` [INFO] [stderr] [INFO] [stderr] error[E0277]: the trait bound `bellperson::Namespace<'_, E, >::Root>: bellperson::ConstraintSystem` is not satisfied [INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/storage-proofs-0.6.2/src/circuit/kdf.rs:42:35 [INFO] [stderr] | [INFO] [stderr] 42 | num::AllocatedNum::::alloc(cs.namespace(|| "num"), || fr) [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^ the trait `bellperson::ConstraintSystem` is not implemented for `bellperson::Namespace<'_, E, >::Root>` [INFO] [stderr] | [INFO] [stderr] ::: /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/fil-sapling-crypto-0.1.2/src/circuit/num.rs:29:24 [INFO] [stderr] | [INFO] [stderr] 29 | F: FnOnce() -> Result, [INFO] [stderr] | ----------------------------- required by this bound in `fil_sapling_crypto::circuit::num::AllocatedNum::::alloc` [INFO] [stderr] [INFO] [stderr] error[E0308]: mismatched types [INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/storage-proofs-0.6.2/src/circuit/kdf.rs:42:62 [INFO] [stderr] | [INFO] [stderr] 42 | num::AllocatedNum::::alloc(cs.namespace(|| "num"), || fr) [INFO] [stderr] | ^^ expected enum `bellperson::SynthesisError`, found a different enum `bellperson::SynthesisError` [INFO] [stderr] | [INFO] [stderr] = note: expected type `std::result::Result<_, bellperson::SynthesisError>` (enum `bellperson::SynthesisError`) [INFO] [stderr] found type `std::result::Result<_, bellperson::SynthesisError>` (enum `bellperson::SynthesisError`) [INFO] [stderr] note: Perhaps two different versions of crate `bellperson` are being used? [INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/storage-proofs-0.6.2/src/circuit/kdf.rs:42:62 [INFO] [stderr] | [INFO] [stderr] 42 | num::AllocatedNum::::alloc(cs.namespace(|| "num"), || fr) [INFO] [stderr] | ^^ [INFO] [stderr] [INFO] [stderr] error[E0308]: mismatched types [INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/storage-proofs-0.6.2/src/circuit/kdf.rs:42:5 [INFO] [stderr] | [INFO] [stderr] 13 | ) -> Result, SynthesisError> [INFO] [stderr] | -------------------------------------------- expected `std::result::Result, bellperson::SynthesisError>` because of return type [INFO] [stderr] ... [INFO] [stderr] 42 | num::AllocatedNum::::alloc(cs.namespace(|| "num"), || fr) [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected enum `bellperson::SynthesisError`, found a different enum `bellperson::SynthesisError` [INFO] [stderr] | [INFO] [stderr] = note: expected type `std::result::Result<_, bellperson::SynthesisError>` (enum `bellperson::SynthesisError`) [INFO] [stderr] found type `std::result::Result<_, bellperson::SynthesisError>` (enum `bellperson::SynthesisError`) [INFO] [stderr] note: Perhaps two different versions of crate `bellperson` are being used? [INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/storage-proofs-0.6.2/src/circuit/kdf.rs:42:5 [INFO] [stderr] | [INFO] [stderr] 42 | num::AllocatedNum::::alloc(cs.namespace(|| "num"), || fr) [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] error[E0277]: the trait bound `bellperson::Namespace<'_, E, >::Root>: bellperson::ConstraintSystem<_>` is not satisfied [INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/storage-proofs-0.6.2/src/circuit/pedersen.rs:55:8 [INFO] [stderr] | [INFO] [stderr] 55 | Ok(pedersen_hash::pedersen_hash( [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `bellperson::ConstraintSystem<_>` is not implemented for `bellperson::Namespace<'_, E, >::Root>` [INFO] [stderr] | [INFO] [stderr] ::: /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/fil-sapling-crypto-0.1.2/src/circuit/pedersen_hash.rs:25:9 [INFO] [stderr] | [INFO] [stderr] 25 | CS: ConstraintSystem, [INFO] [stderr] | ------------------- required by this bound in `fil_sapling_crypto::circuit::pedersen_hash::pedersen_hash` [INFO] [stderr] [INFO] [stderr] error[E0277]: `?` couldn't convert the error to `bellperson::SynthesisError` [INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/storage-proofs-0.6.2/src/circuit/pedersen.rs:60:6 [INFO] [stderr] | [INFO] [stderr] 60 | )? [INFO] [stderr] | ^ the trait `std::convert::From` is not implemented for `bellperson::SynthesisError` [INFO] [stderr] | [INFO] [stderr] = note: the question mark operation (`?`) implicitly performs a conversion on the error value using the `From` trait [INFO] [stderr] = help: the following implementations were found: [INFO] [stderr] > [INFO] [stderr] = note: required by `std::convert::From::from` [INFO] [stderr] [INFO] [stderr] error[E0277]: the trait bound `bellperson::Namespace<'_, E, >::Root>: bellperson::ConstraintSystem` is not satisfied [INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/storage-proofs-0.6.2/src/circuit/pedersen.rs:71:34 [INFO] [stderr] | [INFO] [stderr] 71 | let mut out = h.into_bits_le(cs.namespace(|| "h into bits"))?; [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `bellperson::ConstraintSystem` is not implemented for `bellperson::Namespace<'_, E, >::Root>` [INFO] [stderr] [INFO] [stderr] error[E0277]: `?` couldn't convert the error to `bellperson::SynthesisError` [INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/storage-proofs-0.6.2/src/circuit/pedersen.rs:71:65 [INFO] [stderr] | [INFO] [stderr] 71 | let mut out = h.into_bits_le(cs.namespace(|| "h into bits"))?; [INFO] [stderr] | ^ the trait `std::convert::From` is not implemented for `bellperson::SynthesisError` [INFO] [stderr] | [INFO] [stderr] = note: the question mark operation (`?`) implicitly performs a conversion on the error value using the `From` trait [INFO] [stderr] = help: the following implementations were found: [INFO] [stderr] > [INFO] [stderr] = note: required by `std::convert::From::from` [INFO] [stderr] [INFO] [stderr] error[E0308]: mismatched types [INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/storage-proofs-0.6.2/src/circuit/porc.rs:36:39 [INFO] [stderr] | [INFO] [stderr] 36 | num = num.add_bool_with_coeff(CS::one(), bit, coeff); [INFO] [stderr] | ^^^^^^^^^ expected struct `bellperson::Variable`, found a different struct `bellperson::Variable` [INFO] [stderr] | [INFO] [stderr] = note: expected type `bellperson::Variable` (struct `bellperson::Variable`) [INFO] [stderr] found type `bellperson::Variable` (struct `bellperson::Variable`) [INFO] [stderr] note: Perhaps two different versions of crate `bellperson` are being used? [INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/storage-proofs-0.6.2/src/circuit/porc.rs:36:39 [INFO] [stderr] | [INFO] [stderr] 36 | num = num.add_bool_with_coeff(CS::one(), bit, coeff); [INFO] [stderr] | ^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] error[E0277]: the trait bound `bellperson::Namespace<'_, E, >::Root>: bellperson::ConstraintSystem<_>` is not satisfied [INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/storage-proofs-0.6.2/src/circuit/porc.rs:40:40 [INFO] [stderr] | [INFO] [stderr] 40 | let val = num::AllocatedNum::alloc(cs.namespace(|| "val"), || Ok(num.get_value().unwrap()))?; [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^ the trait `bellperson::ConstraintSystem<_>` is not implemented for `bellperson::Namespace<'_, E, >::Root>` [INFO] [stderr] | [INFO] [stderr] ::: /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/fil-sapling-crypto-0.1.2/src/circuit/num.rs:29:24 [INFO] [stderr] | [INFO] [stderr] 29 | F: FnOnce() -> Result, [INFO] [stderr] | ----------------------------- required by this bound in `fil_sapling_crypto::circuit::num::AllocatedNum::::alloc` [INFO] [stderr] [INFO] [stderr] error[E0277]: `?` couldn't convert the error to `bellperson::SynthesisError` [INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/storage-proofs-0.6.2/src/circuit/porc.rs:40:96 [INFO] [stderr] | [INFO] [stderr] 40 | let val = num::AllocatedNum::alloc(cs.namespace(|| "val"), || Ok(num.get_value().unwrap()))?; [INFO] [stderr] | ^ the trait `std::convert::From` is not implemented for `bellperson::SynthesisError` [INFO] [stderr] | [INFO] [stderr] = note: the question mark operation (`?`) implicitly performs a conversion on the error value using the `From` trait [INFO] [stderr] = help: the following implementations were found: [INFO] [stderr] > [INFO] [stderr] = note: required by `std::convert::From::from` [INFO] [stderr] [INFO] [stderr] error[E0277]: the trait bound `bellperson::Namespace<'_, E, <>::Root as bellperson::ConstraintSystem>::Root>: bellperson::ConstraintSystem<_>` is not satisfied [INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/storage-proofs-0.6.2/src/circuit/porc.rs:177:47 [INFO] [stderr] | [INFO] [stderr] 177 | let rt = num::AllocatedNum::alloc(cs.namespace(|| "commitment_num"), || { [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `bellperson::ConstraintSystem<_>` is not implemented for `bellperson::Namespace<'_, E, <>::Root as bellperson::ConstraintSystem>::Root>` [INFO] [stderr] | [INFO] [stderr] ::: /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/fil-sapling-crypto-0.1.2/src/circuit/num.rs:29:24 [INFO] [stderr] | [INFO] [stderr] 29 | F: FnOnce() -> Result, [INFO] [stderr] | ----------------------------- required by this bound in `fil_sapling_crypto::circuit::num::AllocatedNum::::alloc` [INFO] [stderr] [INFO] [stderr] error[E0308]: mismatched types [INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/storage-proofs-0.6.2/src/circuit/porc.rs:178:17 [INFO] [stderr] | [INFO] [stderr] 178 | commitment.ok_or_else(|| SynthesisError::AssignmentMissing) [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected enum `bellperson::SynthesisError`, found a different enum `bellperson::SynthesisError` [INFO] [stderr] | [INFO] [stderr] = note: expected type `std::result::Result<_, bellperson::SynthesisError>` [INFO] [stderr] found type `std::result::Result<::Fr, bellperson::SynthesisError>` [INFO] [stderr] note: Perhaps two different versions of crate `bellperson` are being used? [INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/storage-proofs-0.6.2/src/circuit/porc.rs:178:17 [INFO] [stderr] | [INFO] [stderr] 178 | commitment.ok_or_else(|| SynthesisError::AssignmentMissing) [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] error[E0277]: `?` couldn't convert the error to `bellperson::SynthesisError` [INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/storage-proofs-0.6.2/src/circuit/porc.rs:179:15 [INFO] [stderr] | [INFO] [stderr] 179 | })?; [INFO] [stderr] | ^ the trait `std::convert::From` is not implemented for `bellperson::SynthesisError` [INFO] [stderr] | [INFO] [stderr] = note: the question mark operation (`?`) implicitly performs a conversion on the error value using the `From` trait [INFO] [stderr] = help: the following implementations were found: [INFO] [stderr] > [INFO] [stderr] = note: required by `std::convert::From::from` [INFO] [stderr] [INFO] [stderr] error[E0277]: the trait bound `bellperson::Namespace<'_, E, <>::Root as bellperson::ConstraintSystem>::Root>: bellperson::ConstraintSystem<_>` is not satisfied [INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/storage-proofs-0.6.2/src/circuit/porc.rs:183:53 [INFO] [stderr] | [INFO] [stderr] 183 | let leaf_num = num::AllocatedNum::alloc(cs.namespace(|| "leaf_num"), || { [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `bellperson::ConstraintSystem<_>` is not implemented for `bellperson::Namespace<'_, E, <>::Root as bellperson::ConstraintSystem>::Root>` [INFO] [stderr] | [INFO] [stderr] ::: /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/fil-sapling-crypto-0.1.2/src/circuit/num.rs:29:24 [INFO] [stderr] | [INFO] [stderr] 29 | F: FnOnce() -> Result, [INFO] [stderr] | ----------------------------- required by this bound in `fil_sapling_crypto::circuit::num::AllocatedNum::::alloc` [INFO] [stderr] [INFO] [stderr] error[E0308]: mismatched types [INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/storage-proofs-0.6.2/src/circuit/porc.rs:184:17 [INFO] [stderr] | [INFO] [stderr] 184 | challenged_leaf.ok_or_else(|| SynthesisError::AssignmentMissing) [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected enum `bellperson::SynthesisError`, found a different enum `bellperson::SynthesisError` [INFO] [stderr] | [INFO] [stderr] = note: expected type `std::result::Result<_, bellperson::SynthesisError>` [INFO] [stderr] found type `std::result::Result<::Fr, bellperson::SynthesisError>` [INFO] [stderr] note: Perhaps two different versions of crate `bellperson` are being used? [INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/storage-proofs-0.6.2/src/circuit/porc.rs:184:17 [INFO] [stderr] | [INFO] [stderr] 184 | challenged_leaf.ok_or_else(|| SynthesisError::AssignmentMissing) [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] error[E0277]: `?` couldn't convert the error to `bellperson::SynthesisError` [INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/storage-proofs-0.6.2/src/circuit/porc.rs:185:15 [INFO] [stderr] | [INFO] [stderr] 185 | })?; [INFO] [stderr] | ^ the trait `std::convert::From` is not implemented for `bellperson::SynthesisError` [INFO] [stderr] | [INFO] [stderr] = note: the question mark operation (`?`) implicitly performs a conversion on the error value using the `From` trait [INFO] [stderr] = help: the following implementations were found: [INFO] [stderr] > [INFO] [stderr] = note: required by `std::convert::From::from` [INFO] [stderr] [INFO] [stderr] error[E0277]: the trait bound `bellperson::Namespace<'_, E, <<>::Root as bellperson::ConstraintSystem>::Root as bellperson::ConstraintSystem>::Root>: bellperson::ConstraintSystem<_>` is not satisfied [INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/storage-proofs-0.6.2/src/circuit/porc.rs:199:59 [INFO] [stderr] | [INFO] [stderr] 199 | let cur_is_right = boolean::Boolean::from(boolean::AllocatedBit::alloc( [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `bellperson::ConstraintSystem<_>` is not implemented for `bellperson::Namespace<'_, E, <<>::Root as bellperson::ConstraintSystem>::Root as bellperson::ConstraintSystem>::Root>` [INFO] [stderr] | [INFO] [stderr] ::: /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/fil-sapling-crypto-0.1.2/src/circuit/boolean.rs:73:13 [INFO] [stderr] | [INFO] [stderr] 73 | CS: ConstraintSystem, [INFO] [stderr] | ------------------- required by this bound in `fil_sapling_crypto::circuit::boolean::AllocatedBit::alloc` [INFO] [stderr] [INFO] [stderr] error[E0277]: `?` couldn't convert the error to `bellperson::SynthesisError` [INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/storage-proofs-0.6.2/src/circuit/porc.rs:202:18 [INFO] [stderr] | [INFO] [stderr] 202 | )?); [INFO] [stderr] | ^ the trait `std::convert::From` is not implemented for `bellperson::SynthesisError` [INFO] [stderr] | [INFO] [stderr] = note: the question mark operation (`?`) implicitly performs a conversion on the error value using the `From` trait [INFO] [stderr] = help: the following implementations were found: [INFO] [stderr] > [INFO] [stderr] = note: required by `std::convert::From::from` [INFO] [stderr] [INFO] [stderr] error[E0277]: the trait bound `bellperson::Namespace<'_, E, <<>::Root as bellperson::ConstraintSystem>::Root as bellperson::ConstraintSystem>::Root>: bellperson::ConstraintSystem<_>` is not satisfied [INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/storage-proofs-0.6.2/src/circuit/porc.rs:207:46 [INFO] [stderr] | [INFO] [stderr] 207 | num::AllocatedNum::alloc(cs.namespace(|| "path element"), || { [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `bellperson::ConstraintSystem<_>` is not implemented for `bellperson::Namespace<'_, E, <<>::Root as bellperson::ConstraintSystem>::Root as bellperson::ConstraintSystem>::Root>` [INFO] [stderr] | [INFO] [stderr] ::: /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/fil-sapling-crypto-0.1.2/src/circuit/num.rs:29:24 [INFO] [stderr] | [INFO] [stderr] 29 | F: FnOnce() -> Result, [INFO] [stderr] | ----------------------------- required by this bound in `fil_sapling_crypto::circuit::num::AllocatedNum::::alloc` [INFO] [stderr] [INFO] [stderr] error[E0277]: `?` couldn't convert the error to `bellperson::SynthesisError` [INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/storage-proofs-0.6.2/src/circuit/porc.rs:208:78 [INFO] [stderr] | [INFO] [stderr] 208 | Ok(e.ok_or_else(|| SynthesisError::AssignmentMissing)?.0) [INFO] [stderr] | ^ the trait `std::convert::From` is not implemented for `bellperson::SynthesisError` [INFO] [stderr] | [INFO] [stderr] = note: the question mark operation (`?`) implicitly performs a conversion on the error value using the `From` trait [INFO] [stderr] = help: the following implementations were found: [INFO] [stderr] > [INFO] [stderr] = note: required by `std::convert::From::from` [INFO] [stderr] [INFO] [stderr] error[E0277]: `?` couldn't convert the error to `bellperson::SynthesisError` [INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/storage-proofs-0.6.2/src/circuit/porc.rs:209:23 [INFO] [stderr] | [INFO] [stderr] 209 | })?; [INFO] [stderr] | ^ the trait `std::convert::From` is not implemented for `bellperson::SynthesisError` [INFO] [stderr] | [INFO] [stderr] = note: the question mark operation (`?`) implicitly performs a conversion on the error value using the `From` trait [INFO] [stderr] = help: the following implementations were found: [INFO] [stderr] > [INFO] [stderr] = note: required by `std::convert::From::from` [INFO] [stderr] [INFO] [stderr] error[E0277]: the trait bound `bellperson::Namespace<'_, E, <<>::Root as bellperson::ConstraintSystem>::Root as bellperson::ConstraintSystem>::Root>: bellperson::ConstraintSystem<_>` is not satisfied [INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/storage-proofs-0.6.2/src/circuit/porc.rs:212:32 [INFO] [stderr] | [INFO] [stderr] 212 | let (xl, xr) = num::AllocatedNum::conditionally_reverse( [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `bellperson::ConstraintSystem<_>` is not implemented for `bellperson::Namespace<'_, E, <<>::Root as bellperson::ConstraintSystem>::Root as bellperson::ConstraintSystem>::Root>` [INFO] [stderr] | [INFO] [stderr] = note: required by `fil_sapling_crypto::circuit::num::AllocatedNum::::conditionally_reverse` [INFO] [stderr] [INFO] [stderr] error[E0277]: `?` couldn't convert the error to `bellperson::SynthesisError` [INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/storage-proofs-0.6.2/src/circuit/porc.rs:217:18 [INFO] [stderr] | [INFO] [stderr] 217 | )?; [INFO] [stderr] | ^ the trait `std::convert::From` is not implemented for `bellperson::SynthesisError` [INFO] [stderr] | [INFO] [stderr] = note: the question mark operation (`?`) implicitly performs a conversion on the error value using the `From` trait [INFO] [stderr] = help: the following implementations were found: [INFO] [stderr] > [INFO] [stderr] = note: required by `std::convert::From::from` [INFO] [stderr] [INFO] [stderr] error[E0277]: the trait bound `bellperson::Namespace<'_, E, <<>::Root as bellperson::ConstraintSystem>::Root as bellperson::ConstraintSystem>::Root>: bellperson::ConstraintSystem<_>` is not satisfied [INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/storage-proofs-0.6.2/src/circuit/porc.rs:220:49 [INFO] [stderr] | [INFO] [stderr] 220 | preimage.extend(xl.into_bits_le(cs.namespace(|| "xl into bits"))?); [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `bellperson::ConstraintSystem<_>` is not implemented for `bellperson::Namespace<'_, E, <<>::Root as bellperson::ConstraintSystem>::Root as bellperson::ConstraintSystem>::Root>` [INFO] [stderr] [INFO] [stderr] error[E0277]: `?` couldn't convert the error to `bellperson::SynthesisError` [INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/storage-proofs-0.6.2/src/circuit/porc.rs:220:81 [INFO] [stderr] | [INFO] [stderr] 220 | preimage.extend(xl.into_bits_le(cs.namespace(|| "xl into bits"))?); [INFO] [stderr] | ^ the trait `std::convert::From` is not implemented for `bellperson::SynthesisError` [INFO] [stderr] | [INFO] [stderr] = note: the question mark operation (`?`) implicitly performs a conversion on the error value using the `From` trait [INFO] [stderr] = help: the following implementations were found: [INFO] [stderr] > [INFO] [stderr] = note: required by `std::convert::From::from` [INFO] [stderr] [INFO] [stderr] error[E0277]: the trait bound `bellperson::Namespace<'_, E, <<>::Root as bellperson::ConstraintSystem>::Root as bellperson::ConstraintSystem>::Root>: bellperson::ConstraintSystem<_>` is not satisfied [INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/storage-proofs-0.6.2/src/circuit/porc.rs:221:49 [INFO] [stderr] | [INFO] [stderr] 221 | preimage.extend(xr.into_bits_le(cs.namespace(|| "xr into bits"))?); [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `bellperson::ConstraintSystem<_>` is not implemented for `bellperson::Namespace<'_, E, <<>::Root as bellperson::ConstraintSystem>::Root as bellperson::ConstraintSystem>::Root>` [INFO] [stderr] [INFO] [stderr] error[E0277]: `?` couldn't convert the error to `bellperson::SynthesisError` [INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/storage-proofs-0.6.2/src/circuit/porc.rs:221:81 [INFO] [stderr] | [INFO] [stderr] 221 | preimage.extend(xr.into_bits_le(cs.namespace(|| "xr into bits"))?); [INFO] [stderr] | ^ the trait `std::convert::From` is not implemented for `bellperson::SynthesisError` [INFO] [stderr] | [INFO] [stderr] = note: the question mark operation (`?`) implicitly performs a conversion on the error value using the `From` trait [INFO] [stderr] = help: the following implementations were found: [INFO] [stderr] > [INFO] [stderr] = note: required by `std::convert::From::from` [INFO] [stderr] [INFO] [stderr] error[E0277]: the trait bound `bellperson::Namespace<'_, E, <<>::Root as bellperson::ConstraintSystem>::Root as bellperson::ConstraintSystem>::Root>: bellperson::ConstraintSystem<_>` is not satisfied [INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/storage-proofs-0.6.2/src/circuit/porc.rs:224:23 [INFO] [stderr] | [INFO] [stderr] 224 | cur = pedersen_hash::pedersen_hash( [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `bellperson::ConstraintSystem<_>` is not implemented for `bellperson::Namespace<'_, E, <<>::Root as bellperson::ConstraintSystem>::Root as bellperson::ConstraintSystem>::Root>` [INFO] [stderr] | [INFO] [stderr] ::: /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/fil-sapling-crypto-0.1.2/src/circuit/pedersen_hash.rs:25:9 [INFO] [stderr] | [INFO] [stderr] 25 | CS: ConstraintSystem, [INFO] [stderr] | ------------------- required by this bound in `fil_sapling_crypto::circuit::pedersen_hash::pedersen_hash` [INFO] [stderr] [INFO] [stderr] error[E0277]: `?` couldn't convert the error to `bellperson::SynthesisError` [INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/storage-proofs-0.6.2/src/circuit/porc.rs:229:18 [INFO] [stderr] | [INFO] [stderr] 229 | )? [INFO] [stderr] | ^ the trait `std::convert::From` is not implemented for `bellperson::SynthesisError` [INFO] [stderr] | [INFO] [stderr] = note: the question mark operation (`?`) implicitly performs a conversion on the error value using the `From` trait [INFO] [stderr] = help: the following implementations were found: [INFO] [stderr] > [INFO] [stderr] = note: required by `std::convert::From::from` [INFO] [stderr] [INFO] [stderr] error[E0277]: the trait bound `bellperson::Namespace<'_, E, <>::Root as bellperson::ConstraintSystem>::Root>: bellperson::ConstraintSystem<_>` is not satisfied [INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/storage-proofs-0.6.2/src/circuit/porc.rs:237:42 [INFO] [stderr] | [INFO] [stderr] 237 | num::AllocatedNum::alloc(cs.namespace(|| format!("challenge {}", i)), || { [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `bellperson::ConstraintSystem<_>` is not implemented for `bellperson::Namespace<'_, E, <>::Root as bellperson::ConstraintSystem>::Root>` [INFO] [stderr] | [INFO] [stderr] ::: /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/fil-sapling-crypto-0.1.2/src/circuit/num.rs:29:24 [INFO] [stderr] | [INFO] [stderr] 29 | F: FnOnce() -> Result, [INFO] [stderr] | ----------------------------- required by this bound in `fil_sapling_crypto::circuit::num::AllocatedNum::::alloc` [INFO] [stderr] [INFO] [stderr] error[E0308]: mismatched types [INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/storage-proofs-0.6.2/src/circuit/porc.rs:238:21 [INFO] [stderr] | [INFO] [stderr] 238 | challenges[i].ok_or_else(|| SynthesisError::AssignmentMissing) [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected enum `bellperson::SynthesisError`, found a different enum `bellperson::SynthesisError` [INFO] [stderr] | [INFO] [stderr] = note: expected type `std::result::Result<_, bellperson::SynthesisError>` [INFO] [stderr] found type `std::result::Result<::Fr, bellperson::SynthesisError>` [INFO] [stderr] note: Perhaps two different versions of crate `bellperson` are being used? [INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/storage-proofs-0.6.2/src/circuit/porc.rs:238:21 [INFO] [stderr] | [INFO] [stderr] 238 | challenges[i].ok_or_else(|| SynthesisError::AssignmentMissing) [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] error[E0277]: `?` couldn't convert the error to `bellperson::SynthesisError` [INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/storage-proofs-0.6.2/src/circuit/porc.rs:239:19 [INFO] [stderr] | [INFO] [stderr] 239 | })?; [INFO] [stderr] | ^ the trait `std::convert::From` is not implemented for `bellperson::SynthesisError` [INFO] [stderr] | [INFO] [stderr] = note: the question mark operation (`?`) implicitly performs a conversion on the error value using the `From` trait [INFO] [stderr] = help: the following implementations were found: [INFO] [stderr] > [INFO] [stderr] = note: required by `std::convert::From::from` [INFO] [stderr] [INFO] [stderr] error[E0277]: the trait bound `bellperson::Namespace<'_, E, >::Root>: bellperson::ConstraintSystem<_>` is not satisfied [INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/storage-proofs-0.6.2/src/circuit/ppor/mod.rs:38:43 [INFO] [stderr] | [INFO] [stderr] 38 | let rt = num::AllocatedNum::alloc(cs.namespace(|| "root value"), || { [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `bellperson::ConstraintSystem<_>` is not implemented for `bellperson::Namespace<'_, E, >::Root>` [INFO] [stderr] | [INFO] [stderr] ::: /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/fil-sapling-crypto-0.1.2/src/circuit/num.rs:29:24 [INFO] [stderr] | [INFO] [stderr] 29 | F: FnOnce() -> Result, [INFO] [stderr] | ----------------------------- required by this bound in `fil_sapling_crypto::circuit::num::AllocatedNum::::alloc` [INFO] [stderr] [INFO] [stderr] error[E0308]: mismatched types [INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/storage-proofs-0.6.2/src/circuit/ppor/mod.rs:39:35 [INFO] [stderr] | [INFO] [stderr] 39 | real_root_value.ok_or(SynthesisError::AssignmentMissing) [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected enum `bellperson::SynthesisError`, found a different enum `bellperson::SynthesisError` [INFO] [stderr] | [INFO] [stderr] = note: expected type `bellperson::SynthesisError` (enum `bellperson::SynthesisError`) [INFO] [stderr] found type `bellperson::SynthesisError` (enum `bellperson::SynthesisError`) [INFO] [stderr] note: Perhaps two different versions of crate `bellperson` are being used? [INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/storage-proofs-0.6.2/src/circuit/ppor/mod.rs:39:35 [INFO] [stderr] | [INFO] [stderr] 39 | real_root_value.ok_or(SynthesisError::AssignmentMissing) [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] error[E0277]: `?` couldn't convert the error to `bellperson::SynthesisError` [INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/storage-proofs-0.6.2/src/circuit/ppor/mod.rs:40:11 [INFO] [stderr] | [INFO] [stderr] 40 | })?; [INFO] [stderr] | ^ the trait `std::convert::From` is not implemented for `bellperson::SynthesisError` [INFO] [stderr] | [INFO] [stderr] = note: the question mark operation (`?`) implicitly performs a conversion on the error value using the `From` trait [INFO] [stderr] = help: the following implementations were found: [INFO] [stderr] > [INFO] [stderr] = note: required by `std::convert::From::from` [INFO] [stderr] [INFO] [stderr] error[E0277]: the trait bound `bellperson::Namespace<'_, E, <>::Root as bellperson::ConstraintSystem>::Root>: bellperson::ConstraintSystem<_>` is not satisfied [INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/storage-proofs-0.6.2/src/circuit/ppor/mod.rs:48:54 [INFO] [stderr] | [INFO] [stderr] 48 | let value_num = num::AllocatedNum::alloc(cs.namespace(|| "value"), || { [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^ the trait `bellperson::ConstraintSystem<_>` is not implemented for `bellperson::Namespace<'_, E, <>::Root as bellperson::ConstraintSystem>::Root>` [INFO] [stderr] | [INFO] [stderr] ::: /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/fil-sapling-crypto-0.1.2/src/circuit/num.rs:29:24 [INFO] [stderr] | [INFO] [stderr] 29 | F: FnOnce() -> Result, [INFO] [stderr] | ----------------------------- required by this bound in `fil_sapling_crypto::circuit::num::AllocatedNum::::alloc` [INFO] [stderr] [INFO] [stderr] error[E0308]: mismatched types [INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/storage-proofs-0.6.2/src/circuit/ppor/mod.rs:49:17 [INFO] [stderr] | [INFO] [stderr] 49 | value.ok_or_else(|| SynthesisError::AssignmentMissing) [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected enum `bellperson::SynthesisError`, found a different enum `bellperson::SynthesisError` [INFO] [stderr] | [INFO] [stderr] = note: expected type `std::result::Result<_, bellperson::SynthesisError>` [INFO] [stderr] found type `std::result::Result<::Fr, bellperson::SynthesisError>` [INFO] [stderr] note: Perhaps two different versions of crate `bellperson` are being used? [INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/storage-proofs-0.6.2/src/circuit/ppor/mod.rs:49:17 [INFO] [stderr] | [INFO] [stderr] 49 | value.ok_or_else(|| SynthesisError::AssignmentMissing) [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] error[E0277]: `?` couldn't convert the error to `bellperson::SynthesisError` [INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/storage-proofs-0.6.2/src/circuit/ppor/mod.rs:50:15 [INFO] [stderr] | [INFO] [stderr] 50 | })?; [INFO] [stderr] | ^ the trait `std::convert::From` is not implemented for `bellperson::SynthesisError` [INFO] [stderr] | [INFO] [stderr] = note: the question mark operation (`?`) implicitly performs a conversion on the error value using the `From` trait [INFO] [stderr] = help: the following implementations were found: [INFO] [stderr] > [INFO] [stderr] = note: required by `std::convert::From::from` [INFO] [stderr] [INFO] [stderr] error[E0277]: the trait bound `bellperson::Namespace<'_, E, <>::Root as bellperson::ConstraintSystem>::Root>: bellperson::ConstraintSystem<_>` is not satisfied [INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/storage-proofs-0.6.2/src/circuit/ppor/mod.rs:52:32 [INFO] [stderr] | [INFO] [stderr] 52 | value_num.inputize(cs.namespace(|| "value num"))?; [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `bellperson::ConstraintSystem<_>` is not implemented for `bellperson::Namespace<'_, E, <>::Root as bellperson::ConstraintSystem>::Root>` [INFO] [stderr] [INFO] [stderr] error[E0277]: `?` couldn't convert the error to `bellperson::SynthesisError` [INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/storage-proofs-0.6.2/src/circuit/ppor/mod.rs:52:61 [INFO] [stderr] | [INFO] [stderr] 52 | value_num.inputize(cs.namespace(|| "value num"))?; [INFO] [stderr] | ^ the trait `std::convert::From` is not implemented for `bellperson::SynthesisError` [INFO] [stderr] | [INFO] [stderr] = note: the question mark operation (`?`) implicitly performs a conversion on the error value using the `From` trait [INFO] [stderr] = help: the following implementations were found: [INFO] [stderr] > [INFO] [stderr] = note: required by `std::convert::From::from` [INFO] [stderr] [INFO] [stderr] error[E0277]: the trait bound `bellperson::Namespace<'_, E, <<>::Root as bellperson::ConstraintSystem>::Root as bellperson::ConstraintSystem>::Root>: bellperson::ConstraintSystem<_>` is not satisfied [INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/storage-proofs-0.6.2/src/circuit/ppor/mod.rs:66:59 [INFO] [stderr] | [INFO] [stderr] 66 | let cur_is_right = boolean::Boolean::from(boolean::AllocatedBit::alloc( [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `bellperson::ConstraintSystem<_>` is not implemented for `bellperson::Namespace<'_, E, <<>::Root as bellperson::ConstraintSystem>::Root as bellperson::ConstraintSystem>::Root>` [INFO] [stderr] | [INFO] [stderr] ::: /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/fil-sapling-crypto-0.1.2/src/circuit/boolean.rs:73:13 [INFO] [stderr] | [INFO] [stderr] 73 | CS: ConstraintSystem, [INFO] [stderr] | ------------------- required by this bound in `fil_sapling_crypto::circuit::boolean::AllocatedBit::alloc` [INFO] [stderr] [INFO] [stderr] error[E0277]: `?` couldn't convert the error to `bellperson::SynthesisError` [INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/storage-proofs-0.6.2/src/circuit/ppor/mod.rs:69:18 [INFO] [stderr] | [INFO] [stderr] 69 | )?); [INFO] [stderr] | ^ the trait `std::convert::From` is not implemented for `bellperson::SynthesisError` [INFO] [stderr] | [INFO] [stderr] = note: the question mark operation (`?`) implicitly performs a conversion on the error value using the `From` trait [INFO] [stderr] = help: the following implementations were found: [INFO] [stderr] > [INFO] [stderr] = note: required by `std::convert::From::from` [INFO] [stderr] [INFO] [stderr] error[E0277]: the trait bound `bellperson::Namespace<'_, E, <<>::Root as bellperson::ConstraintSystem>::Root as bellperson::ConstraintSystem>::Root>: bellperson::ConstraintSystem<_>` is not satisfied [INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/storage-proofs-0.6.2/src/circuit/ppor/mod.rs:74:46 [INFO] [stderr] | [INFO] [stderr] 74 | num::AllocatedNum::alloc(cs.namespace(|| "path element"), || { [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `bellperson::ConstraintSystem<_>` is not implemented for `bellperson::Namespace<'_, E, <<>::Root as bellperson::ConstraintSystem>::Root as bellperson::ConstraintSystem>::Root>` [INFO] [stderr] | [INFO] [stderr] ::: /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/fil-sapling-crypto-0.1.2/src/circuit/num.rs:29:24 [INFO] [stderr] | [INFO] [stderr] 29 | F: FnOnce() -> Result, [INFO] [stderr] | ----------------------------- required by this bound in `fil_sapling_crypto::circuit::num::AllocatedNum::::alloc` [INFO] [stderr] [INFO] [stderr] error[E0277]: `?` couldn't convert the error to `bellperson::SynthesisError` [INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/storage-proofs-0.6.2/src/circuit/ppor/mod.rs:75:70 [INFO] [stderr] | [INFO] [stderr] 75 | Ok(e.ok_or(SynthesisError::AssignmentMissing)?.0) [INFO] [stderr] | ^ the trait `std::convert::From` is not implemented for `bellperson::SynthesisError` [INFO] [stderr] | [INFO] [stderr] = note: the question mark operation (`?`) implicitly performs a conversion on the error value using the `From` trait [INFO] [stderr] = help: the following implementations were found: [INFO] [stderr] > [INFO] [stderr] = note: required by `std::convert::From::from` [INFO] [stderr] [INFO] [stderr] error[E0277]: `?` couldn't convert the error to `bellperson::SynthesisError` [INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/storage-proofs-0.6.2/src/circuit/ppor/mod.rs:76:23 [INFO] [stderr] | [INFO] [stderr] 76 | })?; [INFO] [stderr] | ^ the trait `std::convert::From` is not implemented for `bellperson::SynthesisError` [INFO] [stderr] | [INFO] [stderr] = note: the question mark operation (`?`) implicitly performs a conversion on the error value using the `From` trait [INFO] [stderr] = help: the following implementations were found: [INFO] [stderr] > [INFO] [stderr] = note: required by `std::convert::From::from` [INFO] [stderr] [INFO] [stderr] error[E0277]: the trait bound `bellperson::Namespace<'_, E, <<>::Root as bellperson::ConstraintSystem>::Root as bellperson::ConstraintSystem>::Root>: bellperson::ConstraintSystem<_>` is not satisfied [INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/storage-proofs-0.6.2/src/circuit/ppor/mod.rs:79:32 [INFO] [stderr] | [INFO] [stderr] 79 | let (xl, xr) = num::AllocatedNum::conditionally_reverse( [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `bellperson::ConstraintSystem<_>` is not implemented for `bellperson::Namespace<'_, E, <<>::Root as bellperson::ConstraintSystem>::Root as bellperson::ConstraintSystem>::Root>` [INFO] [stderr] | [INFO] [stderr] = note: required by `fil_sapling_crypto::circuit::num::AllocatedNum::::conditionally_reverse` [INFO] [stderr] [INFO] [stderr] error[E0277]: `?` couldn't convert the error to `bellperson::SynthesisError` [INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/storage-proofs-0.6.2/src/circuit/ppor/mod.rs:84:18 [INFO] [stderr] | [INFO] [stderr] 84 | )?; [INFO] [stderr] | ^ the trait `std::convert::From` is not implemented for `bellperson::SynthesisError` [INFO] [stderr] | [INFO] [stderr] = note: the question mark operation (`?`) implicitly performs a conversion on the error value using the `From` trait [INFO] [stderr] = help: the following implementations were found: [INFO] [stderr] > [INFO] [stderr] = note: required by `std::convert::From::from` [INFO] [stderr] [INFO] [stderr] error[E0277]: the trait bound `bellperson::Namespace<'_, E, <<>::Root as bellperson::ConstraintSystem>::Root as bellperson::ConstraintSystem>::Root>: bellperson::ConstraintSystem<_>` is not satisfied [INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/storage-proofs-0.6.2/src/circuit/ppor/mod.rs:91:49 [INFO] [stderr] | [INFO] [stderr] 91 | preimage.extend(xl.into_bits_le(cs.namespace(|| "xl into bits"))?); [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `bellperson::ConstraintSystem<_>` is not implemented for `bellperson::Namespace<'_, E, <<>::Root as bellperson::ConstraintSystem>::Root as bellperson::ConstraintSystem>::Root>` [INFO] [stderr] [INFO] [stderr] error[E0277]: `?` couldn't convert the error to `bellperson::SynthesisError` [INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/storage-proofs-0.6.2/src/circuit/ppor/mod.rs:91:81 [INFO] [stderr] | [INFO] [stderr] 91 | preimage.extend(xl.into_bits_le(cs.namespace(|| "xl into bits"))?); [INFO] [stderr] | ^ the trait `std::convert::From` is not implemented for `bellperson::SynthesisError` [INFO] [stderr] | [INFO] [stderr] = note: the question mark operation (`?`) implicitly performs a conversion on the error value using the `From` trait [INFO] [stderr] = help: the following implementations were found: [INFO] [stderr] > [INFO] [stderr] = note: required by `std::convert::From::from` [INFO] [stderr] [INFO] [stderr] error[E0277]: the trait bound `bellperson::Namespace<'_, E, <<>::Root as bellperson::ConstraintSystem>::Root as bellperson::ConstraintSystem>::Root>: bellperson::ConstraintSystem<_>` is not satisfied [INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/storage-proofs-0.6.2/src/circuit/ppor/mod.rs:92:49 [INFO] [stderr] | [INFO] [stderr] 92 | preimage.extend(xr.into_bits_le(cs.namespace(|| "xr into bits"))?); [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `bellperson::ConstraintSystem<_>` is not implemented for `bellperson::Namespace<'_, E, <<>::Root as bellperson::ConstraintSystem>::Root as bellperson::ConstraintSystem>::Root>` [INFO] [stderr] [INFO] [stderr] error[E0277]: `?` couldn't convert the error to `bellperson::SynthesisError` [INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/storage-proofs-0.6.2/src/circuit/ppor/mod.rs:92:81 [INFO] [stderr] | [INFO] [stderr] 92 | preimage.extend(xr.into_bits_le(cs.namespace(|| "xr into bits"))?); [INFO] [stderr] | ^ the trait `std::convert::From` is not implemented for `bellperson::SynthesisError` [INFO] [stderr] | [INFO] [stderr] = note: the question mark operation (`?`) implicitly performs a conversion on the error value using the `From` trait [INFO] [stderr] = help: the following implementations were found: [INFO] [stderr] > [INFO] [stderr] = note: required by `std::convert::From::from` [INFO] [stderr] [INFO] [stderr] error[E0277]: the trait bound `bellperson::Namespace<'_, E, <<>::Root as bellperson::ConstraintSystem>::Root as bellperson::ConstraintSystem>::Root>: bellperson::ConstraintSystem<_>` is not satisfied [INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/storage-proofs-0.6.2/src/circuit/ppor/mod.rs:95:23 [INFO] [stderr] | [INFO] [stderr] 95 | cur = pedersen_hash::pedersen_hash( [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `bellperson::ConstraintSystem<_>` is not implemented for `bellperson::Namespace<'_, E, <<>::Root as bellperson::ConstraintSystem>::Root as bellperson::ConstraintSystem>::Root>` [INFO] [stderr] | [INFO] [stderr] ::: /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/fil-sapling-crypto-0.1.2/src/circuit/pedersen_hash.rs:25:9 [INFO] [stderr] | [INFO] [stderr] 25 | CS: ConstraintSystem, [INFO] [stderr] | ------------------- required by this bound in `fil_sapling_crypto::circuit::pedersen_hash::pedersen_hash` [INFO] [stderr] [INFO] [stderr] error[E0277]: `?` couldn't convert the error to `bellperson::SynthesisError` [INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/storage-proofs-0.6.2/src/circuit/ppor/mod.rs:100:18 [INFO] [stderr] | [INFO] [stderr] 100 | )? [INFO] [stderr] | ^ the trait `std::convert::From` is not implemented for `bellperson::SynthesisError` [INFO] [stderr] | [INFO] [stderr] = note: the question mark operation (`?`) implicitly performs a conversion on the error value using the `From` trait [INFO] [stderr] = help: the following implementations were found: [INFO] [stderr] > [INFO] [stderr] = note: required by `std::convert::From::from` [INFO] [stderr] [INFO] [stderr] error[E0277]: the trait bound `bellperson::Namespace<'_, E, <>::Root as bellperson::ConstraintSystem>::Root>: bellperson::ConstraintSystem<_>` is not satisfied [INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/storage-proofs-0.6.2/src/circuit/ppor/mod.rs:108:41 [INFO] [stderr] | [INFO] [stderr] 108 | multipack::pack_into_inputs(cs.namespace(|| "packed auth_path"), &auth_path_bits)?; [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `bellperson::ConstraintSystem<_>` is not implemented for `bellperson::Namespace<'_, E, <>::Root as bellperson::ConstraintSystem>::Root>` [INFO] [stderr] | [INFO] [stderr] ::: /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/fil-sapling-crypto-0.1.2/src/circuit/multipack.rs:13:9 [INFO] [stderr] | [INFO] [stderr] 13 | CS: ConstraintSystem, [INFO] [stderr] | ------------------- required by this bound in `fil_sapling_crypto::circuit::multipack::pack_into_inputs` [INFO] [stderr] [INFO] [stderr] error[E0277]: `?` couldn't convert the error to `bellperson::SynthesisError` [INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/storage-proofs-0.6.2/src/circuit/ppor/mod.rs:108:94 [INFO] [stderr] | [INFO] [stderr] 108 | multipack::pack_into_inputs(cs.namespace(|| "packed auth_path"), &auth_path_bits)?; [INFO] [stderr] | ^ the trait `std::convert::From` is not implemented for `bellperson::SynthesisError` [INFO] [stderr] | [INFO] [stderr] = note: the question mark operation (`?`) implicitly performs a conversion on the error value using the `From` trait [INFO] [stderr] = help: the following implementations were found: [INFO] [stderr] > [INFO] [stderr] = note: required by `std::convert::From::from` [INFO] [stderr] [INFO] [stderr] error[E0277]: the trait bound `bellperson::Namespace<'_, E, >::Root>: bellperson::ConstraintSystem` is not satisfied [INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/storage-proofs-0.6.2/src/circuit/ppor/mod.rs:117:21 [INFO] [stderr] | [INFO] [stderr] 117 | rt.inputize(cs.namespace(|| "root"))?; [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^ the trait `bellperson::ConstraintSystem` is not implemented for `bellperson::Namespace<'_, E, >::Root>` [INFO] [stderr] [INFO] [stderr] error[E0277]: `?` couldn't convert the error to `bellperson::SynthesisError` [INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/storage-proofs-0.6.2/src/circuit/ppor/mod.rs:117:45 [INFO] [stderr] | [INFO] [stderr] 117 | rt.inputize(cs.namespace(|| "root"))?; [INFO] [stderr] | ^ the trait `std::convert::From` is not implemented for `bellperson::SynthesisError` [INFO] [stderr] | [INFO] [stderr] = note: the question mark operation (`?`) implicitly performs a conversion on the error value using the `From` trait [INFO] [stderr] = help: the following implementations were found: [INFO] [stderr] > [INFO] [stderr] = note: required by `std::convert::From::from` [INFO] [stderr] [INFO] [stderr] error[E0277]: the trait bound `bellperson::Namespace<'_, E, >::Root>: bellperson::ConstraintSystem<_>` is not satisfied [INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/storage-proofs-0.6.2/src/circuit/sloth.rs:18:50 [INFO] [stderr] | [INFO] [stderr] 18 | let mut plaintext = num::AllocatedNum::alloc(cs.namespace(|| "decoded"), || { [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `bellperson::ConstraintSystem<_>` is not implemented for `bellperson::Namespace<'_, E, >::Root>` [INFO] [stderr] | [INFO] [stderr] ::: /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/fil-sapling-crypto-0.1.2/src/circuit/num.rs:29:24 [INFO] [stderr] | [INFO] [stderr] 29 | F: FnOnce() -> Result, [INFO] [stderr] | ----------------------------- required by this bound in `fil_sapling_crypto::circuit::num::AllocatedNum::::alloc` [INFO] [stderr] [INFO] [stderr] error[E0277]: `?` couldn't convert the error to `bellperson::SynthesisError` [INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/storage-proofs-0.6.2/src/circuit/sloth.rs:19:71 [INFO] [stderr] | [INFO] [stderr] 19 | Ok(ciphertext.ok_or_else(|| SynthesisError::AssignmentMissing)?) [INFO] [stderr] | ^ the trait `std::convert::From` is not implemented for `bellperson::SynthesisError` [INFO] [stderr] | [INFO] [stderr] = note: the question mark operation (`?`) implicitly performs a conversion on the error value using the `From` trait [INFO] [stderr] = help: the following implementations were found: [INFO] [stderr] > [INFO] [stderr] = note: required by `std::convert::From::from` [INFO] [stderr] [INFO] [stderr] error[E0277]: `?` couldn't convert the error to `bellperson::SynthesisError` [INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/storage-proofs-0.6.2/src/circuit/sloth.rs:20:7 [INFO] [stderr] | [INFO] [stderr] 20 | })?; [INFO] [stderr] | ^ the trait `std::convert::From` is not implemented for `bellperson::SynthesisError` [INFO] [stderr] | [INFO] [stderr] = note: the question mark operation (`?`) implicitly performs a conversion on the error value using the `From` trait [INFO] [stderr] = help: the following implementations were found: [INFO] [stderr] > [INFO] [stderr] = note: required by `std::convert::From::from` [INFO] [stderr] [INFO] [stderr] error[E0277]: the trait bound `bellperson::Namespace<'_, E, >::Root>: bellperson::ConstraintSystem<_>` is not satisfied [INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/storage-proofs-0.6.2/src/circuit/sloth.rs:32:40 [INFO] [stderr] | [INFO] [stderr] 32 | let res = num::AllocatedNum::alloc(cs.namespace(|| "sub num"), || { [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `bellperson::ConstraintSystem<_>` is not implemented for `bellperson::Namespace<'_, E, >::Root>` [INFO] [stderr] | [INFO] [stderr] ::: /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/fil-sapling-crypto-0.1.2/src/circuit/num.rs:29:24 [INFO] [stderr] | [INFO] [stderr] 29 | F: FnOnce() -> Result, [INFO] [stderr] | ----------------------------- required by this bound in `fil_sapling_crypto::circuit::num::AllocatedNum::::alloc` [INFO] [stderr] [INFO] [stderr] error[E0277]: `?` couldn't convert the error to `bellperson::SynthesisError` [INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/storage-proofs-0.6.2/src/circuit/sloth.rs:35:62 [INFO] [stderr] | [INFO] [stderr] 35 | .ok_or_else(|| SynthesisError::AssignmentMissing)?; [INFO] [stderr] | ^ the trait `std::convert::From` is not implemented for `bellperson::SynthesisError` [INFO] [stderr] | [INFO] [stderr] = note: the question mark operation (`?`) implicitly performs a conversion on the error value using the `From` trait [INFO] [stderr] = help: the following implementations were found: [INFO] [stderr] > [INFO] [stderr] = note: required by `std::convert::From::from` [INFO] [stderr] [INFO] [stderr] error[E0277]: `?` couldn't convert the error to `bellperson::SynthesisError` [INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/storage-proofs-0.6.2/src/circuit/sloth.rs:38:66 [INFO] [stderr] | [INFO] [stderr] 38 | .ok_or_else(|| SynthesisError::AssignmentMissing)?, [INFO] [stderr] | ^ the trait `std::convert::From` is not implemented for `bellperson::SynthesisError` [INFO] [stderr] | [INFO] [stderr] = note: the question mark operation (`?`) implicitly performs a conversion on the error value using the `From` trait [INFO] [stderr] = help: the following implementations were found: [INFO] [stderr] > [INFO] [stderr] = note: required by `std::convert::From::from` [INFO] [stderr] [INFO] [stderr] error[E0277]: `?` couldn't convert the error to `bellperson::SynthesisError` [INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/storage-proofs-0.6.2/src/circuit/sloth.rs:42:7 [INFO] [stderr] | [INFO] [stderr] 42 | })?; [INFO] [stderr] | ^ the trait `std::convert::From` is not implemented for `bellperson::SynthesisError` [INFO] [stderr] | [INFO] [stderr] = note: the question mark operation (`?`) implicitly performs a conversion on the error value using the `From` trait [INFO] [stderr] = help: the following implementations were found: [INFO] [stderr] > [INFO] [stderr] = note: required by `std::convert::From::from` [INFO] [stderr] [INFO] [stderr] error[E0277]: the trait bound `CS: bellperson::ConstraintSystem<_>` is not satisfied [INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/storage-proofs-0.6.2/src/circuit/variables.rs:33:37 [INFO] [stderr] | [INFO] [stderr] 33 | AllocatedNum::alloc(cs, || fr.ok_or_else(|| SynthesisError::AssignmentMissing)) [INFO] [stderr] | ^^ the trait `bellperson::ConstraintSystem<_>` is not implemented for `CS` [INFO] [stderr] | [INFO] [stderr] ::: /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/fil-sapling-crypto-0.1.2/src/circuit/num.rs:29:24 [INFO] [stderr] | [INFO] [stderr] 29 | F: FnOnce() -> Result, [INFO] [stderr] | ----------------------------- required by this bound in `fil_sapling_crypto::circuit::num::AllocatedNum::::alloc` [INFO] [stderr] | [INFO] [stderr] = help: the following implementations were found: [INFO] [stderr] <&'cs mut CS as bellperson::ConstraintSystem> [INFO] [stderr] [INFO] [stderr] error[E0308]: mismatched types [INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/storage-proofs-0.6.2/src/circuit/variables.rs:33:44 [INFO] [stderr] | [INFO] [stderr] 33 | AllocatedNum::alloc(cs, || fr.ok_or_else(|| SynthesisError::AssignmentMissing)) [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected enum `bellperson::SynthesisError`, found a different enum `bellperson::SynthesisError` [INFO] [stderr] | [INFO] [stderr] = note: expected type `std::result::Result<_, bellperson::SynthesisError>` [INFO] [stderr] found type `std::result::Result<::Fr, bellperson::SynthesisError>` [INFO] [stderr] note: Perhaps two different versions of crate `bellperson` are being used? [INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/storage-proofs-0.6.2/src/circuit/variables.rs:33:44 [INFO] [stderr] | [INFO] [stderr] 33 | AllocatedNum::alloc(cs, || fr.ok_or_else(|| SynthesisError::AssignmentMissing)) [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] error[E0308]: mismatched types [INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/storage-proofs-0.6.2/src/circuit/variables.rs:33:17 [INFO] [stderr] | [INFO] [stderr] 29 | ) -> Result, SynthesisError> { [INFO] [stderr] | --------------------------------------- expected `std::result::Result, bellperson::SynthesisError>` because of return type [INFO] [stderr] ... [INFO] [stderr] 33 | AllocatedNum::alloc(cs, || fr.ok_or_else(|| SynthesisError::AssignmentMissing)) [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected enum `bellperson::SynthesisError`, found a different enum `bellperson::SynthesisError` [INFO] [stderr] | [INFO] [stderr] = note: expected type `std::result::Result, bellperson::SynthesisError>` [INFO] [stderr] found type `std::result::Result, bellperson::SynthesisError>` [INFO] [stderr] note: Perhaps two different versions of crate `bellperson` are being used? [INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/storage-proofs-0.6.2/src/circuit/variables.rs:33:17 [INFO] [stderr] | [INFO] [stderr] 33 | AllocatedNum::alloc(cs, || fr.ok_or_else(|| SynthesisError::AssignmentMissing)) [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] error[E0277]: the trait bound `CS: bellperson::ConstraintSystem<_>` is not satisfied [INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/storage-proofs-0.6.2/src/circuit/variables.rs:39:39 [INFO] [stderr] | [INFO] [stderr] 39 | Root::Var(AllocatedNum::alloc(cs, || Ok(fr)).unwrap()) [INFO] [stderr] | ^^ the trait `bellperson::ConstraintSystem<_>` is not implemented for `CS` [INFO] [stderr] | [INFO] [stderr] ::: /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/fil-sapling-crypto-0.1.2/src/circuit/num.rs:29:24 [INFO] [stderr] | [INFO] [stderr] 29 | F: FnOnce() -> Result, [INFO] [stderr] | ----------------------------- required by this bound in `fil_sapling_crypto::circuit::num::AllocatedNum::::alloc` [INFO] [stderr] | [INFO] [stderr] = help: the following implementations were found: [INFO] [stderr] <&'cs mut CS as bellperson::ConstraintSystem> [INFO] [stderr] [INFO] [stderr] error[E0277]: the trait bound `bellperson::Namespace<'_, E, >::Root>: bellperson::ConstraintSystem<_>` is not satisfied [INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/storage-proofs-0.6.2/src/circuit/vdf_post.rs:235:48 [INFO] [stderr] | [INFO] [stderr] 235 | let vdf_key = num::AllocatedNum::alloc(cs.namespace(|| "vdf_key"), || { [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `bellperson::ConstraintSystem<_>` is not implemented for `bellperson::Namespace<'_, E, >::Root>` [INFO] [stderr] | [INFO] [stderr] ::: /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/fil-sapling-crypto-0.1.2/src/circuit/num.rs:29:24 [INFO] [stderr] | [INFO] [stderr] 29 | F: FnOnce() -> Result, [INFO] [stderr] | ----------------------------- required by this bound in `fil_sapling_crypto::circuit::num::AllocatedNum::::alloc` [INFO] [stderr] [INFO] [stderr] Checking hyper-tls v0.3.2 [INFO] [stderr] error[E0308]: mismatched types [INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/storage-proofs-0.6.2/src/circuit/vdf_post.rs:236:13 [INFO] [stderr] | [INFO] [stderr] 236 | vdf_key.ok_or_else(|| SynthesisError::AssignmentMissing) [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected enum `bellperson::SynthesisError`, found a different enum `bellperson::SynthesisError` [INFO] [stderr] | [INFO] [stderr] = note: expected type `std::result::Result<_, bellperson::SynthesisError>` [INFO] [stderr] found type `std::result::Result<::Fr, bellperson::SynthesisError>` [INFO] [stderr] note: Perhaps two different versions of crate `bellperson` are being used? [INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/storage-proofs-0.6.2/src/circuit/vdf_post.rs:236:13 [INFO] [stderr] | [INFO] [stderr] 236 | vdf_key.ok_or_else(|| SynthesisError::AssignmentMissing) [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] error[E0277]: `?` couldn't convert the error to `bellperson::SynthesisError` [INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/storage-proofs-0.6.2/src/circuit/vdf_post.rs:237:11 [INFO] [stderr] | [INFO] [stderr] 237 | })?; [INFO] [stderr] | ^ the trait `std::convert::From` is not implemented for `bellperson::SynthesisError` [INFO] [stderr] | [INFO] [stderr] = note: the question mark operation (`?`) implicitly performs a conversion on the error value using the `From` trait [INFO] [stderr] = help: the following implementations were found: [INFO] [stderr] > [INFO] [stderr] = note: required by `std::convert::From::from` [INFO] [stderr] [INFO] [stderr] error[E0277]: the trait bound `bellperson::Namespace<'_, E, <>::Root as bellperson::ConstraintSystem>::Root>: bellperson::ConstraintSystem<_>` is not satisfied [INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/storage-proofs-0.6.2/src/circuit/vdf_post.rs:247:56 [INFO] [stderr] | [INFO] [stderr] 247 | let x_alloc = num::AllocatedNum::alloc(cs.namespace(|| "x"), || { [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^ the trait `bellperson::ConstraintSystem<_>` is not implemented for `bellperson::Namespace<'_, E, <>::Root as bellperson::ConstraintSystem>::Root>` [INFO] [stderr] | [INFO] [stderr] ::: /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/fil-sapling-crypto-0.1.2/src/circuit/num.rs:29:24 [INFO] [stderr] | [INFO] [stderr] 29 | F: FnOnce() -> Result, [INFO] [stderr] | ----------------------------- required by this bound in `fil_sapling_crypto::circuit::num::AllocatedNum::::alloc` [INFO] [stderr] [INFO] [stderr] error[E0308]: mismatched types [INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/storage-proofs-0.6.2/src/circuit/vdf_post.rs:248:21 [INFO] [stderr] | [INFO] [stderr] 248 | x.ok_or_else(|| SynthesisError::AssignmentMissing) [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected enum `bellperson::SynthesisError`, found a different enum `bellperson::SynthesisError` [INFO] [stderr] | [INFO] [stderr] = note: expected type `std::result::Result<_, bellperson::SynthesisError>` [INFO] [stderr] found type `std::result::Result<::Fr, bellperson::SynthesisError>` [INFO] [stderr] note: Perhaps two different versions of crate `bellperson` are being used? [INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/storage-proofs-0.6.2/src/circuit/vdf_post.rs:248:21 [INFO] [stderr] | [INFO] [stderr] 248 | x.ok_or_else(|| SynthesisError::AssignmentMissing) [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] error[E0277]: `?` couldn't convert the error to `bellperson::SynthesisError` [INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/storage-proofs-0.6.2/src/circuit/vdf_post.rs:249:19 [INFO] [stderr] | [INFO] [stderr] 249 | })?; [INFO] [stderr] | ^ the trait `std::convert::From` is not implemented for `bellperson::SynthesisError` [INFO] [stderr] | [INFO] [stderr] = note: the question mark operation (`?`) implicitly performs a conversion on the error value using the `From` trait [INFO] [stderr] = help: the following implementations were found: [INFO] [stderr] > [INFO] [stderr] = note: required by `std::convert::From::from` [INFO] [stderr] [INFO] [stderr] error[E0277]: the trait bound `bellperson::Namespace<'_, E, >::Root>: bellperson::ConstraintSystem<_>` is not satisfied [INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/storage-proofs-0.6.2/src/circuit/xor.rs:21:13 [INFO] [stderr] | [INFO] [stderr] 21 | Boolean::xor( [INFO] [stderr] | ^^^^^^^^^^^^ the trait `bellperson::ConstraintSystem<_>` is not implemented for `bellperson::Namespace<'_, E, >::Root>` [INFO] [stderr] | [INFO] [stderr] ::: /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/fil-sapling-crypto-0.1.2/src/circuit/boolean.rs:457:13 [INFO] [stderr] | [INFO] [stderr] 457 | CS: ConstraintSystem, [INFO] [stderr] | ------------------- required by this bound in `fil_sapling_crypto::circuit::boolean::Boolean::xor` [INFO] [stderr] [INFO] [stderr] error[E0277]: a collection of type `std::result::Result, bellperson::SynthesisError>` cannot be built from an iterator over elements of type `std::result::Result` [INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/storage-proofs-0.6.2/src/circuit/xor.rs:27:10 [INFO] [stderr] | [INFO] [stderr] 27 | .collect::, SynthesisError>>() [INFO] [stderr] | ^^^^^^^ a collection of type `std::result::Result, bellperson::SynthesisError>` cannot be built from `std::iter::Iterator>` [INFO] [stderr] | [INFO] [stderr] = help: the trait `std::iter::FromIterator>` is not implemented for `std::result::Result, bellperson::SynthesisError>` [INFO] [stderr] [INFO] [stderr] error[E0277]: the trait bound `bellperson::Namespace<'_, paired::bls12_381::Bls12, >::Root>: bellperson::ConstraintSystem<_>` is not satisfied [INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/storage-proofs-0.6.2/src/circuit/zigzag.rs:93:55 [INFO] [stderr] | [INFO] [stderr] 93 | let replica_id_num = num::AllocatedNum::alloc(cs.namespace(|| "replica_id"), || { [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `bellperson::ConstraintSystem<_>` is not implemented for `bellperson::Namespace<'_, paired::bls12_381::Bls12, >::Root>` [INFO] [stderr] | [INFO] [stderr] ::: /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/fil-sapling-crypto-0.1.2/src/circuit/num.rs:29:24 [INFO] [stderr] | [INFO] [stderr] 29 | F: FnOnce() -> Result, [INFO] [stderr] | ----------------------------- required by this bound in `fil_sapling_crypto::circuit::num::AllocatedNum::::alloc` [INFO] [stderr] [INFO] [stderr] Checking reqwest v0.9.22 [INFO] [stderr] error[E0308]: mismatched types [INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/storage-proofs-0.6.2/src/circuit/zigzag.rs:94:13 [INFO] [stderr] | [INFO] [stderr] 94 | / replica_id [INFO] [stderr] 95 | | .map(Into::into) [INFO] [stderr] 96 | | .ok_or_else(|| SynthesisError::AssignmentMissing) [INFO] [stderr] | |_________________________________________________________________^ expected enum `bellperson::SynthesisError`, found a different enum `bellperson::SynthesisError` [INFO] [stderr] | [INFO] [stderr] = note: expected type `std::result::Result<_, bellperson::SynthesisError>` [INFO] [stderr] found type `std::result::Result` [INFO] [stderr] note: Perhaps two different versions of crate `bellperson` are being used? [INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/storage-proofs-0.6.2/src/circuit/zigzag.rs:94:13 [INFO] [stderr] | [INFO] [stderr] 94 | / replica_id [INFO] [stderr] 95 | | .map(Into::into) [INFO] [stderr] 96 | | .ok_or_else(|| SynthesisError::AssignmentMissing) [INFO] [stderr] | |_________________________________________________________________^ [INFO] [stderr] [INFO] [stderr] error[E0277]: `?` couldn't convert the error to `bellperson::SynthesisError` [INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/storage-proofs-0.6.2/src/circuit/zigzag.rs:97:11 [INFO] [stderr] | [INFO] [stderr] 97 | })?; [INFO] [stderr] | ^ the trait `std::convert::From` is not implemented for `bellperson::SynthesisError` [INFO] [stderr] | [INFO] [stderr] = note: the question mark operation (`?`) implicitly performs a conversion on the error value using the `From` trait [INFO] [stderr] = help: the following implementations were found: [INFO] [stderr] > [INFO] [stderr] = note: required by `std::convert::From::from` [INFO] [stderr] [INFO] [stderr] error[E0277]: the trait bound `bellperson::Namespace<'_, paired::bls12_381::Bls12, >::Root>: bellperson::ConstraintSystem<_>` is not satisfied [INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/storage-proofs-0.6.2/src/circuit/zigzag.rs:100:54 [INFO] [stderr] | [INFO] [stderr] 100 | let public_comm_d = num::AllocatedNum::alloc(cs.namespace(|| "public_comm_d"), || { [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `bellperson::ConstraintSystem<_>` is not implemented for `bellperson::Namespace<'_, paired::bls12_381::Bls12, >::Root>` [INFO] [stderr] | [INFO] [stderr] ::: /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/fil-sapling-crypto-0.1.2/src/circuit/num.rs:29:24 [INFO] [stderr] | [INFO] [stderr] 29 | F: FnOnce() -> Result, [INFO] [stderr] | ----------------------------- required by this bound in `fil_sapling_crypto::circuit::num::AllocatedNum::::alloc` [INFO] [stderr] [INFO] [stderr] error[E0308]: mismatched types [INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/storage-proofs-0.6.2/src/circuit/zigzag.rs:102:13 [INFO] [stderr] | [INFO] [stderr] 102 | opt.ok_or_else(|| SynthesisError::AssignmentMissing) [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected enum `bellperson::SynthesisError`, found a different enum `bellperson::SynthesisError` [INFO] [stderr] | [INFO] [stderr] = note: expected type `std::result::Result<_, bellperson::SynthesisError>` [INFO] [stderr] found type `std::result::Result` [INFO] [stderr] note: Perhaps two different versions of crate `bellperson` are being used? [INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/storage-proofs-0.6.2/src/circuit/zigzag.rs:102:13 [INFO] [stderr] | [INFO] [stderr] 102 | opt.ok_or_else(|| SynthesisError::AssignmentMissing) [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] error[E0277]: `?` couldn't convert the error to `bellperson::SynthesisError` [INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/storage-proofs-0.6.2/src/circuit/zigzag.rs:103:11 [INFO] [stderr] | [INFO] [stderr] 103 | })?; [INFO] [stderr] | ^ the trait `std::convert::From` is not implemented for `bellperson::SynthesisError` [INFO] [stderr] | [INFO] [stderr] = note: the question mark operation (`?`) implicitly performs a conversion on the error value using the `From` trait [INFO] [stderr] = help: the following implementations were found: [INFO] [stderr] > [INFO] [stderr] = note: required by `std::convert::From::from` [INFO] [stderr] [INFO] [stderr] error[E0277]: the trait bound `bellperson::Namespace<'_, paired::bls12_381::Bls12, >::Root>: bellperson::ConstraintSystem<_>` is not satisfied [INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/storage-proofs-0.6.2/src/circuit/zigzag.rs:106:32 [INFO] [stderr] | [INFO] [stderr] 106 | public_comm_d.inputize(cs.namespace(|| "zigzag_comm_d"))?; [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `bellperson::ConstraintSystem<_>` is not implemented for `bellperson::Namespace<'_, paired::bls12_381::Bls12, >::Root>` [INFO] [stderr] [INFO] [stderr] error[E0277]: `?` couldn't convert the error to `bellperson::SynthesisError` [INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/storage-proofs-0.6.2/src/circuit/zigzag.rs:106:65 [INFO] [stderr] | [INFO] [stderr] 106 | public_comm_d.inputize(cs.namespace(|| "zigzag_comm_d"))?; [INFO] [stderr] | ^ the trait `std::convert::From` is not implemented for `bellperson::SynthesisError` [INFO] [stderr] | [INFO] [stderr] = note: the question mark operation (`?`) implicitly performs a conversion on the error value using the `From` trait [INFO] [stderr] = help: the following implementations were found: [INFO] [stderr] > [INFO] [stderr] = note: required by `std::convert::From::from` [INFO] [stderr] [INFO] [stderr] error[E0277]: the trait bound `bellperson::Namespace<'_, paired::bls12_381::Bls12, >::Root>: bellperson::ConstraintSystem<_>` is not satisfied [INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/storage-proofs-0.6.2/src/circuit/zigzag.rs:109:54 [INFO] [stderr] | [INFO] [stderr] 109 | let public_comm_r = num::AllocatedNum::alloc(cs.namespace(|| "public_comm_r"), || { [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `bellperson::ConstraintSystem<_>` is not implemented for `bellperson::Namespace<'_, paired::bls12_381::Bls12, >::Root>` [INFO] [stderr] | [INFO] [stderr] ::: /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/fil-sapling-crypto-0.1.2/src/circuit/num.rs:29:24 [INFO] [stderr] | [INFO] [stderr] 29 | F: FnOnce() -> Result, [INFO] [stderr] | ----------------------------- required by this bound in `fil_sapling_crypto::circuit::num::AllocatedNum::::alloc` [INFO] [stderr] [INFO] [stderr] error[E0308]: mismatched types [INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/storage-proofs-0.6.2/src/circuit/zigzag.rs:111:13 [INFO] [stderr] | [INFO] [stderr] 111 | opt.ok_or_else(|| SynthesisError::AssignmentMissing) [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected enum `bellperson::SynthesisError`, found a different enum `bellperson::SynthesisError` [INFO] [stderr] | [INFO] [stderr] = note: expected type `std::result::Result<_, bellperson::SynthesisError>` [INFO] [stderr] found type `std::result::Result` [INFO] [stderr] note: Perhaps two different versions of crate `bellperson` are being used? [INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/storage-proofs-0.6.2/src/circuit/zigzag.rs:111:13 [INFO] [stderr] | [INFO] [stderr] 111 | opt.ok_or_else(|| SynthesisError::AssignmentMissing) [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] error[E0277]: `?` couldn't convert the error to `bellperson::SynthesisError` [INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/storage-proofs-0.6.2/src/circuit/zigzag.rs:112:11 [INFO] [stderr] | [INFO] [stderr] 112 | })?; [INFO] [stderr] | ^ the trait `std::convert::From` is not implemented for `bellperson::SynthesisError` [INFO] [stderr] | [INFO] [stderr] = note: the question mark operation (`?`) implicitly performs a conversion on the error value using the `From` trait [INFO] [stderr] = help: the following implementations were found: [INFO] [stderr] > [INFO] [stderr] = note: required by `std::convert::From::from` [INFO] [stderr] [INFO] [stderr] error[E0277]: the trait bound `bellperson::Namespace<'_, paired::bls12_381::Bls12, >::Root>: bellperson::ConstraintSystem<_>` is not satisfied [INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/storage-proofs-0.6.2/src/circuit/zigzag.rs:115:32 [INFO] [stderr] | [INFO] [stderr] 115 | public_comm_r.inputize(cs.namespace(|| "zigzag_comm_r"))?; [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `bellperson::ConstraintSystem<_>` is not implemented for `bellperson::Namespace<'_, paired::bls12_381::Bls12, >::Root>` [INFO] [stderr] [INFO] [stderr] error[E0277]: `?` couldn't convert the error to `bellperson::SynthesisError` [INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/storage-proofs-0.6.2/src/circuit/zigzag.rs:115:65 [INFO] [stderr] | [INFO] [stderr] 115 | public_comm_r.inputize(cs.namespace(|| "zigzag_comm_r"))?; [INFO] [stderr] | ^ the trait `std::convert::From` is not implemented for `bellperson::SynthesisError` [INFO] [stderr] | [INFO] [stderr] = note: the question mark operation (`?`) implicitly performs a conversion on the error value using the `From` trait [INFO] [stderr] = help: the following implementations were found: [INFO] [stderr] > [INFO] [stderr] = note: required by `std::convert::From::from` [INFO] [stderr] [INFO] [stderr] error[E0277]: the trait bound `bellperson::Namespace<'_, paired::bls12_381::Bls12, >::Root>: bellperson::ConstraintSystem<_>` is not satisfied [INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/storage-proofs-0.6.2/src/circuit/zigzag.rs:156:21 [INFO] [stderr] | [INFO] [stderr] 156 | &mut cs.namespace(|| format!("layer {} comm_r", l)), [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `bellperson::ConstraintSystem<_>` is not implemented for `bellperson::Namespace<'_, paired::bls12_381::Bls12, >::Root>` [INFO] [stderr] | [INFO] [stderr] ::: /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/fil-sapling-crypto-0.1.2/src/circuit/num.rs:29:24 [INFO] [stderr] | [INFO] [stderr] 29 | F: FnOnce() -> Result, [INFO] [stderr] | ----------------------------- required by this bound in `fil_sapling_crypto::circuit::num::AllocatedNum::::alloc` [INFO] [stderr] | [INFO] [stderr] = note: required because of the requirements on the impl of `bellperson::ConstraintSystem<_>` for `&mut bellperson::Namespace<'_, paired::bls12_381::Bls12, >::Root>` [INFO] [stderr] [INFO] [stderr] error[E0308]: mismatched types [INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/storage-proofs-0.6.2/src/circuit/zigzag.rs:158:25 [INFO] [stderr] | [INFO] [stderr] 158 | / layer_proof [INFO] [stderr] 159 | | .map(|proof| proof.replica_root.into()) [INFO] [stderr] 160 | | .ok_or_else(|| SynthesisError::AssignmentMissing) [INFO] [stderr] | |_____________________________________________________________________________^ expected enum `bellperson::SynthesisError`, found a different enum `bellperson::SynthesisError` [INFO] [stderr] | [INFO] [stderr] = note: expected type `std::result::Result<_, bellperson::SynthesisError>` [INFO] [stderr] found type `std::result::Result` [INFO] [stderr] note: Perhaps two different versions of crate `bellperson` are being used? [INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/storage-proofs-0.6.2/src/circuit/zigzag.rs:158:25 [INFO] [stderr] | [INFO] [stderr] 158 | / layer_proof [INFO] [stderr] 159 | | .map(|proof| proof.replica_root.into()) [INFO] [stderr] 160 | | .ok_or_else(|| SynthesisError::AssignmentMissing) [INFO] [stderr] | |_____________________________________________________________________________^ [INFO] [stderr] [INFO] [stderr] error[E0277]: `?` couldn't convert the error to `bellperson::SynthesisError` [INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/storage-proofs-0.6.2/src/circuit/zigzag.rs:162:18 [INFO] [stderr] | [INFO] [stderr] 162 | )? [INFO] [stderr] | ^ the trait `std::convert::From` is not implemented for `bellperson::SynthesisError` [INFO] [stderr] | [INFO] [stderr] = note: the question mark operation (`?`) implicitly performs a conversion on the error value using the `From` trait [INFO] [stderr] = help: the following implementations were found: [INFO] [stderr] > [INFO] [stderr] = note: required by `std::convert::From::from` [INFO] [stderr] [INFO] [stderr] error[E0277]: the trait bound `bellperson::Namespace<'_, paired::bls12_381::Bls12, >::Root>: bellperson::ConstraintSystem<_>` is not satisfied [INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/storage-proofs-0.6.2/src/circuit/zigzag.rs:209:45 [INFO] [stderr] | [INFO] [stderr] 209 | replica_id_num.into_bits_le(cs.namespace(|| "replica_id_bits"))?; [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `bellperson::ConstraintSystem<_>` is not implemented for `bellperson::Namespace<'_, paired::bls12_381::Bls12, >::Root>` [INFO] [stderr] [INFO] [stderr] error[E0277]: `?` couldn't convert the error to `bellperson::SynthesisError` [INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/storage-proofs-0.6.2/src/circuit/zigzag.rs:209:80 [INFO] [stderr] | [INFO] [stderr] 209 | replica_id_num.into_bits_le(cs.namespace(|| "replica_id_bits"))?; [INFO] [stderr] | ^ the trait `std::convert::From` is not implemented for `bellperson::SynthesisError` [INFO] [stderr] | [INFO] [stderr] = note: the question mark operation (`?`) implicitly performs a conversion on the error value using the `From` trait [INFO] [stderr] = help: the following implementations were found: [INFO] [stderr] > [INFO] [stderr] = note: required by `std::convert::From::from` [INFO] [stderr] [INFO] [stderr] error[E0277]: the trait bound `bellperson::Namespace<'_, paired::bls12_381::Bls12, >::Root>: bellperson::ConstraintSystem` is not satisfied [INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/storage-proofs-0.6.2/src/circuit/zigzag.rs:218:49 [INFO] [stderr] | [INFO] [stderr] 218 | .extend(comm_r.into_bits_le(cs.namespace(|| format!("comm_r-bits-{}", i)))?); [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `bellperson::ConstraintSystem` is not implemented for `bellperson::Namespace<'_, paired::bls12_381::Bls12, >::Root>` [INFO] [stderr] [INFO] [stderr] error[E0277]: `?` couldn't convert the error to `bellperson::SynthesisError` [INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/storage-proofs-0.6.2/src/circuit/zigzag.rs:218:95 [INFO] [stderr] | [INFO] [stderr] 218 | .extend(comm_r.into_bits_le(cs.namespace(|| format!("comm_r-bits-{}", i)))?); [INFO] [stderr] | ^ the trait `std::convert::From` is not implemented for `bellperson::SynthesisError` [INFO] [stderr] | [INFO] [stderr] = note: the question mark operation (`?`) implicitly performs a conversion on the error value using the `From` trait [INFO] [stderr] = help: the following implementations were found: [INFO] [stderr] > [INFO] [stderr] = note: required by `std::convert::From::from` [INFO] [stderr] [INFO] [stderr] error[E0277]: the trait bound `bellperson::Namespace<'_, paired::bls12_381::Bls12, >::Root>: bellperson::ConstraintSystem<_>` is not satisfied [INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/storage-proofs-0.6.2/src/circuit/zigzag.rs:234:42 [INFO] [stderr] | [INFO] [stderr] 234 | num::AllocatedNum::alloc(cs.namespace(|| "public comm_r_star value"), || { [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `bellperson::ConstraintSystem<_>` is not implemented for `bellperson::Namespace<'_, paired::bls12_381::Bls12, >::Root>` [INFO] [stderr] | [INFO] [stderr] ::: /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/fil-sapling-crypto-0.1.2/src/circuit/num.rs:29:24 [INFO] [stderr] | [INFO] [stderr] 29 | F: FnOnce() -> Result, [INFO] [stderr] | ----------------------------- required by this bound in `fil_sapling_crypto::circuit::num::AllocatedNum::::alloc` [INFO] [stderr] [INFO] [stderr] error[E0308]: mismatched types [INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/storage-proofs-0.6.2/src/circuit/zigzag.rs:235:21 [INFO] [stderr] | [INFO] [stderr] 235 | / self.comm_r_star [INFO] [stderr] 236 | | .ok_or_else(|| SynthesisError::AssignmentMissing) [INFO] [stderr] 237 | | .map(Into::into) [INFO] [stderr] | |________________________________________^ expected enum `bellperson::SynthesisError`, found a different enum `bellperson::SynthesisError` [INFO] [stderr] | [INFO] [stderr] = note: expected type `std::result::Result<_, bellperson::SynthesisError>` [INFO] [stderr] found type `std::result::Result` [INFO] [stderr] note: Perhaps two different versions of crate `bellperson` are being used? [INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/storage-proofs-0.6.2/src/circuit/zigzag.rs:235:21 [INFO] [stderr] | [INFO] [stderr] 235 | / self.comm_r_star [INFO] [stderr] 236 | | .ok_or_else(|| SynthesisError::AssignmentMissing) [INFO] [stderr] 237 | | .map(Into::into) [INFO] [stderr] | |________________________________________^ [INFO] [stderr] [INFO] [stderr] error[E0277]: `?` couldn't convert the error to `bellperson::SynthesisError` [INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/storage-proofs-0.6.2/src/circuit/zigzag.rs:238:19 [INFO] [stderr] | [INFO] [stderr] 238 | })?; [INFO] [stderr] | ^ the trait `std::convert::From` is not implemented for `bellperson::SynthesisError` [INFO] [stderr] | [INFO] [stderr] = note: the question mark operation (`?`) implicitly performs a conversion on the error value using the `From` trait [INFO] [stderr] = help: the following implementations were found: [INFO] [stderr] > [INFO] [stderr] = note: required by `std::convert::From::from` [INFO] [stderr] [INFO] [stderr] error[E0277]: the trait bound `bellperson::Namespace<'_, paired::bls12_381::Bls12, >::Root>: bellperson::ConstraintSystem` is not satisfied [INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/storage-proofs-0.6.2/src/circuit/zigzag.rs:249:41 [INFO] [stderr] | [INFO] [stderr] 249 | public_comm_r_star.inputize(cs.namespace(|| "zigzag comm_r_star"))?; [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `bellperson::ConstraintSystem` is not implemented for `bellperson::Namespace<'_, paired::bls12_381::Bls12, >::Root>` [INFO] [stderr] [INFO] [stderr] error[E0277]: `?` couldn't convert the error to `bellperson::SynthesisError` [INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/storage-proofs-0.6.2/src/circuit/zigzag.rs:249:79 [INFO] [stderr] | [INFO] [stderr] 249 | public_comm_r_star.inputize(cs.namespace(|| "zigzag comm_r_star"))?; [INFO] [stderr] | ^ the trait `std::convert::From` is not implemented for `bellperson::SynthesisError` [INFO] [stderr] | [INFO] [stderr] = note: the question mark operation (`?`) implicitly performs a conversion on the error value using the `From` trait [INFO] [stderr] = help: the following implementations were found: [INFO] [stderr] > [INFO] [stderr] = note: required by `std::convert::From::from` [INFO] [stderr] [INFO] [stderr] error[E0277]: the trait bound `bellperson::Namespace<'_, E, >::Root>: bellperson::ConstraintSystem<_>` is not satisfied [INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/storage-proofs-0.6.2/src/hasher/blake2s.rs:239:13 [INFO] [stderr] | [INFO] [stderr] 239 | blake2s_circuit::blake2s(cs.namespace(|| "hash"), &bits[..], &personalization)?; [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^ the trait `bellperson::ConstraintSystem<_>` is not implemented for `bellperson::Namespace<'_, E, >::Root>` [INFO] [stderr] | [INFO] [stderr] ::: /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/fil-sapling-crypto-0.1.2/src/circuit/blake2s.rs:342:31 [INFO] [stderr] | [INFO] [stderr] 342 | pub fn blake2s>( [INFO] [stderr] | ------------------- required by this bound in `fil_sapling_crypto::circuit::blake2s::blake2s` [INFO] [stderr] [INFO] [stderr] error[E0277]: `?` couldn't convert the error to `bellperson::SynthesisError` [INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/storage-proofs-0.6.2/src/hasher/blake2s.rs:239:91 [INFO] [stderr] | [INFO] [stderr] 239 | blake2s_circuit::blake2s(cs.namespace(|| "hash"), &bits[..], &personalization)?; [INFO] [stderr] | ^ the trait `std::convert::From` is not implemented for `bellperson::SynthesisError` [INFO] [stderr] | [INFO] [stderr] = note: the question mark operation (`?`) implicitly performs a conversion on the error value using the `From` trait [INFO] [stderr] = help: the following implementations were found: [INFO] [stderr] > [INFO] [stderr] = note: required by `std::convert::From::from` [INFO] [stderr] [INFO] [stderr] error[E0277]: the trait bound `bellperson::Namespace<'_, E, >::Root>: bellperson::ConstraintSystem` is not satisfied [INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/storage-proofs-0.6.2/src/hasher/blake2s.rs:253:39 [INFO] [stderr] | [INFO] [stderr] 253 | num::AllocatedNum::::alloc(cs.namespace(|| "num"), || fr) [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^ the trait `bellperson::ConstraintSystem` is not implemented for `bellperson::Namespace<'_, E, >::Root>` [INFO] [stderr] | [INFO] [stderr] ::: /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/fil-sapling-crypto-0.1.2/src/circuit/num.rs:29:24 [INFO] [stderr] | [INFO] [stderr] 29 | F: FnOnce() -> Result, [INFO] [stderr] | ----------------------------- required by this bound in `fil_sapling_crypto::circuit::num::AllocatedNum::::alloc` [INFO] [stderr] [INFO] [stderr] error[E0308]: mismatched types [INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/storage-proofs-0.6.2/src/hasher/blake2s.rs:253:66 [INFO] [stderr] | [INFO] [stderr] 253 | num::AllocatedNum::::alloc(cs.namespace(|| "num"), || fr) [INFO] [stderr] | ^^ expected enum `bellperson::SynthesisError`, found a different enum `bellperson::SynthesisError` [INFO] [stderr] | [INFO] [stderr] = note: expected type `std::result::Result<_, bellperson::SynthesisError>` (enum `bellperson::SynthesisError`) [INFO] [stderr] found type `std::result::Result<_, bellperson::SynthesisError>` (enum `bellperson::SynthesisError`) [INFO] [stderr] note: Perhaps two different versions of crate `bellperson` are being used? [INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/storage-proofs-0.6.2/src/hasher/blake2s.rs:253:66 [INFO] [stderr] | [INFO] [stderr] 253 | num::AllocatedNum::::alloc(cs.namespace(|| "num"), || fr) [INFO] [stderr] | ^^ [INFO] [stderr] [INFO] [stderr] error[E0308]: mismatched types [INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/storage-proofs-0.6.2/src/hasher/blake2s.rs:253:9 [INFO] [stderr] | [INFO] [stderr] 236 | ) -> std::result::Result, SynthesisError> { [INFO] [stderr] | --------------------------------------------------------- expected `std::result::Result, bellperson::SynthesisError>` because of return type [INFO] [stderr] ... [INFO] [stderr] 253 | num::AllocatedNum::::alloc(cs.namespace(|| "num"), || fr) [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected enum `bellperson::SynthesisError`, found a different enum `bellperson::SynthesisError` [INFO] [stderr] | [INFO] [stderr] = note: expected type `std::result::Result<_, bellperson::SynthesisError>` (enum `bellperson::SynthesisError`) [INFO] [stderr] found type `std::result::Result<_, bellperson::SynthesisError>` (enum `bellperson::SynthesisError`) [INFO] [stderr] note: Perhaps two different versions of crate `bellperson` are being used? [INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/storage-proofs-0.6.2/src/hasher/blake2s.rs:253:9 [INFO] [stderr] | [INFO] [stderr] 253 | num::AllocatedNum::::alloc(cs.namespace(|| "num"), || fr) [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] error[E0277]: the trait bound `CS: bellperson::ConstraintSystem<_>` is not satisfied [INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/storage-proofs-0.6.2/src/hasher/pedersen.rs:207:13 [INFO] [stderr] | [INFO] [stderr] 207 | pedersen_hash_circuit::pedersen_hash(cs, Personalization::None, &preimage, params)? [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `bellperson::ConstraintSystem<_>` is not implemented for `CS` [INFO] [stderr] | [INFO] [stderr] ::: /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/fil-sapling-crypto-0.1.2/src/circuit/pedersen_hash.rs:25:9 [INFO] [stderr] | [INFO] [stderr] 25 | CS: ConstraintSystem, [INFO] [stderr] | ------------------- required by this bound in `fil_sapling_crypto::circuit::pedersen_hash::pedersen_hash` [INFO] [stderr] | [INFO] [stderr] = help: the following implementations were found: [INFO] [stderr] <&'cs mut CS as bellperson::ConstraintSystem> [INFO] [stderr] [INFO] [stderr] error[E0277]: `?` couldn't convert the error to `bellperson::SynthesisError` [INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/storage-proofs-0.6.2/src/hasher/pedersen.rs:207:95 [INFO] [stderr] | [INFO] [stderr] 207 | pedersen_hash_circuit::pedersen_hash(cs, Personalization::None, &preimage, params)? [INFO] [stderr] | ^ the trait `std::convert::From` is not implemented for `bellperson::SynthesisError` [INFO] [stderr] | [INFO] [stderr] = note: the question mark operation (`?`) implicitly performs a conversion on the error value using the `From` trait [INFO] [stderr] = help: the following implementations were found: [INFO] [stderr] > [INFO] [stderr] = note: required by `std::convert::From::from` [INFO] [stderr] [INFO] [stderr] error[E0277]: the trait bound `bellperson::Namespace<'_, E, >::Root>: bellperson::ConstraintSystem<_>` is not satisfied [INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/storage-proofs-0.6.2/src/util.rs:49:17 [INFO] [stderr] | [INFO] [stderr] 49 | cs.namespace(|| format!("bit {}", i)), [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `bellperson::ConstraintSystem<_>` is not implemented for `bellperson::Namespace<'_, E, >::Root>` [INFO] [stderr] | [INFO] [stderr] ::: /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/fil-sapling-crypto-0.1.2/src/circuit/boolean.rs:73:13 [INFO] [stderr] | [INFO] [stderr] 73 | CS: ConstraintSystem, [INFO] [stderr] | ------------------- required by this bound in `fil_sapling_crypto::circuit::boolean::AllocatedBit::alloc` [INFO] [stderr] [INFO] [stderr] error[E0277]: `?` couldn't convert the error to `bellperson::SynthesisError` [INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/storage-proofs-0.6.2/src/util.rs:51:14 [INFO] [stderr] | [INFO] [stderr] 51 | )?)) [INFO] [stderr] | ^ the trait `std::convert::From` is not implemented for `bellperson::SynthesisError` [INFO] [stderr] | [INFO] [stderr] = note: the question mark operation (`?`) implicitly performs a conversion on the error value using the `From` trait [INFO] [stderr] = help: the following implementations were found: [INFO] [stderr] > [INFO] [stderr] = note: required by `std::convert::From::from` [INFO] [stderr] [INFO] [stderr] error: aborting due to 147 previous errors [INFO] [stderr] [INFO] [stderr] Some errors have detailed explanations: E0277, E0308. [INFO] [stderr] For more information about an error, try `rustc --explain E0277`. [INFO] [stderr] error: could not compile `storage-proofs`. [INFO] [stderr] [INFO] [stderr] To learn more, run the command again with --verbose. [INFO] running `"docker" "inspect" "575c945f50239e0a1c13099581759a9ab2ac59881d253361f6b8b27a77295eb2"` [INFO] running `"docker" "rm" "-f" "575c945f50239e0a1c13099581759a9ab2ac59881d253361f6b8b27a77295eb2"` [INFO] [stdout] 575c945f50239e0a1c13099581759a9ab2ac59881d253361f6b8b27a77295eb2