# RISC Zero

## Docs

- [GPU Acceleration](https://mintlify.wiki/risc0/risc0/advanced/gpu-acceleration.md): Accelerate RISC Zero proving with CUDA and Metal GPU support
- [Performance Optimization](https://mintlify.wiki/risc0/risc0/advanced/optimization.md): Techniques and best practices for optimizing RISC Zero zkVM guest programs
- [Cryptographic Precompiles](https://mintlify.wiki/risc0/risc0/advanced/precompiles.md): Accelerate cryptographic operations in the zkVM using hardware-optimized precompiles
- [Profiling Guest Programs](https://mintlify.wiki/risc0/risc0/advanced/profiling.md): Learn how to profile RISC Zero zkVM guest programs to identify performance bottlenecks
- [Recursive Proving](https://mintlify.wiki/risc0/risc0/advanced/recursion.md): Understanding RISC Zero's recursive proving system for unbounded computation and proof aggregation
- [bonsai-sdk](https://mintlify.wiki/risc0/risc0/api/bonsai-sdk.md): SDK for the Bonsai remote proving service
- [cargo-risczero](https://mintlify.wiki/risc0/risc0/api/cargo-risczero.md): CLI tool for RISC Zero development
- [risc0-binfmt](https://mintlify.wiki/risc0/risc0/api/risc0-binfmt.md): Binary format handling for RISC Zero zkVM programs
- [risc0-build](https://mintlify.wiki/risc0/risc0/api/risc0-build.md): RISC Zero build tool for compiling guest programs
- [risc0-circuit-keccak](https://mintlify.wiki/risc0/risc0/api/risc0-circuit-keccak.md): Keccak-256 circuit for efficient hash function acceleration
- [risc0-circuit-recursion](https://mintlify.wiki/risc0/risc0/api/risc0-circuit-recursion.md): Recursion circuit for proof compression and composition
- [risc0-circuit-rv32im](https://mintlify.wiki/risc0/risc0/api/risc0-circuit-rv32im.md): RISC-V RV32IM circuit implementation for the zkVM
- [risc0-core](https://mintlify.wiki/risc0/risc0/api/risc0-core.md): Core types and field arithmetic for RISC Zero
- [risc0-groth16](https://mintlify.wiki/risc0/risc0/api/risc0-groth16.md): Groth16 SNARK verifier and STARK-to-SNARK transformation
- [risc0-zkp](https://mintlify.wiki/risc0/risc0/api/risc0-zkp.md): RISC Zero zero-knowledge proof system core crate
- [risc0-zkvm](https://mintlify.wiki/risc0/risc0/api/risc0-zkvm.md): RISC Zero zero-knowledge VM - Core library for building and verifying zkVM applications
- [risc0-zkvm-platform](https://mintlify.wiki/risc0/risc0/api/risc0-zkvm-platform.md): Platform definitions and syscalls for RISC Zero zkVM
- [On-Chain Proof Verification](https://mintlify.wiki/risc0/risc0/blockchain/contract-verification.md): Learn how to verify RISC Zero proofs in smart contracts using Groth16
- [Ethereum Integration](https://mintlify.wiki/risc0/risc0/blockchain/ethereum.md): Deploy and verify RISC Zero proofs on Ethereum using verifier contracts
- [Blockchain Integration Overview](https://mintlify.wiki/risc0/risc0/blockchain/overview.md): Learn how to integrate RISC Zero zkVM with blockchain platforms for verifiable computation
- [System Architecture](https://mintlify.wiki/risc0/risc0/concepts/architecture.md): Technical architecture of the RISC Zero zkVM and its components
- [Guest and Host Programs](https://mintlify.wiki/risc0/risc0/concepts/guest-and-host.md): Understanding the interaction between guest code running in the zkVM and host code that manages execution
- [Receipts and Verification](https://mintlify.wiki/risc0/risc0/concepts/receipts-and-verification.md): Deep dive into zkVM receipts, proof structure, and verification mechanisms
- [Security Model](https://mintlify.wiki/risc0/risc0/concepts/security-model.md): Cryptographic assumptions, security guarantees, and threat model of the RISC Zero zkVM
- [zkVM Overview](https://mintlify.wiki/risc0/risc0/concepts/zkvm-overview.md): Introduction to the RISC Zero zkVM and zero-knowledge verifiable computation
- [Bevy Game Engine](https://mintlify.wiki/risc0/risc0/examples/bevy.md): Run the Bevy ECS game engine inside the zkVM for verifiable gameplay
- [BLS12-381 Pairing](https://mintlify.wiki/risc0/risc0/examples/bls12-381.md): Elliptic curve pairing operations on the BLS12-381 curve in zkVM
- [BN254 Pairing](https://mintlify.wiki/risc0/risc0/examples/bn254.md): Elliptic curve pairing operations on the BN254 curve in zkVM
- [C Guest Program](https://mintlify.wiki/risc0/risc0/examples/c-guest.md): Write zkVM guest programs in C for low-level control and legacy code integration
- [Chess - ZK Checkmate](https://mintlify.wiki/risc0/risc0/examples/chess.md): Prove checkmate exists without revealing the winning move
- [Proof Composition](https://mintlify.wiki/risc0/risc0/examples/composition.md): Combine multiple zkVM proofs into a single verifiable computation
- [Digital Signature](https://mintlify.wiki/risc0/risc0/examples/digital-signature.md): Build a simple digital signature scheme using zkVM and SHA-256
- [Groth16 Verifier](https://mintlify.wiki/risc0/risc0/examples/groth16-verifier.md): Verify Groth16 zkSNARK proofs from Circom inside the zkVM
- [Hello World](https://mintlify.wiki/risc0/risc0/examples/hello-world.md): Build your first zkVM application that proves knowledge of factors
- [JWT Validator](https://mintlify.wiki/risc0/risc0/examples/jwt-validator.md): Verify JSON Web Tokens with RS256 signatures in the zkVM
- [Password Checker](https://mintlify.wiki/risc0/risc0/examples/password-checker.md): Validate passwords against policies and generate verifiable hashes
- [Installation](https://mintlify.wiki/risc0/risc0/installation.md): Install the RISC Zero toolchain and start building zkVM applications
- [Introduction to RISC Zero zkVM](https://mintlify.wiki/risc0/risc0/introduction.md): Build verifiable computation with the RISC Zero zero-knowledge virtual machine
- [Bonsai SDK](https://mintlify.wiki/risc0/risc0/proving/bonsai-sdk.md): Complete API reference for the Bonsai SDK to generate proofs remotely using the Boundless network
- [Groth16 SNARK Generation](https://mintlify.wiki/risc0/risc0/proving/groth16.md): Convert RISC Zero STARK proofs to Groth16 SNARKs for efficient on-chain verification on Ethereum and other blockchains
- [Local Proving](https://mintlify.wiki/risc0/risc0/proving/local-proving.md): Generate RISC Zero proofs locally using your own hardware with CPU, NVIDIA GPU, or Apple Metal acceleration
- [Proof Composition](https://mintlify.wiki/risc0/risc0/proving/proof-composition.md): Build modular zkVM applications by efficiently composing and verifying proofs inside the guest program
- [Remote Proving with Bonsai](https://mintlify.wiki/risc0/risc0/proving/remote-proving.md): Generate proofs remotely using Boundless, a decentralized proving marketplace for RISC Zero applications
- [Quick start](https://mintlify.wiki/risc0/risc0/quickstart.md): Build your first RISC Zero zkVM application in minutes
- [Performance Benchmarks](https://mintlify.wiki/risc0/risc0/resources/benchmarks.md): Benchmark your zkVM application performance and understand RISC Zero performance metrics
- [Contributing Guide](https://mintlify.wiki/risc0/risc0/resources/contributing.md): How to contribute to RISC Zero and help improve the zkVM
- [Frequently Asked Questions](https://mintlify.wiki/risc0/risc0/resources/faq.md): Common questions about RISC Zero zkVM, zero-knowledge proofs, and building zkVM applications
- [Migration Guide](https://mintlify.wiki/risc0/risc0/resources/migration-guide.md): Guide for migrating between major versions of RISC Zero
- [Troubleshooting Guide](https://mintlify.wiki/risc0/risc0/resources/troubleshooting.md): Solutions for common issues when building and running RISC Zero zkVM applications
- [Building Methods with risc0-build](https://mintlify.wiki/risc0/risc0/zkvm/building-methods.md): Learn how to build guest programs using the risc0-build crate
- [Debugging Guest Programs](https://mintlify.wiki/risc0/risc0/zkvm/debugging.md): Tools and techniques for debugging RISC Zero zkVM guest programs
- [Writing Guest Code](https://mintlify.wiki/risc0/risc0/zkvm/guest-code.md): Learn how to write guest programs that execute in the RISC Zero zkVM
- [Writing Host Code](https://mintlify.wiki/risc0/risc0/zkvm/host-code.md): Learn how to execute guest programs and generate proofs from the host
- [Input/Output and Journal Commits](https://mintlify.wiki/risc0/risc0/zkvm/io-and-commits.md): Comprehensive guide to data flow between host and guest in the RISC Zero zkVM