Comments (12)
https://book.getfoundry.sh/getting-started/installation is required. I don't see that listed in the top level README or https://dev.risczero.com/api/zkvm/quickstart and as it's specific to those working with Ethereum (not exclusively RISC Zero) I would hope things needing it could be behind a feature flag.
After install forge I get to:
Compiling risc0-build-kernel v0.20.1 (/risc0/risc0/build_kernel)
error: failed to run custom build command for `fibonacci-methods v0.1.0 (/home/nuke/git/risc0/examples/profiling/methods)`
Caused by:
process didn't exit successfully: `/risc0/target/release/build/fibonacci-methods-af14d1a24f6f9d54/build-script-build` (exit status: 255)
...........
error: failed to run custom build command for `risc0-zkvm-methods v0.20.1 (/home/nuke/git/risc0/risc0/zkvm/methods)`
Caused by:
process didn't exit successfully: `/home/nuke/git/risc0/target/release/build/risc0-zkvm-methods-ba6a2f6cbce69e67/build-script-build` (exit status: 255)
--- stderr
The 'risc0' toolchain could not be found.
To install the risc0 toolchain, use cargo-risczero.
For example:
cargo binstall cargo-risczero
cargo risczero install
I understand I need the toolchain installed before being able to build here, but my goal is to build the whole workspace, including the toolchain itself.
With cargo install --path risc0/cargo-risczero/ && cargo risczero install
I see that process downloads&installs a specific rust toolchain from github.
I would like a way to have install the tool and required rust toolchain from the repo I have locally. I suppose it's not a big deal to binstall
and use that to install the required toolchain though. 🤔
from risc0.
I think the readme is not comprehensive enough. But the recommended way so far for the majority of the users is to use binstall
since dependencies can be tricky.
from risc0.
Related Issues (20)
- Enforced prove, lift, join benchmarks HOT 2
- [Feature] Suppress `unused` warnings for GCC as well in Zirgen HOT 3
- risc0-main/examples/smartcore-ml/src Fails HOT 8
- [Feature] zkVM: use register `a7` instead of `t0` to identify ecalls
- [Feature] Support for proving the invalidity of a RISC Zero receipt HOT 2
- [Feature] (Bonsai SDK) Missing trait instances for SessionId
- [BUG] Session Docs Link Deprecated
- [Feature] Multi-CUDA support for further lowering the single-segment latency
- [Feature] `cargo risczero deploy` to upload ELF binaries to Bonsai
- [BUG] Do not download recursion_zkr.zip if DOCS_RS = 1
- [Feature] Split benchmarks
- [Feature] Make CUDA contexts fork-safe in Linux HOT 2
- [Feature] request
- [BUG] Reproducible builds fail on macOS (execstack) HOT 4
- [BUG] Links are broken on zkvm crate landing page HOT 1
- [BUG] broken links on landing page for docs.rs zkvm crate HOT 5
- [BUG] `examples/digital-signature` fails with `--features=risc0-zkvm/metal` HOT 3
- Have `risc0-build` produce a Solidity contract output for image IDs
- [BUG] cargo binstall cargo-risczero fails because of openssl-sys error HOT 3
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.
from risc0.