Module channel 

Channel abstraction for interactive oracle protocol (IOP) verifiers.

Modules

grinding

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

merge

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

naive

Naive IOPVerifierChannel for testing: reads full polynomials instead of verifying FRI.

oracle_setup

An IOPVerifierChannel dry run that records the OracleSpec sequence an IOP uses.

size_tracking

A Merkle channel that counts proof bytes instead of verifying them.

Structs

OracleSchedule

Every oracle an IOP commits, grouped into the rounds they are committed in.

OracleSpec

Specification for an oracle to be committed in the IOP.

Enums

Error

Error type for IOP verifier channel operations.

Traits

IOPVerifierChannel

Channel for IOP verifiers that extends the IP verifier channel with oracle operations.

Type Aliases

TransparentEvalFn

A boxed closure that evaluates a transparent MLE at a given point.