Compiling risc0-zkvm v1.2.6 error #54
Description
srv@srv:~/light-node$ cd risc0-merkle-service
cargo build && cargo run
Compiling methods v0.1.0 (/home/srv/light-node/risc0-merkle-service/methods)
Compiling risc0-zkvm v1.2.6
Compiling base64 v0.13.1
Compiling dotenv v0.15.0
guest: Starting build for riscv32im-risc0-zkvm-elfmethods(build), risc0-zkv...
guest: Compiling risc0-zkvm v1.2.6
error[E0271]: expected {closure@succinct.rs:259:25} to be a closure that returns Option<Digest>, but it returns Option<Digest>
--> /home/srv/.cargo/registry/src/index.crates.io-1949cf8c6b5b557f/risc0-zkvm-1.2.6/src/receipt/succi nct.rs:257:9
|
256 | Ok(risc0_circuit_rv32im::control_ids(hash_name, po2_max).chain(
| ----- required by a bound introduce d by this call
257 | / zkr_control_ids
258 | | .into_iter()
259 | | .filter_map(move |(name, digest)| allowed_zkr_names.contains(name).then_some(digest. ..
| |_________________________________________________________________________________________________ ^ expected Digest, found a different Digest
|
note: two different versions of crate risc0_zkp are being used; two types coming from two different ve rsions of the same crate are different types even if they look the same
--> /home/srv/.cargo/registry/src/index.crates.io-1949cf8c6b5b557f/risc0-zkp-1.2.6/src/core/digest.rs :62:1
|
62 | pub struct Digest([u32; DIGEST_WORDS]);
| ^^^^^^^^^^^^^^^^^ this is the expected type risc0_zkp::core::digest::Digest
|
::: /home/srv/.cargo/registry/src/index.crates.io-1949cf8c6b5b557f/risc0-zkp-2.0.0/src/core/digest.rs :62:1
|
62 | pub struct Digest([u32; DIGEST_WORDS]);
| ^^^^^^^^^^^^^^^^^ this is the found type risc0_zkp::core::digest::Digest
|
::: /home/srv/.cargo/registry/src/index.crates.io-1949cf8c6b5b557f/risc0-zkvm-1.2.6/src/guest/env/ver ify.rs:18:5
|
18 | use risc0_zkp::core::digest::Digest;
| --------- one version of crate risc0_zkp used here, as a direct dependency of the current cr ate
|
::: /home/srv/.cargo/registry/src/index.crates.io-1949cf8c6b5b557f/risc0-zkvm-1.2.6/src/host/api/conv ert.rs:20:5
|
20 | use risc0_circuit_keccak::KeccakState;
| -------------------- one version of crate risc0_zkp used here, as a dependency of crate ris c0_circuit_keccak
= help: you can use cargo tree to explore your dependency tree
= note: required for FilterMap<IntoIter<(..., ...), 27>, ...> to implement Iterator
note: required by a bound in std::iter::Iterator::chain
--> /home/srv/.rustup/toolchains/stable-x86_64-unknown-linux-gnu/lib/rustlib/src/rust/library/core/sr c/iter/traits/iterator.rs:471:25
|
468 | fn chain(self, other: U) -> Chain<Self, U::IntoIter>
| ----- required by a bound in this associated function
...
471 | U: IntoIterator<Item = Self::Item>,
| ^^^^^^^^^^^^^^^^^ required by this bound in Iterator::chain
= note: the full name for the type has been written to '/home/srv/light-node/risc0-merkle-service/ta rget/debug/deps/risc0_zkvm-f92080fe310b79f5.long-type-948607225614599363.txt'
= note: consider using --verbose to print the full type name to the console
error[E0271]: expected {closure@succinct.rs:259:25} to be a closure that returns Option<Digest>, but it returns Option<Digest>
--> /home/srv/.cargo/registry/src/index.crates.io-1949cf8c6b5b557f/risc0-zkvm-1.2.6/src/receipt/succi nct.rs:236:21
|
236 | ) -> anyhow::Result<impl Iterator<Item = Digest>> {
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected Digest, found a different Digest
|
note: two different versions of crate risc0_zkp are being used; two types coming from two different ve rsions of the same crate are different types even if they look the same
--> /home/srv/.cargo/registry/src/index.crates.io-1949cf8c6b5b557f/risc0-zkp-1.2.6/src/core/digest.rs :62:1
|
62 | pub struct Digest([u32; DIGEST_WORDS]);
| ^^^^^^^^^^^^^^^^^ this is the expected type risc0_zkp::core::digest::Digest
|
::: /home/srv/.cargo/registry/src/index.crates.io-1949cf8c6b5b557f/risc0-zkp-2.0.0/src/core/digest.rs :62:1
|
62 | pub struct Digest([u32; DIGEST_WORDS]);
| ^^^^^^^^^^^^^^^^^ this is the found type risc0_zkp::core::digest::Digest
|
::: /home/srv/.cargo/registry/src/index.crates.io-1949cf8c6b5b557f/risc0-zkvm-1.2.6/src/guest/env/ver ify.rs:18:5
|
18 | use risc0_zkp::core::digest::Digest;
| --------- one version of crate risc0_zkp used here, as a direct dependency of the current cr ate
|
::: /home/srv/.cargo/registry/src/index.crates.io-1949cf8c6b5b557f/risc0-zkvm-1.2.6/src/host/api/conv ert.rs:20:5
|
20 | use risc0_circuit_keccak::KeccakState;
| -------------------- one version of crate risc0_zkp used here, as a dependency of crate ris c0_circuit_keccak
= help: you can use cargo tree to explore your dependency tree
= note: required for FilterMap<IntoIter<(..., ...), 27>, ...> to implement Iterator
= note: 1 redundant requirement hidden
= note: required for Chain<impl Iterator<Item = Digest>, ...> to implement Iterator
= note: the full name for the type has been written to '/home/srv/light-node/risc0-merkle-service/ta rget/debug/deps/risc0_zkvm-f92080fe310b79f5.long-type-10681654451737857490.txt'
= note: consider using --verbose to print the full type name to the console
guest: error[E0271]: expected {closure@succinct.rs:259:25} to be a closure that returns Option<Digest >, but it returns Option<Digest>
guest: --> /home/srv/.cargo/registry/src/index.crates.io-1949cf8c6b5b557f/risc0-zkvm-1.2.6/src/receip t/succinct.rs:257:9
guest: |
guest: 256 | Ok(risc0_circuit_rv32im::control_ids(hash_name, po2_max).chain(
guest: | ----- required by a bound in troduced by this call
guest: 257 | / zkr_control_ids
guest: 258 | | .into_iter()
guest: 259 | | .filter_map(move |(name, digest)| allowed_zkr_names.contains(name).then_some( digest)),
guest: | |__________________________________________________________________________________________ _______^ expected risc0_zkp::core::digest::Digest, found a different risc0_zkp::core::digest::Digest
guest: |
guest: = note: risc0_zkp::core::digest::Digest and risc0_zkp::core::digest::Digest have similar names, but are actually distinct types
guest: note: risc0_zkp::core::digest::Digest is defined in crate risc0_zkp
guest: --> /home/srv/.cargo/registry/src/index.crates.io-1949cf8c6b5b557f/risc0-zkp-2.0.0/src/core/di gest.rs:62:1
guest: |
guest: 62 | pub struct Digest([u32; DIGEST_WORDS]);
guest: | ^^^^^^^^^^^^^^^^^
guest: note: risc0_zkp::core::digest::Digest is defined in crate risc0_zkp
guest: --> /home/srv/.cargo/registry/src/index.crates.io-1949cf8c6b5b557f/risc0-zkp-1.2.6/src/core/di gest.rs:62:1
guest: |
guest: 62 | pub struct Digest([u32; DIGEST_WORDS]);
guest: | ^^^^^^^^^^^^^^^^^
guest: = note: perhaps two different versions of crate risc0_zkp are being used?
guest: = note: required for FilterMap<IntoIter<(&str, Digest), 27>, {closure@succinct.rs:259:25}> to implement Iterator
guest: note: required by a bound in std::iter::Iterator::chain
guest: --> /opt/actions-runner/_work/rust/rust/rust/library/core/src/iter/traits/iterator.rs:481:5
guest: = note: the full name for the type has been written to '/home/srv/light-node/risc0-merkle-ser vice/target/riscv-guest/methods/guest/riscv32im-risc0-zkvm-elf/release/deps/risc0_zkvm-077e510b37b6ab83. long-type-11277234050763823814.txt'
guest: = note: consider using --verbose to print the full type name to the console
guest:
guest: error[E0271]: expected {closure@succinct.rs:259:25} to be a closure that returns Option<Digest >, but it returns Option<Digest>
guest: --> /home/srv/.cargo/registry/src/index.crates.io-1949cf8c6b5b557f/risc0-zkvm-1.2.6/src/receip t/succinct.rs:236:21
guest: |
guest: 236 | ) -> anyhow::Result<impl Iterator<Item = Digest>> {
guest: | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected risc0_zkp::core::digest::Digest , found a different risc0_zkp::core::digest::Digest
guest: |
guest: = note: risc0_zkp::core::digest::Digest and risc0_zkp::core::digest::Digest have similar names, but are actually distinct types
guest: note: risc0_zkp::core::digest::Digest is defined in crate risc0_zkp
guest: --> /home/srv/.cargo/registry/src/index.crates.io-1949cf8c6b5b557f/risc0-zkp-1.2.6/src/core/di gest.rs:62:1
guest: |
guest: 62 | pub struct Digest([u32; DIGEST_WORDS]);
guest: | ^^^^^^^^^^^^^^^^^
guest: note: risc0_zkp::core::digest::Digest is defined in crate risc0_zkp
guest: --> /home/srv/.cargo/registry/src/index.crates.io-1949cf8c6b5b557f/risc0-zkp-2.0.0/src/core/di gest.rs:62:1
guest: |
guest: 62 | pub struct Digest([u32; DIGEST_WORDS]);
guest: | ^^^^^^^^^^^^^^^^^
guest: = note: perhaps two different versions of crate risc0_zkp are being used?
guest: = note: required for FilterMap<IntoIter<(&str, Digest), 27>, {closure@succinct.rs:259:25}> to implement Iterator
guest: = note: 1 redundant requirement hidden
guest: = note: required for Chain<impl Iterator<Item = Digest>, FilterMap<IntoIter<(&str, Digest), 27>, {closure@succinct.rs:259:25}>> to implement Iterator
guest: = note: the full name for the type has been written to '/home/srv/light-node/risc0-merkle-ser vice/target/riscv-guest/methods/guest/riscv32im-risc0-zkvm-elf/release/deps/risc0_zkvm-077e510b37b6ab83. long-type-11003634787048967926.txt'
guest: = note: consider using --verbose to print the full type name to the console
guest:
error[E0308]: mismatched types
--> /home/srv/.cargo/registry/src/index.crates.io-1949cf8c6b5b557f/risc0-zkvm-1.2.6/src/host/client/p rove/mod.rs:216:26
|
216 | control_ids: ALLOWED_CONTROL_IDS.to_vec(),
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected Digest, found a different Digest
|
note: two different versions of crate risc0_zkp are being used; two types coming from two different ve rsions of the same crate are different types even if they look the same
--> /home/srv/.cargo/registry/src/index.crates.io-1949cf8c6b5b557f/risc0-zkp-1.2.6/src/core/digest.rs :62:1
|
62 | pub struct Digest([u32; DIGEST_WORDS]);
| ^^^^^^^^^^^^^^^^^ this is the expected type risc0_zkp::core::digest::Digest
|
::: /home/srv/.cargo/registry/src/index.crates.io-1949cf8c6b5b557f/risc0-zkp-2.0.0/src/core/digest.rs :62:1
|
62 | pub struct Digest([u32; DIGEST_WORDS]);
| ^^^^^^^^^^^^^^^^^ this is the found type risc0_zkp::core::digest::Digest
|
::: /home/srv/.cargo/registry/src/index.crates.io-1949cf8c6b5b557f/risc0-zkvm-1.2.6/src/guest/env/ver ify.rs:18:5
|
18 | use risc0_zkp::core::digest::Digest;
| --------- one version of crate risc0_zkp used here, as a direct dependency of the current cr ate
|
::: /home/srv/.cargo/registry/src/index.crates.io-1949cf8c6b5b557f/risc0-zkvm-1.2.6/src/host/api/conv ert.rs:20:5
|
20 | use risc0_circuit_keccak::KeccakState;
| -------------------- one version of crate risc0_zkp used here, as a dependency of crate ris c0_circuit_keccak
= help: you can use cargo tree to explore your dependency tree
guest: error[E0599]: no associated item named CIRCUIT_INFO found for struct risc0_circuit_recursion:: CircuitImpl in the current scope
guest: --> /home/srv/.cargo/registry/src/index.crates.io-1949cf8c6b5b557f/risc0-zkvm-1.2.6/src/receip t/composite.rs:137:56
guest: |
guest: 137 | ... circuit_info: CircuitImpl::CIRCUIT_INFO,
guest: | ^^^^^^^^^^^^ associated item not found in CircuitImpl
guest: |
guest: = help: items from traits can only be used if the trait is in scope
guest: help: trait CircuitInfo which provides CIRCUIT_INFO is implemented but not in scope; perhaps you want to import it
guest: |
guest: 15 + use risc0_zkp::adapter::CircuitInfo;
guest: |
guest:
error[E0308]: mismatched types
--> /home/srv/.cargo/registry/src/index.crates.io-1949cf8c6b5b557f/risc0-zkvm-1.2.6/src/host/client/p rove/mod.rs:268:26
|
268 | control_ids: ALLOWED_CONTROL_IDS.to_vec(),
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected Digest, found a different Digest
|
note: two different versions of crate risc0_zkp are being used; two types coming from two different ve rsions of the same crate are different types even if they look the same
--> /home/srv/.cargo/registry/src/index.crates.io-1949cf8c6b5b557f/risc0-zkp-1.2.6/src/core/digest.rs :62:1
|
62 | pub struct Digest([u32; DIGEST_WORDS]);
| ^^^^^^^^^^^^^^^^^ this is the expected type risc0_zkp::core::digest::Digest
|
::: /home/srv/.cargo/registry/src/index.crates.io-1949cf8c6b5b557f/risc0-zkp-2.0.0/src/core/digest.rs :62:1
|
62 | pub struct Digest([u32; DIGEST_WORDS]);
| ^^^^^^^^^^^^^^^^^ this is the found type risc0_zkp::core::digest::Digest
|
::: /home/srv/.cargo/registry/src/index.crates.io-1949cf8c6b5b557f/risc0-zkvm-1.2.6/src/guest/env/ver ify.rs:18:5
|
18 | use risc0_zkp::core::digest::Digest;
| --------- one version of crate risc0_zkp used here, as a direct dependency of the current cr ate
|
::: /home/srv/.cargo/registry/src/index.crates.io-1949cf8c6b5b557f/risc0-zkvm-1.2.6/src/host/api/conv ert.rs:20:5
|
20 | use risc0_circuit_keccak::KeccakState;
| -------------------- one version of crate risc0_zkp used here, as a dependency of crate ris c0_circuit_keccak
= help: you can use cargo tree to explore your dependency tree
error[E0308]: mismatched types
--> /home/srv/.cargo/registry/src/index.crates.io-1949cf8c6b5b557f/risc0-zkvm-1.2.6/src/host/client/p rove/mod.rs:280:26
|
280 | control_ids: ALLOWED_CONTROL_IDS.to_vec(),
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected Digest, found a different Digest
|
note: two different versions of crate risc0_zkp are being used; two types coming from two different ve rsions of the same crate are different types even if they look the same
--> /home/srv/.cargo/registry/src/index.crates.io-1949cf8c6b5b557f/risc0-zkp-1.2.6/src/core/digest.rs :62:1
|
62 | pub struct Digest([u32; DIGEST_WORDS]);
| ^^^^^^^^^^^^^^^^^ this is the expected type risc0_zkp::core::digest::Digest
|
::: /home/srv/.cargo/registry/src/index.crates.io-1949cf8c6b5b557f/risc0-zkp-2.0.0/src/core/digest.rs :62:1
|
62 | pub struct Digest([u32; DIGEST_WORDS]);
| ^^^^^^^^^^^^^^^^^ this is the found type risc0_zkp::core::digest::Digest
|
::: /home/srv/.cargo/registry/src/index.crates.io-1949cf8c6b5b557f/risc0-zkvm-1.2.6/src/guest/env/ver ify.rs:18:5
|
18 | use risc0_zkp::core::digest::Digest;
| --------- one version of crate risc0_zkp used here, as a direct dependency of the current cr ate
|
::: /home/srv/.cargo/registry/src/index.crates.io-1949cf8c6b5b557f/risc0-zkvm-1.2.6/src/host/api/conv ert.rs:20:5
|
20 | use risc0_circuit_keccak::KeccakState;
| -------------------- one version of crate risc0_zkp used here, as a dependency of crate ris c0_circuit_keccak
= help: you can use cargo tree to explore your dependency tree
error[E0308]: mismatched types
--> /home/srv/.cargo/registry/src/index.crates.io-1949cf8c6b5b557f/risc0-zkvm-1.2.6/src/host/client/p rove/mod.rs:294:26
|
294 | control_ids: ALLOWED_CONTROL_IDS.to_vec(),
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected Digest, found a different Digest
|
note: two different versions of crate risc0_zkp are being used; two types coming from two different ve rsions of the same crate are different types even if they look the same
--> /home/srv/.cargo/registry/src/index.crates.io-1949cf8c6b5b557f/risc0-zkp-1.2.6/src/core/digest.rs :62:1
|
62 | pub struct Digest([u32; DIGEST_WORDS]);
| ^^^^^^^^^^^^^^^^^ this is the expected type risc0_zkp::core::digest::Digest
|
::: /home/srv/.cargo/registry/src/index.crates.io-1949cf8c6b5b557f/risc0-zkp-2.0.0/src/core/digest.rs :62:1
|
62 | pub struct Digest([u32; DIGEST_WORDS]);
| ^^^^^^^^^^^^^^^^^ this is the found type risc0_zkp::core::digest::Digest
|
::: /home/srv/.cargo/registry/src/index.crates.io-1949cf8c6b5b557f/risc0-zkvm-1.2.6/src/guest/env/ver ify.rs:18:5
|
18 | use risc0_zkp::core::digest::Digest;
| --------- one version of crate risc0_zkp used here, as a direct dependency of the current cr ate
|
::: /home/srv/.cargo/registry/src/index.crates.io-1949cf8c6b5b557f/risc0-zkvm-1.2.6/src/host/api/conv ert.rs:20:5
|
20 | use risc0_circuit_keccak::KeccakState;
| -------------------- one version of crate risc0_zkp used here, as a dependency of crate ris c0_circuit_keccak
= help: you can use cargo tree to explore your dependency tree
guest: error[E0308]: mismatched types> ] 431/435: methods(build), risc0-zkvm
guest: --> /home/srv/.cargo/registry/src/index.crates.io-1949cf8c6b5b557f/risc0-zkvm-1.2.6/src/receipt /groth16.rs:88:26
guest: |
guest: 88 | split_digest(params.control_root).map_err(|_| VerificationError::ReceiptFormatEr ror)?;
guest: | ------------ ^^^^^^^^^^^^^^^^^^^ expected risc0_zkp::core::digest::Digest, fou nd a different risc0_zkp::core::digest::Digest
guest: | |
guest: | arguments to this function are incorrect
guest: |
guest: = note: risc0_zkp::core::digest::Digest and risc0_zkp::core::digest::Digest have similar n ames, but are actually distinct types
guest: note: risc0_zkp::core::digest::Digest is defined in crate risc0_zkp
guest: --> /home/srv/.cargo/registry/src/index.crates.io-1949cf8c6b5b557f/risc0-zkp-1.2.6/src/core/dig est.rs:62:1
guest: |
guest: 62 | pub struct Digest([u32; DIGEST_WORDS]);
guest: | ^^^^^^^^^^^^^^^^^
guest: note: risc0_zkp::core::digest::Digest is defined in crate risc0_zkp
guest: --> /home/srv/.cargo/registry/src/index.crates.io-1949cf8c6b5b557f/risc0-zkp-2.0.0/src/core/dig est.rs:62:1
guest: |
guest: 62 | pub struct Digest([u32; DIGEST_WORDS]);
guest: | ^^^^^^^^^^^^^^^^^
guest: = note: perhaps two different versions of crate risc0_zkp are being used?
guest: note: function defined here
guest: --> /home/srv/.cargo/registry/src/index.crates.io-1949cf8c6b5b557f/risc0-groth16-1.4.0/src/lib. rs:91:8
guest: |
guest: 91 | pub fn split_digest(d: Digest) -> Result<(Fr, Fr), Error> {
guest: | ^^^^^^^^^^^^
guest:
guest: error[E0308]: mismatched types
guest: --> /home/srv/.cargo/registry/src/index.crates.io-1949cf8c6b5b557f/risc0-zkvm-1.2.6/src/receipt /groth16.rs:89:37
guest: |
guest: 89 | let (c0, c1) = split_digest(self.claim.digest::sha::Impl())
guest: | ------------ ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected risc0_zkp::co re::digest::Digest, found a different risc0_zkp::core::digest::Digest
guest: | |
guest: | arguments to this function are incorrect
guest: |
guest: = note: risc0_zkp::core::digest::Digest and risc0_zkp::core::digest::Digest have similar n ames, but are actually distinct types
guest: note: risc0_zkp::core::digest::Digest is defined in crate risc0_zkp
guest: --> /home/srv/.cargo/registry/src/index.crates.io-1949cf8c6b5b557f/risc0-zkp-1.2.6/src/core/dig est.rs:62:1
guest: |
guest: 62 | pub struct Digest([u32; DIGEST_WORDS]);
guest: | ^^^^^^^^^^^^^^^^^
guest: note: risc0_zkp::core::digest::Digest is defined in crate risc0_zkp
guest: --> /home/srv/.cargo/registry/src/index.crates.io-1949cf8c6b5b557f/risc0-zkp-2.0.0/src/core/dig est.rs:62:1
guest: |
guest: 62 | pub struct Digest([u32; DIGEST_WORDS]);
guest: | ^^^^^^^^^^^^^^^^^
guest: = note: perhaps two different versions of crate risc0_zkp are being used?
guest: note: function defined here
guest: --> /home/srv/.cargo/registry/src/index.crates.io-1949cf8c6b5b557f/risc0-groth16-1.4.0/src/lib. rs:91:8
guest: |
guest: 91 | pub fn split_digest(d: Digest) -> Result<(Fr, Fr), Error> {
guest: | ^^^^^^^^^^^^
guest:
guest: error[E0308]: mismatched types
guest: --> /home/srv/.cargo/registry/src/index.crates.io-1949cf8c6b5b557f/risc0-zkvm-1.2.6/src/receip t/groth16.rs:144:31
guest: |
guest: 144 | bn254_control_id: BN254_IDENTITY_CONTROL_ID,
guest: | ^^^^^^^^^^^^^^^^^^^^^^^^^ expected risc0_zkp::core::digest:: Digest, found a different risc0_zkp::core::digest::Digest
guest: |
guest: = note: risc0_zkp::core::digest::Digest and risc0_zkp::core::digest::Digest have similar names, but are actually distinct types
guest: note: risc0_zkp::core::digest::Digest is defined in crate risc0_zkp
guest: --> /home/srv/.cargo/registry/src/index.crates.io-1949cf8c6b5b557f/risc0-zkp-2.0.0/src/core/di gest.rs:62:1
guest: |
guest: 62 | pub struct Digest([u32; DIGEST_WORDS]);
guest: | ^^^^^^^^^^^^^^^^^
guest: note: risc0_zkp::core::digest::Digest is defined in crate risc0_zkp
guest: --> /home/srv/.cargo/registry/src/index.crates.io-1949cf8c6b5b557f/risc0-zkp-1.2.6/src/core/di gest.rs:62:1
guest: |
guest: 62 | pub struct Digest([u32; DIGEST_WORDS]);
guest: | ^^^^^^^^^^^^^^^^^
guest: = note: perhaps two different versions of crate risc0_zkp are being used?
guest:
guest: error[E0599]: no method named digest found for struct VerifyingKey in the current scope
guest: --> /home/srv/.cargo/registry/src/index.crates.io-1949cf8c6b5b557f/risc0-zkvm-1.2.6/src/receip t/groth16.rs:165:36
guest: |
guest: 165 | self.verifying_key.digest::(),
guest: | ^^^^^^ method not found in VerifyingKey
guest: |
guest: = help: items from traits can only be used if the trait is in scope
guest: help: trait Digestible which provides digest is implemented but not in scope; perhaps you wan t to import it
guest: |
guest: 15 + use risc0_binfmt::hash::Digestible;
guest: |
guest:
guest: error[E0308]: mismatched types
guest: --> /home/srv/.cargo/registry/src/index.crates.io-1949cf8c6b5b557f/risc0-zkvm-1.2.6/src/receip t/groth16.rs:176:27
guest: |
guest: 176 | control_root: ALLOWED_CONTROL_ROOT,
guest: | ^^^^^^^^^^^^^^^^^^^^ expected risc0_zkp::core::digest::Digest, found a different risc0_zkp::core::digest::Digest
guest: |
guest: = note: risc0_zkp::core::digest::Digest and risc0_zkp::core::digest::Digest have similar names, but are actually distinct types
guest: note: risc0_zkp::core::digest::Digest is defined in crate risc0_zkp
guest: --> /home/srv/.cargo/registry/src/index.crates.io-1949cf8c6b5b557f/risc0-zkp-2.0.0/src/core/di gest.rs:62:1
guest: |
guest: 62 | pub struct Digest([u32; DIGEST_WORDS]);
guest: | ^^^^^^^^^^^^^^^^^
guest: note: risc0_zkp::core::digest::Digest is defined in crate risc0_zkp
guest: --> /home/srv/.cargo/registry/src/index.crates.io-1949cf8c6b5b557f/risc0-zkp-1.2.6/src/core/di gest.rs:62:1
guest: |
guest: 62 | pub struct Digest([u32; DIGEST_WORDS]);
guest: | ^^^^^^^^^^^^^^^^^
guest: = note: perhaps two different versions of crate risc0_zkp are being used?
guest:
guest: error[E0308]: mismatched types
guest: --> /home/srv/.cargo/registry/src/index.crates.io-1949cf8c6b5b557f/risc0-zkvm-1.2.6/src/receip t/groth16.rs:177:31
guest: |
guest: 177 | bn254_control_id: BN254_IDENTITY_CONTROL_ID,
guest: | ^^^^^^^^^^^^^^^^^^^^^^^^^ expected risc0_zkp::core::digest:: Digest, found a different risc0_zkp::core::digest::Digest
guest: |
guest: = note: risc0_zkp::core::digest::Digest and risc0_zkp::core::digest::Digest have similar names, but are actually distinct types
guest: note: risc0_zkp::core::digest::Digest is defined in crate risc0_zkp
guest: --> /home/srv/.cargo/registry/src/index.crates.io-1949cf8c6b5b557f/risc0-zkp-2.0.0/src/core/di gest.rs:62:1
guest: |
guest: 62 | pub struct Digest([u32; DIGEST_WORDS]);
guest: | ^^^^^^^^^^^^^^^^^
guest: note: risc0_zkp::core::digest::Digest is defined in crate risc0_zkp
guest: --> /home/srv/.cargo/registry/src/index.crates.io-1949cf8c6b5b557f/risc0-zkp-1.2.6/src/core/di gest.rs:62:1
guest: |
guest: 62 | pub struct Digest([u32; DIGEST_WORDS]);
guest: | ^^^^^^^^^^^^^^^^^
guest: = note: perhaps two different versions of crate risc0_zkp are being used?
guest:
guest: error[E0599]: no associated item named CIRCUIT_INFO found for struct risc0_circuit_recursion:: CircuitImpl in the current scope
guest: --> /home/srv/.cargo/registry/src/index.crates.io-1949cf8c6b5b557f/risc0-zkvm-1.2.6/src/receip t/succinct.rs:123:48
guest: |
guest: 123 | if params.circuit_info != CircuitImpl::CIRCUIT_INFO {
guest: | ^^^^^^^^^^^^ associated item not found in C ircuitImpl
guest: |
guest: = help: items from traits can only be used if the trait is in scope
guest: help: trait CircuitInfo which provides CIRCUIT_INFO is implemented but not in scope; perhaps you want to import it
guest: |
guest: 15 + use risc0_zkp::adapter::CircuitInfo;
guest: |
guest:
guest: error[E0599]: no associated item named CIRCUIT_INFO found for struct risc0_circuit_recursion:: CircuitImpl in the current scope
guest: --> /home/srv/.cargo/registry/src/index.crates.io-1949cf8c6b5b557f/risc0-zkvm-1.2.6/src/receip t/succinct.rs:125:40
guest: |
guest: 125 | expected: CircuitImpl::CIRCUIT_INFO,
guest: | ^^^^^^^^^^^^ associated item not found in CircuitIm pl
guest: |
guest: = help: items from traits can only be used if the trait is in scope
guest: help: trait CircuitInfo which provides CIRCUIT_INFO is implemented but not in scope; perhaps you want to import it
guest: |
guest: 15 + use risc0_zkp::adapter::CircuitInfo;
guest: |
guest:
guest: error[E0277]: the trait bound risc0_circuit_recursion::CircuitImpl: CircuitCoreDef<_> is not sa tisfied
guest: --> /home/srv/.cargo/registry/src/index.crates.io-1949cf8c6b5b557f/risc0-zkvm-1.2.6/src/receip t/succinct.rs:152:35
guest: |
guest: 152 | risc0_zkp::verify::verify(&CIRCUIT, suite, &self.seal, check_code)?;
guest: | ------------------------- ^^^^^^^^ the trait CircuitCoreDef<_> is not implemented for risc0_circuit_recursion::CircuitImpl
guest: | |
guest: | required by a bound introduced by this call
guest: |
guest: = help: the trait CircuitCoreDef<BabyBear> is implemented for risc0_circuit_rv32im::Circui tImpl
guest: note: required by a bound in risc0_zkp::verify::verify
guest: --> /home/srv/.cargo/registry/src/index.crates.io-1949cf8c6b5b557f/risc0-zkp-1.2.6/src/verify/ mod.rs:502:8
guest: |
guest: 494 | pub fn verify<F, C, CheckCode>(
guest: | ------ required by a bound in this function
guest: ...
guest: 502 | C: CircuitCoreDef,
guest: | ^^^^^^^^^^^^^^^^^ required by this bound in verify
guest:
guest: error[E0599]: no associated item named OUTPUT_SIZE found for struct risc0_circuit_recursion::C ircuitImpl in the current scope
guest: --> /home/srv/.cargo/registry/src/index.crates.io-1949cf8c6b5b557f/risc0-zkvm-1.2.6/src/receip t/succinct.rs:156:69
guest: |
guest: 156 | bytemuck::checked::cast_slice(&self.seal[..CircuitImpl::OUTPUT_SIZE]);
guest: | ^^^^^^^^^^^ associated item not found in CircuitImpl
guest: |
guest: = help: items from traits can only be used if the trait is in scope
guest: help: trait CircuitInfo which provides OUTPUT_SIZE is implemented but not in scope; perhaps y ou want to import it
guest: |
guest: 15 + use risc0_zkp::adapter::CircuitInfo;
guest: |
guest:
error[E0599]: no associated item named CIRCUIT_INFO found for struct risc0_circuit_recursion::Circuit Impl in the current scope
--> /home/srv/.cargo/registry/src/index.crates.io-1949cf8c6b5b557f/risc0-zkvm-1.2.6/src/receipt/compo site.rs:137:56
|
137 | ... circuit_info: CircuitImpl::CIRCUIT_INFO,
| ^^^^^^^^^^^^ associated item not found in Circui tImpl
|
note: there are multiple different versions of crate risc0_zkp in the dependency graph
--> /home/srv/.cargo/registry/src/index.crates.io-1949cf8c6b5b557f/risc0-zkp-2.0.0/src/adapter.rs:178 :1
|
178 | pub trait CircuitInfo {
| ^^^^^^^^^^^^^^^^^^^^^ this is the trait that is needed
179 | const CIRCUIT_INFO: ProtocolInfo;
| -------------------------------- the const is available for risc0_circuit_recursion::CircuitI mpl here
|
::: /home/srv/.cargo/registry/src/index.crates.io-1949cf8c6b5b557f/risc0-zkvm-1.2.6/src/receipt/compo site.rs:23:15
|
23 | adapter::{CircuitInfo, PROOF_SYSTEM_INFO},
| ----------- CircuitInfo imported here doesn't correspond to the right version of c rate risc0_zkp
|
::: /home/srv/.cargo/registry/src/index.crates.io-1949cf8c6b5b557f/risc0-zkp-1.2.6/src/adapter.rs:177 :1
|
177 | pub trait CircuitInfo {
| --------------------- this is the trait that was imported
guest: error[E0599]: no associated item named CIRCUIT_INFO found for struct risc0_circuit_recursion:: CircuitImpl in the current scope
guest: --> /home/srv/.cargo/registry/src/index.crates.io-1949cf8c6b5b557f/risc0-zkvm-1.2.6/src/receip t/succinct.rs:306:40
guest: |
guest: 306 | circuit_info: CircuitImpl::CIRCUIT_INFO,
guest: | ^^^^^^^^^^^^ associated item not found in CircuitIm pl
guest: |
guest: = help: items from traits can only be used if the trait is in scope
guest: help: trait CircuitInfo which provides CIRCUIT_INFO is implemented but not in scope; perhaps you want to import it
guest: |
guest: 15 + use risc0_zkp::adapter::CircuitInfo;
guest: |
guest:
guest: error[E0308]: mismatched types
guest: --> /home/srv/.cargo/registry/src/index.crates.io-1949cf8c6b5b557f/risc0-zkvm-1.2.6/src/receip t/succinct.rs:340:27
guest: |
guest: 340 | control_root: ALLOWED_CONTROL_ROOT,
guest: | ^^^^^^^^^^^^^^^^^^^^ expected risc0_zkp::core::digest::Digest, found a different risc0_zkp::core::digest::Digest
guest: |
guest: = note: risc0_zkp::core::digest::Digest and risc0_zkp::core::digest::Digest have similar names, but are actually distinct types
guest: note: risc0_zkp::core::digest::Digest is defined in crate risc0_zkp
guest: --> /home/srv/.cargo/registry/src/index.crates.io-1949cf8c6b5b557f/risc0-zkp-2.0.0/src/core/di gest.rs:62:1
guest: |
guest: 62 | pub struct Digest([u32; DIGEST_WORDS]);
guest: | ^^^^^^^^^^^^^^^^^
guest: note: risc0_zkp::core::digest::Digest is defined in crate risc0_zkp
guest: --> /home/srv/.cargo/registry/src/index.crates.io-1949cf8c6b5b557f/risc0-zkp-1.2.6/src/core/di gest.rs:62:1
guest: |
guest: 62 | pub struct Digest([u32; DIGEST_WORDS]);
guest: | ^^^^^^^^^^^^^^^^^
guest: = note: perhaps two different versions of crate risc0_zkp are being used?
guest:
guest: error[E0599]: no associated item named CIRCUIT_INFO found for struct risc0_circuit_recursion:: CircuitImpl in the current scope
guest: --> /home/srv/.cargo/registry/src/index.crates.io-1949cf8c6b5b557f/risc0-zkvm-1.2.6/src/receip t/succinct.rs:343:40
guest: |
guest: 343 | circuit_info: CircuitImpl::CIRCUIT_INFO,
guest: | ^^^^^^^^^^^^ associated item not found in CircuitIm pl
guest: |
guest: = help: items from traits can only be used if the trait is in scope
guest: help: trait CircuitInfo which provides CIRCUIT_INFO is implemented but not in scope; perhaps you want to import it
guest: |
guest: 15 + use risc0_zkp::adapter::CircuitInfo;
guest: |
guest:
error[E0308]: mismatched types
--> /home/srv/.cargo/registry/src/index.crates.io-1949cf8c6b5b557f/risc0-zkvm-1.2.6/src/receipt/groth1 6.rs:88:26
|
88 | split_digest(params.control_root).map_err(|_| VerificationEr...
| ------------ ^^^^^^^^^^^^^^^^^^^ expected Digest, found a different Digest
| |
| arguments to this function are incorrect
|
note: two different versions of crate risc0_zkp are being used; two types coming from two different ve rsions of the same crate are different types even if they look the same
--> /home/srv/.cargo/registry/src/index.crates.io-1949cf8c6b5b557f/risc0-zkp-1.2.6/src/core/digest.rs: 62:1
|
62 | pub struct Digest([u32; DIGEST_WORDS]);
| ^^^^^^^^^^^^^^^^^ this is the found type risc0_zkp::core::digest::Digest
|
::: /home/srv/.cargo/registry/src/index.crates.io-1949cf8c6b5b557f/risc0-zkp-2.0.0/src/core/digest.rs: 62:1
|
62 | pub struct Digest([u32; DIGEST_WORDS]);
| ^^^^^^^^^^^^^^^^^ this is the expected type risc0_zkp::core::digest::Digest
|
::: /home/srv/.cargo/registry/src/index.crates.io-1949cf8c6b5b557f/risc0-zkvm-1.2.6/src/host/api/conve rt.rs:20:5
|
20 | use risc0_circuit_keccak::KeccakState;
| -------------------- one version of crate risc0_zkp used here, as a dependency of crate risc 0_circuit_keccak
|
::: /home/srv/.cargo/registry/src/index.crates.io-1949cf8c6b5b557f/risc0-zkvm-1.2.6/src/guest/env/veri fy.rs:18:5
|
18 | use risc0_zkp::core::digest::Digest;
| --------- one version of crate risc0_zkp used here, as a direct dependency of the current cra te
= help: you can use cargo tree to explore your dependency tree
note: function defined here
--> /home/srv/.cargo/registry/src/index.crates.io-1949cf8c6b5b557f/risc0-groth16-1.4.0/src/lib.rs:91:8
|
91 | pub fn split_digest(d: Digest) -> Result<(Fr, Fr), Error> {
| ^^^^^^^^^^^^
error[E0308]: mismatched types
--> /home/srv/.cargo/registry/src/index.crates.io-1949cf8c6b5b557f/risc0-zkvm-1.2.6/src/receipt/groth1 6.rs:89:37
|
89 | let (c0, c1) = split_digest(self.claim.digest::sha::Impl())
| ------------ ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected Digest, found a dif ferent Digest
| |
| arguments to this function are incorrect
|
note: two different versions of crate risc0_zkp are being used; two types coming from two different ve rsions of the same crate are different types even if they look the same
--> /home/srv/.cargo/registry/src/index.crates.io-1949cf8c6b5b557f/risc0-zkp-1.2.6/src/core/digest.rs: 62:1
|
62 | pub struct Digest([u32; DIGEST_WORDS]);
| ^^^^^^^^^^^^^^^^^ this is the found type risc0_zkp::core::digest::Digest
|
::: /home/srv/.cargo/registry/src/index.crates.io-1949cf8c6b5b557f/risc0-zkp-2.0.0/src/core/digest.rs: 62:1
|
62 | pub struct Digest([u32; DIGEST_WORDS]);
| ^^^^^^^^^^^^^^^^^ this is the expected type risc0_zkp::core::digest::Digest
|
::: /home/srv/.cargo/registry/src/index.crates.io-1949cf8c6b5b557f/risc0-zkvm-1.2.6/src/host/api/conve rt.rs:20:5
|
20 | use risc0_circuit_keccak::KeccakState;
| -------------------- one version of crate risc0_zkp used here, as a dependency of crate risc 0_circuit_keccak
|
::: /home/srv/.cargo/registry/src/index.crates.io-1949cf8c6b5b557f/risc0-zkvm-1.2.6/src/guest/env/veri fy.rs:18:5
|
18 | use risc0_zkp::core::digest::Digest;
| --------- one version of crate risc0_zkp used here, as a direct dependency of the current cra te
= help: you can use cargo tree to explore your dependency tree
note: function defined here
--> /home/srv/.cargo/registry/src/index.crates.io-1949cf8c6b5b557f/risc0-groth16-1.4.0/src/lib.rs:91:8
|
91 | pub fn split_digest(d: Digest) -> Result<(Fr, Fr), Error> {
| ^^^^^^^^^^^^
error[E0308]: mismatched types
--> /home/srv/.cargo/registry/src/index.crates.io-1949cf8c6b5b557f/risc0-zkvm-1.2.6/src/receipt/groth 16.rs:144:31
|
144 | bn254_control_id: BN254_IDENTITY_CONTROL_ID,
| ^^^^^^^^^^^^^^^^^^^^^^^^^ expected Digest, found a different Dige st
|
note: two different versions of crate risc0_zkp are being used; two types coming from two different ve rsions of the same crate are different types even if they look the same
--> /home/srv/.cargo/registry/src/index.crates.io-1949cf8c6b5b557f/risc0-zkp-1.2.6/src/core/digest.rs :62:1
|
62 | pub struct Digest([u32; DIGEST_WORDS]);
| ^^^^^^^^^^^^^^^^^ this is the expected type risc0_zkp::core::digest::Digest
|
::: /home/srv/.cargo/registry/src/index.crates.io-1949cf8c6b5b557f/risc0-zkp-2.0.0/src/core/digest.rs :62:1
|
62 | pub struct Digest([u32; DIGEST_WORDS]);
| ^^^^^^^^^^^^^^^^^ this is the found type risc0_zkp::core::digest::Digest
|
::: /home/srv/.cargo/registry/src/index.crates.io-1949cf8c6b5b557f/risc0-zkvm-1.2.6/src/guest/env/ver ify.rs:18:5
|
18 | use risc0_zkp::core::digest::Digest;
| --------- one version of crate risc0_zkp used here, as a direct dependency of the current cr ate
|
::: /home/srv/.cargo/registry/src/index.crates.io-1949cf8c6b5b557f/risc0-zkvm-1.2.6/src/host/api/conv ert.rs:20:5
|
20 | use risc0_circuit_keccak::KeccakState;
| -------------------- one version of crate risc0_zkp used here, as a dependency of crate ris c0_circuit_keccak
= help: you can use cargo tree to explore your dependency tree
error[E0599]: no method named digest found for struct VerifyingKey in the current scope
--> /home/srv/.cargo/registry/src/index.crates.io-1949cf8c6b5b557f/risc0-zkvm-1.2.6/src/receipt/groth 16.rs:165:36
|
165 | self.verifying_key.digest::(),
| ^^^^^^ method not found in VerifyingKey
|
= help: items from traits can only be used if the trait is in scope
help: trait Digestible which provides digest is implemented but not in scope; perhaps you want to im port it
|
15 + use risc0_binfmt::hash::Digestible;
|
error[E0308]: mismatched types
--> /home/srv/.cargo/registry/src/index.crates.io-1949cf8c6b5b557f/risc0-zkvm-1.2.6/src/receipt/groth 16.rs:176:27
|
176 | control_root: ALLOWED_CONTROL_ROOT,
| ^^^^^^^^^^^^^^^^^^^^ expected Digest, found a different Digest
|
note: two different versions of crate risc0_zkp are being used; two types coming from two different ve rsions of the same crate are different types even if they look the same
--> /home/srv/.cargo/registry/src/index.crates.io-1949cf8c6b5b557f/risc0-zkp-1.2.6/src/core/digest.rs :62:1
|
62 | pub struct Digest([u32; DIGEST_WORDS]);
| ^^^^^^^^^^^^^^^^^ this is the expected type risc0_zkp::core::digest::Digest
|
::: /home/srv/.cargo/registry/src/index.crates.io-1949cf8c6b5b557f/risc0-zkp-2.0.0/src/core/digest.rs :62:1
|
62 | pub struct Digest([u32; DIGEST_WORDS]);
| ^^^^^^^^^^^^^^^^^ this is the found type risc0_zkp::core::digest::Digest
|
::: /home/srv/.cargo/registry/src/index.crates.io-1949cf8c6b5b557f/risc0-zkvm-1.2.6/src/guest/env/ver ify.rs:18:5
|
18 | use risc0_zkp::core::digest::Digest;
| --------- one version of crate risc0_zkp used here, as a direct dependency of the current cr ate
|
::: /home/srv/.cargo/registry/src/index.crates.io-1949cf8c6b5b557f/risc0-zkvm-1.2.6/src/host/api/conv ert.rs:20:5
|
20 | use risc0_circuit_keccak::KeccakState;
| -------------------- one version of crate risc0_zkp used here, as a dependency of crate ris c0_circuit_keccak
= help: you can use cargo tree to explore your dependency tree
error[E0308]: mismatched types
--> /home/srv/.cargo/registry/src/index.crates.io-1949cf8c6b5b557f/risc0-zkvm-1.2.6/src/receipt/groth 16.rs:177:31
|
177 | bn254_control_id: BN254_IDENTITY_CONTROL_ID,
| ^^^^^^^^^^^^^^^^^^^^^^^^^ expected Digest, found a different Dige st
|
note: two different versions of crate risc0_zkp are being used; two types coming from two different ve rsions of the same crate are different types even if they look the same
--> /home/srv/.cargo/registry/src/index.crates.io-1949cf8c6b5b557f/risc0-zkp-1.2.6/src/core/digest.rs :62:1
|
62 | pub struct Digest([u32; DIGEST_WORDS]);
| ^^^^^^^^^^^^^^^^^ this is the expected type risc0_zkp::core::digest::Digest
|
::: /home/srv/.cargo/registry/src/index.crates.io-1949cf8c6b5b557f/risc0-zkp-2.0.0/src/core/digest.rs :62:1
|
62 | pub struct Digest([u32; DIGEST_WORDS]);
| ^^^^^^^^^^^^^^^^^ this is the found type risc0_zkp::core::digest::Digest
|
::: /home/srv/.cargo/registry/src/index.crates.io-1949cf8c6b5b557f/risc0-zkvm-1.2.6/src/guest/env/ver ify.rs:18:5
|
18 | use risc0_zkp::core::digest::Digest;
| --------- one version of crate risc0_zkp used here, as a direct dependency of the current cr ate
|
::: /home/srv/.cargo/registry/src/index.crates.io-1949cf8c6b5b557f/risc0-zkvm-1.2.6/src/host/api/conv ert.rs:20:5
|
20 | use risc0_circuit_keccak::KeccakState;
| -------------------- one version of crate risc0_zkp used here, as a dependency of crate ris c0_circuit_keccak
= help: you can use cargo tree to explore your dependency tree
error[E0599]: no associated item named CIRCUIT_INFO found for struct risc0_circuit_recursion::Circuit Impl in the current scope
--> /home/srv/.cargo/registry/src/index.crates.io-1949cf8c6b5b557f/risc0-zkvm-1.2.6/src/receipt/succi nct.rs:123:48
|
123 | if params.circuit_info != CircuitImpl::CIRCUIT_INFO {
| ^^^^^^^^^^^^ associated item not found in CircuitI mpl
|
note: there are multiple different versions of crate risc0_zkp in the dependency graph
--> /home/srv/.cargo/registry/src/index.crates.io-1949cf8c6b5b557f/risc0-zkp-2.0.0/src/adapter.rs:178 :1
|
178 | pub trait CircuitInfo {
| ^^^^^^^^^^^^^^^^^^^^^ this is the trait that is needed
179 | const CIRCUIT_INFO: ProtocolInfo;
| -------------------------------- the const is available for risc0_circuit_recursion::CircuitI mpl here
|
::: /home/srv/.cargo/registry/src/index.crates.io-1949cf8c6b5b557f/risc0-zkvm-1.2.6/src/receipt/succi nct.rs:33:15
|
33 | adapter::{CircuitInfo, ProtocolInfo, PROOF_SYSTEM_INFO},
| ----------- CircuitInfo imported here doesn't correspond to the right version of c rate risc0_zkp
|
::: /home/srv/.cargo/registry/src/index.crates.io-1949cf8c6b5b557f/risc0-zkp-1.2.6/src/adapter.rs:177 :1
|
177 | pub trait CircuitInfo {
| --------------------- this is the trait that was imported
error[E0599]: no associated item named CIRCUIT_INFO found for struct risc0_circuit_recursion::Circuit Impl in the current scope
--> /home/srv/.cargo/registry/src/index.crates.io-1949cf8c6b5b557f/risc0-zkvm-1.2.6/src/receipt/succi nct.rs:125:40
|
125 | expected: CircuitImpl::CIRCUIT_INFO,
| ^^^^^^^^^^^^ associated item not found in CircuitImpl
|
note: there are multiple different versions of crate risc0_zkp in the dependency graph
--> /home/srv/.cargo/registry/src/index.crates.io-1949cf8c6b5b557f/risc0-zkp-2.0.0/src/adapter.rs:178 :1
|
178 | pub trait CircuitInfo {
| ^^^^^^^^^^^^^^^^^^^^^ this is the trait that is needed
179 | const CIRCUIT_INFO: ProtocolInfo;
| -------------------------------- the const is available for risc0_circuit_recursion::CircuitI mpl here
|
::: /home/srv/.cargo/registry/src/index.crates.io-1949cf8c6b5b557f/risc0-zkvm-1.2.6/src/receipt/succi nct.rs:33:15
|
33 | adapter::{CircuitInfo, ProtocolInfo, PROOF_SYSTEM_INFO},
| ----------- CircuitInfo imported here doesn't correspond to the right version of c rate risc0_zkp
|
::: /home/srv/.cargo/registry/src/index.crates.io-1949cf8c6b5b557f/risc0-zkp-1.2.6/src/adapter.rs:177 :1
|
177 | pub trait CircuitInfo {
| --------------------- this is the trait that was imported
error[E0277]: the trait bound risc0_circuit_recursion::CircuitImpl: CircuitCoreDef<_> is not satisfied
--> /home/srv/.cargo/registry/src/index.crates.io-1949cf8c6b5b557f/risc0-zkvm-1.2.6/src/receipt/succi nct.rs:152:35
|
152 | risc0_zkp::verify::verify(&CIRCUIT, suite, &self.seal, check_co...
| ------------------------- ^^^^^^^^ unsatisfied trait bound
| |
| required by a bound introduced by this call
|
= help: the trait CircuitCoreDef<_> is not implemented for risc0_circuit_recursion::CircuitImpl
note: there are multiple different versions of crate risc0_zkp in the dependency graph
--> /home/srv/.cargo/registry/src/index.crates.io-1949cf8c6b5b557f/risc0-zkp-1.2.6/src/adapter.rs:184 :1
|
184 | pub trait CircuitCoreDef<F: Field>: CircuitInfo + PolyExt + TapsProvider...
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ this is the required t rait
|
::: /home/srv/.cargo/registry/src/index.crates.io-1949cf8c6b5b557f/risc0-zkvm-1.2.6/src/guest/env/ver ify.rs:18:5
|
18 | use risc0_zkp::core::digest::Digest;
| --------- one version of crate risc0_zkp used here, as a direct dependency of the current cr ate
|
::: /home/srv/.cargo/registry/src/index.crates.io-1949cf8c6b5b557f/risc0-zkvm-1.2.6/src/host/api/conv ert.rs:20:5
|
20 | use risc0_circuit_keccak::KeccakState;
| -------------------- one version of crate risc0_zkp used here, as a dependency of crate ris c0_circuit_keccak
|
::: /home/srv/.cargo/registry/src/index.crates.io-1949cf8c6b5b557f/risc0-circuit-recursion-1.4.0/src/ lib.rs:72:1
|
72 | pub struct CircuitImpl;
| ---------------------- this type doesn't implement the required trait
|
::: /home/srv/.cargo/registry/src/index.crates.io-1949cf8c6b5b557f/risc0-zkp-2.0.0/src/adapter.rs:50: 1
|
50 | pub trait CircuitStepHandler<E: Elem> {
| ------------------------------------- this is the found trait
= help: you can use cargo tree to explore your dependency tree
note: required by a bound in risc0_zkp::verify::verify
--> /home/srv/.cargo/registry/src/index.crates.io-1949cf8c6b5b557f/risc0-zkp-1.2.6/src/verify/mod.rs: 502:8
|
494 | pub fn verify<F, C, CheckCode>(
| ------ required by a bound in this function
...
502 | C: CircuitCoreDef,
| ^^^^^^^^^^^^^^^^^ required by this bound in verify
error[E0599]: no associated item named OUTPUT_SIZE found for struct risc0_circuit_recursion::CircuitI mpl in the current scope
--> /home/srv/.cargo/registry/src/index.crates.io-1949cf8c6b5b557f/risc0-zkvm-1.2.6/src/receipt/succi nct.rs:156:69
|
156 | ...tImpl::OUTPUT_SIZE]);
| ^^^^^^^^^^^ associated item not found in CircuitImpl
|
note: there are multiple different versions of crate risc0_zkp in the dependency graph
--> /home/srv/.cargo/registry/src/index.crates.io-1949cf8c6b5b557f/risc0-zkp-2.0.0/src/adapter.rs:178 :1
|
178 | pub trait CircuitInfo {
| ^^^^^^^^^^^^^^^^^^^^^ this is the trait that is needed
179 | const CIRCUIT_INFO: ProtocolInfo;
180 | const OUTPUT_SIZE: usize;
| ------------------------ the const is available for risc0_circuit_recursion::CircuitImpl her e
|
::: /home/srv/.cargo/registry/src/index.crates.io-1949cf8c6b5b557f/risc0-zkvm-1.2.6/src/receipt/succi nct.rs:33:15
|
33 | adapter::{CircuitInfo, ProtocolInfo, PROOF_SYSTEM_INFO},
| ----------- CircuitInfo imported here doesn't correspond to the right version of c rate risc0_zkp
|
::: /home/srv/.cargo/registry/src/index.crates.io-1949cf8c6b5b557f/risc0-zkp-1.2.6/src/adapter.rs:177 :1
|
177 | pub trait CircuitInfo {
| --------------------- this is the trait that was imported
error[E0599]: no associated item named CIRCUIT_INFO found for struct risc0_circuit_recursion::Circuit Impl in the current scope
--> /home/srv/.cargo/registry/src/index.crates.io-1949cf8c6b5b557f/risc0-zkvm-1.2.6/src/receipt/succi nct.rs:306:40
|
306 | circuit_info: CircuitImpl::CIRCUIT_INFO,
| ^^^^^^^^^^^^ associated item not found in CircuitImpl
|
note: there are multiple different versions of crate risc0_zkp in the dependency graph
--> /home/srv/.cargo/registry/src/index.crates.io-1949cf8c6b5b557f/risc0-zkp-2.0.0/src/adapter.rs:178 :1
|
178 | pub trait CircuitInfo {
| ^^^^^^^^^^^^^^^^^^^^^ this is the trait that is needed
179 | const CIRCUIT_INFO: ProtocolInfo;
| -------------------------------- the const is available for risc0_circuit_recursion::CircuitI mpl here
|
::: /home/srv/.cargo/registry/src/index.crates.io-1949cf8c6b5b557f/risc0-zkvm-1.2.6/src/receipt/succi nct.rs:33:15
|
33 | adapter::{CircuitInfo, ProtocolInfo, PROOF_SYSTEM_INFO},
| ----------- CircuitInfo imported here doesn't correspond to the right version of c rate risc0_zkp
|
::: /home/srv/.cargo/registry/src/index.crates.io-1949cf8c6b5b557f/risc0-zkp-1.2.6/src/adapter.rs:177 :1
|
177 | pub trait CircuitInfo {
| --------------------- this is the trait that was imported
error[E0308]: mismatched types
--> /home/srv/.cargo/registry/src/index.crates.io-1949cf8c6b5b557f/risc0-zkvm-1.2.6/src/receipt/succi nct.rs:340:27
|
340 | control_root: ALLOWED_CONTROL_ROOT,
| ^^^^^^^^^^^^^^^^^^^^ expected Digest, found a different Digest
|
note: two different versions of crate risc0_zkp are being used; two types coming from two different ve rsions of the same crate are different types even if they look the same
--> /home/srv/.cargo/registry/src/index.crates.io-1949cf8c6b5b557f/risc0-zkp-1.2.6/src/core/digest.rs :62:1
|
62 | pub struct Digest([u32; DIGEST_WORDS]);
| ^^^^^^^^^^^^^^^^^ this is the expected type risc0_zkp::core::digest::Digest
|
::: /home/srv/.cargo/registry/src/index.crates.io-1949cf8c6b5b557f/risc0-zkp-2.0.0/src/core/digest.rs :62:1
|
62 | pub struct Digest([u32; DIGEST_WORDS]);
| ^^^^^^^^^^^^^^^^^ this is the found type risc0_zkp::core::digest::Digest
|
::: /home/srv/.cargo/registry/src/index.crates.io-1949cf8c6b5b557f/risc0-zkvm-1.2.6/src/guest/env/ver ify.rs:18:5
|
18 | use risc0_zkp::core::digest::Digest;
| --------- one version of crate risc0_zkp used here, as a direct dependency of the current cr ate
|
::: /home/srv/.cargo/registry/src/index.crates.io-1949cf8c6b5b557f/risc0-zkvm-1.2.6/src/host/api/conv ert.rs:20:5
|
20 | use risc0_circuit_keccak::KeccakState;
| -------------------- one version of crate risc0_zkp used here, as a dependency of crate ris c0_circuit_keccak
= help: you can use cargo tree to explore your dependency tree
error[E0599]: no associated item named CIRCUIT_INFO found for struct risc0_circuit_recursion::Circuit Impl in the current scope
--> /home/srv/.cargo/registry/src/index.crates.io-1949cf8c6b5b557f/risc0-zkvm-1.2.6/src/receipt/succi nct.rs:343:40
|
343 | circuit_info: CircuitImpl::CIRCUIT_INFO,
| ^^^^^^^^^^^^ associated item not found in CircuitImpl
|
note: there are multiple different versions of crate risc0_zkp in the dependency graph
--> /home/srv/.cargo/registry/src/index.crates.io-1949cf8c6b5b557f/risc0-zkp-2.0.0/src/adapter.rs:178 :1
|
178 | pub trait CircuitInfo {
| ^^^^^^^^^^^^^^^^^^^^^ this is the trait that is needed
179 | const CIRCUIT_INFO: ProtocolInfo;
| -------------------------------- the const is available for risc0_circuit_recursion::CircuitI mpl here
|
::: /home/srv/.cargo/registry/src/index.crates.io-1949cf8c6b5b557f/risc0-zkvm-1.2.6/src/receipt/succi nct.rs:33:15
|
33 | adapter::{CircuitInfo, ProtocolInfo, PROOF_SYSTEM_INFO},
| ----------- CircuitInfo imported here doesn't correspond to the right version of c rate risc0_zkp
|
::: /home/srv/.cargo/registry/src/index.crates.io-1949cf8c6b5b557f/risc0-zkp-1.2.6/src/adapter.rs:177 :1
|
177 | pub trait CircuitInfo {
| --------------------- this is the trait that was imported
guest: Some errors have detailed explanations: E0271, E0277, E0308, E0599.vm
guest: For more information about an error, try rustc --explain E0271.
guest: error: could not compile risc0-zkvm (lib) due to 16 previous errors
error: failed to run custom build command for methods v0.1.0 (/home/srv/light-node/risc0-merkle-service /methods)
Caused by:
process didn't exit successfully: /home/srv/light-node/risc0-merkle-service/target/debug/build/method s-ce51fd8dfd42e3b5/build-script-build (exit status: 101)
--- stdout
cargo:rerun-if-env-changed=RISC0_SKIP_BUILD
Building guest package methods.guest
cargo:rerun-if-env-changed=RISC0_SKIP_BUILD
Using rustc: /home/srv/.rustup/toolchains/risc0/bin/rustc
cargo:rerun-if-env-changed=RISC0_RUST_SRC
Building guest package: cargo build --target riscv32im-risc0-zkvm-elf
cargo:rerun-if-env-changed=RISC0_BUILD_DEBUG
warning: build failed, waiting for other jobs to finish...
Some errors have detailed explanations: E0271, E0277, E0308, E0599.
For more information about an error, try rustc --explain E0271.
error: could not compile risc0-zkvm (lib) due to 20 previous errors
srv@srv:/light-node/risc0-merkle-service$ srv@srv:$ cd light-node
srv@srv:~/light-node$ cd risc0-merkle-service
cargo build && cargo run
Compiling methods v0.1.0 (/home/srv/light-node/risc0-merkle-service/methods)
Compiling risc0-zkvm v1.2.6
Compiling base64 v0.13.1
Compiling dotenv v0.15.0
guest: Starting build for riscv32im-risc0-zkvm-elfmethods(build), risc0-zkv...
guest: Compiling risc0-zkvm v1.2.6
error[E0271]: expected {closure@succinct.rs:259:25} to be a closure that returns Option<Digest>, but it returns Option<Digest>
--> /home/srv/.cargo/registry/src/index.crates.io-1949cf8c6b5b557f/risc0-zkvm-1.2.6/src/receipt/succi nct.rs:257:9
|
256 | Ok(risc0_circuit_rv32im::control_ids(hash_name, po2_max).chain(
| ----- required by a bound introduce d by this call
257 | / zkr_control_ids
258 | | .into_iter()
259 | | .filter_map(move |(name, digest)| allowed_zkr_names.contains(name).then_some(digest. ..
| |_________________________________________________________________________________________________ ^ expected Digest, found a different Digest
|
note: two different versions of crate risc0_zkp are being used; two types coming from two different ve rsions of the same crate are different types even if they look the same
--> /home/srv/.cargo/registry/src/index.crates.io-1949cf8c6b5b557f/risc0-zkp-1.2.6/src/core/digest.rs :62:1
|
62 | pub struct Digest([u32; DIGEST_WORDS]);
| ^^^^^^^^^^^^^^^^^ this is the expected type risc0_zkp::core::digest::Digest
|
::: /home/srv/.cargo/registry/src/index.crates.io-1949cf8c6b5b557f/risc0-zkp-2.0.0/src/core/digest.rs :62:1
|
62 | pub struct Digest([u32; DIGEST_WORDS]);
| ^^^^^^^^^^^^^^^^^ this is the found type risc0_zkp::core::digest::Digest
|
::: /home/srv/.cargo/registry/src/index.crates.io-1949cf8c6b5b557f/risc0-zkvm-1.2.6/src/guest/env/ver ify.rs:18:5
|
18 | use risc0_zkp::core::digest::Digest;
| --------- one version of crate risc0_zkp used here, as a direct dependency of the current cr ate
|
::: /home/srv/.cargo/registry/src/index.crates.io-1949cf8c6b5b557f/risc0-zkvm-1.2.6/src/host/api/conv ert.rs:20:5
|
20 | use risc0_circuit_keccak::KeccakState;
| -------------------- one version of crate risc0_zkp used here, as a dependency of crate ris c0_circuit_keccak
= help: you can use cargo tree to explore your dependency tree
= note: required for FilterMap<IntoIter<(..., ...), 27>, ...> to implement Iterator
note: required by a bound in std::iter::Iterator::chain
--> /home/srv/.rustup/toolchains/stable-x86_64-unknown-linux-gnu/lib/rustlib/src/rust/library/core/sr c/iter/traits/iterator.rs:471:25
|
468 | fn chain(self, other: U) -> Chain<Self, U::IntoIter>
| ----- required by a bound in this associated function