Structs§
- Cuda
Prover Core Components - Core prover components for the CUDA prover.
- Cuda
Prover Recursion Components - Recursion prover components for the CUDA prover.
- Cuda
Prover Wrap Components - Wrap prover components for the CUDA prover.
- Cuda
Shard Prover - SP1Cuda
Prover Components
Constants§
- RECURSION_
TRACE_ ALLOCATION - SHRINK_
TRACE_ ALLOCATION - WRAP_
TRACE_ ALLOCATION - Taken from “Total number of Cells” when generating traces for wrap. Plus an extra 5%.
Traits§
Functions§
- core_
prover_ and_ verifier - cuda_
worker_ builder - Create a [SP1CudaProverWorkerBuilder] with a default machine.
- cuda_
worker_ builder_ with_ machine - Same as
cuda_worker_builderbut with a custom machine. - local_
gpu_ opts - new_
cuda_ prover - recursion_
prover_ and_ verifier