risc0 / risc0

RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture.

https://risczero.com

risc0/risc0 Issues

DEV_MODE instructions for groth16-verifier example in "examples/groth16-verifier/README.md"
Updated a month ago1
Allow user to set whether they want composite or succinct receipts
Updated a month ago1
[BUG] Guest build.rs logs output to `stdout` overwrites `tty` display using Helix editor with Rust analyzer LSP
Updated a month ago3
[BUG] `cargo risczero build` failure
Updated a month ago4
Investigate tools for checking semver violations
Closed a month ago4
[BUG] Compact proof docker fails to build image
Updated a month ago1
[Documentation] write documentation for C/C++ rust crate guests
Updated a month ago1
[BUG] unix/cmath.rs does not exist
Closed a month ago5
When tracking user cycles, use u64 rather than u32
Updated a month ago1
[Documentation] Compact/succinct proof generation
Updated a month ago2
Add docs about build process
Updated a month ago1
Add docs about reproducible builds
Updated a month ago1
clarify docs for mac x86 users
Updated a month ago4
[Documentation] Add clearer installation instructions for each architecture
Updated a month ago1
[BUG] Crate validation report page is broken
Updated a month ago1
"Polluting" the trace
Closed a month ago11
[Feature] add a `cargo-risczero info` command to dump version info of components
Updated a month ago1
[Feature] cargo-risczero: add a `verify` command to verifiy receipts locally or from bonsai
Updated 2 months ago2
[Documentation] Write a documentation on how to use composition to split up large programs
Updated 2 months ago2
simplify navbar by moving terminology/faq into sidebar
Updated 2 months ago5
add clearer mention of BN-254 to docs
Updated 2 months ago1
[Feature] C library: support blst in guest
Updated 2 months ago1
[Feature] C library: support zstd in guest
Updated 2 months ago1
zkevm-demo: save transaction locally instead of using rpc node
Updated 2 months ago2
[Feature] C library: support c-kzg in guest
Updated 2 months ago1
Update guest toolchain to 1.77
Updated 2 months ago1
investigate switching docker container hosting from docker hub to github
Updated 2 months ago1
[Feature] CI: remove -p argument from `cargo clippy -p risc0-zkvm` for wider clippy coverage
Updated 2 months ago1
dev docs directory organization
Updated 2 months ago2
[BUG] toolchain links with an older version of openssl
Updated 2 months ago1
[Feature] Benchmarks: use assembly guest code
Updated 2 months ago1
[Feature] Expose a new function for FileSegmentRef
Updated 2 months ago2
add learn/build headings to sidebar
Updated 2 months ago2
Question about quadratic extension in Goldilocks
Updated 2 months ago1
[BUG] Cannot compile new starter-template
Closed 2 months ago3
[BUG] No such file or directory
Closed 2 months ago3
[BUG] not able to install on x86_64-apple-darwin macOS
Closed 2 months ago3
[Feature] Optional silence stark_to_snark docker output
Updated 2 months ago1
[BUG] Right-hand side of navbar isn't viewable on mobile
Closed 2 months ago2
Update guest toolchain to 1.75
Closed 2 months ago1
[BUG] Arkworks not compatible with Risc-0
Closed 2 months ago3
[BUG] `yarn docusaurus docs:version $VERSION` command does not translate over sidebarsApi.js
Closed 2 months ago2
[BUG] Parsing Groth16 proofs from JSON is limited to 64 bits per public input
Closed 2 months ago3
review/revise zkvm examples & use cases pages
Updated 2 months ago1
[Documentation] Provide high level explanation how GPU acceleration is used for proof generation
Updated 2 months ago1
Unable to compile stark_verify circuit in any way on M2/DOCKER
Updated 2 months ago5
[Feature] Simple untrusted software arithmetic syscalls: SysUntrustedModInv, SysUntrustedModSqrt, SysUntrustedModPow
Updated 2 months ago4
Docker reproducible builds does not work for compiling C/C++ code
Updated 2 months ago1
[Feature] guest support for secp256k1
Closed 2 months ago3
[new doc] using randomness inside the guest
Updated 3 months ago1