Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Unable to build prover without CUDA/Metal acceleration #157

Closed
koxu1996 opened this issue Jul 23, 2024 · 0 comments · Fixed by #158
Closed

Unable to build prover without CUDA/Metal acceleration #157

koxu1996 opened this issue Jul 23, 2024 · 0 comments · Fixed by #158
Assignees

Comments

@koxu1996
Copy link
Contributor

I have AMD Radeon RX 580 which cannot be accelerated in Risc0 zkVM, therefore I am building Kairos prover without cuda / metal features enabled.

Errors reported when running cargo build -p kairos-prover-risc0-server:

error[E0432]: unresolved imports `risc0_zkvm::ExecutorEnv`, `risc0_zkvm::Prover`
   --> kairos-prover-risc0-server/src/main.rs:10:18
    |
10  | use risc0_zkvm::{ExecutorEnv, Prover, Receipt};
    |                  ^^^^^^^^^^^  ^^^^^^ no `Prover` in the root
    |                  |
    |                  no `ExecutorEnv` in the root
    |
note: found an item that was configured out
   --> /home/andrew/.cargo/registry/src/index.crates.io-6f17d22bba15001f/risc0-zkvm-1.0.2/src/lib.rs:123:19
    |
123 |             env::{ExecutorEnv, ExecutorEnvBuilder},
    |                   ^^^^^^^^^^^
note: found an item that was configured out
   --> /home/andrew/.cargo/registry/src/index.crates.io-6f17d22bba15001f/risc0-zkvm-1.0.2/src/lib.rs:126:27
    |
126 |                 Executor, Prover, ProverOpts, ReceiptKind,
    |                           ^^^^^^

error[E0433]: failed to resolve: could not find `ExternalProver` in `risc0_zkvm`
   --> kairos-prover-risc0-server/src/main.rs:84:26
    |
84  |         _ => risc0_zkvm::ExternalProver::new(
    |                          ^^^^^^^^^^^^^^ could not find `ExternalProver` in `risc0_zkvm`
    |
note: found an item that was configured out
   --> /home/andrew/.cargo/registry/src/index.crates.io-6f17d22bba15001f/risc0-zkvm-1.0.2/src/lib.rs:125:83
    |
125 |                 bonsai::BonsaiProver, default_executor, default_prover, external::ExternalProver,
    |                                                                                   ^^^^^^^^^^^^^^

Some errors have detailed explanations: E0432, E0433.
For more information about an error, try `rustc --explain E0432`.
error: could not compile `kairos-prover-risc0-server` (bin "kairos-prover-risc0-server") due to 2 previous errors
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging a pull request may close this issue.

1 participant