Module hal 

Hardware Abstraction Layer

Not all hardware implementations need to implement this. A pure external device implementation can just implement the Prover trait directly.

Traits

DeviceDataTransporter

Trait to manage data transport of prover types from host to device.

MatrixDimensions

OpeningProver

Polynomial commitment scheme (PCS) opening proof generator.

ProverBackend

Associated types needed by the prover, in the form of buffers and views, specific to a specific hardware backend.

ProverDevice

QuotientCommitter

Only needed in proof systems that use quotient polynomials.

RapPartialProver

This trait is responsible for all partial proving of after challenge rounds (a.k.a layers) in a RAP after the main trace has been committed.

TraceCommitter

Provides functionality for committing to a batch of trace matrices, possibly of different heights.