Created
April 18, 2024 13:39
-
-
Save huitseeker/add807778c9379edcdc194fee6b45bed to your computer and use it in GitHub Desktop.
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Checking circom-scotia v0.2.0 (https://github.com/lurk-lab/circom-scotia?branch=dev#e1ab689b) | |
| Checking arecibo v0.2.0 (https://github.com/lurk-lab/arecibo?branch=cache-witnesses#a4c4d23c) | |
| Checking statrs v0.16.0 | |
| error[E0277]: `?` couldn't convert the error to `SynthesisError` | |
| --> /Users/huitseeker/.cargo/git/checkouts/arecibo-52a2a9b2ca3ccd95/a4c4d23/src/circuit.rs:133:78 | |
| | | |
| 133 | let i = AllocatedNum::alloc(cs.namespace(|| "i"), || Ok(self.inputs.get()?.i))?; | |
| | ^ the trait `From<bellpepper_core::constraint_system::SynthesisError>` is not implemented for `SynthesisError` | |
| | | |
| = note: the question mark operation (`?`) implicitly performs a conversion on the error value using the `From` trait | |
| = help: the trait `From<std::io::Error>` is implemented for `SynthesisError` | |
| = help: for that trait implementation, expected `std::io::Error`, found `bellpepper_core::constraint_system::SynthesisError` | |
| = note: required for `Result<<E as traits::Engine>::Base, SynthesisError>` to implement `FromResidual<Result<Infallible, bellpepper_core::constraint_system::SynthesisError>>` | |
| error[E0277]: `?` couldn't convert the error to `SynthesisError` | |
| --> /Users/huitseeker/.cargo/git/checkouts/arecibo-52a2a9b2ca3ccd95/a4c4d23/src/circuit.rs:139:31 | |
| | | |
| 139 | Ok(self.inputs.get()?.z0[i]) | |
| | ^ the trait `From<bellpepper_core::constraint_system::SynthesisError>` is not implemented for `SynthesisError` | |
| | | |
| = note: the question mark operation (`?`) implicitly performs a conversion on the error value using the `From` trait | |
| = help: the trait `From<std::io::Error>` is implemented for `SynthesisError` | |
| = help: for that trait implementation, expected `std::io::Error`, found `bellpepper_core::constraint_system::SynthesisError` | |
| = note: required for `Result<<E as traits::Engine>::Base, SynthesisError>` to implement `FromResidual<Result<Infallible, bellpepper_core::constraint_system::SynthesisError>>` | |
| error[E0277]: `?` couldn't convert the error to `SynthesisError` | |
| --> /Users/huitseeker/.cargo/git/checkouts/arecibo-52a2a9b2ca3ccd95/a4c4d23/src/circuit.rs:149:31 | |
| | | |
| 149 | Ok(self.inputs.get()?.zi.as_ref().unwrap_or(&zero)[i]) | |
| | ^ the trait `From<bellpepper_core::constraint_system::SynthesisError>` is not implemented for `SynthesisError` | |
| | | |
| = note: the question mark operation (`?`) implicitly performs a conversion on the error value using the `From` trait | |
| = help: the trait `From<std::io::Error>` is implemented for `SynthesisError` | |
| = help: for that trait implementation, expected `std::io::Error`, found `bellpepper_core::constraint_system::SynthesisError` | |
| = note: required for `Result<<E as traits::Engine>::Base, SynthesisError>` to implement `FromResidual<Result<Infallible, bellpepper_core::constraint_system::SynthesisError>>` | |
| error[E0308]: mismatched types | |
| --> /Users/huitseeker/.cargo/git/checkouts/arecibo-52a2a9b2ca3ccd95/a4c4d23/src/circuit.rs:239:7 | |
| | | |
| 237 | let check_pass = alloc_num_equals( | |
| | ---------------- arguments to this function are incorrect | |
| 238 | cs.namespace(|| "check consistency of u.X[0] with H(params, U, i, z0, zi)"), | |
| 239 | &u.X0, | |
| | ^^^^^ expected `AllocatedNum<<E as Engine>::Base>`, found a different `AllocatedNum<<E as Engine>::Base>` | |
| | | |
| = note: `AllocatedNum<<E as Engine>::Base>` and `AllocatedNum<<E as Engine>::Base>` have similar names, but are actually distinct types | |
| note: `AllocatedNum<<E as Engine>::Base>` is defined in crate `bellpepper_core` | |
| --> /Users/huitseeker/.cargo/registry/src/index.crates.io-6f17d22bba15001f/bellpepper-core-0.4.0/src/gadgets/num.rs:11:1 | |
| | | |
| 11 | pub struct AllocatedNum<Scalar: PrimeField> { | |
| | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ | |
| note: `AllocatedNum<<E as Engine>::Base>` is defined in crate `bellpepper_core` | |
| --> /Users/huitseeker/.cargo/git/checkouts/bellpepper-de0fda70c41e6ae9/1afbae9/crates/bellpepper-core/src/gadgets/num.rs:11:1 | |
| | | |
| 11 | pub struct AllocatedNum<Scalar: PrimeField> { | |
| | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ | |
| = note: perhaps two different versions of crate `bellpepper_core` are being used? | |
| note: function defined here | |
| --> /Users/huitseeker/.cargo/git/checkouts/arecibo-52a2a9b2ca3ccd95/a4c4d23/src/gadgets/utils.rs:138:8 | |
| | | |
| 138 | pub fn alloc_num_equals<F: PrimeField, CS: ConstraintSystem<F>>( | |
| | ^^^^^^^^^^^^^^^^ | |
| 139 | mut cs: CS, | |
| 140 | a: &AllocatedNum<F>, | |
| | ------------------- | |
| error[E0308]: mismatched types | |
| --> /Users/huitseeker/.cargo/git/checkouts/arecibo-52a2a9b2ca3ccd95/a4c4d23/src/circuit.rs:246:7 | |
| | | |
| 244 | let U_fold = U.fold_with_r1cs( | |
| | -------------- arguments to this method are incorrect | |
| 245 | cs.namespace(|| "compute fold of U and u"), | |
| 246 | params, | |
| | ^^^^^^ expected `AllocatedNum<<E as Engine>::Base>`, found a different `AllocatedNum<<E as Engine>::Base>` | |
| | | |
| = note: `AllocatedNum<<E as Engine>::Base>` and `AllocatedNum<<E as Engine>::Base>` have similar names, but are actually distinct types | |
| note: `AllocatedNum<<E as Engine>::Base>` is defined in crate `bellpepper_core` | |
| --> /Users/huitseeker/.cargo/git/checkouts/bellpepper-de0fda70c41e6ae9/1afbae9/crates/bellpepper-core/src/gadgets/num.rs:11:1 | |
| | | |
| 11 | pub struct AllocatedNum<Scalar: PrimeField> { | |
| | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ | |
| note: `AllocatedNum<<E as Engine>::Base>` is defined in crate `bellpepper_core` | |
| --> /Users/huitseeker/.cargo/registry/src/index.crates.io-6f17d22bba15001f/bellpepper-core-0.4.0/src/gadgets/num.rs:11:1 | |
| | | |
| 11 | pub struct AllocatedNum<Scalar: PrimeField> { | |
| | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ | |
| = note: perhaps two different versions of crate `bellpepper_core` are being used? | |
| note: method defined here | |
| --> /Users/huitseeker/.cargo/git/checkouts/arecibo-52a2a9b2ca3ccd95/a4c4d23/src/gadgets/r1cs.rs:229:10 | |
| | | |
| 229 | pub fn fold_with_r1cs<CS: ConstraintSystem<<E as Engine>::Base>>( | |
| | ^^^^^^^^^^^^^^ | |
| ... | |
| 232 | params: &AllocatedNum<E::Base>, // hash of R1CSShape of F' | |
| | ------------------------------ | |
| error[E0308]: mismatched types | |
| --> /Users/huitseeker/.cargo/git/checkouts/arecibo-52a2a9b2ca3ccd95/a4c4d23/src/circuit.rs:308:7 | |
| | | |
| 305 | let Unew = Unew_base.conditionally_select( | |
| | -------------------- arguments to this method are incorrect | |
| ... | |
| 308 | &Boolean::from(is_base_case.clone()), | |
| | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected `Boolean`, found `bellpepper_core::boolean::Boolean` | |
| | | |
| = note: `bellpepper_core::boolean::Boolean` and `Boolean` have similar names, but are actually distinct types | |
| note: `bellpepper_core::boolean::Boolean` is defined in crate `bellpepper_core` | |
| --> /Users/huitseeker/.cargo/git/checkouts/bellpepper-de0fda70c41e6ae9/1afbae9/crates/bellpepper-core/src/gadgets/boolean.rs:369:1 | |
| | | |
| 369 | pub enum Boolean { | |
| | ^^^^^^^^^^^^^^^^ | |
| note: `Boolean` is defined in crate `bellpepper_core` | |
| --> /Users/huitseeker/.cargo/registry/src/index.crates.io-6f17d22bba15001f/bellpepper-core-0.4.0/src/gadgets/boolean.rs:369:1 | |
| | | |
| 369 | pub enum Boolean { | |
| | ^^^^^^^^^^^^^^^^ | |
| = note: perhaps two different versions of crate `bellpepper_core` are being used? | |
| note: method defined here | |
| --> /Users/huitseeker/.cargo/git/checkouts/arecibo-52a2a9b2ca3ccd95/a4c4d23/src/gadgets/r1cs.rs:328:10 | |
| | | |
| 328 | pub fn conditionally_select<CS: ConstraintSystem<<E as Engine>::Base>>( | |
| | ^^^^^^^^^^^^^^^^^^^^ | |
| ... | |
| 332 | condition: &Boolean, | |
| | ------------------- | |
| error[E0277]: `?` couldn't convert the error to `SynthesisError` | |
| --> /Users/huitseeker/.cargo/git/checkouts/arecibo-52a2a9b2ca3ccd95/a4c4d23/src/circuit.rs:313:30 | |
| | | |
| 313 | Ok(*i.get_value().get()? + E::Base::ONE) | |
| | ^ the trait `From<bellpepper_core::constraint_system::SynthesisError>` is not implemented for `SynthesisError` | |
| | | |
| = note: the question mark operation (`?`) implicitly performs a conversion on the error value using the `From` trait | |
| = help: the trait `From<std::io::Error>` is implemented for `SynthesisError` | |
| = help: for that trait implementation, expected `std::io::Error`, found `bellpepper_core::constraint_system::SynthesisError` | |
| = note: required for `Result<<E as traits::Engine>::Base, SynthesisError>` to implement `FromResidual<Result<Infallible, bellpepper_core::constraint_system::SynthesisError>>` | |
| error[E0277]: the trait bound `Namespace<'_, <E as traits::Engine>::Base, <CS as ConstraintSystem<<E as traits::Engine>::Base>>::Root>: bellpepper_core::constraint_system::ConstraintSystem<<E as traits::Engine>::Base>` is not satisfied | |
| --> /Users/huitseeker/.cargo/git/checkouts/arecibo-52a2a9b2ca3ccd95/a4c4d23/src/circuit.rs:356:17 | |
| | | |
| 356 | .inputize(cs.namespace(|| "Output unmodified hash of the other circuit"))?; | |
| | -------- ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `bellpepper_core::constraint_system::ConstraintSystem<<E as traits::Engine>::Base>` is not implemented for `Namespace<'_, <E as traits::Engine>::Base, <CS as ConstraintSystem<<E as traits::Engine>::Base>>::Root>` | |
| | | | |
| | required by a bound introduced by this call | |
| | | |
| = help: the following other types implement trait `bellpepper_core::constraint_system::ConstraintSystem<Scalar>`: | |
| MultiEq<Scalar, CS> | |
| BenchCS<Scalar> | |
| MetricCS<Scalar> | |
| bellpepper::util_cs::shape_cs::ShapeCS<Scalar> | |
| bellpepper::util_cs::test_shape_cs::TestShapeCS<Scalar> | |
| WitnessCS<Scalar> | |
| bellpepper_core::constraint_system::Namespace<'cs, Scalar, CS> | |
| bellpepper_core::util_cs::test_cs::TestConstraintSystem<Scalar> | |
| &'cs mut CS | |
| note: required by a bound in `bellpepper::gadgets::num::AllocatedNum::<Scalar>::inputize` | |
| --> /Users/huitseeker/.cargo/registry/src/index.crates.io-6f17d22bba15001f/bellpepper-core-0.4.0/src/gadgets/num.rs:106:13 | |
| | | |
| 104 | pub fn inputize<CS>(&self, mut cs: CS) -> Result<(), SynthesisError> | |
| | -------- required by a bound in this associated function | |
| 105 | where | |
| 106 | CS: ConstraintSystem<Scalar>, | |
| | ^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `AllocatedNum::<Scalar>::inputize` | |
| error[E0277]: `?` couldn't convert the error to `SynthesisError` | |
| --> /Users/huitseeker/.cargo/git/checkouts/arecibo-52a2a9b2ca3ccd95/a4c4d23/src/circuit.rs:356:80 | |
| | | |
| 356 | .inputize(cs.namespace(|| "Output unmodified hash of the other circuit"))?; | |
| | ^ the trait `From<bellpepper_core::constraint_system::SynthesisError>` is not implemented for `SynthesisError` | |
| | | |
| = note: the question mark operation (`?`) implicitly performs a conversion on the error value using the `From` trait | |
| = help: the trait `From<std::io::Error>` is implemented for `SynthesisError` | |
| = help: for that trait implementation, expected `std::io::Error`, found `bellpepper_core::constraint_system::SynthesisError` | |
| = note: required for `Result<Vec<bellpepper_core::num::AllocatedNum<<E as traits::Engine>::Base>>, SynthesisError>` to implement `FromResidual<Result<Infallible, bellpepper_core::constraint_system::SynthesisError>>` | |
| error[E0277]: `?` couldn't convert the error to `SynthesisError` | |
| --> /Users/huitseeker/.cargo/git/checkouts/arecibo-52a2a9b2ca3ccd95/a4c4d23/src/gadgets/ecc.rs:73:45 | |
| | | |
| 73 | if *self.is_infinity.get_value().get()? == E::Base::ONE { | |
| | ^ the trait `From<bellpepper_core::constraint_system::SynthesisError>` is not implemented for `SynthesisError` | |
| | | |
| = note: the question mark operation (`?`) implicitly performs a conversion on the error value using the `From` trait | |
| = help: the trait `From<std::io::Error>` is implemented for `SynthesisError` | |
| = help: for that trait implementation, expected `std::io::Error`, found `bellpepper_core::constraint_system::SynthesisError` | |
| = note: required for `Result<<E as traits::Engine>::Base, SynthesisError>` to implement `FromResidual<Result<Infallible, bellpepper_core::constraint_system::SynthesisError>>` | |
| error[E0277]: `?` couldn't convert the error to `SynthesisError` | |
| --> /Users/huitseeker/.cargo/git/checkouts/arecibo-52a2a9b2ca3ccd95/a4c4d23/src/gadgets/ecc.rs:77:36 | |
| | | |
| 77 | *x_cube.get_value().get()? | |
| | ^ the trait `From<bellpepper_core::constraint_system::SynthesisError>` is not implemented for `SynthesisError` | |
| | | |
| = note: the question mark operation (`?`) implicitly performs a conversion on the error value using the `From` trait | |
| = help: the trait `From<std::io::Error>` is implemented for `SynthesisError` | |
| = help: for that trait implementation, expected `std::io::Error`, found `bellpepper_core::constraint_system::SynthesisError` | |
| = note: required for `Result<<E as traits::Engine>::Base, SynthesisError>` to implement `FromResidual<Result<Infallible, bellpepper_core::constraint_system::SynthesisError>>` | |
| error[E0277]: `?` couldn't convert the error to `SynthesisError` | |
| --> /Users/huitseeker/.cargo/git/checkouts/arecibo-52a2a9b2ca3ccd95/a4c4d23/src/gadgets/ecc.rs:78:40 | |
| | | |
| 78 | + *self.x.get_value().get()? * E::GE::group_params().0 | |
| | ^ the trait `From<bellpepper_core::constraint_system::SynthesisError>` is not implemented for `SynthesisError` | |
| | | |
| = note: the question mark operation (`?`) implicitly performs a conversion on the error value using the `From` trait | |
| = help: the trait `From<std::io::Error>` is implemented for `SynthesisError` | |
| = help: for that trait implementation, expected `std::io::Error`, found `bellpepper_core::constraint_system::SynthesisError` | |
| = note: required for `Result<<E as traits::Engine>::Base, SynthesisError>` to implement `FromResidual<Result<Infallible, bellpepper_core::constraint_system::SynthesisError>>` | |
| error[E0277]: `?` couldn't convert the error to `SynthesisError` | |
| --> /Users/huitseeker/.cargo/git/checkouts/arecibo-52a2a9b2ca3ccd95/a4c4d23/src/gadgets/ecc.rs:131:87 | |
| | | |
| 131 | let y = AllocatedNum::alloc(cs.namespace(|| "y"), || Ok(-*self.y.get_value().get()?))?; | |
| | ^ the trait `From<bellpepper_core::constraint_system::SynthesisError>` is not implemented for `SynthesisError` | |
| | | |
| = note: the question mark operation (`?`) implicitly performs a conversion on the error value using the `From` trait | |
| = help: the trait `From<std::io::Error>` is implemented for `SynthesisError` | |
| = help: for that trait implementation, expected `std::io::Error`, found `bellpepper_core::constraint_system::SynthesisError` | |
| = note: required for `Result<<E as traits::Engine>::Base, SynthesisError>` to implement `FromResidual<Result<Infallible, bellpepper_core::constraint_system::SynthesisError>>` | |
| error[E0277]: `?` couldn't convert the error to `SynthesisError` | |
| --> /Users/huitseeker/.cargo/git/checkouts/arecibo-52a2a9b2ca3ccd95/a4c4d23/src/gadgets/ecc.rs:216:64 | |
| | | |
| 216 | - (E::Base::ONE - *self.is_infinity.get_value().get()?) | |
| | ^ the trait `From<bellpepper_core::constraint_system::SynthesisError>` is not implemented for `SynthesisError` | |
| | | |
| = note: the question mark operation (`?`) implicitly performs a conversion on the error value using the `From` trait | |
| = help: the trait `From<std::io::Error>` is implemented for `SynthesisError` | |
| = help: for that trait implementation, expected `std::io::Error`, found `bellpepper_core::constraint_system::SynthesisError` | |
| = note: required for `Result<<E as traits::Engine>::Base, SynthesisError>` to implement `FromResidual<Result<Infallible, bellpepper_core::constraint_system::SynthesisError>>` | |
| error[E0277]: `?` couldn't convert the error to `SynthesisError` | |
| --> /Users/huitseeker/.cargo/git/checkouts/arecibo-52a2a9b2ca3ccd95/a4c4d23/src/gadgets/ecc.rs:217:67 | |
| | | |
| 217 | * (E::Base::ONE - *other.is_infinity.get_value().get()?), | |
| | ^ the trait `From<bellpepper_core::constraint_system::SynthesisError>` is not implemented for `SynthesisError` | |
| | | |
| = note: the question mark operation (`?`) implicitly performs a conversion on the error value using the `From` trait | |
| = help: the trait `From<std::io::Error>` is implemented for `SynthesisError` | |
| = help: for that trait implementation, expected `std::io::Error`, found `bellpepper_core::constraint_system::SynthesisError` | |
| = note: required for `Result<<E as traits::Engine>::Base, SynthesisError>` to implement `FromResidual<Result<Infallible, bellpepper_core::constraint_system::SynthesisError>>` | |
| error[E0277]: `?` couldn't convert the error to `SynthesisError` | |
| --> /Users/huitseeker/.cargo/git/checkouts/arecibo-52a2a9b2ca3ccd95/a4c4d23/src/gadgets/ecc.rs:230:41 | |
| | | |
| 230 | Ok(if *equal_x.get_value().get()? { | |
| | ^ the trait `From<bellpepper_core::constraint_system::SynthesisError>` is not implemented for `SynthesisError` | |
| | | |
| = note: the question mark operation (`?`) implicitly performs a conversion on the error value using the `From` trait | |
| = help: the trait `From<std::io::Error>` is implemented for `SynthesisError` | |
| = help: for that trait implementation, expected `std::io::Error`, found `bellpepper_core::constraint_system::SynthesisError` | |
| = note: required for `Result<<E as traits::Engine>::Base, SynthesisError>` to implement `FromResidual<Result<Infallible, bellpepper_core::constraint_system::SynthesisError>>` | |
| error[E0277]: `?` couldn't convert the error to `SynthesisError` | |
| --> /Users/huitseeker/.cargo/git/checkouts/arecibo-52a2a9b2ca3ccd95/a4c4d23/src/gadgets/ecc.rs:233:46 | |
| | | |
| 233 | *at_least_one_inf.get_value().get()? | |
| | ^ the trait `From<bellpepper_core::constraint_system::SynthesisError>` is not implemented for `SynthesisError` | |
| | | |
| = note: the question mark operation (`?`) implicitly performs a conversion on the error value using the `From` trait | |
| = help: the trait `From<std::io::Error>` is implemented for `SynthesisError` | |
| = help: for that trait implementation, expected `std::io::Error`, found `bellpepper_core::constraint_system::SynthesisError` | |
| = note: required for `Result<<E as traits::Engine>::Base, SynthesisError>` to implement `FromResidual<Result<Infallible, bellpepper_core::constraint_system::SynthesisError>>` | |
| error[E0277]: `?` couldn't convert the error to `SynthesisError` | |
| --> /Users/huitseeker/.cargo/git/checkouts/arecibo-52a2a9b2ca3ccd95/a4c4d23/src/gadgets/ecc.rs:253:62 | |
| | | |
| 253 | let x_diff_inv = if *x_diff_is_actual.get_value().get()? == E::Base::ONE { | |
| | ^ the trait `From<bellpepper_core::constraint_system::SynthesisError>` is not implemented for `SynthesisError` | |
| | | |
| = note: the question mark operation (`?`) implicitly performs a conversion on the error value using the `From` trait | |
| = help: the trait `From<std::io::Error>` is implemented for `SynthesisError` | |
| = help: for that trait implementation, expected `std::io::Error`, found `bellpepper_core::constraint_system::SynthesisError` | |
| = note: required for `Result<<E as traits::Engine>::Base, SynthesisError>` to implement `FromResidual<Result<Infallible, bellpepper_core::constraint_system::SynthesisError>>` | |
| error[E0277]: `?` couldn't convert the error to `SynthesisError` | |
| --> /Users/huitseeker/.cargo/git/checkouts/arecibo-52a2a9b2ca3ccd95/a4c4d23/src/gadgets/ecc.rs:258:36 | |
| | | |
| 258 | (*other.x.get_value().get()? - *self.x.get_value().get()?) | |
| | ^ the trait `From<bellpepper_core::constraint_system::SynthesisError>` is not implemented for `SynthesisError` | |
| | | |
| = note: the question mark operation (`?`) implicitly performs a conversion on the error value using the `From` trait | |
| = help: the trait `From<std::io::Error>` is implemented for `SynthesisError` | |
| = help: for that trait implementation, expected `std::io::Error`, found `bellpepper_core::constraint_system::SynthesisError` | |
| = note: required for `Result<<E as traits::Engine>::Base, SynthesisError>` to implement `FromResidual<Result<Infallible, bellpepper_core::constraint_system::SynthesisError>>` | |
| error[E0277]: `?` couldn't convert the error to `SynthesisError` | |
| --> /Users/huitseeker/.cargo/git/checkouts/arecibo-52a2a9b2ca3ccd95/a4c4d23/src/gadgets/ecc.rs:258:65 | |
| | | |
| 258 | (*other.x.get_value().get()? - *self.x.get_value().get()?) | |
| | ^ the trait `From<bellpepper_core::constraint_system::SynthesisError>` is not implemented for `SynthesisError` | |
| | | |
| = note: the question mark operation (`?`) implicitly performs a conversion on the error value using the `From` trait | |
| = help: the trait `From<std::io::Error>` is implemented for `SynthesisError` | |
| = help: for that trait implementation, expected `std::io::Error`, found `bellpepper_core::constraint_system::SynthesisError` | |
| = note: required for `Result<<E as traits::Engine>::Base, SynthesisError>` to implement `FromResidual<Result<Infallible, bellpepper_core::constraint_system::SynthesisError>>` | |
| error[E0277]: `?` couldn't convert the error to `SynthesisError` | |
| --> /Users/huitseeker/.cargo/git/checkouts/arecibo-52a2a9b2ca3ccd95/a4c4d23/src/gadgets/ecc.rs:263:37 | |
| | | |
| 263 | Ok((*other.y.get_value().get()? - *self.y.get_value().get()?) * x_diff_inv) | |
| | ^ the trait `From<bellpepper_core::constraint_system::SynthesisError>` is not implemented for `SynthesisError` | |
| | | |
| = note: the question mark operation (`?`) implicitly performs a conversion on the error value using the `From` trait | |
| = help: the trait `From<std::io::Error>` is implemented for `SynthesisError` | |
| = help: for that trait implementation, expected `std::io::Error`, found `bellpepper_core::constraint_system::SynthesisError` | |
| = note: required for `Result<<E as traits::Engine>::Base, SynthesisError>` to implement `FromResidual<Result<Infallible, bellpepper_core::constraint_system::SynthesisError>>` | |
| error[E0277]: `?` couldn't convert the error to `SynthesisError` | |
| --> /Users/huitseeker/.cargo/git/checkouts/arecibo-52a2a9b2ca3ccd95/a4c4d23/src/gadgets/ecc.rs:263:66 | |
| | | |
| 263 | Ok((*other.y.get_value().get()? - *self.y.get_value().get()?) * x_diff_inv) | |
| | ^ the trait `From<bellpepper_core::constraint_system::SynthesisError>` is not implemented for `SynthesisError` | |
| | | |
| = note: the question mark operation (`?`) implicitly performs a conversion on the error value using the `From` trait | |
| = help: the trait `From<std::io::Error>` is implemented for `SynthesisError` | |
| = help: for that trait implementation, expected `std::io::Error`, found `bellpepper_core::constraint_system::SynthesisError` | |
| = note: required for `Result<<E as traits::Engine>::Base, SynthesisError>` to implement `FromResidual<Result<Infallible, bellpepper_core::constraint_system::SynthesisError>>` | |
| error[E0277]: `?` couldn't convert the error to `SynthesisError` | |
| --> /Users/huitseeker/.cargo/git/checkouts/arecibo-52a2a9b2ca3ccd95/a4c4d23/src/gadgets/ecc.rs:277:34 | |
| | | |
| 277 | *lambda.get_value().get()? * lambda.get_value().get()? | |
| | ^ the trait `From<bellpepper_core::constraint_system::SynthesisError>` is not implemented for `SynthesisError` | |
| | | |
| = note: the question mark operation (`?`) implicitly performs a conversion on the error value using the `From` trait | |
| = help: the trait `From<std::io::Error>` is implemented for `SynthesisError` | |
| = help: for that trait implementation, expected `std::io::Error`, found `bellpepper_core::constraint_system::SynthesisError` | |
| = note: required for `Result<<E as traits::Engine>::Base, SynthesisError>` to implement `FromResidual<Result<Infallible, bellpepper_core::constraint_system::SynthesisError>>` | |
| error[E0277]: `?` couldn't convert the error to `SynthesisError` | |
| --> /Users/huitseeker/.cargo/git/checkouts/arecibo-52a2a9b2ca3ccd95/a4c4d23/src/gadgets/ecc.rs:277:62 | |
| | | |
| 277 | *lambda.get_value().get()? * lambda.get_value().get()? | |
| | ^ the trait `From<bellpepper_core::constraint_system::SynthesisError>` is not implemented for `SynthesisError` | |
| | | |
| = note: the question mark operation (`?`) implicitly performs a conversion on the error value using the `From` trait | |
| = help: the trait `From<std::io::Error>` is implemented for `SynthesisError` | |
| = help: for that trait implementation, expected `std::io::Error`, found `bellpepper_core::constraint_system::SynthesisError` | |
| = note: required for `Result<<E as traits::Engine>::Base, SynthesisError>` to implement `FromResidual<Result<Infallible, bellpepper_core::constraint_system::SynthesisError>>` | |
| error[E0277]: `?` couldn't convert the error to `SynthesisError` | |
| --> /Users/huitseeker/.cargo/git/checkouts/arecibo-52a2a9b2ca3ccd95/a4c4d23/src/gadgets/ecc.rs:278:38 | |
| | | |
| 278 | - *self.x.get_value().get()? | |
| | ^ the trait `From<bellpepper_core::constraint_system::SynthesisError>` is not implemented for `SynthesisError` | |
| | | |
| = note: the question mark operation (`?`) implicitly performs a conversion on the error value using the `From` trait | |
| = help: the trait `From<std::io::Error>` is implemented for `SynthesisError` | |
| = help: for that trait implementation, expected `std::io::Error`, found `bellpepper_core::constraint_system::SynthesisError` | |
| = note: required for `Result<<E as traits::Engine>::Base, SynthesisError>` to implement `FromResidual<Result<Infallible, bellpepper_core::constraint_system::SynthesisError>>` | |
| error[E0277]: `?` couldn't convert the error to `SynthesisError` | |
| --> /Users/huitseeker/.cargo/git/checkouts/arecibo-52a2a9b2ca3ccd95/a4c4d23/src/gadgets/ecc.rs:279:39 | |
| | | |
| 279 | - *other.x.get_value().get()?, | |
| | ^ the trait `From<bellpepper_core::constraint_system::SynthesisError>` is not implemented for `SynthesisError` | |
| | | |
| = note: the question mark operation (`?`) implicitly performs a conversion on the error value using the `From` trait | |
| = help: the trait `From<std::io::Error>` is implemented for `SynthesisError` | |
| = help: for that trait implementation, expected `std::io::Error`, found `bellpepper_core::constraint_system::SynthesisError` | |
| = note: required for `Result<<E as traits::Engine>::Base, SynthesisError>` to implement `FromResidual<Result<Infallible, bellpepper_core::constraint_system::SynthesisError>>` | |
| error[E0277]: `?` couldn't convert the error to `SynthesisError` | |
| --> /Users/huitseeker/.cargo/git/checkouts/arecibo-52a2a9b2ca3ccd95/a4c4d23/src/gadgets/ecc.rs:294:34 | |
| | | |
| 294 | *lambda.get_value().get()? * (*self.x.get_value().get()? - *x.get_value().get()?) | |
| | ^ the trait `From<bellpepper_core::constraint_system::SynthesisError>` is not implemented for `SynthesisError` | |
| | | |
| = note: the question mark operation (`?`) implicitly performs a conversion on the error value using the `From` trait | |
| = help: the trait `From<std::io::Error>` is implemented for `SynthesisError` | |
| = help: for that trait implementation, expected `std::io::Error`, found `bellpepper_core::constraint_system::SynthesisError` | |
| = note: required for `Result<<E as traits::Engine>::Base, SynthesisError>` to implement `FromResidual<Result<Infallible, bellpepper_core::constraint_system::SynthesisError>>` | |
| error[E0277]: `?` couldn't convert the error to `SynthesisError` | |
| --> /Users/huitseeker/.cargo/git/checkouts/arecibo-52a2a9b2ca3ccd95/a4c4d23/src/gadgets/ecc.rs:294:64 | |
| | | |
| 294 | *lambda.get_value().get()? * (*self.x.get_value().get()? - *x.get_value().get()?) | |
| | ^ the trait `From<bellpepper_core::constraint_system::SynthesisError>` is not implemented for `SynthesisError` | |
| | | |
| = note: the question mark operation (`?`) implicitly performs a conversion on the error value using the `From` trait | |
| = help: the trait `From<std::io::Error>` is implemented for `SynthesisError` | |
| = help: for that trait implementation, expected `std::io::Error`, found `bellpepper_core::constraint_system::SynthesisError` | |
| = note: required for `Result<<E as traits::Engine>::Base, SynthesisError>` to implement `FromResidual<Result<Infallible, bellpepper_core::constraint_system::SynthesisError>>` | |
| error[E0277]: `?` couldn't convert the error to `SynthesisError` | |
| --> /Users/huitseeker/.cargo/git/checkouts/arecibo-52a2a9b2ca3ccd95/a4c4d23/src/gadgets/ecc.rs:294:88 | |
| | | |
| 294 | *lambda.get_value().get()? * (*self.x.get_value().get()? - *x.get_value().get()?) | |
| | ^ the trait `From<bellpepper_core::constraint_system::SynthesisError>` is not implemented for `SynthesisError` | |
| | | |
| = note: the question mark operation (`?`) implicitly performs a conversion on the error value using the `From` trait | |
| = help: the trait `From<std::io::Error>` is implemented for `SynthesisError` | |
| = help: for that trait implementation, expected `std::io::Error`, found `bellpepper_core::constraint_system::SynthesisError` | |
| = note: required for `Result<<E as traits::Engine>::Base, SynthesisError>` to implement `FromResidual<Result<Infallible, bellpepper_core::constraint_system::SynthesisError>>` | |
| error[E0277]: `?` couldn't convert the error to `SynthesisError` | |
| --> /Users/huitseeker/.cargo/git/checkouts/arecibo-52a2a9b2ca3ccd95/a4c4d23/src/gadgets/ecc.rs:295:38 | |
| | | |
| 295 | - *self.y.get_value().get()?, | |
| | ^ the trait `From<bellpepper_core::constraint_system::SynthesisError>` is not implemented for `SynthesisError` | |
| | | |
| = note: the question mark operation (`?`) implicitly performs a conversion on the error value using the `From` trait | |
| = help: the trait `From<std::io::Error>` is implemented for `SynthesisError` | |
| = help: for that trait implementation, expected `std::io::Error`, found `bellpepper_core::constraint_system::SynthesisError` | |
| = note: required for `Result<<E as traits::Engine>::Base, SynthesisError>` to implement `FromResidual<Result<Infallible, bellpepper_core::constraint_system::SynthesisError>>` | |
| error[E0277]: `?` couldn't convert the error to `SynthesisError` | |
| --> /Users/huitseeker/.cargo/git/checkouts/arecibo-52a2a9b2ca3ccd95/a4c4d23/src/gadgets/ecc.rs:368:35 | |
| | | |
| 368 | Ok(*self.y.get_value().get()? + *self.y.get_value().get()?) | |
| | ^ the trait `From<bellpepper_core::constraint_system::SynthesisError>` is not implemented for `SynthesisError` | |
| | | |
| = note: the question mark operation (`?`) implicitly performs a conversion on the error value using the `From` trait | |
| = help: the trait `From<std::io::Error>` is implemented for `SynthesisError` | |
| = help: for that trait implementation, expected `std::io::Error`, found `bellpepper_core::constraint_system::SynthesisError` | |
| = note: required for `Result<<E as traits::Engine>::Base, SynthesisError>` to implement `FromResidual<Result<Infallible, bellpepper_core::constraint_system::SynthesisError>>` | |
| error[E0277]: `?` couldn't convert the error to `SynthesisError` | |
| --> /Users/huitseeker/.cargo/git/checkouts/arecibo-52a2a9b2ca3ccd95/a4c4d23/src/gadgets/ecc.rs:368:64 | |
| | | |
| 368 | Ok(*self.y.get_value().get()? + *self.y.get_value().get()?) | |
| | ^ the trait `From<bellpepper_core::constraint_system::SynthesisError>` is not implemented for `SynthesisError` | |
| | | |
| = note: the question mark operation (`?`) implicitly performs a conversion on the error value using the `From` trait | |
| = help: the trait `From<std::io::Error>` is implemented for `SynthesisError` | |
| = help: for that trait implementation, expected `std::io::Error`, found `bellpepper_core::constraint_system::SynthesisError` | |
| = note: required for `Result<<E as traits::Engine>::Base, SynthesisError>` to implement `FromResidual<Result<Infallible, bellpepper_core::constraint_system::SynthesisError>>` | |
| error[E0277]: `?` couldn't convert the error to `SynthesisError` | |
| --> /Users/huitseeker/.cargo/git/checkouts/arecibo-52a2a9b2ca3ccd95/a4c4d23/src/gadgets/ecc.rs:382:53 | |
| | | |
| 382 | Ok(E::Base::from(3) * self.x.get_value().get()? * self.x.get_value().get()?) | |
| | ^ the trait `From<bellpepper_core::constraint_system::SynthesisError>` is not implemented for `SynthesisError` | |
| | | |
| = note: the question mark operation (`?`) implicitly performs a conversion on the error value using the `From` trait | |
| = help: the trait `From<std::io::Error>` is implemented for `SynthesisError` | |
| = help: for that trait implementation, expected `std::io::Error`, found `bellpepper_core::constraint_system::SynthesisError` | |
| = note: required for `Result<<E as traits::Engine>::Base, SynthesisError>` to implement `FromResidual<Result<Infallible, bellpepper_core::constraint_system::SynthesisError>>` | |
| error[E0277]: `?` couldn't convert the error to `SynthesisError` | |
| --> /Users/huitseeker/.cargo/git/checkouts/arecibo-52a2a9b2ca3ccd95/a4c4d23/src/gadgets/ecc.rs:382:81 | |
| | | |
| 382 | Ok(E::Base::from(3) * self.x.get_value().get()? * self.x.get_value().get()?) | |
| | ^ the trait `From<bellpepper_core::constraint_system::SynthesisError>` is not implemented for `SynthesisError` | |
| | | |
| = note: the question mark operation (`?`) implicitly performs a conversion on the error value using the `From` trait | |
| = help: the trait `From<std::io::Error>` is implemented for `SynthesisError` | |
| = help: for that trait implementation, expected `std::io::Error`, found `bellpepper_core::constraint_system::SynthesisError` | |
| = note: required for `Result<<E as traits::Engine>::Base, SynthesisError>` to implement `FromResidual<Result<Infallible, bellpepper_core::constraint_system::SynthesisError>>` | |
| error[E0277]: `?` couldn't convert the error to `SynthesisError` | |
| --> /Users/huitseeker/.cargo/git/checkouts/arecibo-52a2a9b2ca3ccd95/a4c4d23/src/gadgets/ecc.rs:392:59 | |
| | | |
| 392 | let tmp_inv = if *self.is_infinity.get_value().get()? == E::Base::ONE { | |
| | ^ the trait `From<bellpepper_core::constraint_system::SynthesisError>` is not implemented for `SynthesisError` | |
| | | |
| = note: the question mark operation (`?`) implicitly performs a conversion on the error value using the `From` trait | |
| = help: the trait `From<std::io::Error>` is implemented for `SynthesisError` | |
| = help: for that trait implementation, expected `std::io::Error`, found `bellpepper_core::constraint_system::SynthesisError` | |
| = note: required for `Result<<E as traits::Engine>::Base, SynthesisError>` to implement `FromResidual<Result<Infallible, bellpepper_core::constraint_system::SynthesisError>>` | |
| error[E0277]: `?` couldn't convert the error to `SynthesisError` | |
| --> /Users/huitseeker/.cargo/git/checkouts/arecibo-52a2a9b2ca3ccd95/a4c4d23/src/gadgets/ecc.rs:397:32 | |
| | | |
| 397 | (*tmp.get_value().get()?).invert().unwrap() | |
| | ^ the trait `From<bellpepper_core::constraint_system::SynthesisError>` is not implemented for `SynthesisError` | |
| | | |
| = note: the question mark operation (`?`) implicitly performs a conversion on the error value using the `From` trait | |
| = help: the trait `From<std::io::Error>` is implemented for `SynthesisError` | |
| = help: for that trait implementation, expected `std::io::Error`, found `bellpepper_core::constraint_system::SynthesisError` | |
| = note: required for `Result<<E as traits::Engine>::Base, SynthesisError>` to implement `FromResidual<Result<Infallible, bellpepper_core::constraint_system::SynthesisError>>` | |
| error[E0277]: `?` couldn't convert the error to `SynthesisError` | |
| --> /Users/huitseeker/.cargo/git/checkouts/arecibo-52a2a9b2ca3ccd95/a4c4d23/src/gadgets/ecc.rs:400:46 | |
| | | |
| 400 | Ok(tmp_inv * (*prod_1.get_value().get()? + E::GE::group_params().0)) | |
| | ^ the trait `From<bellpepper_core::constraint_system::SynthesisError>` is not implemented for `SynthesisError` | |
| | | |
| = note: the question mark operation (`?`) implicitly performs a conversion on the error value using the `From` trait | |
| = help: the trait `From<std::io::Error>` is implemented for `SynthesisError` | |
| = help: for that trait implementation, expected `std::io::Error`, found `bellpepper_core::constraint_system::SynthesisError` | |
| = note: required for `Result<<E as traits::Engine>::Base, SynthesisError>` to implement `FromResidual<Result<Infallible, bellpepper_core::constraint_system::SynthesisError>>` | |
| error[E0277]: `?` couldn't convert the error to `SynthesisError` | |
| --> /Users/huitseeker/.cargo/git/checkouts/arecibo-52a2a9b2ca3ccd95/a4c4d23/src/gadgets/ecc.rs:416:36 | |
| | | |
| 416 | ((*lambda.get_value().get()?) * (*lambda.get_value().get()?)) | |
| | ^ the trait `From<bellpepper_core::constraint_system::SynthesisError>` is not implemented for `SynthesisError` | |
| | | |
| = note: the question mark operation (`?`) implicitly performs a conversion on the error value using the `From` trait | |
| = help: the trait `From<std::io::Error>` is implemented for `SynthesisError` | |
| = help: for that trait implementation, expected `std::io::Error`, found `bellpepper_core::constraint_system::SynthesisError` | |
| = note: required for `Result<<E as traits::Engine>::Base, SynthesisError>` to implement `FromResidual<Result<Infallible, bellpepper_core::constraint_system::SynthesisError>>` | |
| error[E0277]: `?` couldn't convert the error to `SynthesisError` | |
| --> /Users/huitseeker/.cargo/git/checkouts/arecibo-52a2a9b2ca3ccd95/a4c4d23/src/gadgets/ecc.rs:416:67 | |
| | | |
| 416 | ((*lambda.get_value().get()?) * (*lambda.get_value().get()?)) | |
| | ^ the trait `From<bellpepper_core::constraint_system::SynthesisError>` is not implemented for `SynthesisError` | |
| | | |
| = note: the question mark operation (`?`) implicitly performs a conversion on the error value using the `From` trait | |
| = help: the trait `From<std::io::Error>` is implemented for `SynthesisError` | |
| = help: for that trait implementation, expected `std::io::Error`, found `bellpepper_core::constraint_system::SynthesisError` | |
| = note: required for `Result<<E as traits::Engine>::Base, SynthesisError>` to implement `FromResidual<Result<Infallible, bellpepper_core::constraint_system::SynthesisError>>` | |
| error[E0277]: `?` couldn't convert the error to `SynthesisError` | |
| --> /Users/huitseeker/.cargo/git/checkouts/arecibo-52a2a9b2ca3ccd95/a4c4d23/src/gadgets/ecc.rs:417:38 | |
| | | |
| 417 | - *self.x.get_value().get()? | |
| | ^ the trait `From<bellpepper_core::constraint_system::SynthesisError>` is not implemented for `SynthesisError` | |
| | | |
| = note: the question mark operation (`?`) implicitly performs a conversion on the error value using the `From` trait | |
| = help: the trait `From<std::io::Error>` is implemented for `SynthesisError` | |
| = help: for that trait implementation, expected `std::io::Error`, found `bellpepper_core::constraint_system::SynthesisError` | |
| = note: required for `Result<<E as traits::Engine>::Base, SynthesisError>` to implement `FromResidual<Result<Infallible, bellpepper_core::constraint_system::SynthesisError>>` | |
| error[E0277]: `?` couldn't convert the error to `SynthesisError` | |
| --> /Users/huitseeker/.cargo/git/checkouts/arecibo-52a2a9b2ca3ccd95/a4c4d23/src/gadgets/ecc.rs:418:37 | |
| | | |
| 418 | - self.x.get_value().get()?, | |
| | ^ the trait `From<bellpepper_core::constraint_system::SynthesisError>` is not implemented for `SynthesisError` | |
| | | |
| = note: the question mark operation (`?`) implicitly performs a conversion on the error value using the `From` trait | |
| = help: the trait `From<std::io::Error>` is implemented for `SynthesisError` | |
| = help: for that trait implementation, expected `std::io::Error`, found `bellpepper_core::constraint_system::SynthesisError` | |
| = note: required for `Result<<E as traits::Engine>::Base, SynthesisError>` to implement `FromResidual<Result<Infallible, bellpepper_core::constraint_system::SynthesisError>>` | |
| error[E0277]: `?` couldn't convert the error to `SynthesisError` | |
| --> /Users/huitseeker/.cargo/git/checkouts/arecibo-52a2a9b2ca3ccd95/a4c4d23/src/gadgets/ecc.rs:434:35 | |
| | | |
| 434 | (*lambda.get_value().get()?) * (*self.x.get_value().get()? - x.get_value().get()?) | |
| | ^ the trait `From<bellpepper_core::constraint_system::SynthesisError>` is not implemented for `SynthesisError` | |
| | | |
| = note: the question mark operation (`?`) implicitly performs a conversion on the error value using the `From` trait | |
| = help: the trait `From<std::io::Error>` is implemented for `SynthesisError` | |
| = help: for that trait implementation, expected `std::io::Error`, found `bellpepper_core::constraint_system::SynthesisError` | |
| = note: required for `Result<<E as traits::Engine>::Base, SynthesisError>` to implement `FromResidual<Result<Infallible, bellpepper_core::constraint_system::SynthesisError>>` | |
| error[E0277]: `?` couldn't convert the error to `SynthesisError` | |
| --> /Users/huitseeker/.cargo/git/checkouts/arecibo-52a2a9b2ca3ccd95/a4c4d23/src/gadgets/ecc.rs:434:66 | |
| | | |
| 434 | (*lambda.get_value().get()?) * (*self.x.get_value().get()? - x.get_value().get()?) | |
| | ^ the trait `From<bellpepper_core::constraint_system::SynthesisError>` is not implemented for `SynthesisError` | |
| | | |
| = note: the question mark operation (`?`) implicitly performs a conversion on the error value using the `From` trait | |
| = help: the trait `From<std::io::Error>` is implemented for `SynthesisError` | |
| = help: for that trait implementation, expected `std::io::Error`, found `bellpepper_core::constraint_system::SynthesisError` | |
| = note: required for `Result<<E as traits::Engine>::Base, SynthesisError>` to implement `FromResidual<Result<Infallible, bellpepper_core::constraint_system::SynthesisError>>` | |
| error[E0277]: `?` couldn't convert the error to `SynthesisError` | |
| --> /Users/huitseeker/.cargo/git/checkouts/arecibo-52a2a9b2ca3ccd95/a4c4d23/src/gadgets/ecc.rs:434:89 | |
| | | |
| 434 | (*lambda.get_value().get()?) * (*self.x.get_value().get()? - x.get_value().get()?) | |
| | ^ the trait `From<bellpepper_core::constraint_system::SynthesisError>` is not implemented for `SynthesisError` | |
| | | |
| = note: the question mark operation (`?`) implicitly performs a conversion on the error value using the `From` trait | |
| = help: the trait `From<std::io::Error>` is implemented for `SynthesisError` | |
| = help: for that trait implementation, expected `std::io::Error`, found `bellpepper_core::constraint_system::SynthesisError` | |
| = note: required for `Result<<E as traits::Engine>::Base, SynthesisError>` to implement `FromResidual<Result<Infallible, bellpepper_core::constraint_system::SynthesisError>>` | |
| error[E0277]: `?` couldn't convert the error to `SynthesisError` | |
| --> /Users/huitseeker/.cargo/git/checkouts/arecibo-52a2a9b2ca3ccd95/a4c4d23/src/gadgets/ecc.rs:435:37 | |
| | | |
| 435 | - self.y.get_value().get()?, | |
| | ^ the trait `From<bellpepper_core::constraint_system::SynthesisError>` is not implemented for `SynthesisError` | |
| | | |
| = note: the question mark operation (`?`) implicitly performs a conversion on the error value using the `From` trait | |
| = help: the trait `From<std::io::Error>` is implemented for `SynthesisError` | |
| = help: for that trait implementation, expected `std::io::Error`, found `bellpepper_core::constraint_system::SynthesisError` | |
| = note: required for `Result<<E as traits::Engine>::Base, SynthesisError>` to implement `FromResidual<Result<Infallible, bellpepper_core::constraint_system::SynthesisError>>` | |
| error[E0277]: `?` couldn't convert the error to `SynthesisError` | |
| --> /Users/huitseeker/.cargo/git/checkouts/arecibo-52a2a9b2ca3ccd95/a4c4d23/src/gadgets/ecc.rs:656:36 | |
| | | |
| 656 | if *other.x.get_value().get()? == *self.x.get_value().get()? { | |
| | ^ the trait `From<bellpepper_core::constraint_system::SynthesisError>` is not implemented for `SynthesisError` | |
| | | |
| = note: the question mark operation (`?`) implicitly performs a conversion on the error value using the `From` trait | |
| = help: the trait `From<std::io::Error>` is implemented for `SynthesisError` | |
| = help: for that trait implementation, expected `std::io::Error`, found `bellpepper_core::constraint_system::SynthesisError` | |
| = note: required for `Result<<E as traits::Engine>::Base, SynthesisError>` to implement `FromResidual<Result<Infallible, bellpepper_core::constraint_system::SynthesisError>>` | |
| error[E0277]: `?` couldn't convert the error to `SynthesisError` | |
| --> /Users/huitseeker/.cargo/git/checkouts/arecibo-52a2a9b2ca3ccd95/a4c4d23/src/gadgets/ecc.rs:656:66 | |
| | | |
| 656 | if *other.x.get_value().get()? == *self.x.get_value().get()? { | |
| | ^ the trait `From<bellpepper_core::constraint_system::SynthesisError>` is not implemented for `SynthesisError` | |
| | | |
| = note: the question mark operation (`?`) implicitly performs a conversion on the error value using the `From` trait | |
| = help: the trait `From<std::io::Error>` is implemented for `SynthesisError` | |
| = help: for that trait implementation, expected `std::io::Error`, found `bellpepper_core::constraint_system::SynthesisError` | |
| = note: required for `Result<<E as traits::Engine>::Base, SynthesisError>` to implement `FromResidual<Result<Infallible, bellpepper_core::constraint_system::SynthesisError>>` | |
| error[E0277]: `?` couldn't convert the error to `SynthesisError` | |
| --> /Users/huitseeker/.cargo/git/checkouts/arecibo-52a2a9b2ca3ccd95/a4c4d23/src/gadgets/ecc.rs:660:38 | |
| | | |
| 660 | (*other.y.get_value().get()? - *self.y.get_value().get()?) | |
| | ^ the trait `From<bellpepper_core::constraint_system::SynthesisError>` is not implemented for `SynthesisError` | |
| | | |
| = note: the question mark operation (`?`) implicitly performs a conversion on the error value using the `From` trait | |
| = help: the trait `From<std::io::Error>` is implemented for `SynthesisError` | |
| = help: for that trait implementation, expected `std::io::Error`, found `bellpepper_core::constraint_system::SynthesisError` | |
| = note: required for `Result<<E as traits::Engine>::Base, SynthesisError>` to implement `FromResidual<Result<Infallible, bellpepper_core::constraint_system::SynthesisError>>` | |
| error[E0277]: `?` couldn't convert the error to `SynthesisError` | |
| --> /Users/huitseeker/.cargo/git/checkouts/arecibo-52a2a9b2ca3ccd95/a4c4d23/src/gadgets/ecc.rs:660:67 | |
| | | |
| 660 | (*other.y.get_value().get()? - *self.y.get_value().get()?) | |
| | ^ the trait `From<bellpepper_core::constraint_system::SynthesisError>` is not implemented for `SynthesisError` | |
| | | |
| = note: the question mark operation (`?`) implicitly performs a conversion on the error value using the `From` trait | |
| = help: the trait `From<std::io::Error>` is implemented for `SynthesisError` | |
| = help: for that trait implementation, expected `std::io::Error`, found `bellpepper_core::constraint_system::SynthesisError` | |
| = note: required for `Result<<E as traits::Engine>::Base, SynthesisError>` to implement `FromResidual<Result<Infallible, bellpepper_core::constraint_system::SynthesisError>>` | |
| error[E0277]: `?` couldn't convert the error to `SynthesisError` | |
| --> /Users/huitseeker/.cargo/git/checkouts/arecibo-52a2a9b2ca3ccd95/a4c4d23/src/gadgets/ecc.rs:661:42 | |
| | | |
| 661 | * (*other.x.get_value().get()? - *self.x.get_value().get()?) | |
| | ^ the trait `From<bellpepper_core::constraint_system::SynthesisError>` is not implemented for `SynthesisError` | |
| | | |
| = note: the question mark operation (`?`) implicitly performs a conversion on the error value using the `From` trait | |
| = help: the trait `From<std::io::Error>` is implemented for `SynthesisError` | |
| = help: for that trait implementation, expected `std::io::Error`, found `bellpepper_core::constraint_system::SynthesisError` | |
| = note: required for `Result<<E as traits::Engine>::Base, SynthesisError>` to implement `FromResidual<Result<Infallible, bellpepper_core::constraint_system::SynthesisError>>` | |
| error[E0277]: `?` couldn't convert the error to `SynthesisError` | |
| --> /Users/huitseeker/.cargo/git/checkouts/arecibo-52a2a9b2ca3ccd95/a4c4d23/src/gadgets/ecc.rs:661:71 | |
| | | |
| 661 | * (*other.x.get_value().get()? - *self.x.get_value().get()?) | |
| | ^ the trait `From<bellpepper_core::constraint_system::SynthesisError>` is not implemented for `SynthesisError` | |
| | | |
| = note: the question mark operation (`?`) implicitly performs a conversion on the error value using the `From` trait | |
| = help: the trait `From<std::io::Error>` is implemented for `SynthesisError` | |
| = help: for that trait implementation, expected `std::io::Error`, found `bellpepper_core::constraint_system::SynthesisError` | |
| = note: required for `Result<<E as traits::Engine>::Base, SynthesisError>` to implement `FromResidual<Result<Infallible, bellpepper_core::constraint_system::SynthesisError>>` | |
| error[E0277]: `?` couldn't convert the error to `SynthesisError` | |
| --> /Users/huitseeker/.cargo/git/checkouts/arecibo-52a2a9b2ca3ccd95/a4c4d23/src/gadgets/ecc.rs:679:34 | |
| | | |
| 679 | *lambda.get_value().get()? * lambda.get_value().get()? | |
| | ^ the trait `From<bellpepper_core::constraint_system::SynthesisError>` is not implemented for `SynthesisError` | |
| | | |
| = note: the question mark operation (`?`) implicitly performs a conversion on the error value using the `From` trait | |
| = help: the trait `From<std::io::Error>` is implemented for `SynthesisError` | |
| = help: for that trait implementation, expected `std::io::Error`, found `bellpepper_core::constraint_system::SynthesisError` | |
| = note: required for `Result<<E as traits::Engine>::Base, SynthesisError>` to implement `FromResidual<Result<Infallible, bellpepper_core::constraint_system::SynthesisError>>` | |
| error[E0277]: `?` couldn't convert the error to `SynthesisError` | |
| --> /Users/huitseeker/.cargo/git/checkouts/arecibo-52a2a9b2ca3ccd95/a4c4d23/src/gadgets/ecc.rs:679:62 | |
| | | |
| 679 | *lambda.get_value().get()? * lambda.get_value().get()? | |
| | ^ the trait `From<bellpepper_core::constraint_system::SynthesisError>` is not implemented for `SynthesisError` | |
| | | |
| = note: the question mark operation (`?`) implicitly performs a conversion on the error value using the `From` trait | |
| = help: the trait `From<std::io::Error>` is implemented for `SynthesisError` | |
| = help: for that trait implementation, expected `std::io::Error`, found `bellpepper_core::constraint_system::SynthesisError` | |
| = note: required for `Result<<E as traits::Engine>::Base, SynthesisError>` to implement `FromResidual<Result<Infallible, bellpepper_core::constraint_system::SynthesisError>>` | |
| error[E0277]: `?` couldn't convert the error to `SynthesisError` | |
| --> /Users/huitseeker/.cargo/git/checkouts/arecibo-52a2a9b2ca3ccd95/a4c4d23/src/gadgets/ecc.rs:680:38 | |
| | | |
| 680 | - *self.x.get_value().get()? | |
| | ^ the trait `From<bellpepper_core::constraint_system::SynthesisError>` is not implemented for `SynthesisError` | |
| | | |
| = note: the question mark operation (`?`) implicitly performs a conversion on the error value using the `From` trait | |
| = help: the trait `From<std::io::Error>` is implemented for `SynthesisError` | |
| = help: for that trait implementation, expected `std::io::Error`, found `bellpepper_core::constraint_system::SynthesisError` | |
| = note: required for `Result<<E as traits::Engine>::Base, SynthesisError>` to implement `FromResidual<Result<Infallible, bellpepper_core::constraint_system::SynthesisError>>` | |
| error[E0277]: `?` couldn't convert the error to `SynthesisError` | |
| --> /Users/huitseeker/.cargo/git/checkouts/arecibo-52a2a9b2ca3ccd95/a4c4d23/src/gadgets/ecc.rs:681:39 | |
| | | |
| 681 | - *other.x.get_value().get()?, | |
| | ^ the trait `From<bellpepper_core::constraint_system::SynthesisError>` is not implemented for `SynthesisError` | |
| | | |
| = note: the question mark operation (`?`) implicitly performs a conversion on the error value using the `From` trait | |
| = help: the trait `From<std::io::Error>` is implemented for `SynthesisError` | |
| = help: for that trait implementation, expected `std::io::Error`, found `bellpepper_core::constraint_system::SynthesisError` | |
| = note: required for `Result<<E as traits::Engine>::Base, SynthesisError>` to implement `FromResidual<Result<Infallible, bellpepper_core::constraint_system::SynthesisError>>` | |
| error[E0277]: `?` couldn't convert the error to `SynthesisError` | |
| --> /Users/huitseeker/.cargo/git/checkouts/arecibo-52a2a9b2ca3ccd95/a4c4d23/src/gadgets/ecc.rs:696:34 | |
| | | |
| 696 | *lambda.get_value().get()? * (*self.x.get_value().get()? - *x.get_value().get()?) | |
| | ^ the trait `From<bellpepper_core::constraint_system::SynthesisError>` is not implemented for `SynthesisError` | |
| | | |
| = note: the question mark operation (`?`) implicitly performs a conversion on the error value using the `From` trait | |
| = help: the trait `From<std::io::Error>` is implemented for `SynthesisError` | |
| = help: for that trait implementation, expected `std::io::Error`, found `bellpepper_core::constraint_system::SynthesisError` | |
| = note: required for `Result<<E as traits::Engine>::Base, SynthesisError>` to implement `FromResidual<Result<Infallible, bellpepper_core::constraint_system::SynthesisError>>` | |
| error[E0277]: `?` couldn't convert the error to `SynthesisError` | |
| --> /Users/huitseeker/.cargo/git/checkouts/arecibo-52a2a9b2ca3ccd95/a4c4d23/src/gadgets/ecc.rs:696:64 | |
| | | |
| 696 | *lambda.get_value().get()? * (*self.x.get_value().get()? - *x.get_value().get()?) | |
| | ^ the trait `From<bellpepper_core::constraint_system::SynthesisError>` is not implemented for `SynthesisError` | |
| | | |
| = note: the question mark operation (`?`) implicitly performs a conversion on the error value using the `From` trait | |
| = help: the trait `From<std::io::Error>` is implemented for `SynthesisError` | |
| = help: for that trait implementation, expected `std::io::Error`, found `bellpepper_core::constraint_system::SynthesisError` | |
| = note: required for `Result<<E as traits::Engine>::Base, SynthesisError>` to implement `FromResidual<Result<Infallible, bellpepper_core::constraint_system::SynthesisError>>` | |
| error[E0277]: `?` couldn't convert the error to `SynthesisError` | |
| --> /Users/huitseeker/.cargo/git/checkouts/arecibo-52a2a9b2ca3ccd95/a4c4d23/src/gadgets/ecc.rs:696:88 | |
| | | |
| 696 | *lambda.get_value().get()? * (*self.x.get_value().get()? - *x.get_value().get()?) | |
| | ^ the trait `From<bellpepper_core::constraint_system::SynthesisError>` is not implemented for `SynthesisError` | |
| | | |
| = note: the question mark operation (`?`) implicitly performs a conversion on the error value using the `From` trait | |
| = help: the trait `From<std::io::Error>` is implemented for `SynthesisError` | |
| = help: for that trait implementation, expected `std::io::Error`, found `bellpepper_core::constraint_system::SynthesisError` | |
| = note: required for `Result<<E as traits::Engine>::Base, SynthesisError>` to implement `FromResidual<Result<Infallible, bellpepper_core::constraint_system::SynthesisError>>` | |
| error[E0277]: `?` couldn't convert the error to `SynthesisError` | |
| --> /Users/huitseeker/.cargo/git/checkouts/arecibo-52a2a9b2ca3ccd95/a4c4d23/src/gadgets/ecc.rs:697:38 | |
| | | |
| 697 | - *self.y.get_value().get()?, | |
| | ^ the trait `From<bellpepper_core::constraint_system::SynthesisError>` is not implemented for `SynthesisError` | |
| | | |
| = note: the question mark operation (`?`) implicitly performs a conversion on the error value using the `From` trait | |
| = help: the trait `From<std::io::Error>` is implemented for `SynthesisError` | |
| = help: for that trait implementation, expected `std::io::Error`, found `bellpepper_core::constraint_system::SynthesisError` | |
| = note: required for `Result<<E as traits::Engine>::Base, SynthesisError>` to implement `FromResidual<Result<Infallible, bellpepper_core::constraint_system::SynthesisError>>` | |
| error[E0277]: `?` couldn't convert the error to `SynthesisError` | |
| --> /Users/huitseeker/.cargo/git/checkouts/arecibo-52a2a9b2ca3ccd95/a4c4d23/src/gadgets/ecc.rs:721:56 | |
| | | |
| 721 | let n = E::Base::from(3) * x_sq.get_value().get()? + E::GE::group_params().0; | |
| | ^ the trait `From<bellpepper_core::constraint_system::SynthesisError>` is not implemented for `SynthesisError` | |
| | | |
| = note: the question mark operation (`?`) implicitly performs a conversion on the error value using the `From` trait | |
| = help: the trait `From<std::io::Error>` is implemented for `SynthesisError` | |
| = help: for that trait implementation, expected `std::io::Error`, found `bellpepper_core::constraint_system::SynthesisError` | |
| = note: required for `Result<<E as traits::Engine>::Base, SynthesisError>` to implement `FromResidual<Result<Infallible, bellpepper_core::constraint_system::SynthesisError>>` | |
| error[E0277]: `?` couldn't convert the error to `SynthesisError` | |
| --> /Users/huitseeker/.cargo/git/checkouts/arecibo-52a2a9b2ca3ccd95/a4c4d23/src/gadgets/ecc.rs:722:59 | |
| | | |
| 722 | let d = E::Base::from(2) * *self.y.get_value().get()?; | |
| | ^ the trait `From<bellpepper_core::constraint_system::SynthesisError>` is not implemented for `SynthesisError` | |
| | | |
| = note: the question mark operation (`?`) implicitly performs a conversion on the error value using the `From` trait | |
| = help: the trait `From<std::io::Error>` is implemented for `SynthesisError` | |
| = help: for that trait implementation, expected `std::io::Error`, found `bellpepper_core::constraint_system::SynthesisError` | |
| = note: required for `Result<<E as traits::Engine>::Base, SynthesisError>` to implement `FromResidual<Result<Infallible, bellpepper_core::constraint_system::SynthesisError>>` | |
| error[E0277]: `?` couldn't convert the error to `SynthesisError` | |
| --> /Users/huitseeker/.cargo/git/checkouts/arecibo-52a2a9b2ca3ccd95/a4c4d23/src/gadgets/ecc.rs:738:34 | |
| | | |
| 738 | *lambda.get_value().get()? * *lambda.get_value().get()? | |
| | ^ the trait `From<bellpepper_core::constraint_system::SynthesisError>` is not implemented for `SynthesisError` | |
| | | |
| = note: the question mark operation (`?`) implicitly performs a conversion on the error value using the `From` trait | |
| = help: the trait `From<std::io::Error>` is implemented for `SynthesisError` | |
| = help: for that trait implementation, expected `std::io::Error`, found `bellpepper_core::constraint_system::SynthesisError` | |
| = note: required for `Result<<E as traits::Engine>::Base, SynthesisError>` to implement `FromResidual<Result<Infallible, bellpepper_core::constraint_system::SynthesisError>>` | |
| error[E0277]: `?` couldn't convert the error to `SynthesisError` | |
| --> /Users/huitseeker/.cargo/git/checkouts/arecibo-52a2a9b2ca3ccd95/a4c4d23/src/gadgets/ecc.rs:738:63 | |
| | | |
| 738 | *lambda.get_value().get()? * *lambda.get_value().get()? | |
| | ^ the trait `From<bellpepper_core::constraint_system::SynthesisError>` is not implemented for `SynthesisError` | |
| | | |
| = note: the question mark operation (`?`) implicitly performs a conversion on the error value using the `From` trait | |
| = help: the trait `From<std::io::Error>` is implemented for `SynthesisError` | |
| = help: for that trait implementation, expected `std::io::Error`, found `bellpepper_core::constraint_system::SynthesisError` | |
| = note: required for `Result<<E as traits::Engine>::Base, SynthesisError>` to implement `FromResidual<Result<Infallible, bellpepper_core::constraint_system::SynthesisError>>` | |
| error[E0277]: `?` couldn't convert the error to `SynthesisError` | |
| --> /Users/huitseeker/.cargo/git/checkouts/arecibo-52a2a9b2ca3ccd95/a4c4d23/src/gadgets/ecc.rs:739:38 | |
| | | |
| 739 | - *self.x.get_value().get()? | |
| | ^ the trait `From<bellpepper_core::constraint_system::SynthesisError>` is not implemented for `SynthesisError` | |
| | | |
| = note: the question mark operation (`?`) implicitly performs a conversion on the error value using the `From` trait | |
| = help: the trait `From<std::io::Error>` is implemented for `SynthesisError` | |
| = help: for that trait implementation, expected `std::io::Error`, found `bellpepper_core::constraint_system::SynthesisError` | |
| = note: required for `Result<<E as traits::Engine>::Base, SynthesisError>` to implement `FromResidual<Result<Infallible, bellpepper_core::constraint_system::SynthesisError>>` | |
| error[E0277]: `?` couldn't convert the error to `SynthesisError` | |
| --> /Users/huitseeker/.cargo/git/checkouts/arecibo-52a2a9b2ca3ccd95/a4c4d23/src/gadgets/ecc.rs:740:38 | |
| | | |
| 740 | - *self.x.get_value().get()?, | |
| | ^ the trait `From<bellpepper_core::constraint_system::SynthesisError>` is not implemented for `SynthesisError` | |
| | | |
| = note: the question mark operation (`?`) implicitly performs a conversion on the error value using the `From` trait | |
| = help: the trait `From<std::io::Error>` is implemented for `SynthesisError` | |
| = help: for that trait implementation, expected `std::io::Error`, found `bellpepper_core::constraint_system::SynthesisError` | |
| = note: required for `Result<<E as traits::Engine>::Base, SynthesisError>` to implement `FromResidual<Result<Infallible, bellpepper_core::constraint_system::SynthesisError>>` | |
| error[E0277]: `?` couldn't convert the error to `SynthesisError` | |
| --> /Users/huitseeker/.cargo/git/checkouts/arecibo-52a2a9b2ca3ccd95/a4c4d23/src/gadgets/ecc.rs:753:34 | |
| | | |
| 753 | *lambda.get_value().get()? * (*self.x.get_value().get()? - *x.get_value().get()?) | |
| | ^ the trait `From<bellpepper_core::constraint_system::SynthesisError>` is not implemented for `SynthesisError` | |
| | | |
| = note: the question mark operation (`?`) implicitly performs a conversion on the error value using the `From` trait | |
| = help: the trait `From<std::io::Error>` is implemented for `SynthesisError` | |
| = help: for that trait implementation, expected `std::io::Error`, found `bellpepper_core::constraint_system::SynthesisError` | |
| = note: required for `Result<<E as traits::Engine>::Base, SynthesisError>` to implement `FromResidual<Result<Infallible, bellpepper_core::constraint_system::SynthesisError>>` | |
| error[E0277]: `?` couldn't convert the error to `SynthesisError` | |
| --> /Users/huitseeker/.cargo/git/checkouts/arecibo-52a2a9b2ca3ccd95/a4c4d23/src/gadgets/ecc.rs:753:64 | |
| | | |
| 753 | *lambda.get_value().get()? * (*self.x.get_value().get()? - *x.get_value().get()?) | |
| | ^ the trait `From<bellpepper_core::constraint_system::SynthesisError>` is not implemented for `SynthesisError` | |
| | | |
| = note: the question mark operation (`?`) implicitly performs a conversion on the error value using the `From` trait | |
| = help: the trait `From<std::io::Error>` is implemented for `SynthesisError` | |
| = help: for that trait implementation, expected `std::io::Error`, found `bellpepper_core::constraint_system::SynthesisError` | |
| = note: required for `Result<<E as traits::Engine>::Base, SynthesisError>` to implement `FromResidual<Result<Infallible, bellpepper_core::constraint_system::SynthesisError>>` | |
| error[E0277]: `?` couldn't convert the error to `SynthesisError` | |
| --> /Users/huitseeker/.cargo/git/checkouts/arecibo-52a2a9b2ca3ccd95/a4c4d23/src/gadgets/ecc.rs:753:88 | |
| | | |
| 753 | *lambda.get_value().get()? * (*self.x.get_value().get()? - *x.get_value().get()?) | |
| | ^ the trait `From<bellpepper_core::constraint_system::SynthesisError>` is not implemented for `SynthesisError` | |
| | | |
| = note: the question mark operation (`?`) implicitly performs a conversion on the error value using the `From` trait | |
| = help: the trait `From<std::io::Error>` is implemented for `SynthesisError` | |
| = help: for that trait implementation, expected `std::io::Error`, found `bellpepper_core::constraint_system::SynthesisError` | |
| = note: required for `Result<<E as traits::Engine>::Base, SynthesisError>` to implement `FromResidual<Result<Infallible, bellpepper_core::constraint_system::SynthesisError>>` | |
| error[E0277]: `?` couldn't convert the error to `SynthesisError` | |
| --> /Users/huitseeker/.cargo/git/checkouts/arecibo-52a2a9b2ca3ccd95/a4c4d23/src/gadgets/ecc.rs:754:38 | |
| | | |
| 754 | - *self.y.get_value().get()?, | |
| | ^ the trait `From<bellpepper_core::constraint_system::SynthesisError>` is not implemented for `SynthesisError` | |
| | | |
| = note: the question mark operation (`?`) implicitly performs a conversion on the error value using the `From` trait | |
| = help: the trait `From<std::io::Error>` is implemented for `SynthesisError` | |
| = help: for that trait implementation, expected `std::io::Error`, found `bellpepper_core::constraint_system::SynthesisError` | |
| = note: required for `Result<<E as traits::Engine>::Base, SynthesisError>` to implement `FromResidual<Result<Infallible, bellpepper_core::constraint_system::SynthesisError>>` | |
| error[E0308]: mismatched types | |
| --> /Users/huitseeker/.cargo/git/checkouts/arecibo-52a2a9b2ca3ccd95/a4c4d23/src/gadgets/r1cs.rs:46:18 | |
| | | |
| 46 | Ok(Self { W, X0, X1 }) | |
| | ^^ expected `AllocatedNum<<E as Engine>::Base>`, found a different `AllocatedNum<<E as Engine>::Base>` | |
| | | |
| = note: `AllocatedNum<<E as Engine>::Base>` and `AllocatedNum<<E as Engine>::Base>` have similar names, but are actually distinct types | |
| note: `AllocatedNum<<E as Engine>::Base>` is defined in crate `bellpepper_core` | |
| --> /Users/huitseeker/.cargo/git/checkouts/bellpepper-de0fda70c41e6ae9/1afbae9/crates/bellpepper-core/src/gadgets/num.rs:11:1 | |
| | | |
| 11 | pub struct AllocatedNum<Scalar: PrimeField> { | |
| | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ | |
| note: `AllocatedNum<<E as Engine>::Base>` is defined in crate `bellpepper_core` | |
| --> /Users/huitseeker/.cargo/registry/src/index.crates.io-6f17d22bba15001f/bellpepper-core-0.4.0/src/gadgets/num.rs:11:1 | |
| | | |
| 11 | pub struct AllocatedNum<Scalar: PrimeField> { | |
| | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ | |
| = note: perhaps two different versions of crate `bellpepper_core` are being used? | |
| error[E0308]: mismatched types | |
| --> /Users/huitseeker/.cargo/git/checkouts/arecibo-52a2a9b2ca3ccd95/a4c4d23/src/gadgets/r1cs.rs:46:22 | |
| | | |
| 46 | Ok(Self { W, X0, X1 }) | |
| | ^^ expected `AllocatedNum<<E as Engine>::Base>`, found a different `AllocatedNum<<E as Engine>::Base>` | |
| | | |
| = note: `AllocatedNum<<E as Engine>::Base>` and `AllocatedNum<<E as Engine>::Base>` have similar names, but are actually distinct types | |
| note: `AllocatedNum<<E as Engine>::Base>` is defined in crate `bellpepper_core` | |
| --> /Users/huitseeker/.cargo/git/checkouts/bellpepper-de0fda70c41e6ae9/1afbae9/crates/bellpepper-core/src/gadgets/num.rs:11:1 | |
| | | |
| 11 | pub struct AllocatedNum<Scalar: PrimeField> { | |
| | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ | |
| note: `AllocatedNum<<E as Engine>::Base>` is defined in crate `bellpepper_core` | |
| --> /Users/huitseeker/.cargo/registry/src/index.crates.io-6f17d22bba15001f/bellpepper-core-0.4.0/src/gadgets/num.rs:11:1 | |
| | | |
| 11 | pub struct AllocatedNum<Scalar: PrimeField> { | |
| | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ | |
| = note: perhaps two different versions of crate `bellpepper_core` are being used? | |
| error[E0308]: mismatched types | |
| --> /Users/huitseeker/.cargo/git/checkouts/arecibo-52a2a9b2ca3ccd95/a4c4d23/src/gadgets/r1cs.rs:54:15 | |
| | | |
| 54 | ro.absorb(&self.X0); | |
| | ------ ^^^^^^^^ expected `AllocatedNum<<E as Engine>::Base>`, found a different `AllocatedNum<<E as Engine>::Base>` | |
| | | | |
| | arguments to this method are incorrect | |
| | | |
| = note: `AllocatedNum<<E as Engine>::Base>` and `AllocatedNum<<E as Engine>::Base>` have similar names, but are actually distinct types | |
| note: `AllocatedNum<<E as Engine>::Base>` is defined in crate `bellpepper_core` | |
| --> /Users/huitseeker/.cargo/registry/src/index.crates.io-6f17d22bba15001f/bellpepper-core-0.4.0/src/gadgets/num.rs:11:1 | |
| | | |
| 11 | pub struct AllocatedNum<Scalar: PrimeField> { | |
| | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ | |
| note: `AllocatedNum<<E as Engine>::Base>` is defined in crate `bellpepper_core` | |
| --> /Users/huitseeker/.cargo/git/checkouts/bellpepper-de0fda70c41e6ae9/1afbae9/crates/bellpepper-core/src/gadgets/num.rs:11:1 | |
| | | |
| 11 | pub struct AllocatedNum<Scalar: PrimeField> { | |
| | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ | |
| = note: perhaps two different versions of crate `bellpepper_core` are being used? | |
| note: method defined here | |
| --> /Users/huitseeker/.cargo/git/checkouts/arecibo-52a2a9b2ca3ccd95/a4c4d23/src/traits/mod.rs:110:6 | |
| | | |
| 110 | fn absorb(&mut self, e: &AllocatedNum<Base>); | |
| | ^^^^^^ | |
| error[E0308]: mismatched types | |
| --> /Users/huitseeker/.cargo/git/checkouts/arecibo-52a2a9b2ca3ccd95/a4c4d23/src/gadgets/r1cs.rs:55:15 | |
| | | |
| 55 | ro.absorb(&self.X1); | |
| | ------ ^^^^^^^^ expected `AllocatedNum<<E as Engine>::Base>`, found a different `AllocatedNum<<E as Engine>::Base>` | |
| | | | |
| | arguments to this method are incorrect | |
| | | |
| = note: `AllocatedNum<<E as Engine>::Base>` and `AllocatedNum<<E as Engine>::Base>` have similar names, but are actually distinct types | |
| note: `AllocatedNum<<E as Engine>::Base>` is defined in crate `bellpepper_core` | |
| --> /Users/huitseeker/.cargo/registry/src/index.crates.io-6f17d22bba15001f/bellpepper-core-0.4.0/src/gadgets/num.rs:11:1 | |
| | | |
| 11 | pub struct AllocatedNum<Scalar: PrimeField> { | |
| | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ | |
| note: `AllocatedNum<<E as Engine>::Base>` is defined in crate `bellpepper_core` | |
| --> /Users/huitseeker/.cargo/git/checkouts/bellpepper-de0fda70c41e6ae9/1afbae9/crates/bellpepper-core/src/gadgets/num.rs:11:1 | |
| | | |
| 11 | pub struct AllocatedNum<Scalar: PrimeField> { | |
| | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ | |
| = note: perhaps two different versions of crate `bellpepper_core` are being used? | |
| note: method defined here | |
| --> /Users/huitseeker/.cargo/git/checkouts/arecibo-52a2a9b2ca3ccd95/a4c4d23/src/traits/mod.rs:110:6 | |
| | | |
| 110 | fn absorb(&mut self, e: &AllocatedNum<Base>); | |
| | ^^^^^^ | |
| error[E0308]: mismatched types | |
| --> /Users/huitseeker/.cargo/git/checkouts/arecibo-52a2a9b2ca3ccd95/a4c4d23/src/gadgets/r1cs.rs:109:21 | |
| | | |
| 109 | Ok(Self { W, E, u, X0, X1 }) | |
| | ^ expected `AllocatedNum<<E as Engine>::Base>`, found a different `AllocatedNum<<E as Engine>::Base>` | |
| | | |
| = note: `AllocatedNum<<E as Engine>::Base>` and `AllocatedNum<<E as Engine>::Base>` have similar names, but are actually distinct types | |
| note: `AllocatedNum<<E as Engine>::Base>` is defined in crate `bellpepper_core` | |
| --> /Users/huitseeker/.cargo/git/checkouts/bellpepper-de0fda70c41e6ae9/1afbae9/crates/bellpepper-core/src/gadgets/num.rs:11:1 | |
| | | |
| 11 | pub struct AllocatedNum<Scalar: PrimeField> { | |
| | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ | |
| note: `AllocatedNum<<E as Engine>::Base>` is defined in crate `bellpepper_core` | |
| --> /Users/huitseeker/.cargo/registry/src/index.crates.io-6f17d22bba15001f/bellpepper-core-0.4.0/src/gadgets/num.rs:11:1 | |
| | | |
| 11 | pub struct AllocatedNum<Scalar: PrimeField> { | |
| | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ | |
| = note: perhaps two different versions of crate `bellpepper_core` are being used? | |
| error[E0308]: mismatched types | |
| --> /Users/huitseeker/.cargo/git/checkouts/arecibo-52a2a9b2ca3ccd95/a4c4d23/src/gadgets/r1cs.rs:141:21 | |
| | | |
| 141 | Ok(Self { W, E, u, X0, X1 }) | |
| | ^ expected `AllocatedNum<<E as Engine>::Base>`, found a different `AllocatedNum<<E as Engine>::Base>` | |
| | | |
| = note: `AllocatedNum<<E as Engine>::Base>` and `AllocatedNum<<E as Engine>::Base>` have similar names, but are actually distinct types | |
| note: `AllocatedNum<<E as Engine>::Base>` is defined in crate `bellpepper_core` | |
| --> /Users/huitseeker/.cargo/git/checkouts/bellpepper-de0fda70c41e6ae9/1afbae9/crates/bellpepper-core/src/gadgets/num.rs:11:1 | |
| | | |
| 11 | pub struct AllocatedNum<Scalar: PrimeField> { | |
| | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ | |
| note: `AllocatedNum<<E as Engine>::Base>` is defined in crate `bellpepper_core` | |
| --> /Users/huitseeker/.cargo/registry/src/index.crates.io-6f17d22bba15001f/bellpepper-core-0.4.0/src/gadgets/num.rs:11:1 | |
| | | |
| 11 | pub struct AllocatedNum<Scalar: PrimeField> { | |
| | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ | |
| = note: perhaps two different versions of crate `bellpepper_core` are being used? | |
| error[E0277]: the trait bound `nonnative::util::Num<_>: From<bellpepper::gadgets::num::AllocatedNum<<E as traits::Engine>::Base>>` is not satisfied | |
| --> /Users/huitseeker/.cargo/git/checkouts/arecibo-52a2a9b2ca3ccd95/a4c4d23/src/gadgets/r1cs.rs:158:8 | |
| | | |
| 158 | &Num::from(inst.X0), | |
| | ^^^ the trait `From<bellpepper::gadgets::num::AllocatedNum<<E as traits::Engine>::Base>>` is not implemented for `nonnative::util::Num<_>` | |
| | | |
| = help: the trait `From<bellpepper_core::num::AllocatedNum<_>>` is implemented for `nonnative::util::Num<_>` | |
| = help: for that trait implementation, expected `bellpepper_core::num::AllocatedNum<_>`, found `bellpepper::gadgets::num::AllocatedNum<<E as traits::Engine>::Base>` | |
| error[E0277]: the trait bound `nonnative::util::Num<_>: From<bellpepper::gadgets::num::AllocatedNum<<E as traits::Engine>::Base>>` is not satisfied | |
| --> /Users/huitseeker/.cargo/git/checkouts/arecibo-52a2a9b2ca3ccd95/a4c4d23/src/gadgets/r1cs.rs:165:8 | |
| | | |
| 165 | &Num::from(inst.X1), | |
| | ^^^ the trait `From<bellpepper::gadgets::num::AllocatedNum<<E as traits::Engine>::Base>>` is not implemented for `nonnative::util::Num<_>` | |
| | | |
| = help: the trait `From<bellpepper_core::num::AllocatedNum<_>>` is implemented for `nonnative::util::Num<_>` | |
| = help: for that trait implementation, expected `bellpepper_core::num::AllocatedNum<_>`, found `bellpepper::gadgets::num::AllocatedNum<<E as traits::Engine>::Base>` | |
| error[E0308]: mismatched types | |
| --> /Users/huitseeker/.cargo/git/checkouts/arecibo-52a2a9b2ca3ccd95/a4c4d23/src/gadgets/r1cs.rs:173:7 | |
| | | |
| 173 | u, | |
| | ^ expected `AllocatedNum<<E as Engine>::Base>`, found a different `AllocatedNum<<E as Engine>::Base>` | |
| | | |
| = note: `AllocatedNum<<E as Engine>::Base>` and `AllocatedNum<<E as Engine>::Base>` have similar names, but are actually distinct types | |
| note: `AllocatedNum<<E as Engine>::Base>` is defined in crate `bellpepper_core` | |
| --> /Users/huitseeker/.cargo/git/checkouts/bellpepper-de0fda70c41e6ae9/1afbae9/crates/bellpepper-core/src/gadgets/num.rs:11:1 | |
| | | |
| 11 | pub struct AllocatedNum<Scalar: PrimeField> { | |
| | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ | |
| note: `AllocatedNum<<E as Engine>::Base>` is defined in crate `bellpepper_core` | |
| --> /Users/huitseeker/.cargo/registry/src/index.crates.io-6f17d22bba15001f/bellpepper-core-0.4.0/src/gadgets/num.rs:11:1 | |
| | | |
| 11 | pub struct AllocatedNum<Scalar: PrimeField> { | |
| | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ | |
| = note: perhaps two different versions of crate `bellpepper_core` are being used? | |
| error[E0308]: mismatched types | |
| --> /Users/huitseeker/.cargo/git/checkouts/arecibo-52a2a9b2ca3ccd95/a4c4d23/src/gadgets/r1cs.rs:191:15 | |
| | | |
| 191 | ro.absorb(&self.u); | |
| | ------ ^^^^^^^ expected `AllocatedNum<<E as Engine>::Base>`, found a different `AllocatedNum<<E as Engine>::Base>` | |
| | | | |
| | arguments to this method are incorrect | |
| | | |
| = note: `AllocatedNum<<E as Engine>::Base>` and `AllocatedNum<<E as Engine>::Base>` have similar names, but are actually distinct types | |
| note: `AllocatedNum<<E as Engine>::Base>` is defined in crate `bellpepper_core` | |
| --> /Users/huitseeker/.cargo/registry/src/index.crates.io-6f17d22bba15001f/bellpepper-core-0.4.0/src/gadgets/num.rs:11:1 | |
| | | |
| 11 | pub struct AllocatedNum<Scalar: PrimeField> { | |
| | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ | |
| note: `AllocatedNum<<E as Engine>::Base>` is defined in crate `bellpepper_core` | |
| --> /Users/huitseeker/.cargo/git/checkouts/bellpepper-de0fda70c41e6ae9/1afbae9/crates/bellpepper-core/src/gadgets/num.rs:11:1 | |
| | | |
| 11 | pub struct AllocatedNum<Scalar: PrimeField> { | |
| | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ | |
| = note: perhaps two different versions of crate `bellpepper_core` are being used? | |
| note: method defined here | |
| --> /Users/huitseeker/.cargo/git/checkouts/arecibo-52a2a9b2ca3ccd95/a4c4d23/src/traits/mod.rs:110:6 | |
| | | |
| 110 | fn absorb(&mut self, e: &AllocatedNum<Base>); | |
| | ^^^^^^ | |
| error[E0277]: a value of type `Vec<bellpepper::gadgets::num::AllocatedNum<<E as traits::Engine>::Base>>` cannot be built from an iterator over elements of type `bellpepper_core::num::AllocatedNum<<E as traits::Engine>::Base>` | |
| --> /Users/huitseeker/.cargo/git/checkouts/arecibo-52a2a9b2ca3ccd95/a4c4d23/src/gadgets/r1cs.rs:202:18 | |
| | | |
| 202 | .collect::<Result<Vec<AllocatedNum<E::Base>>, _>>()?; | |
| | ------- ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ value of type `Vec<bellpepper::gadgets::num::AllocatedNum<<E as traits::Engine>::Base>>` cannot be built from `std::iter::Iterator<Item=bellpepper_core::num::AllocatedNum<<E as traits::Engine>::Base>>` | |
| | | | |
| | required by a bound introduced by this call | |
| | | |
| = help: the trait `FromIterator<bellpepper_core::num::AllocatedNum<<E as traits::Engine>::Base>>` is not implemented for `Vec<bellpepper::gadgets::num::AllocatedNum<<E as traits::Engine>::Base>>` | |
| = help: the trait `FromIterator<bellpepper::gadgets::num::AllocatedNum<<E as traits::Engine>::Base>>` is implemented for `Vec<bellpepper::gadgets::num::AllocatedNum<<E as traits::Engine>::Base>>` | |
| = help: for that trait implementation, expected `bellpepper::gadgets::num::AllocatedNum<<E as traits::Engine>::Base>`, found `bellpepper_core::num::AllocatedNum<<E as traits::Engine>::Base>` | |
| = note: required for `Result<Vec<bellpepper::gadgets::num::AllocatedNum<<E as traits::Engine>::Base>>, SynthesisError>` to implement `FromIterator<Result<bellpepper_core::num::AllocatedNum<<E as traits::Engine>::Base>, SynthesisError>>` | |
| note: required by a bound in `std::iter::Iterator::collect` | |
| --> /Users/huitseeker/.rustup/toolchains/1.75-aarch64-apple-darwin/lib/rustlib/src/rust/library/core/src/iter/traits/iterator.rs:2050:19 | |
| | | |
| 2050 | fn collect<B: FromIterator<Self::Item>>(self) -> B | |
| | ^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `Iterator::collect` | |
| error[E0308]: mismatched types | |
| --> /Users/huitseeker/.cargo/git/checkouts/arecibo-52a2a9b2ca3ccd95/a4c4d23/src/gadgets/r1cs.rs:206:17 | |
| | | |
| 206 | ro.absorb(&limb); | |
| | ------ ^^^^^ expected `AllocatedNum<<E as Engine>::Base>`, found a different `AllocatedNum<<E as Engine>::Base>` | |
| | | | |
| | arguments to this method are incorrect | |
| | | |
| = note: `AllocatedNum<<E as Engine>::Base>` and `AllocatedNum<<E as Engine>::Base>` have similar names, but are actually distinct types | |
| note: `AllocatedNum<<E as Engine>::Base>` is defined in crate `bellpepper_core` | |
| --> /Users/huitseeker/.cargo/registry/src/index.crates.io-6f17d22bba15001f/bellpepper-core-0.4.0/src/gadgets/num.rs:11:1 | |
| | | |
| 11 | pub struct AllocatedNum<Scalar: PrimeField> { | |
| | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ | |
| note: `AllocatedNum<<E as Engine>::Base>` is defined in crate `bellpepper_core` | |
| --> /Users/huitseeker/.cargo/git/checkouts/bellpepper-de0fda70c41e6ae9/1afbae9/crates/bellpepper-core/src/gadgets/num.rs:11:1 | |
| | | |
| 11 | pub struct AllocatedNum<Scalar: PrimeField> { | |
| | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ | |
| = note: perhaps two different versions of crate `bellpepper_core` are being used? | |
| note: method defined here | |
| --> /Users/huitseeker/.cargo/git/checkouts/arecibo-52a2a9b2ca3ccd95/a4c4d23/src/traits/mod.rs:110:6 | |
| | | |
| 110 | fn absorb(&mut self, e: &AllocatedNum<Base>); | |
| | ^^^^^^ | |
| error[E0277]: a value of type `Vec<bellpepper::gadgets::num::AllocatedNum<<E as traits::Engine>::Base>>` cannot be built from an iterator over elements of type `bellpepper_core::num::AllocatedNum<<E as traits::Engine>::Base>` | |
| --> /Users/huitseeker/.cargo/git/checkouts/arecibo-52a2a9b2ca3ccd95/a4c4d23/src/gadgets/r1cs.rs:218:18 | |
| | | |
| 218 | .collect::<Result<Vec<AllocatedNum<E::Base>>, _>>()?; | |
| | ------- ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ value of type `Vec<bellpepper::gadgets::num::AllocatedNum<<E as traits::Engine>::Base>>` cannot be built from `std::iter::Iterator<Item=bellpepper_core::num::AllocatedNum<<E as traits::Engine>::Base>>` | |
| | | | |
| | required by a bound introduced by this call | |
| | | |
| = help: the trait `FromIterator<bellpepper_core::num::AllocatedNum<<E as traits::Engine>::Base>>` is not implemented for `Vec<bellpepper::gadgets::num::AllocatedNum<<E as traits::Engine>::Base>>` | |
| = help: the trait `FromIterator<bellpepper::gadgets::num::AllocatedNum<<E as traits::Engine>::Base>>` is implemented for `Vec<bellpepper::gadgets::num::AllocatedNum<<E as traits::Engine>::Base>>` | |
| = help: for that trait implementation, expected `bellpepper::gadgets::num::AllocatedNum<<E as traits::Engine>::Base>`, found `bellpepper_core::num::AllocatedNum<<E as traits::Engine>::Base>` | |
| = note: required for `Result<Vec<bellpepper::gadgets::num::AllocatedNum<<E as traits::Engine>::Base>>, SynthesisError>` to implement `FromIterator<Result<bellpepper_core::num::AllocatedNum<<E as traits::Engine>::Base>, SynthesisError>>` | |
| note: required by a bound in `std::iter::Iterator::collect` | |
| --> /Users/huitseeker/.rustup/toolchains/1.75-aarch64-apple-darwin/lib/rustlib/src/rust/library/core/src/iter/traits/iterator.rs:2050:19 | |
| | | |
| 2050 | fn collect<B: FromIterator<Self::Item>>(self) -> B | |
| | ^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `Iterator::collect` | |
| error[E0308]: mismatched types | |
| --> /Users/huitseeker/.cargo/git/checkouts/arecibo-52a2a9b2ca3ccd95/a4c4d23/src/gadgets/r1cs.rs:222:17 | |
| | | |
| 222 | ro.absorb(&limb); | |
| | ------ ^^^^^ expected `AllocatedNum<<E as Engine>::Base>`, found a different `AllocatedNum<<E as Engine>::Base>` | |
| | | | |
| | arguments to this method are incorrect | |
| | | |
| = note: `AllocatedNum<<E as Engine>::Base>` and `AllocatedNum<<E as Engine>::Base>` have similar names, but are actually distinct types | |
| note: `AllocatedNum<<E as Engine>::Base>` is defined in crate `bellpepper_core` | |
| --> /Users/huitseeker/.cargo/registry/src/index.crates.io-6f17d22bba15001f/bellpepper-core-0.4.0/src/gadgets/num.rs:11:1 | |
| | | |
| 11 | pub struct AllocatedNum<Scalar: PrimeField> { | |
| | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ | |
| note: `AllocatedNum<<E as Engine>::Base>` is defined in crate `bellpepper_core` | |
| --> /Users/huitseeker/.cargo/git/checkouts/bellpepper-de0fda70c41e6ae9/1afbae9/crates/bellpepper-core/src/gadgets/num.rs:11:1 | |
| | | |
| 11 | pub struct AllocatedNum<Scalar: PrimeField> { | |
| | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ | |
| = note: perhaps two different versions of crate `bellpepper_core` are being used? | |
| note: method defined here | |
| --> /Users/huitseeker/.cargo/git/checkouts/arecibo-52a2a9b2ca3ccd95/a4c4d23/src/traits/mod.rs:110:6 | |
| | | |
| 110 | fn absorb(&mut self, e: &AllocatedNum<Base>); | |
| | ^^^^^^ | |
| error[E0308]: mismatched types | |
| --> /Users/huitseeker/.cargo/git/checkouts/arecibo-52a2a9b2ca3ccd95/a4c4d23/src/gadgets/r1cs.rs:241:15 | |
| | | |
| 241 | ro.absorb(params); | |
| | ------ ^^^^^^ expected `AllocatedNum<<E as Engine>::Base>`, found a different `AllocatedNum<<E as Engine>::Base>` | |
| | | | |
| | arguments to this method are incorrect | |
| | | |
| = note: `AllocatedNum<<E as Engine>::Base>` and `AllocatedNum<<E as Engine>::Base>` have similar names, but are actually distinct types | |
| note: `AllocatedNum<<E as Engine>::Base>` is defined in crate `bellpepper_core` | |
| --> /Users/huitseeker/.cargo/registry/src/index.crates.io-6f17d22bba15001f/bellpepper-core-0.4.0/src/gadgets/num.rs:11:1 | |
| | | |
| 11 | pub struct AllocatedNum<Scalar: PrimeField> { | |
| | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ | |
| note: `AllocatedNum<<E as Engine>::Base>` is defined in crate `bellpepper_core` | |
| --> /Users/huitseeker/.cargo/git/checkouts/bellpepper-de0fda70c41e6ae9/1afbae9/crates/bellpepper-core/src/gadgets/num.rs:11:1 | |
| | | |
| 11 | pub struct AllocatedNum<Scalar: PrimeField> { | |
| | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ | |
| = note: perhaps two different versions of crate `bellpepper_core` are being used? | |
| note: method defined here | |
| --> /Users/huitseeker/.cargo/git/checkouts/arecibo-52a2a9b2ca3ccd95/a4c4d23/src/traits/mod.rs:110:6 | |
| | | |
| 110 | fn absorb(&mut self, e: &AllocatedNum<Base>); | |
| | ^^^^^^ | |
| error[E0277]: the trait bound `Namespace<'_, <E as traits::Engine>::Base, <CS as ConstraintSystem<<E as traits::Engine>::Base>>::Root>: bellpepper_core::constraint_system::ConstraintSystem<_>` is not satisfied | |
| --> /Users/huitseeker/.cargo/git/checkouts/arecibo-52a2a9b2ca3ccd95/a4c4d23/src/gadgets/r1cs.rs:261:38 | |
| | | |
| 261 | let u_fold = AllocatedNum::alloc(cs.namespace(|| "u_fold"), || { | |
| | ------------------- ^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `bellpepper_core::constraint_system::ConstraintSystem<_>` is not implemented for `Namespace<'_, <E as traits::Engine>::Base, <CS as ConstraintSystem<<E as traits::Engine>::Base>>::Root>` | |
| | | | |
| | required by a bound introduced by this call | |
| | | |
| = help: the following other types implement trait `bellpepper_core::constraint_system::ConstraintSystem<Scalar>`: | |
| MultiEq<Scalar, CS> | |
| BenchCS<Scalar> | |
| MetricCS<Scalar> | |
| bellpepper::util_cs::shape_cs::ShapeCS<Scalar> | |
| bellpepper::util_cs::test_shape_cs::TestShapeCS<Scalar> | |
| WitnessCS<Scalar> | |
| bellpepper_core::constraint_system::Namespace<'cs, Scalar, CS> | |
| bellpepper_core::util_cs::test_cs::TestConstraintSystem<Scalar> | |
| &'cs mut CS | |
| note: required by a bound in `bellpepper::gadgets::num::AllocatedNum::<Scalar>::alloc` | |
| --> /Users/huitseeker/.cargo/registry/src/index.crates.io-6f17d22bba15001f/bellpepper-core-0.4.0/src/gadgets/num.rs:29:13 | |
| | | |
| 27 | pub fn alloc<CS, F>(mut cs: CS, value: F) -> Result<Self, SynthesisError> | |
| | ----- required by a bound in this associated function | |
| 28 | where | |
| 29 | CS: ConstraintSystem<Scalar>, | |
| | ^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `AllocatedNum::<Scalar>::alloc` | |
| error[E0277]: `?` couldn't convert the error to `SynthesisError` | |
| --> /Users/huitseeker/.cargo/git/checkouts/arecibo-52a2a9b2ca3ccd95/a4c4d23/src/gadgets/r1cs.rs:263:7 | |
| | | |
| 263 | })?; | |
| | ^ the trait `From<bellpepper_core::constraint_system::SynthesisError>` is not implemented for `SynthesisError` | |
| | | |
| = note: the question mark operation (`?`) implicitly performs a conversion on the error value using the `From` trait | |
| = help: the trait `From<std::io::Error>` is implemented for `SynthesisError` | |
| = help: for that trait implementation, expected `std::io::Error`, found `bellpepper_core::constraint_system::SynthesisError` | |
| = note: required for `Result<AllocatedRelaxedR1CSInstance<E>, SynthesisError>` to implement `FromResidual<Result<Infallible, bellpepper_core::constraint_system::SynthesisError>>` | |
| error[E0277]: cannot add `bellpepper_core::lc::Variable` to `LinearCombination<<E as traits::Engine>::Base>` | |
| --> /Users/huitseeker/.cargo/git/checkouts/arecibo-52a2a9b2ca3ccd95/a4c4d23/src/gadgets/r1cs.rs:268:15 | |
| | | |
| 268 | |lc| lc + u_fold.get_variable() - self.u.get_variable() - r.get_variable(), | |
| | ^ no implementation for `LinearCombination<<E as traits::Engine>::Base> + bellpepper_core::lc::Variable` | |
| | | |
| = help: the trait `Add<bellpepper_core::lc::Variable>` is not implemented for `LinearCombination<<E as traits::Engine>::Base>` | |
| = help: the following other types implement trait `Add<Rhs>`: | |
| <LinearCombination<Scalar> as Add<Variable>> | |
| <LinearCombination<Scalar> as Add<(Scalar, Variable)>> | |
| <LinearCombination<Scalar> as Add<&'a LinearCombination<Scalar>>> | |
| <LinearCombination<Scalar> as Add<(Scalar, &'a LinearCombination<Scalar>)>> | |
| error[E0277]: the trait bound `nonnative::util::Num<_>: From<bellpepper::gadgets::num::AllocatedNum<<E as traits::Engine>::Base>>` is not satisfied | |
| --> /Users/huitseeker/.cargo/git/checkouts/arecibo-52a2a9b2ca3ccd95/a4c4d23/src/gadgets/r1cs.rs:291:8 | |
| | | |
| 291 | &Num::from(u.X0.clone()), | |
| | ^^^ the trait `From<bellpepper::gadgets::num::AllocatedNum<<E as traits::Engine>::Base>>` is not implemented for `nonnative::util::Num<_>` | |
| | | |
| = help: the trait `From<bellpepper_core::num::AllocatedNum<_>>` is implemented for `nonnative::util::Num<_>` | |
| = help: for that trait implementation, expected `bellpepper_core::num::AllocatedNum<_>`, found `bellpepper::gadgets::num::AllocatedNum<<E as traits::Engine>::Base>` | |
| error[E0277]: the trait bound `nonnative::util::Num<_>: From<bellpepper::gadgets::num::AllocatedNum<<E as traits::Engine>::Base>>` is not satisfied | |
| --> /Users/huitseeker/.cargo/git/checkouts/arecibo-52a2a9b2ca3ccd95/a4c4d23/src/gadgets/r1cs.rs:306:8 | |
| | | |
| 306 | &Num::from(u.X1.clone()), | |
| | ^^^ the trait `From<bellpepper::gadgets::num::AllocatedNum<<E as traits::Engine>::Base>>` is not implemented for `nonnative::util::Num<_>` | |
| | | |
| = help: the trait `From<bellpepper_core::num::AllocatedNum<_>>` is implemented for `nonnative::util::Num<_>` | |
| = help: for that trait implementation, expected `bellpepper_core::num::AllocatedNum<_>`, found `bellpepper::gadgets::num::AllocatedNum<<E as traits::Engine>::Base>` | |
| error[E0308]: arguments to this function are incorrect | |
| --> /Users/huitseeker/.cargo/git/checkouts/arecibo-52a2a9b2ca3ccd95/a4c4d23/src/gadgets/r1cs.rs:361:8 | |
| | | |
| 361 | u: conditionally_select( | |
| | ^^^^^^^^^^^^^^^^^^^^ | |
| ... | |
| 365 | condition, | |
| | --------- expected `bellpepper_core::boolean::Boolean`, found `Boolean` | |
| | | |
| note: expected `AllocatedNum<<E as Engine>::Base>`, found a different `AllocatedNum<<E as Engine>::Base>` | |
| --> /Users/huitseeker/.cargo/git/checkouts/arecibo-52a2a9b2ca3ccd95/a4c4d23/src/gadgets/r1cs.rs:363:7 | |
| | | |
| 363 | &a.u, | |
| | ^^^^ | |
| = note: `AllocatedNum<<E as Engine>::Base>` and `AllocatedNum<<E as Engine>::Base>` have similar names, but are actually distinct types | |
| note: `AllocatedNum<<E as Engine>::Base>` is defined in crate `bellpepper_core` | |
| --> /Users/huitseeker/.cargo/registry/src/index.crates.io-6f17d22bba15001f/bellpepper-core-0.4.0/src/gadgets/num.rs:11:1 | |
| | | |
| 11 | pub struct AllocatedNum<Scalar: PrimeField> { | |
| | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ | |
| note: `AllocatedNum<<E as Engine>::Base>` is defined in crate `bellpepper_core` | |
| --> /Users/huitseeker/.cargo/git/checkouts/bellpepper-de0fda70c41e6ae9/1afbae9/crates/bellpepper-core/src/gadgets/num.rs:11:1 | |
| | | |
| 11 | pub struct AllocatedNum<Scalar: PrimeField> { | |
| | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ | |
| = note: perhaps two different versions of crate `bellpepper_core` are being used? | |
| note: expected `AllocatedNum<<E as Engine>::Base>`, found a different `AllocatedNum<<E as Engine>::Base>` | |
| --> /Users/huitseeker/.cargo/git/checkouts/arecibo-52a2a9b2ca3ccd95/a4c4d23/src/gadgets/r1cs.rs:364:7 | |
| | | |
| 364 | &b.u, | |
| | ^^^^ | |
| = note: `AllocatedNum<<E as Engine>::Base>` and `AllocatedNum<<E as Engine>::Base>` have similar names, but are actually distinct types | |
| note: `AllocatedNum<<E as Engine>::Base>` is defined in crate `bellpepper_core` | |
| --> /Users/huitseeker/.cargo/registry/src/index.crates.io-6f17d22bba15001f/bellpepper-core-0.4.0/src/gadgets/num.rs:11:1 | |
| | | |
| 11 | pub struct AllocatedNum<Scalar: PrimeField> { | |
| | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ | |
| note: `AllocatedNum<<E as Engine>::Base>` is defined in crate `bellpepper_core` | |
| --> /Users/huitseeker/.cargo/git/checkouts/bellpepper-de0fda70c41e6ae9/1afbae9/crates/bellpepper-core/src/gadgets/num.rs:11:1 | |
| | | |
| 11 | pub struct AllocatedNum<Scalar: PrimeField> { | |
| | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ | |
| = note: perhaps two different versions of crate `bellpepper_core` are being used? | |
| = note: `Boolean` and `bellpepper_core::boolean::Boolean` have similar names, but are actually distinct types | |
| note: `Boolean` is defined in crate `bellpepper_core` | |
| --> /Users/huitseeker/.cargo/registry/src/index.crates.io-6f17d22bba15001f/bellpepper-core-0.4.0/src/gadgets/boolean.rs:369:1 | |
| | | |
| 369 | pub enum Boolean { | |
| | ^^^^^^^^^^^^^^^^ | |
| note: `bellpepper_core::boolean::Boolean` is defined in crate `bellpepper_core` | |
| --> /Users/huitseeker/.cargo/git/checkouts/bellpepper-de0fda70c41e6ae9/1afbae9/crates/bellpepper-core/src/gadgets/boolean.rs:369:1 | |
| | | |
| 369 | pub enum Boolean { | |
| | ^^^^^^^^^^^^^^^^ | |
| = note: perhaps two different versions of crate `bellpepper_core` are being used? | |
| note: function defined here | |
| --> /Users/huitseeker/.cargo/git/checkouts/arecibo-52a2a9b2ca3ccd95/a4c4d23/src/gadgets/utils.rs:182:8 | |
| | | |
| 182 | pub fn conditionally_select<F: PrimeField, CS: ConstraintSystem<F>>( | |
| | ^^^^^^^^^^^^^^^^^^^^ | |
| 183 | mut cs: CS, | |
| | ---------- | |
| 184 | a: &AllocatedNum<F>, | |
| | ------------------- | |
| 185 | b: &AllocatedNum<F>, | |
| | ------------------- | |
| 186 | condition: &Boolean, | |
| | ------------------- | |
| error[E0308]: `?` operator has incompatible types | |
| --> /Users/huitseeker/.cargo/git/checkouts/arecibo-52a2a9b2ca3ccd95/a4c4d23/src/gadgets/r1cs.rs:361:8 | |
| | | |
| 361 | u: conditionally_select( | |
| | ________^ | |
| 362 | | cs.namespace(|| "u = cond ? a.u : b.u"), | |
| 363 | | &a.u, | |
| 364 | | &b.u, | |
| 365 | | condition, | |
| 366 | | )?, | |
| | |______^ expected `AllocatedNum<<E as Engine>::Base>`, found a different `AllocatedNum<<E as Engine>::Base>` | |
| | | |
| = note: `?` operator cannot convert from `bellpepper_core::num::AllocatedNum<<E as traits::Engine>::Base>` to `bellpepper::gadgets::num::AllocatedNum<<E as traits::Engine>::Base>` | |
| = note: `AllocatedNum<<E as Engine>::Base>` and `AllocatedNum<<E as Engine>::Base>` have similar names, but are actually distinct types | |
| note: `AllocatedNum<<E as Engine>::Base>` is defined in crate `bellpepper_core` | |
| --> /Users/huitseeker/.cargo/git/checkouts/bellpepper-de0fda70c41e6ae9/1afbae9/crates/bellpepper-core/src/gadgets/num.rs:11:1 | |
| | | |
| 11 | pub struct AllocatedNum<Scalar: PrimeField> { | |
| | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ | |
| note: `AllocatedNum<<E as Engine>::Base>` is defined in crate `bellpepper_core` | |
| --> /Users/huitseeker/.cargo/registry/src/index.crates.io-6f17d22bba15001f/bellpepper-core-0.4.0/src/gadgets/num.rs:11:1 | |
| | | |
| 11 | pub struct AllocatedNum<Scalar: PrimeField> { | |
| | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ | |
| = note: perhaps two different versions of crate `bellpepper_core` are being used? | |
| error[E0308]: mismatched types | |
| --> /Users/huitseeker/.cargo/git/checkouts/arecibo-52a2a9b2ca3ccd95/a4c4d23/src/gadgets/r1cs.rs:371:7 | |
| | | |
| 367 | X0: conditionally_select_bignat( | |
| | --------------------------- arguments to this function are incorrect | |
| ... | |
| 371 | condition, | |
| | ^^^^^^^^^ expected `bellpepper_core::boolean::Boolean`, found `Boolean` | |
| | | |
| = note: `Boolean` and `bellpepper_core::boolean::Boolean` have similar names, but are actually distinct types | |
| note: `Boolean` is defined in crate `bellpepper_core` | |
| --> /Users/huitseeker/.cargo/registry/src/index.crates.io-6f17d22bba15001f/bellpepper-core-0.4.0/src/gadgets/boolean.rs:369:1 | |
| | | |
| 369 | pub enum Boolean { | |
| | ^^^^^^^^^^^^^^^^ | |
| note: `bellpepper_core::boolean::Boolean` is defined in crate `bellpepper_core` | |
| --> /Users/huitseeker/.cargo/git/checkouts/bellpepper-de0fda70c41e6ae9/1afbae9/crates/bellpepper-core/src/gadgets/boolean.rs:369:1 | |
| | | |
| 369 | pub enum Boolean { | |
| | ^^^^^^^^^^^^^^^^ | |
| = note: perhaps two different versions of crate `bellpepper_core` are being used? | |
| note: function defined here | |
| --> /Users/huitseeker/.cargo/git/checkouts/arecibo-52a2a9b2ca3ccd95/a4c4d23/src/gadgets/utils.rs:225:8 | |
| | | |
| 225 | pub fn conditionally_select_bignat<F: PrimeField, CS: ConstraintSystem<F>>( | |
| | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ | |
| ... | |
| 229 | condition: &Boolean, | |
| | ------------------- | |
| error[E0308]: mismatched types | |
| --> /Users/huitseeker/.cargo/git/checkouts/arecibo-52a2a9b2ca3ccd95/a4c4d23/src/gadgets/r1cs.rs:377:7 | |
| | | |
| 373 | X1: conditionally_select_bignat( | |
| | --------------------------- arguments to this function are incorrect | |
| ... | |
| 377 | condition, | |
| | ^^^^^^^^^ expected `bellpepper_core::boolean::Boolean`, found `Boolean` | |
| | | |
| = note: `Boolean` and `bellpepper_core::boolean::Boolean` have similar names, but are actually distinct types | |
| note: `Boolean` is defined in crate `bellpepper_core` | |
| --> /Users/huitseeker/.cargo/registry/src/index.crates.io-6f17d22bba15001f/bellpepper-core-0.4.0/src/gadgets/boolean.rs:369:1 | |
| | | |
| 369 | pub enum Boolean { | |
| | ^^^^^^^^^^^^^^^^ | |
| note: `bellpepper_core::boolean::Boolean` is defined in crate `bellpepper_core` | |
| --> /Users/huitseeker/.cargo/git/checkouts/bellpepper-de0fda70c41e6ae9/1afbae9/crates/bellpepper-core/src/gadgets/boolean.rs:369:1 | |
| | | |
| 369 | pub enum Boolean { | |
| | ^^^^^^^^^^^^^^^^ | |
| = note: perhaps two different versions of crate `bellpepper_core` are being used? | |
| note: function defined here | |
| --> /Users/huitseeker/.cargo/git/checkouts/arecibo-52a2a9b2ca3ccd95/a4c4d23/src/gadgets/utils.rs:225:8 | |
| | | |
| 225 | pub fn conditionally_select_bignat<F: PrimeField, CS: ConstraintSystem<F>>( | |
| | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ | |
| ... | |
| 229 | condition: &Boolean, | |
| | ------------------- | |
| error[E0308]: mismatched types | |
| --> /Users/huitseeker/.cargo/git/checkouts/arecibo-52a2a9b2ca3ccd95/a4c4d23/src/gadgets/r1cs.rs:418:7 | |
| | | |
| 414 | x: conditionally_select( | |
| | -------------------- arguments to this function are incorrect | |
| ... | |
| 418 | condition, | |
| | ^^^^^^^^^ expected `bellpepper_core::boolean::Boolean`, found `Boolean` | |
| | | |
| = note: `Boolean` and `bellpepper_core::boolean::Boolean` have similar names, but are actually distinct types | |
| note: `Boolean` is defined in crate `bellpepper_core` | |
| --> /Users/huitseeker/.cargo/registry/src/index.crates.io-6f17d22bba15001f/bellpepper-core-0.4.0/src/gadgets/boolean.rs:369:1 | |
| | | |
| 369 | pub enum Boolean { | |
| | ^^^^^^^^^^^^^^^^ | |
| note: `bellpepper_core::boolean::Boolean` is defined in crate `bellpepper_core` | |
| --> /Users/huitseeker/.cargo/git/checkouts/bellpepper-de0fda70c41e6ae9/1afbae9/crates/bellpepper-core/src/gadgets/boolean.rs:369:1 | |
| | | |
| 369 | pub enum Boolean { | |
| | ^^^^^^^^^^^^^^^^ | |
| = note: perhaps two different versions of crate `bellpepper_core` are being used? | |
| note: function defined here | |
| --> /Users/huitseeker/.cargo/git/checkouts/arecibo-52a2a9b2ca3ccd95/a4c4d23/src/gadgets/utils.rs:182:8 | |
| | | |
| 182 | pub fn conditionally_select<F: PrimeField, CS: ConstraintSystem<F>>( | |
| | ^^^^^^^^^^^^^^^^^^^^ | |
| ... | |
| 186 | condition: &Boolean, | |
| | ------------------- | |
| error[E0308]: mismatched types | |
| --> /Users/huitseeker/.cargo/git/checkouts/arecibo-52a2a9b2ca3ccd95/a4c4d23/src/gadgets/r1cs.rs:424:7 | |
| | | |
| 420 | y: conditionally_select( | |
| | -------------------- arguments to this function are incorrect | |
| ... | |
| 424 | condition, | |
| | ^^^^^^^^^ expected `bellpepper_core::boolean::Boolean`, found `Boolean` | |
| | | |
| = note: `Boolean` and `bellpepper_core::boolean::Boolean` have similar names, but are actually distinct types | |
| note: `Boolean` is defined in crate `bellpepper_core` | |
| --> /Users/huitseeker/.cargo/registry/src/index.crates.io-6f17d22bba15001f/bellpepper-core-0.4.0/src/gadgets/boolean.rs:369:1 | |
| | | |
| 369 | pub enum Boolean { | |
| | ^^^^^^^^^^^^^^^^ | |
| note: `bellpepper_core::boolean::Boolean` is defined in crate `bellpepper_core` | |
| --> /Users/huitseeker/.cargo/git/checkouts/bellpepper-de0fda70c41e6ae9/1afbae9/crates/bellpepper-core/src/gadgets/boolean.rs:369:1 | |
| | | |
| 369 | pub enum Boolean { | |
| | ^^^^^^^^^^^^^^^^ | |
| = note: perhaps two different versions of crate `bellpepper_core` are being used? | |
| note: function defined here | |
| --> /Users/huitseeker/.cargo/git/checkouts/arecibo-52a2a9b2ca3ccd95/a4c4d23/src/gadgets/utils.rs:182:8 | |
| | | |
| 182 | pub fn conditionally_select<F: PrimeField, CS: ConstraintSystem<F>>( | |
| | ^^^^^^^^^^^^^^^^^^^^ | |
| ... | |
| 186 | condition: &Boolean, | |
| | ------------------- | |
| error[E0308]: mismatched types | |
| --> /Users/huitseeker/.cargo/git/checkouts/arecibo-52a2a9b2ca3ccd95/a4c4d23/src/gadgets/r1cs.rs:430:7 | |
| | | |
| 426 | is_infinity: conditionally_select( | |
| | -------------------- arguments to this function are incorrect | |
| ... | |
| 430 | condition, | |
| | ^^^^^^^^^ expected `bellpepper_core::boolean::Boolean`, found `Boolean` | |
| | | |
| = note: `Boolean` and `bellpepper_core::boolean::Boolean` have similar names, but are actually distinct types | |
| note: `Boolean` is defined in crate `bellpepper_core` | |
| --> /Users/huitseeker/.cargo/registry/src/index.crates.io-6f17d22bba15001f/bellpepper-core-0.4.0/src/gadgets/boolean.rs:369:1 | |
| | | |
| 369 | pub enum Boolean { | |
| | ^^^^^^^^^^^^^^^^ | |
| note: `bellpepper_core::boolean::Boolean` is defined in crate `bellpepper_core` | |
| --> /Users/huitseeker/.cargo/git/checkouts/bellpepper-de0fda70c41e6ae9/1afbae9/crates/bellpepper-core/src/gadgets/boolean.rs:369:1 | |
| | | |
| 369 | pub enum Boolean { | |
| | ^^^^^^^^^^^^^^^^ | |
| = note: perhaps two different versions of crate `bellpepper_core` are being used? | |
| note: function defined here | |
| --> /Users/huitseeker/.cargo/git/checkouts/arecibo-52a2a9b2ca3ccd95/a4c4d23/src/gadgets/utils.rs:182:8 | |
| | | |
| 182 | pub fn conditionally_select<F: PrimeField, CS: ConstraintSystem<F>>( | |
| | ^^^^^^^^^^^^^^^^^^^^ | |
| ... | |
| 186 | condition: &Boolean, | |
| | ------------------- | |
| error[E0277]: `?` couldn't convert the error to `SynthesisError` | |
| --> /Users/huitseeker/.cargo/git/checkouts/arecibo-52a2a9b2ca3ccd95/a4c4d23/src/gadgets/utils.rs:155:37 | |
| | | |
| 155 | let a_val = *a.get_value().get()?; | |
| | ^ the trait `From<bellpepper_core::constraint_system::SynthesisError>` is not implemented for `SynthesisError` | |
| | | |
| = note: the question mark operation (`?`) implicitly performs a conversion on the error value using the `From` trait | |
| = help: the trait `From<std::io::Error>` is implemented for `SynthesisError` | |
| = help: for that trait implementation, expected `std::io::Error`, found `bellpepper_core::constraint_system::SynthesisError` | |
| = note: required for `Result<F, SynthesisError>` to implement `FromResidual<Result<Infallible, bellpepper_core::constraint_system::SynthesisError>>` | |
| error[E0277]: `?` couldn't convert the error to `SynthesisError` | |
| --> /Users/huitseeker/.cargo/git/checkouts/arecibo-52a2a9b2ca3ccd95/a4c4d23/src/gadgets/utils.rs:156:37 | |
| | | |
| 156 | let b_val = *b.get_value().get()?; | |
| | ^ the trait `From<bellpepper_core::constraint_system::SynthesisError>` is not implemented for `SynthesisError` | |
| | | |
| = note: the question mark operation (`?`) implicitly performs a conversion on the error value using the `From` trait | |
| = help: the trait `From<std::io::Error>` is implemented for `SynthesisError` | |
| = help: for that trait implementation, expected `std::io::Error`, found `bellpepper_core::constraint_system::SynthesisError` | |
| = note: required for `Result<F, SynthesisError>` to implement `FromResidual<Result<Infallible, bellpepper_core::constraint_system::SynthesisError>>` | |
| error[E0277]: `?` couldn't convert the error to `SynthesisError` | |
| --> /Users/huitseeker/.cargo/git/checkouts/arecibo-52a2a9b2ca3ccd95/a4c4d23/src/gadgets/utils.rs:189:36 | |
| | | |
| 189 | if *condition.get_value().get()? { | |
| | ^ the trait `From<bellpepper_core::constraint_system::SynthesisError>` is not implemented for `SynthesisError` | |
| | | |
| = note: the question mark operation (`?`) implicitly performs a conversion on the error value using the `From` trait | |
| = help: the trait `From<std::io::Error>` is implemented for `SynthesisError` | |
| = help: for that trait implementation, expected `std::io::Error`, found `bellpepper_core::constraint_system::SynthesisError` | |
| = note: required for `Result<F, SynthesisError>` to implement `FromResidual<Result<Infallible, bellpepper_core::constraint_system::SynthesisError>>` | |
| error[E0277]: `?` couldn't convert the error to `SynthesisError` | |
| --> /Users/huitseeker/.cargo/git/checkouts/arecibo-52a2a9b2ca3ccd95/a4c4d23/src/gadgets/utils.rs:190:30 | |
| | | |
| 190 | Ok(*a.get_value().get()?) | |
| | ^ the trait `From<bellpepper_core::constraint_system::SynthesisError>` is not implemented for `SynthesisError` | |
| | | |
| = note: the question mark operation (`?`) implicitly performs a conversion on the error value using the `From` trait | |
| = help: the trait `From<std::io::Error>` is implemented for `SynthesisError` | |
| = help: for that trait implementation, expected `std::io::Error`, found `bellpepper_core::constraint_system::SynthesisError` | |
| = note: required for `Result<F, SynthesisError>` to implement `FromResidual<Result<Infallible, bellpepper_core::constraint_system::SynthesisError>>` | |
| error[E0277]: `?` couldn't convert the error to `SynthesisError` | |
| --> /Users/huitseeker/.cargo/git/checkouts/arecibo-52a2a9b2ca3ccd95/a4c4d23/src/gadgets/utils.rs:192:30 | |
| | | |
| 192 | Ok(*b.get_value().get()?) | |
| | ^ the trait `From<bellpepper_core::constraint_system::SynthesisError>` is not implemented for `SynthesisError` | |
| | | |
| = note: the question mark operation (`?`) implicitly performs a conversion on the error value using the `From` trait | |
| = help: the trait `From<std::io::Error>` is implemented for `SynthesisError` | |
| = help: for that trait implementation, expected `std::io::Error`, found `bellpepper_core::constraint_system::SynthesisError` | |
| = note: required for `Result<F, SynthesisError>` to implement `FromResidual<Result<Infallible, bellpepper_core::constraint_system::SynthesisError>>` | |
| error[E0277]: `?` couldn't convert the error to `SynthesisError` | |
| --> /Users/huitseeker/.cargo/git/checkouts/arecibo-52a2a9b2ca3ccd95/a4c4d23/src/gadgets/utils.rs:235:38 | |
| | | |
| 235 | if *condition.get_value().get()? { | |
| | ^ the trait `From<bellpepper_core::constraint_system::SynthesisError>` is not implemented for `SynthesisError` | |
| | | |
| = note: the question mark operation (`?`) implicitly performs a conversion on the error value using the `From` trait | |
| = help: the trait `From<std::io::Error>` is implemented for `SynthesisError` | |
| = help: for that trait implementation, expected `std::io::Error`, found `bellpepper_core::constraint_system::SynthesisError` | |
| = note: required for `Result<BigInt, SynthesisError>` to implement `FromResidual<Result<Infallible, bellpepper_core::constraint_system::SynthesisError>>` | |
| error[E0277]: `?` couldn't convert the error to `SynthesisError` | |
| --> /Users/huitseeker/.cargo/git/checkouts/arecibo-52a2a9b2ca3ccd95/a4c4d23/src/gadgets/utils.rs:236:25 | |
| | | |
| 236 | Ok(a.value.get()?.clone()) | |
| | ^ the trait `From<bellpepper_core::constraint_system::SynthesisError>` is not implemented for `SynthesisError` | |
| | | |
| = note: the question mark operation (`?`) implicitly performs a conversion on the error value using the `From` trait | |
| = help: the trait `From<std::io::Error>` is implemented for `SynthesisError` | |
| = help: for that trait implementation, expected `std::io::Error`, found `bellpepper_core::constraint_system::SynthesisError` | |
| = note: required for `Result<BigInt, SynthesisError>` to implement `FromResidual<Result<Infallible, bellpepper_core::constraint_system::SynthesisError>>` | |
| error[E0277]: `?` couldn't convert the error to `SynthesisError` | |
| --> /Users/huitseeker/.cargo/git/checkouts/arecibo-52a2a9b2ca3ccd95/a4c4d23/src/gadgets/utils.rs:238:25 | |
| | | |
| 238 | Ok(b.value.get()?.clone()) | |
| | ^ the trait `From<bellpepper_core::constraint_system::SynthesisError>` is not implemented for `SynthesisError` | |
| | | |
| = note: the question mark operation (`?`) implicitly performs a conversion on the error value using the `From` trait | |
| = help: the trait `From<std::io::Error>` is implemented for `SynthesisError` | |
| = help: for that trait implementation, expected `std::io::Error`, found `bellpepper_core::constraint_system::SynthesisError` | |
| = note: required for `Result<BigInt, SynthesisError>` to implement `FromResidual<Result<Infallible, bellpepper_core::constraint_system::SynthesisError>>` | |
| error[E0277]: `?` couldn't convert the error to `SynthesisError` | |
| --> /Users/huitseeker/.cargo/git/checkouts/arecibo-52a2a9b2ca3ccd95/a4c4d23/src/gadgets/utils.rs:267:36 | |
| | | |
| 267 | if *condition.get_value().get()? == F::ONE { | |
| | ^ the trait `From<bellpepper_core::constraint_system::SynthesisError>` is not implemented for `SynthesisError` | |
| | | |
| = note: the question mark operation (`?`) implicitly performs a conversion on the error value using the `From` trait | |
| = help: the trait `From<std::io::Error>` is implemented for `SynthesisError` | |
| = help: for that trait implementation, expected `std::io::Error`, found `bellpepper_core::constraint_system::SynthesisError` | |
| = note: required for `Result<F, SynthesisError>` to implement `FromResidual<Result<Infallible, bellpepper_core::constraint_system::SynthesisError>>` | |
| error[E0277]: `?` couldn't convert the error to `SynthesisError` | |
| --> /Users/huitseeker/.cargo/git/checkouts/arecibo-52a2a9b2ca3ccd95/a4c4d23/src/gadgets/utils.rs:268:30 | |
| | | |
| 268 | Ok(*a.get_value().get()?) | |
| | ^ the trait `From<bellpepper_core::constraint_system::SynthesisError>` is not implemented for `SynthesisError` | |
| | | |
| = note: the question mark operation (`?`) implicitly performs a conversion on the error value using the `From` trait | |
| = help: the trait `From<std::io::Error>` is implemented for `SynthesisError` | |
| = help: for that trait implementation, expected `std::io::Error`, found `bellpepper_core::constraint_system::SynthesisError` | |
| = note: required for `Result<F, SynthesisError>` to implement `FromResidual<Result<Infallible, bellpepper_core::constraint_system::SynthesisError>>` | |
| error[E0277]: `?` couldn't convert the error to `SynthesisError` | |
| --> /Users/huitseeker/.cargo/git/checkouts/arecibo-52a2a9b2ca3ccd95/a4c4d23/src/gadgets/utils.rs:270:30 | |
| | | |
| 270 | Ok(*b.get_value().get()?) | |
| | ^ the trait `From<bellpepper_core::constraint_system::SynthesisError>` is not implemented for `SynthesisError` | |
| | | |
| = note: the question mark operation (`?`) implicitly performs a conversion on the error value using the `From` trait | |
| = help: the trait `From<std::io::Error>` is implemented for `SynthesisError` | |
| = help: for that trait implementation, expected `std::io::Error`, found `bellpepper_core::constraint_system::SynthesisError` | |
| = note: required for `Result<F, SynthesisError>` to implement `FromResidual<Result<Infallible, bellpepper_core::constraint_system::SynthesisError>>` | |
| error[E0277]: `?` couldn't convert the error to `SynthesisError` | |
| --> /Users/huitseeker/.cargo/git/checkouts/arecibo-52a2a9b2ca3ccd95/a4c4d23/src/gadgets/utils.rs:293:36 | |
| | | |
| 293 | if *condition.get_value().get()? == F::ONE { | |
| | ^ the trait `From<bellpepper_core::constraint_system::SynthesisError>` is not implemented for `SynthesisError` | |
| | | |
| = note: the question mark operation (`?`) implicitly performs a conversion on the error value using the `From` trait | |
| = help: the trait `From<std::io::Error>` is implemented for `SynthesisError` | |
| = help: for that trait implementation, expected `std::io::Error`, found `bellpepper_core::constraint_system::SynthesisError` | |
| = note: required for `Result<F, SynthesisError>` to implement `FromResidual<Result<Infallible, bellpepper_core::constraint_system::SynthesisError>>` | |
| error[E0277]: `?` couldn't convert the error to `SynthesisError` | |
| --> /Users/huitseeker/.cargo/git/checkouts/arecibo-52a2a9b2ca3ccd95/a4c4d23/src/gadgets/utils.rs:296:30 | |
| | | |
| 296 | Ok(*a.get_value().get()?) | |
| | ^ the trait `From<bellpepper_core::constraint_system::SynthesisError>` is not implemented for `SynthesisError` | |
| | | |
| = note: the question mark operation (`?`) implicitly performs a conversion on the error value using the `From` trait | |
| = help: the trait `From<std::io::Error>` is implemented for `SynthesisError` | |
| = help: for that trait implementation, expected `std::io::Error`, found `bellpepper_core::constraint_system::SynthesisError` | |
| = note: required for `Result<F, SynthesisError>` to implement `FromResidual<Result<Infallible, bellpepper_core::constraint_system::SynthesisError>>` | |
| error[E0277]: `?` couldn't convert the error to `SynthesisError` | |
| --> /Users/huitseeker/.cargo/git/checkouts/arecibo-52a2a9b2ca3ccd95/a4c4d23/src/gadgets/utils.rs:318:36 | |
| | | |
| 318 | if *condition.get_value().get()? == F::ONE { | |
| | ^ the trait `From<bellpepper_core::constraint_system::SynthesisError>` is not implemented for `SynthesisError` | |
| | | |
| = note: the question mark operation (`?`) implicitly performs a conversion on the error value using the `From` trait | |
| = help: the trait `From<std::io::Error>` is implemented for `SynthesisError` | |
| = help: for that trait implementation, expected `std::io::Error`, found `bellpepper_core::constraint_system::SynthesisError` | |
| = note: required for `Result<F, SynthesisError>` to implement `FromResidual<Result<Infallible, bellpepper_core::constraint_system::SynthesisError>>` | |
| error[E0277]: `?` couldn't convert the error to `SynthesisError` | |
| --> /Users/huitseeker/.cargo/git/checkouts/arecibo-52a2a9b2ca3ccd95/a4c4d23/src/gadgets/utils.rs:319:30 | |
| | | |
| 319 | Ok(*a.get_value().get()?) | |
| | ^ the trait `From<bellpepper_core::constraint_system::SynthesisError>` is not implemented for `SynthesisError` | |
| | | |
| = note: the question mark operation (`?`) implicitly performs a conversion on the error value using the `From` trait | |
| = help: the trait `From<std::io::Error>` is implemented for `SynthesisError` | |
| = help: for that trait implementation, expected `std::io::Error`, found `bellpepper_core::constraint_system::SynthesisError` | |
| = note: required for `Result<F, SynthesisError>` to implement `FromResidual<Result<Infallible, bellpepper_core::constraint_system::SynthesisError>>` | |
| error[E0277]: `?` couldn't convert the error to `SynthesisError` | |
| --> /Users/huitseeker/.cargo/git/checkouts/arecibo-52a2a9b2ca3ccd95/a4c4d23/src/gadgets/utils.rs:342:36 | |
| | | |
| 342 | if *condition.get_value().get()? { | |
| | ^ the trait `From<bellpepper_core::constraint_system::SynthesisError>` is not implemented for `SynthesisError` | |
| | | |
| = note: the question mark operation (`?`) implicitly performs a conversion on the error value using the `From` trait | |
| = help: the trait `From<std::io::Error>` is implemented for `SynthesisError` | |
| = help: for that trait implementation, expected `std::io::Error`, found `bellpepper_core::constraint_system::SynthesisError` | |
| = note: required for `Result<F, SynthesisError>` to implement `FromResidual<Result<Infallible, bellpepper_core::constraint_system::SynthesisError>>` | |
| error[E0277]: `?` couldn't convert the error to `SynthesisError` | |
| --> /Users/huitseeker/.cargo/git/checkouts/arecibo-52a2a9b2ca3ccd95/a4c4d23/src/gadgets/utils.rs:343:30 | |
| | | |
| 343 | Ok(*a.get_value().get()?) | |
| | ^ the trait `From<bellpepper_core::constraint_system::SynthesisError>` is not implemented for `SynthesisError` | |
| | | |
| = note: the question mark operation (`?`) implicitly performs a conversion on the error value using the `From` trait | |
| = help: the trait `From<std::io::Error>` is implemented for `SynthesisError` | |
| = help: for that trait implementation, expected `std::io::Error`, found `bellpepper_core::constraint_system::SynthesisError` | |
| = note: required for `Result<F, SynthesisError>` to implement `FromResidual<Result<Infallible, bellpepper_core::constraint_system::SynthesisError>>` | |
| error[E0277]: `?` couldn't convert the error to `SynthesisError` | |
| --> /Users/huitseeker/.cargo/git/checkouts/arecibo-52a2a9b2ca3ccd95/a4c4d23/src/gadgets/utils.rs:366:36 | |
| | | |
| 366 | if *condition.get_value().get()? == F::ONE { | |
| | ^ the trait `From<bellpepper_core::constraint_system::SynthesisError>` is not implemented for `SynthesisError` | |
| | | |
| = note: the question mark operation (`?`) implicitly performs a conversion on the error value using the `From` trait | |
| = help: the trait `From<std::io::Error>` is implemented for `SynthesisError` | |
| = help: for that trait implementation, expected `std::io::Error`, found `bellpepper_core::constraint_system::SynthesisError` | |
| = note: required for `Result<F, SynthesisError>` to implement `FromResidual<Result<Infallible, bellpepper_core::constraint_system::SynthesisError>>` | |
| error[E0277]: `?` couldn't convert the error to `SynthesisError` | |
| --> /Users/huitseeker/.cargo/git/checkouts/arecibo-52a2a9b2ca3ccd95/a4c4d23/src/gadgets/utils.rs:369:30 | |
| | | |
| 369 | Ok(*a.get_value().get()?) | |
| | ^ the trait `From<bellpepper_core::constraint_system::SynthesisError>` is not implemented for `SynthesisError` | |
| | | |
| = note: the question mark operation (`?`) implicitly performs a conversion on the error value using the `From` trait | |
| = help: the trait `From<std::io::Error>` is implemented for `SynthesisError` | |
| = help: for that trait implementation, expected `std::io::Error`, found `bellpepper_core::constraint_system::SynthesisError` | |
| = note: required for `Result<F, SynthesisError>` to implement `FromResidual<Result<Infallible, bellpepper_core::constraint_system::SynthesisError>>` | |
| error[E0277]: `?` couldn't convert the error to `SynthesisError` | |
| --> /Users/huitseeker/.cargo/git/checkouts/arecibo-52a2a9b2ca3ccd95/a4c4d23/src/gadgets/utils.rs:390:36 | |
| | | |
| 390 | if *condition.get_value().get()? == F::ONE { | |
| | ^ the trait `From<bellpepper_core::constraint_system::SynthesisError>` is not implemented for `SynthesisError` | |
| | | |
| = note: the question mark operation (`?`) implicitly performs a conversion on the error value using the `From` trait | |
| = help: the trait `From<std::io::Error>` is implemented for `SynthesisError` | |
| = help: for that trait implementation, expected `std::io::Error`, found `bellpepper_core::constraint_system::SynthesisError` | |
| = note: required for `Result<F, SynthesisError>` to implement `FromResidual<Result<Infallible, bellpepper_core::constraint_system::SynthesisError>>` | |
| error[E0277]: `?` couldn't convert the error to `SynthesisError` | |
| --> /Users/huitseeker/.cargo/git/checkouts/arecibo-52a2a9b2ca3ccd95/a4c4d23/src/gadgets/utils.rs:393:30 | |
| | | |
| 393 | Ok(*a.get_value().get()? - *b.get_value().get()?) | |
| | ^ the trait `From<bellpepper_core::constraint_system::SynthesisError>` is not implemented for `SynthesisError` | |
| | | |
| = note: the question mark operation (`?`) implicitly performs a conversion on the error value using the `From` trait | |
| = help: the trait `From<std::io::Error>` is implemented for `SynthesisError` | |
| = help: for that trait implementation, expected `std::io::Error`, found `bellpepper_core::constraint_system::SynthesisError` | |
| = note: required for `Result<F, SynthesisError>` to implement `FromResidual<Result<Infallible, bellpepper_core::constraint_system::SynthesisError>>` | |
| error[E0277]: `?` couldn't convert the error to `SynthesisError` | |
| --> /Users/huitseeker/.cargo/git/checkouts/arecibo-52a2a9b2ca3ccd95/a4c4d23/src/gadgets/utils.rs:393:54 | |
| | | |
| 393 | Ok(*a.get_value().get()? - *b.get_value().get()?) | |
| | ^ the trait `From<bellpepper_core::constraint_system::SynthesisError>` is not implemented for `SynthesisError` | |
| | | |
| = note: the question mark operation (`?`) implicitly performs a conversion on the error value using the `From` trait | |
| = help: the trait `From<std::io::Error>` is implemented for `SynthesisError` | |
| = help: for that trait implementation, expected `std::io::Error`, found `bellpepper_core::constraint_system::SynthesisError` | |
| = note: required for `Result<F, SynthesisError>` to implement `FromResidual<Result<Infallible, bellpepper_core::constraint_system::SynthesisError>>` | |
| error[E0277]: `?` couldn't convert the error to `SynthesisError` | |
| --> /Users/huitseeker/.cargo/git/checkouts/arecibo-52a2a9b2ca3ccd95/a4c4d23/src/gadgets/utils.rs:413:36 | |
| | | |
| 413 | if *condition.get_value().get()? { | |
| | ^ the trait `From<bellpepper_core::constraint_system::SynthesisError>` is not implemented for `SynthesisError` | |
| | | |
| = note: the question mark operation (`?`) implicitly performs a conversion on the error value using the `From` trait | |
| = help: the trait `From<std::io::Error>` is implemented for `SynthesisError` | |
| = help: for that trait implementation, expected `std::io::Error`, found `bellpepper_core::constraint_system::SynthesisError` | |
| = note: required for `Result<F, SynthesisError>` to implement `FromResidual<Result<Infallible, bellpepper_core::constraint_system::SynthesisError>>` | |
| error[E0277]: `?` couldn't convert the error to `SynthesisError` | |
| --> /Users/huitseeker/.cargo/git/checkouts/arecibo-52a2a9b2ca3ccd95/a4c4d23/src/gadgets/utils.rs:414:30 | |
| | | |
| 414 | Ok(*a.get_value().get()?) | |
| | ^ the trait `From<bellpepper_core::constraint_system::SynthesisError>` is not implemented for `SynthesisError` | |
| | | |
| = note: the question mark operation (`?`) implicitly performs a conversion on the error value using the `From` trait | |
| = help: the trait `From<std::io::Error>` is implemented for `SynthesisError` | |
| = help: for that trait implementation, expected `std::io::Error`, found `bellpepper_core::constraint_system::SynthesisError` | |
| = note: required for `Result<F, SynthesisError>` to implement `FromResidual<Result<Infallible, bellpepper_core::constraint_system::SynthesisError>>` | |
| error[E0308]: mismatched types | |
| --> /Users/huitseeker/.cargo/git/checkouts/arecibo-52a2a9b2ca3ccd95/a4c4d23/src/provider/poseidon.rs:171:37 | |
| | | |
| 171 | sponge.start(parameter, None, acc); | |
| | ----- ^^^ expected `&mut Namespace<'_, Scalar, _>`, found `&mut Namespace<'_, Scalar, ...>` | |
| | | | |
| | arguments to this method are incorrect | |
| | | |
| = note: `Namespace<'_, Scalar, ...>` and `Namespace<'_, Scalar, _>` have similar names, but are actually distinct types | |
| note: `Namespace<'_, Scalar, ...>` is defined in crate `bellpepper_core` | |
| --> /Users/huitseeker/.cargo/git/checkouts/bellpepper-de0fda70c41e6ae9/1afbae9/crates/bellpepper-core/src/constraint_system.rs:242:1 | |
| | | |
| 242 | pub struct Namespace<'a, Scalar: PrimeField, CS: ConstraintSystem<Scalar>>( | |
| | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ | |
| note: `Namespace<'_, Scalar, _>` is defined in crate `bellpepper_core` | |
| --> /Users/huitseeker/.cargo/registry/src/index.crates.io-6f17d22bba15001f/bellpepper-core-0.4.0/src/constraint_system.rs:242:1 | |
| | | |
| 242 | pub struct Namespace<'a, Scalar: PrimeField, CS: ConstraintSystem<Scalar>>( | |
| | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ | |
| = note: perhaps two different versions of crate `bellpepper_core` are being used? | |
| note: method defined here | |
| --> /Users/huitseeker/.cargo/git/checkouts/neptune-45536a2788120be0/169ddcc/src/sponge/api.rs:152:8 | |
| | | |
| 152 | fn start(&mut self, p: IOPattern, domain_separator: Option<u32>, _: &mut Self::Acc); | |
| | ^^^^^ | |
| error[E0308]: mismatched types | |
| --> /Users/huitseeker/.cargo/git/checkouts/arecibo-52a2a9b2ca3ccd95/a4c4d23/src/provider/poseidon.rs:176:35 | |
| | | |
| 176 | .map(|i| Elt::Allocated(self.state[i].clone())) | |
| | -------------- ^^^^^^^^^^^^^^^^^^^^^ expected `AllocatedNum<_>`, found `AllocatedNum<Scalar>` | |
| | | | |
| | arguments to this enum variant are incorrect | |
| | | |
| = note: `AllocatedNum<Scalar>` and `AllocatedNum<_>` have similar names, but are actually distinct types | |
| note: `AllocatedNum<Scalar>` is defined in crate `bellpepper_core` | |
| --> /Users/huitseeker/.cargo/git/checkouts/bellpepper-de0fda70c41e6ae9/1afbae9/crates/bellpepper-core/src/gadgets/num.rs:11:1 | |
| | | |
| 11 | pub struct AllocatedNum<Scalar: PrimeField> { | |
| | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ | |
| note: `AllocatedNum<_>` is defined in crate `bellpepper_core` | |
| --> /Users/huitseeker/.cargo/registry/src/index.crates.io-6f17d22bba15001f/bellpepper-core-0.4.0/src/gadgets/num.rs:11:1 | |
| | | |
| 11 | pub struct AllocatedNum<Scalar: PrimeField> { | |
| | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ | |
| = note: perhaps two different versions of crate `bellpepper_core` are being used? | |
| note: tuple variant defined here | |
| --> /Users/huitseeker/.cargo/git/checkouts/neptune-45536a2788120be0/169ddcc/src/circuit2.rs:20:5 | |
| | | |
| 20 | Allocated(AllocatedNum<Scalar>), | |
| | ^^^^^^^^^ | |
| error[E0308]: mismatched types | |
| --> /Users/huitseeker/.cargo/git/checkouts/arecibo-52a2a9b2ca3ccd95/a4c4d23/src/provider/poseidon.rs:178:9 | |
| | | |
| 172 | neptune::sponge::api::SpongeAPI::absorb( | |
| | --------------------------------------- arguments to this function are incorrect | |
| ... | |
| 178 | acc, | |
| | ^^^ expected `&mut Namespace<'_, Scalar, _>`, found `&mut Namespace<'_, Scalar, ...>` | |
| | | |
| = note: `Namespace<'_, Scalar, ...>` and `Namespace<'_, Scalar, _>` have similar names, but are actually distinct types | |
| note: `Namespace<'_, Scalar, ...>` is defined in crate `bellpepper_core` | |
| --> /Users/huitseeker/.cargo/git/checkouts/bellpepper-de0fda70c41e6ae9/1afbae9/crates/bellpepper-core/src/constraint_system.rs:242:1 | |
| | | |
| 242 | pub struct Namespace<'a, Scalar: PrimeField, CS: ConstraintSystem<Scalar>>( | |
| | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ | |
| note: `Namespace<'_, Scalar, _>` is defined in crate `bellpepper_core` | |
| --> /Users/huitseeker/.cargo/registry/src/index.crates.io-6f17d22bba15001f/bellpepper-core-0.4.0/src/constraint_system.rs:242:1 | |
| | | |
| 242 | pub struct Namespace<'a, Scalar: PrimeField, CS: ConstraintSystem<Scalar>>( | |
| | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ | |
| = note: perhaps two different versions of crate `bellpepper_core` are being used? | |
| note: method defined here | |
| --> /Users/huitseeker/.cargo/git/checkouts/neptune-45536a2788120be0/169ddcc/src/sponge/api.rs:153:8 | |
| | | |
| 153 | fn absorb(&mut self, length: u32, elements: &[Self::Value], acc: &mut Self::Acc); | |
| | ^^^^^^ | |
| error[E0308]: mismatched types | |
| --> /Users/huitseeker/.cargo/git/checkouts/arecibo-52a2a9b2ca3ccd95/a4c4d23/src/provider/poseidon.rs:181:77 | |
| | | |
| 181 | let output = neptune::sponge::api::SpongeAPI::squeeze(&mut sponge, 1, acc); | |
| | ---------------------------------------- ^^^ expected `&mut Namespace<'_, Scalar, _>`, found `&mut Namespace<'_, Scalar, ...>` | |
| | | | |
| | arguments to this function are incorrect | |
| | | |
| = note: `Namespace<'_, Scalar, ...>` and `Namespace<'_, Scalar, _>` have similar names, but are actually distinct types | |
| note: `Namespace<'_, Scalar, ...>` is defined in crate `bellpepper_core` | |
| --> /Users/huitseeker/.cargo/git/checkouts/bellpepper-de0fda70c41e6ae9/1afbae9/crates/bellpepper-core/src/constraint_system.rs:242:1 | |
| | | |
| 242 | pub struct Namespace<'a, Scalar: PrimeField, CS: ConstraintSystem<Scalar>>( | |
| | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ | |
| note: `Namespace<'_, Scalar, _>` is defined in crate `bellpepper_core` | |
| --> /Users/huitseeker/.cargo/registry/src/index.crates.io-6f17d22bba15001f/bellpepper-core-0.4.0/src/constraint_system.rs:242:1 | |
| | | |
| 242 | pub struct Namespace<'a, Scalar: PrimeField, CS: ConstraintSystem<Scalar>>( | |
| | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ | |
| = note: perhaps two different versions of crate `bellpepper_core` are being used? | |
| note: method defined here | |
| --> /Users/huitseeker/.cargo/git/checkouts/neptune-45536a2788120be0/169ddcc/src/sponge/api.rs:154:8 | |
| | | |
| 154 | fn squeeze(&mut self, length: u32, acc: &mut Self::Acc) -> Vec<Self::Value>; | |
| | ^^^^^^^ | |
| error[E0308]: mismatched types | |
| --> /Users/huitseeker/.cargo/git/checkouts/arecibo-52a2a9b2ca3ccd95/a4c4d23/src/provider/poseidon.rs:182:21 | |
| | | |
| 182 | sponge.finish(acc).unwrap(); | |
| | ------ ^^^ expected `&mut Namespace<'_, Scalar, _>`, found `&mut Namespace<'_, Scalar, ...>` | |
| | | | |
| | arguments to this method are incorrect | |
| | | |
| = note: `Namespace<'_, Scalar, ...>` and `Namespace<'_, Scalar, _>` have similar names, but are actually distinct types | |
| note: `Namespace<'_, Scalar, ...>` is defined in crate `bellpepper_core` | |
| --> /Users/huitseeker/.cargo/git/checkouts/bellpepper-de0fda70c41e6ae9/1afbae9/crates/bellpepper-core/src/constraint_system.rs:242:1 | |
| | | |
| 242 | pub struct Namespace<'a, Scalar: PrimeField, CS: ConstraintSystem<Scalar>>( | |
| | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ | |
| note: `Namespace<'_, Scalar, _>` is defined in crate `bellpepper_core` | |
| --> /Users/huitseeker/.cargo/registry/src/index.crates.io-6f17d22bba15001f/bellpepper-core-0.4.0/src/constraint_system.rs:242:1 | |
| | | |
| 242 | pub struct Namespace<'a, Scalar: PrimeField, CS: ConstraintSystem<Scalar>>( | |
| | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ | |
| = note: perhaps two different versions of crate `bellpepper_core` are being used? | |
| note: method defined here | |
| --> /Users/huitseeker/.cargo/git/checkouts/neptune-45536a2788120be0/169ddcc/src/sponge/api.rs:155:8 | |
| | | |
| 155 | fn finish(&mut self, _: &mut Self::Acc) -> Result<(), Error>; | |
| | ^^^^^^ | |
| error[E0277]: the trait bound `Namespace<'_, Scalar, <<CS as ConstraintSystem<Scalar>>::Root as ConstraintSystem<Scalar>>::Root>: bellpepper_core::constraint_system::ConstraintSystem<Scalar>` is not satisfied | |
| --> /Users/huitseeker/.cargo/git/checkouts/arecibo-52a2a9b2ca3ccd95/a4c4d23/src/provider/poseidon.rs:186:48 | |
| | | |
| 186 | let hash = Elt::ensure_allocated(&hash[0], &mut ns.namespace(|| "ensure allocated"), true)?; | |
| | --------------------- ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `bellpepper_core::constraint_system::ConstraintSystem<Scalar>` is not implemented for `Namespace<'_, Scalar, <<CS as ConstraintSystem<Scalar>>::Root as ConstraintSystem<Scalar>>::Root>` | |
| | | | |
| | required by a bound introduced by this call | |
| | | |
| = help: the following other types implement trait `bellpepper_core::constraint_system::ConstraintSystem<Scalar>`: | |
| MultiEq<Scalar, CS> | |
| BenchCS<Scalar> | |
| MetricCS<Scalar> | |
| bellpepper::util_cs::shape_cs::ShapeCS<Scalar> | |
| bellpepper::util_cs::test_shape_cs::TestShapeCS<Scalar> | |
| WitnessCS<Scalar> | |
| bellpepper_core::constraint_system::Namespace<'cs, Scalar, CS> | |
| bellpepper_core::util_cs::test_cs::TestConstraintSystem<Scalar> | |
| &'cs mut CS | |
| note: required by a bound in `Elt::<Scalar>::ensure_allocated` | |
| --> /Users/huitseeker/.cargo/git/checkouts/neptune-45536a2788120be0/169ddcc/src/circuit2.rs:44:33 | |
| | | |
| 44 | pub fn ensure_allocated<CS: ConstraintSystem<Scalar>>( | |
| | ^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `Elt::<Scalar>::ensure_allocated` | |
| error[E0277]: `?` couldn't convert the error to `SynthesisError` | |
| --> /Users/huitseeker/.cargo/git/checkouts/arecibo-52a2a9b2ca3ccd95/a4c4d23/src/provider/poseidon.rs:186:95 | |
| | | |
| 186 | let hash = Elt::ensure_allocated(&hash[0], &mut ns.namespace(|| "ensure allocated"), true)?; | |
| | ^ the trait `From<bellpepper_core::constraint_system::SynthesisError>` is not implemented for `SynthesisError` | |
| | | |
| = note: the question mark operation (`?`) implicitly performs a conversion on the error value using the `From` trait | |
| = help: the trait `From<std::io::Error>` is implemented for `SynthesisError` | |
| = help: for that trait implementation, expected `std::io::Error`, found `bellpepper_core::constraint_system::SynthesisError` | |
| = note: required for `Result<Vec<bellpepper_core::boolean::AllocatedBit>, SynthesisError>` to implement `FromResidual<Result<Infallible, bellpepper_core::constraint_system::SynthesisError>>` | |
| error[E0277]: the trait bound `Namespace<'_, Scalar, <<CS as ConstraintSystem<Scalar>>::Root as ConstraintSystem<Scalar>>::Root>: bellpepper_core::constraint_system::ConstraintSystem<Scalar>` is not satisfied | |
| --> /Users/huitseeker/.cargo/git/checkouts/arecibo-52a2a9b2ca3ccd95/a4c4d23/src/provider/poseidon.rs:191:28 | |
| | | |
| 191 | .to_bits_le_strict(ns.namespace(|| "poseidon hash to boolean"))? | |
| | ----------------- ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `bellpepper_core::constraint_system::ConstraintSystem<Scalar>` is not implemented for `Namespace<'_, Scalar, <<CS as ConstraintSystem<Scalar>>::Root as ConstraintSystem<Scalar>>::Root>` | |
| | | | |
| | required by a bound introduced by this call | |
| | | |
| = help: the following other types implement trait `bellpepper_core::constraint_system::ConstraintSystem<Scalar>`: | |
| MultiEq<Scalar, CS> | |
| BenchCS<Scalar> | |
| MetricCS<Scalar> | |
| bellpepper::util_cs::shape_cs::ShapeCS<Scalar> | |
| bellpepper::util_cs::test_shape_cs::TestShapeCS<Scalar> | |
| WitnessCS<Scalar> | |
| bellpepper_core::constraint_system::Namespace<'cs, Scalar, CS> | |
| bellpepper_core::util_cs::test_cs::TestConstraintSystem<Scalar> | |
| &'cs mut CS | |
| note: required by a bound in `bellpepper::gadgets::num::AllocatedNum::<Scalar>::to_bits_le_strict` | |
| --> /Users/huitseeker/.cargo/registry/src/index.crates.io-6f17d22bba15001f/bellpepper-core-0.4.0/src/gadgets/num.rs:130:13 | |
| | | |
| 128 | pub fn to_bits_le_strict<CS>(&self, mut cs: CS) -> Result<Vec<Boolean>, SynthesisError> | |
| | ----------------- required by a bound in this associated function | |
| 129 | where | |
| 130 | CS: ConstraintSystem<Scalar>, | |
| | ^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `AllocatedNum::<Scalar>::to_bits_le_strict` | |
| error[E0277]: `?` couldn't convert the error to `SynthesisError` | |
| --> /Users/huitseeker/.cargo/git/checkouts/arecibo-52a2a9b2ca3ccd95/a4c4d23/src/provider/poseidon.rs:191:72 | |
| | | |
| 191 | .to_bits_le_strict(ns.namespace(|| "poseidon hash to boolean"))? | |
| | ^ the trait `From<bellpepper_core::constraint_system::SynthesisError>` is not implemented for `SynthesisError` | |
| | | |
| = note: the question mark operation (`?`) implicitly performs a conversion on the error value using the `From` trait | |
| = help: the trait `From<std::io::Error>` is implemented for `SynthesisError` | |
| = help: for that trait implementation, expected `std::io::Error`, found `bellpepper_core::constraint_system::SynthesisError` | |
| = note: required for `Result<Vec<bellpepper_core::boolean::AllocatedBit>, SynthesisError>` to implement `FromResidual<Result<Infallible, bellpepper_core::constraint_system::SynthesisError>>` | |
| error[E0308]: mismatched types | |
| --> /Users/huitseeker/.cargo/git/checkouts/arecibo-52a2a9b2ca3ccd95/a4c4d23/src/provider/poseidon.rs:194:11 | |
| | | |
| 193 | .map(|boolean| match boolean { | |
| | ------- this expression has type `&bellpepper::gadgets::boolean::Boolean` | |
| 194 | Boolean::Is(ref x) => x.clone(), | |
| | ^^^^^^^^^^^^^^^^^^ expected `Boolean`, found `bellpepper_core::boolean::Boolean` | |
| | | |
| = note: `bellpepper_core::boolean::Boolean` and `Boolean` have similar names, but are actually distinct types | |
| note: `bellpepper_core::boolean::Boolean` is defined in crate `bellpepper_core` | |
| --> /Users/huitseeker/.cargo/git/checkouts/bellpepper-de0fda70c41e6ae9/1afbae9/crates/bellpepper-core/src/gadgets/boolean.rs:369:1 | |
| | | |
| 369 | pub enum Boolean { | |
| | ^^^^^^^^^^^^^^^^ | |
| note: `Boolean` is defined in crate `bellpepper_core` | |
| --> /Users/huitseeker/.cargo/registry/src/index.crates.io-6f17d22bba15001f/bellpepper-core-0.4.0/src/gadgets/boolean.rs:369:1 | |
| | | |
| 369 | pub enum Boolean { | |
| | ^^^^^^^^^^^^^^^^ | |
| = note: perhaps two different versions of crate `bellpepper_core` are being used? | |
| error[E0277]: `?` couldn't convert the error to `SynthesisError` | |
| --> /Users/huitseeker/.cargo/git/checkouts/arecibo-52a2a9b2ca3ccd95/a4c4d23/src/supernova/circuit.rs:283:29 | |
| | | |
| 283 | Ok(self.inputs.get()?.last_augmented_circuit_index) | |
| | ^ the trait `From<bellpepper_core::constraint_system::SynthesisError>` is not implemented for `SynthesisError` | |
| | | |
| = note: the question mark operation (`?`) implicitly performs a conversion on the error value using the `From` trait | |
| = help: the trait `From<std::io::Error>` is implemented for `SynthesisError` | |
| = help: for that trait implementation, expected `std::io::Error`, found `bellpepper_core::constraint_system::SynthesisError` | |
| = note: required for `Result<<E as traits::Engine>::Base, SynthesisError>` to implement `FromResidual<Result<Infallible, bellpepper_core::constraint_system::SynthesisError>>` | |
| error[E0277]: `?` couldn't convert the error to `SynthesisError` | |
| --> /Users/huitseeker/.cargo/git/checkouts/arecibo-52a2a9b2ca3ccd95/a4c4d23/src/supernova/circuit.rs:293:78 | |
| | | |
| 293 | let i = AllocatedNum::alloc(cs.namespace(|| "i"), || Ok(self.inputs.get()?.i))?; | |
| | ^ the trait `From<bellpepper_core::constraint_system::SynthesisError>` is not implemented for `SynthesisError` | |
| | | |
| = note: the question mark operation (`?`) implicitly performs a conversion on the error value using the `From` trait | |
| = help: the trait `From<std::io::Error>` is implemented for `SynthesisError` | |
| = help: for that trait implementation, expected `std::io::Error`, found `bellpepper_core::constraint_system::SynthesisError` | |
| = note: required for `Result<<E as traits::Engine>::Base, SynthesisError>` to implement `FromResidual<Result<Infallible, bellpepper_core::constraint_system::SynthesisError>>` | |
| error[E0277]: `?` couldn't convert the error to `SynthesisError` | |
| --> /Users/huitseeker/.cargo/git/checkouts/arecibo-52a2a9b2ca3ccd95/a4c4d23/src/supernova/circuit.rs:303:21 | |
| | | |
| 303 | .get()? | |
| | ^ the trait `From<bellpepper_core::constraint_system::SynthesisError>` is not implemented for `SynthesisError` | |
| | | |
| = note: the question mark operation (`?`) implicitly performs a conversion on the error value using the `From` trait | |
| = help: the trait `From<std::io::Error>` is implemented for `SynthesisError` | |
| = help: for that trait implementation, expected `std::io::Error`, found `bellpepper_core::constraint_system::SynthesisError` | |
| = note: required for `Result<<E as traits::Engine>::Base, SynthesisError>` to implement `FromResidual<Result<Infallible, bellpepper_core::constraint_system::SynthesisError>>` | |
| error[E0277]: `?` couldn't convert the error to `SynthesisError` | |
| --> /Users/huitseeker/.cargo/git/checkouts/arecibo-52a2a9b2ca3ccd95/a4c4d23/src/supernova/circuit.rs:317:31 | |
| | | |
| 317 | Ok(self.inputs.get()?.z0[i]) | |
| | ^ the trait `From<bellpepper_core::constraint_system::SynthesisError>` is not implemented for `SynthesisError` | |
| | | |
| = note: the question mark operation (`?`) implicitly performs a conversion on the error value using the `From` trait | |
| = help: the trait `From<std::io::Error>` is implemented for `SynthesisError` | |
| = help: for that trait implementation, expected `std::io::Error`, found `bellpepper_core::constraint_system::SynthesisError` | |
| = note: required for `Result<<E as traits::Engine>::Base, SynthesisError>` to implement `FromResidual<Result<Infallible, bellpepper_core::constraint_system::SynthesisError>>` | |
| error[E0277]: `?` couldn't convert the error to `SynthesisError` | |
| --> /Users/huitseeker/.cargo/git/checkouts/arecibo-52a2a9b2ca3ccd95/a4c4d23/src/supernova/circuit.rs:327:31 | |
| | | |
| 327 | Ok(self.inputs.get()?.zi.unwrap_or(&zero)[i]) | |
| | ^ the trait `From<bellpepper_core::constraint_system::SynthesisError>` is not implemented for `SynthesisError` | |
| | | |
| = note: the question mark operation (`?`) implicitly performs a conversion on the error value using the `From` trait | |
| = help: the trait `From<std::io::Error>` is implemented for `SynthesisError` | |
| = help: for that trait implementation, expected `std::io::Error`, found `bellpepper_core::constraint_system::SynthesisError` | |
| = note: required for `Result<<E as traits::Engine>::Base, SynthesisError>` to implement `FromResidual<Result<Infallible, bellpepper_core::constraint_system::SynthesisError>>` | |
| error[E0308]: mismatched types | |
| --> /Users/huitseeker/.cargo/git/checkouts/arecibo-52a2a9b2ca3ccd95/a4c4d23/src/supernova/circuit.rs:421:13 | |
| | | |
| 417 | conditionally_select_alloc_relaxed_r1cs( | |
| | --------------------------------------- arguments to this function are incorrect | |
| ... | |
| 421 | equal_bit, | |
| | ^^^^^^^^^ expected `Boolean`, found `bellpepper_core::boolean::Boolean` | |
| | | |
| = note: `bellpepper_core::boolean::Boolean` and `Boolean` have similar names, but are actually distinct types | |
| note: `bellpepper_core::boolean::Boolean` is defined in crate `bellpepper_core` | |
| --> /Users/huitseeker/.cargo/git/checkouts/bellpepper-de0fda70c41e6ae9/1afbae9/crates/bellpepper-core/src/gadgets/boolean.rs:369:1 | |
| | | |
| 369 | pub enum Boolean { | |
| | ^^^^^^^^^^^^^^^^ | |
| note: `Boolean` is defined in crate `bellpepper_core` | |
| --> /Users/huitseeker/.cargo/registry/src/index.crates.io-6f17d22bba15001f/bellpepper-core-0.4.0/src/gadgets/boolean.rs:369:1 | |
| | | |
| 369 | pub enum Boolean { | |
| | ^^^^^^^^^^^^^^^^ | |
| = note: perhaps two different versions of crate `bellpepper_core` are being used? | |
| note: function defined here | |
| --> /Users/huitseeker/.cargo/git/checkouts/arecibo-52a2a9b2ca3ccd95/a4c4d23/src/gadgets/r1cs.rs:339:8 | |
| | | |
| 339 | pub fn conditionally_select_alloc_relaxed_r1cs< | |
| | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ | |
| ... | |
| 346 | condition: &Boolean, | |
| | ------------------- | |
| error[E0308]: mismatched types | |
| --> /Users/huitseeker/.cargo/git/checkouts/arecibo-52a2a9b2ca3ccd95/a4c4d23/src/supernova/circuit.rs:481:7 | |
| | | |
| 479 | let check_pass: AllocatedBit = alloc_num_equals( | |
| | ---------------- arguments to this function are incorrect | |
| 480 | cs.namespace(|| "check consistency of u.X[0] with H(params, U, i, z0, zi)"), | |
| 481 | &u.X0, | |
| | ^^^^^ expected `AllocatedNum<<E as Engine>::Base>`, found a different `AllocatedNum<<E as Engine>::Base>` | |
| | | |
| = note: `AllocatedNum<<E as Engine>::Base>` and `AllocatedNum<<E as Engine>::Base>` have similar names, but are actually distinct types | |
| note: `AllocatedNum<<E as Engine>::Base>` is defined in crate `bellpepper_core` | |
| --> /Users/huitseeker/.cargo/registry/src/index.crates.io-6f17d22bba15001f/bellpepper-core-0.4.0/src/gadgets/num.rs:11:1 | |
| | | |
| 11 | pub struct AllocatedNum<Scalar: PrimeField> { | |
| | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ | |
| note: `AllocatedNum<<E as Engine>::Base>` is defined in crate `bellpepper_core` | |
| --> /Users/huitseeker/.cargo/git/checkouts/bellpepper-de0fda70c41e6ae9/1afbae9/crates/bellpepper-core/src/gadgets/num.rs:11:1 | |
| | | |
| 11 | pub struct AllocatedNum<Scalar: PrimeField> { | |
| | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ | |
| = note: perhaps two different versions of crate `bellpepper_core` are being used? | |
| note: function defined here | |
| --> /Users/huitseeker/.cargo/git/checkouts/arecibo-52a2a9b2ca3ccd95/a4c4d23/src/gadgets/utils.rs:138:8 | |
| | | |
| 138 | pub fn alloc_num_equals<F: PrimeField, CS: ConstraintSystem<F>>( | |
| | ^^^^^^^^^^^^^^^^ | |
| 139 | mut cs: CS, | |
| 140 | a: &AllocatedNum<F>, | |
| | ------------------- | |
| error[E0308]: mismatched types | |
| --> /Users/huitseeker/.cargo/git/checkouts/arecibo-52a2a9b2ca3ccd95/a4c4d23/src/supernova/circuit.rs:493:7 | |
| | | |
| 491 | let U_fold = U_to_fold.fold_with_r1cs( | |
| | -------------- arguments to this method are incorrect | |
| 492 | cs.namespace(|| "compute fold of U and u"), | |
| 493 | params, | |
| | ^^^^^^ expected `AllocatedNum<<E as Engine>::Base>`, found a different `AllocatedNum<<E as Engine>::Base>` | |
| | | |
| = note: `AllocatedNum<<E as Engine>::Base>` and `AllocatedNum<<E as Engine>::Base>` have similar names, but are actually distinct types | |
| note: `AllocatedNum<<E as Engine>::Base>` is defined in crate `bellpepper_core` | |
| --> /Users/huitseeker/.cargo/git/checkouts/bellpepper-de0fda70c41e6ae9/1afbae9/crates/bellpepper-core/src/gadgets/num.rs:11:1 | |
| | | |
| 11 | pub struct AllocatedNum<Scalar: PrimeField> { | |
| | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ | |
| note: `AllocatedNum<<E as Engine>::Base>` is defined in crate `bellpepper_core` | |
| --> /Users/huitseeker/.cargo/registry/src/index.crates.io-6f17d22bba15001f/bellpepper-core-0.4.0/src/gadgets/num.rs:11:1 | |
| | | |
| 11 | pub struct AllocatedNum<Scalar: PrimeField> { | |
| | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ | |
| = note: perhaps two different versions of crate `bellpepper_core` are being used? | |
| note: method defined here | |
| --> /Users/huitseeker/.cargo/git/checkouts/arecibo-52a2a9b2ca3ccd95/a4c4d23/src/gadgets/r1cs.rs:229:10 | |
| | | |
| 229 | pub fn fold_with_r1cs<CS: ConstraintSystem<<E as Engine>::Base>>( | |
| | ^^^^^^^^^^^^^^ | |
| ... | |
| 232 | params: &AllocatedNum<E::Base>, // hash of R1CSShape of F' | |
| | ------------------------------ | |
| error[E0308]: mismatched types | |
| --> /Users/huitseeker/.cargo/git/checkouts/arecibo-52a2a9b2ca3ccd95/a4c4d23/src/supernova/circuit.rs:510:11 | |
| | | |
| 506 | conditionally_select_alloc_relaxed_r1cs( | |
| | --------------------------------------- arguments to this function are incorrect | |
| ... | |
| 510 | equal_bit, | |
| | ^^^^^^^^^ expected `Boolean`, found `bellpepper_core::boolean::Boolean` | |
| | | |
| = note: `bellpepper_core::boolean::Boolean` and `Boolean` have similar names, but are actually distinct types | |
| note: `bellpepper_core::boolean::Boolean` is defined in crate `bellpepper_core` | |
| --> /Users/huitseeker/.cargo/git/checkouts/bellpepper-de0fda70c41e6ae9/1afbae9/crates/bellpepper-core/src/gadgets/boolean.rs:369:1 | |
| | | |
| 369 | pub enum Boolean { | |
| | ^^^^^^^^^^^^^^^^ | |
| note: `Boolean` is defined in crate `bellpepper_core` | |
| --> /Users/huitseeker/.cargo/registry/src/index.crates.io-6f17d22bba15001f/bellpepper-core-0.4.0/src/gadgets/boolean.rs:369:1 | |
| | | |
| 369 | pub enum Boolean { | |
| | ^^^^^^^^^^^^^^^^ | |
| = note: perhaps two different versions of crate `bellpepper_core` are being used? | |
| note: function defined here | |
| --> /Users/huitseeker/.cargo/git/checkouts/arecibo-52a2a9b2ca3ccd95/a4c4d23/src/gadgets/r1cs.rs:339:8 | |
| | | |
| 339 | pub fn conditionally_select_alloc_relaxed_r1cs< | |
| | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ | |
| ... | |
| 346 | condition: &Boolean, | |
| | ------------------- | |
| error[E0308]: mismatched types | |
| --> /Users/huitseeker/.cargo/git/checkouts/arecibo-52a2a9b2ca3ccd95/a4c4d23/src/supernova/circuit.rs:608:7 | |
| | | |
| 604 | let U_next = conditionally_select_vec_allocated_relaxed_r1cs_instance( | |
| | -------------------------------------------------------- arguments to this function are incorrect | |
| ... | |
| 608 | &Boolean::from(is_base_case.clone()), | |
| | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected `Boolean`, found `bellpepper_core::boolean::Boolean` | |
| | | |
| = note: `bellpepper_core::boolean::Boolean` and `Boolean` have similar names, but are actually distinct types | |
| note: `bellpepper_core::boolean::Boolean` is defined in crate `bellpepper_core` | |
| --> /Users/huitseeker/.cargo/git/checkouts/bellpepper-de0fda70c41e6ae9/1afbae9/crates/bellpepper-core/src/gadgets/boolean.rs:369:1 | |
| | | |
| 369 | pub enum Boolean { | |
| | ^^^^^^^^^^^^^^^^ | |
| note: `Boolean` is defined in crate `bellpepper_core` | |
| --> /Users/huitseeker/.cargo/registry/src/index.crates.io-6f17d22bba15001f/bellpepper-core-0.4.0/src/gadgets/boolean.rs:369:1 | |
| | | |
| 369 | pub enum Boolean { | |
| | ^^^^^^^^^^^^^^^^ | |
| = note: perhaps two different versions of crate `bellpepper_core` are being used? | |
| note: function defined here | |
| --> /Users/huitseeker/.cargo/git/checkouts/arecibo-52a2a9b2ca3ccd95/a4c4d23/src/gadgets/r1cs.rs:384:8 | |
| | | |
| 384 | pub fn conditionally_select_vec_allocated_relaxed_r1cs_instance< | |
| | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ | |
| ... | |
| 391 | condition: &Boolean, | |
| | ------------------- | |
| error[E0277]: `?` couldn't convert the error to `SynthesisError` | |
| --> /Users/huitseeker/.cargo/git/checkouts/arecibo-52a2a9b2ca3ccd95/a4c4d23/src/supernova/circuit.rs:613:30 | |
| | | |
| 613 | Ok(*i.get_value().get()? + E::Base::ONE) | |
| | ^ the trait `From<bellpepper_core::constraint_system::SynthesisError>` is not implemented for `SynthesisError` | |
| | | |
| = note: the question mark operation (`?`) implicitly performs a conversion on the error value using the `From` trait | |
| = help: the trait `From<std::io::Error>` is implemented for `SynthesisError` | |
| = help: for that trait implementation, expected `std::io::Error`, found `bellpepper_core::constraint_system::SynthesisError` | |
| = note: required for `Result<<E as traits::Engine>::Base, SynthesisError>` to implement `FromResidual<Result<Infallible, bellpepper_core::constraint_system::SynthesisError>>` | |
| error[E0277]: the trait bound `Namespace<'_, <E as traits::Engine>::Base, <CS as ConstraintSystem<<E as traits::Engine>::Base>>::Root>: bellpepper_core::constraint_system::ConstraintSystem<<E as traits::Engine>::Base>` is not satisfied | |
| --> /Users/huitseeker/.cargo/git/checkouts/arecibo-52a2a9b2ca3ccd95/a4c4d23/src/supernova/circuit.rs:693:17 | |
| | | |
| 693 | .inputize(cs.namespace(|| "bypass unmodified hash of the other circuit"))?; | |
| | -------- ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `bellpepper_core::constraint_system::ConstraintSystem<<E as traits::Engine>::Base>` is not implemented for `Namespace<'_, <E as traits::Engine>::Base, <CS as ConstraintSystem<<E as traits::Engine>::Base>>::Root>` | |
| | | | |
| | required by a bound introduced by this call | |
| | | |
| = help: the following other types implement trait `bellpepper_core::constraint_system::ConstraintSystem<Scalar>`: | |
| MultiEq<Scalar, CS> | |
| BenchCS<Scalar> | |
| MetricCS<Scalar> | |
| bellpepper::util_cs::shape_cs::ShapeCS<Scalar> | |
| bellpepper::util_cs::test_shape_cs::TestShapeCS<Scalar> | |
| WitnessCS<Scalar> | |
| bellpepper_core::constraint_system::Namespace<'cs, Scalar, CS> | |
| bellpepper_core::util_cs::test_cs::TestConstraintSystem<Scalar> | |
| &'cs mut CS | |
| note: required by a bound in `bellpepper::gadgets::num::AllocatedNum::<Scalar>::inputize` | |
| --> /Users/huitseeker/.cargo/registry/src/index.crates.io-6f17d22bba15001f/bellpepper-core-0.4.0/src/gadgets/num.rs:106:13 | |
| | | |
| 104 | pub fn inputize<CS>(&self, mut cs: CS) -> Result<(), SynthesisError> | |
| | -------- required by a bound in this associated function | |
| 105 | where | |
| 106 | CS: ConstraintSystem<Scalar>, | |
| | ^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `AllocatedNum::<Scalar>::inputize` | |
| error[E0277]: `?` couldn't convert the error to `SynthesisError` | |
| --> /Users/huitseeker/.cargo/git/checkouts/arecibo-52a2a9b2ca3ccd95/a4c4d23/src/supernova/circuit.rs:693:80 | |
| | | |
| 693 | .inputize(cs.namespace(|| "bypass unmodified hash of the other circuit"))?; | |
| | ^ the trait `From<bellpepper_core::constraint_system::SynthesisError>` is not implemented for `SynthesisError` | |
| | | |
| = note: the question mark operation (`?`) implicitly performs a conversion on the error value using the `From` trait | |
| = help: the trait `From<std::io::Error>` is implemented for `SynthesisError` | |
| = help: for that trait implementation, expected `std::io::Error`, found `bellpepper_core::constraint_system::SynthesisError` | |
| = note: required for `Result<(Option<AllocatedNum<<E as Engine>::Base>>, Vec<AllocatedNum<<E as Engine>::Base>>), SynthesisError>` to implement `FromResidual<Result<Infallible, bellpepper_core::constraint_system::SynthesisError>>` | |
| = note: the full type name has been written to '/Users/huitseeker/tmp/lurk-rs/target/debug/deps/arecibo-5fd626d43623a8a3.long-type-9875306664918503889.txt' | |
| error[E0599]: the function or associated item `new` exists for struct `WitnessCS<<E1 as Engine>::Scalar>`, but its trait bounds were not satisfied | |
| --> /Users/huitseeker/.cargo/git/checkouts/arecibo-52a2a9b2ca3ccd95/a4c4d23/src/supernova/mod.rs:580:54 | |
| | | |
| 580 | let mut cs_primary = SatisfyingAssignment::<E1>::new(); | |
| | ^^^ function or associated item cannot be called on `WitnessCS<<E1 as Engine>::Scalar>` due to unsatisfied trait bounds | |
| | | |
| ::: /Users/huitseeker/.cargo/git/checkouts/bellpepper-de0fda70c41e6ae9/1afbae9/crates/bellpepper/src/util_cs/witness_cs.rs:45:1 | |
| | | |
| 45 | pub struct WitnessCS<Scalar> | |
| | ---------------------------- doesn't satisfy `_: ConstraintSystem<_>` | |
| | | |
| = note: the following trait bounds were not satisfied: | |
| `WitnessCS<<E1 as traits::Engine>::Scalar>: ConstraintSystem<_>` | |
| which is required by `&mut WitnessCS<<E1 as traits::Engine>::Scalar>: ConstraintSystem<_>` | |
| = help: items from traits can only be used if the trait is in scope | |
| help: the following trait is implemented but not in scope; perhaps add a `use` for it: | |
| | | |
| 3 + use bellpepper_core::constraint_system::ConstraintSystem; | |
| | | |
| error[E0599]: the function or associated item `new` exists for struct `WitnessCS<<E2 as Engine>::Scalar>`, but its trait bounds were not satisfied | |
| --> /Users/huitseeker/.cargo/git/checkouts/arecibo-52a2a9b2ca3ccd95/a4c4d23/src/supernova/mod.rs:621:56 | |
| | | |
| 621 | let mut cs_secondary = SatisfyingAssignment::<E2>::new(); | |
| | ^^^ function or associated item cannot be called on `WitnessCS<<E2 as Engine>::Scalar>` due to unsatisfied trait bounds | |
| | | |
| ::: /Users/huitseeker/.cargo/git/checkouts/bellpepper-de0fda70c41e6ae9/1afbae9/crates/bellpepper/src/util_cs/witness_cs.rs:45:1 | |
| | | |
| 45 | pub struct WitnessCS<Scalar> | |
| | ---------------------------- doesn't satisfy `_: ConstraintSystem<_>` | |
| | | |
| = note: the following trait bounds were not satisfied: | |
| `WitnessCS<<E2 as traits::Engine>::Scalar>: ConstraintSystem<_>` | |
| which is required by `&mut WitnessCS<<E2 as traits::Engine>::Scalar>: ConstraintSystem<_>` | |
| = help: items from traits can only be used if the trait is in scope | |
| help: the following trait is implemented but not in scope; perhaps add a `use` for it: | |
| | | |
| 3 + use bellpepper_core::constraint_system::ConstraintSystem; | |
| | | |
| error[E0277]: the trait bound `WitnessCS<<E1 as traits::Engine>::Scalar>: ConstraintSystem<<E1 as traits::Engine>::Scalar>` is not satisfied | |
| --> /Users/huitseeker/.cargo/git/checkouts/arecibo-52a2a9b2ca3ccd95/a4c4d23/src/supernova/mod.rs:822:19 | |
| | | |
| 822 | .synthesize(&mut cs_primary) | |
| | ---------- ^^^^^^^^^^^^^^^ the trait `ConstraintSystem<<E1 as traits::Engine>::Scalar>` is not implemented for `WitnessCS<<E1 as traits::Engine>::Scalar>` | |
| | | | |
| | required by a bound introduced by this call | |
| | | |
| = help: the following other types implement trait `ConstraintSystem<Scalar>`: | |
| <bellpepper::shape_cs::ShapeCS<E> as ConstraintSystem<<E as traits::Engine>::Scalar>> | |
| <bellpepper::test_shape_cs::TestShapeCS<E> as ConstraintSystem<<E as traits::Engine>::Scalar>> | |
| <Namespace<'cs, Scalar, CS> as ConstraintSystem<Scalar>> | |
| <TestConstraintSystem<Scalar> as ConstraintSystem<Scalar>> | |
| <&'cs mut CS as ConstraintSystem<Scalar>> | |
| note: required by a bound in `SuperNovaAugmentedCircuit::<'a, E, SC>::synthesize` | |
| --> /Users/huitseeker/.cargo/git/checkouts/arecibo-52a2a9b2ca3ccd95/a4c4d23/src/supernova/circuit.rs:518:25 | |
| | | |
| 518 | pub fn synthesize<CS: ConstraintSystem<<E as Engine>::Base>>( | |
| | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `SuperNovaAugmentedCircuit::<'a, E, SC>::synthesize` | |
| error[E0277]: the trait bound `WitnessCS<<E2 as traits::Engine>::Scalar>: ConstraintSystem<<E2 as traits::Engine>::Scalar>` is not satisfied | |
| --> /Users/huitseeker/.cargo/git/checkouts/arecibo-52a2a9b2ca3ccd95/a4c4d23/src/supernova/mod.rs:897:19 | |
| | | |
| 897 | .synthesize(&mut cs_secondary) | |
| | ---------- ^^^^^^^^^^^^^^^^^ the trait `ConstraintSystem<<E2 as traits::Engine>::Scalar>` is not implemented for `WitnessCS<<E2 as traits::Engine>::Scalar>` | |
| | | | |
| | required by a bound introduced by this call | |
| | | |
| = help: the following other types implement trait `ConstraintSystem<Scalar>`: | |
| <bellpepper::shape_cs::ShapeCS<E> as ConstraintSystem<<E as traits::Engine>::Scalar>> | |
| <bellpepper::test_shape_cs::TestShapeCS<E> as ConstraintSystem<<E as traits::Engine>::Scalar>> | |
| <Namespace<'cs, Scalar, CS> as ConstraintSystem<Scalar>> | |
| <TestConstraintSystem<Scalar> as ConstraintSystem<Scalar>> | |
| <&'cs mut CS as ConstraintSystem<Scalar>> | |
| note: required by a bound in `SuperNovaAugmentedCircuit::<'a, E, SC>::synthesize` | |
| --> /Users/huitseeker/.cargo/git/checkouts/arecibo-52a2a9b2ca3ccd95/a4c4d23/src/supernova/circuit.rs:518:25 | |
| | | |
| 518 | pub fn synthesize<CS: ConstraintSystem<<E as Engine>::Base>>( | |
| | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `SuperNovaAugmentedCircuit::<'a, E, SC>::synthesize` | |
| error[E0308]: mismatched types | |
| --> /Users/huitseeker/.cargo/git/checkouts/arecibo-52a2a9b2ca3ccd95/a4c4d23/src/supernova/utils.rs:49:9 | |
| | | |
| 45 | conditionally_select_alloc_relaxed_r1cs( | |
| | --------------------------------------- arguments to this function are incorrect | |
| ... | |
| 49 | equal_bit, | |
| | ^^^^^^^^^ expected `Boolean`, found `bellpepper_core::boolean::Boolean` | |
| | | |
| = note: `bellpepper_core::boolean::Boolean` and `Boolean` have similar names, but are actually distinct types | |
| note: `bellpepper_core::boolean::Boolean` is defined in crate `bellpepper_core` | |
| --> /Users/huitseeker/.cargo/git/checkouts/bellpepper-de0fda70c41e6ae9/1afbae9/crates/bellpepper-core/src/gadgets/boolean.rs:369:1 | |
| | | |
| 369 | pub enum Boolean { | |
| | ^^^^^^^^^^^^^^^^ | |
| note: `Boolean` is defined in crate `bellpepper_core` | |
| --> /Users/huitseeker/.cargo/registry/src/index.crates.io-6f17d22bba15001f/bellpepper-core-0.4.0/src/gadgets/boolean.rs:369:1 | |
| | | |
| 369 | pub enum Boolean { | |
| | ^^^^^^^^^^^^^^^^ | |
| = note: perhaps two different versions of crate `bellpepper_core` are being used? | |
| note: function defined here | |
| --> /Users/huitseeker/.cargo/git/checkouts/arecibo-52a2a9b2ca3ccd95/a4c4d23/src/gadgets/r1cs.rs:339:8 | |
| | | |
| 339 | pub fn conditionally_select_alloc_relaxed_r1cs< | |
| | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ | |
| ... | |
| 346 | condition: &Boolean, | |
| | ------------------- | |
| error[E0599]: the function or associated item `new` exists for struct `WitnessCS<<E1 as Engine>::Scalar>`, but its trait bounds were not satisfied | |
| --> /Users/huitseeker/.cargo/git/checkouts/arecibo-52a2a9b2ca3ccd95/a4c4d23/src/lib.rs:438:54 | |
| | | |
| 438 | let mut cs_primary = SatisfyingAssignment::<E1>::new(); | |
| | ^^^ function or associated item cannot be called on `WitnessCS<<E1 as Engine>::Scalar>` due to unsatisfied trait bounds | |
| | | |
| ::: /Users/huitseeker/.cargo/git/checkouts/bellpepper-de0fda70c41e6ae9/1afbae9/crates/bellpepper/src/util_cs/witness_cs.rs:45:1 | |
| | | |
| 45 | pub struct WitnessCS<Scalar> | |
| | ---------------------------- doesn't satisfy `_: ConstraintSystem<_>` | |
| | | |
| = note: the following trait bounds were not satisfied: | |
| `WitnessCS<<E1 as traits::Engine>::Scalar>: ConstraintSystem<_>` | |
| which is required by `&mut WitnessCS<<E1 as traits::Engine>::Scalar>: ConstraintSystem<_>` | |
| = help: items from traits can only be used if the trait is in scope | |
| help: the following trait is implemented but not in scope; perhaps add a `use` for it: | |
| | | |
| 14 + use bellpepper_core::constraint_system::ConstraintSystem; | |
| | | |
| error[E0599]: the function or associated item `new` exists for struct `WitnessCS<<E2 as Engine>::Scalar>`, but its trait bounds were not satisfied | |
| --> /Users/huitseeker/.cargo/git/checkouts/arecibo-52a2a9b2ca3ccd95/a4c4d23/src/lib.rs:460:56 | |
| | | |
| 460 | let mut cs_secondary = SatisfyingAssignment::<E2>::new(); | |
| | ^^^ function or associated item cannot be called on `WitnessCS<<E2 as Engine>::Scalar>` due to unsatisfied trait bounds | |
| | | |
| ::: /Users/huitseeker/.cargo/git/checkouts/bellpepper-de0fda70c41e6ae9/1afbae9/crates/bellpepper/src/util_cs/witness_cs.rs:45:1 | |
| | | |
| 45 | pub struct WitnessCS<Scalar> | |
| | ---------------------------- doesn't satisfy `_: ConstraintSystem<_>` | |
| | | |
| = note: the following trait bounds were not satisfied: | |
| `WitnessCS<<E2 as traits::Engine>::Scalar>: ConstraintSystem<_>` | |
| which is required by `&mut WitnessCS<<E2 as traits::Engine>::Scalar>: ConstraintSystem<_>` | |
| = help: items from traits can only be used if the trait is in scope | |
| help: the following trait is implemented but not in scope; perhaps add a `use` for it: | |
| | | |
| 14 + use bellpepper_core::constraint_system::ConstraintSystem; | |
| | | |
| error[E0277]: the trait bound `WitnessCS<<E1 as traits::Engine>::Scalar>: ConstraintSystem<<E1 as traits::Engine>::Scalar>` is not satisfied | |
| --> /Users/huitseeker/.cargo/git/checkouts/arecibo-52a2a9b2ca3ccd95/a4c4d23/src/lib.rs:607:49 | |
| | | |
| 607 | let zi_primary = circuit_primary.synthesize(&mut cs_primary)?; | |
| | ---------- ^^^^^^^^^^^^^^^ the trait `ConstraintSystem<<E1 as traits::Engine>::Scalar>` is not implemented for `WitnessCS<<E1 as traits::Engine>::Scalar>` | |
| | | | |
| | required by a bound introduced by this call | |
| | | |
| = help: the following other types implement trait `ConstraintSystem<Scalar>`: | |
| <bellpepper::shape_cs::ShapeCS<E> as ConstraintSystem<<E as traits::Engine>::Scalar>> | |
| <bellpepper::test_shape_cs::TestShapeCS<E> as ConstraintSystem<<E as traits::Engine>::Scalar>> | |
| <Namespace<'cs, Scalar, CS> as ConstraintSystem<Scalar>> | |
| <TestConstraintSystem<Scalar> as ConstraintSystem<Scalar>> | |
| <&'cs mut CS as ConstraintSystem<Scalar>> | |
| note: required by a bound in `NovaAugmentedCircuit::<'a, E, SC>::synthesize` | |
| --> /Users/huitseeker/.cargo/git/checkouts/arecibo-52a2a9b2ca3ccd95/a4c4d23/src/circuit.rs:260:25 | |
| | | |
| 260 | pub fn synthesize<CS: ConstraintSystem<<E as Engine>::Base>>( | |
| | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `NovaAugmentedCircuit::<'a, E, SC>::synthesize` | |
| error[E0277]: the trait bound `WitnessCS<<E2 as traits::Engine>::Scalar>: ConstraintSystem<<E2 as traits::Engine>::Scalar>` is not satisfied | |
| --> /Users/huitseeker/.cargo/git/checkouts/arecibo-52a2a9b2ca3ccd95/a4c4d23/src/lib.rs:659:53 | |
| | | |
| 659 | let zi_secondary = circuit_secondary.synthesize(&mut cs_secondary)?; | |
| | ---------- ^^^^^^^^^^^^^^^^^ the trait `ConstraintSystem<<E2 as traits::Engine>::Scalar>` is not implemented for `WitnessCS<<E2 as traits::Engine>::Scalar>` | |
| | | | |
| | required by a bound introduced by this call | |
| | | |
| = help: the following other types implement trait `ConstraintSystem<Scalar>`: | |
| <bellpepper::shape_cs::ShapeCS<E> as ConstraintSystem<<E as traits::Engine>::Scalar>> | |
| <bellpepper::test_shape_cs::TestShapeCS<E> as ConstraintSystem<<E as traits::Engine>::Scalar>> | |
| <Namespace<'cs, Scalar, CS> as ConstraintSystem<Scalar>> | |
| <TestConstraintSystem<Scalar> as ConstraintSystem<Scalar>> | |
| <&'cs mut CS as ConstraintSystem<Scalar>> | |
| note: required by a bound in `NovaAugmentedCircuit::<'a, E, SC>::synthesize` | |
| --> /Users/huitseeker/.cargo/git/checkouts/arecibo-52a2a9b2ca3ccd95/a4c4d23/src/circuit.rs:260:25 | |
| | | |
| 260 | pub fn synthesize<CS: ConstraintSystem<<E as Engine>::Base>>( | |
| | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `NovaAugmentedCircuit::<'a, E, SC>::synthesize` | |
| Some errors have detailed explanations: E0277, E0308, E0599. | |
| For more information about an error, try `rustc --explain E0277`. | |
| error: could not compile `arecibo` (lib) due to 152 previous errors |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment