Re-exports§
pub use hash_scheme::*;
Modules§
- base
- data_
transporter - hash_
scheme - logup_
zerocheck - Async frees and peak memory
- merkle_
tree - monomial
- Monomial expansion for GPU zerocheck evaluation.
- ntt
- poly
- prelude
- sponge
- GPU-accelerated duplex sponge with host/device state synchronization.
- stacked_
pcs - stacked_
reduction - utils
- whir
Structs§
- AirData
Gpu - Constraint
Only Rules - Constraints only, no interactions
- Eval
Rules - Generic
GpuBackend - Generic GPU prover backend parameterised by a hash scheme
HS. - GpuDevice
- Stream-owning device handle. Wraps
GpuDeviceConfigwith aGpuDeviceCtxthat carries the explicit CUDA stream. - GpuDevice
Config - Pure device configuration — no stream, no CUDA runtime state.
Renamed from the old
GpuDevice. - GpuEngine
- Generic GPU proving engine parameterised by a hash scheme.
- GpuProver
Config - Interaction
Eval Rules - Used for GKR input evaluation and logup MLE sumcheck rounds.
- Interaction
Monomials - Zerocheck
Monomials
Enums§
- Kernel
Error - Error type for functions that call CUDA kernels and involve some memcpy operations.
- Logup
Zerocheck Error - Merkle
Tree Error - Prover
Error - RsCode
Matrix Error - Stack
Traces Error - Stacked
Reduction Error - Sumcheck
Error - Whir
Prover Error
Type Aliases§
- Baby
Bear Poseidon2 GpuEngine - Concrete GPU engine using the default BabyBear-Poseidon2 hash scheme.
- GpuBackend
- Concrete GPU backend using the default BabyBear-Poseidon2 hash scheme.