Expand description
Abstraction layer for prover implementations of multi-matrix circuits on a single machine.
Provides a coordinator that implements a full prover by coordinating between host and device, where the host implementation is common and the device implementation relies on custom-specified device kernels.
Currently includes full prover implementations for:
- CPU
Modules§
- coordinator
- Host prover implementation that uses custom device kernels
- cpu
- CPU implementation of proving backend
- hal
- Hardware Abstraction Layer
- helper
- Testing helper Helper methods for testing use
- metrics
- Metrics about trace and other statistics related to prover performance
- types
- Types used by the prover
Traits§
- Prover
- Trait for STARK/SNARK proving at the highest abstraction level.