Module channel 

Channel abstraction for interactive oracle protocol (IOP) provers.

Modules

grinding

Proof-of-work grinding, as a capability a prover channel may carry.

merge

A channel decorator that merges oracles committed within the same interaction round.

naive

Naive IOPProverChannel for testing: writes full polynomials instead of using FRI.

Traits

IOPProverChannel

Channel for IOP provers that extends the IP prover channel with oracle operations.