bb::IsProverAccumulator Concept Reference

True for the accumulator type used by the sumcheck PROVER, as opposed to either verifier. More...

#include <relation_types.hpp>

Concept definition

template<typename Accumulator>
concept bb::IsProverAccumulator =  requires { Accumulator::LENGTH; }

Detailed Description

True for the accumulator type used by the sumcheck PROVER, as opposed to either verifier.

The prover accumulates relation contributions into Univariates (which expose ::LENGTH); both the native and in-circuit verifiers accumulate into scalars (no ::LENGTH). Prover-only relation fast paths (data-dependent skips, alternate multiply orders) are guarded on this concept so they never alter the verifier's computation, which would change the verification key. Defined once here so the prover/verifier distinction inside the shared accumulate has a single, intent-revealing definition.

Definition at line 23 of file relation_types.hpp.