Module logup_star 

logUp* verification with the pushforwards committed as oracles.

The bare reduction returns a claimed evaluation of each table’s pushforward Y = I_* eq_r. It never binds them to commitments, so those claims cannot be checked on their own. This layer receives one Y oracle per table over the IOP channel and returns the relations that open them.

The receives precede the reduction, so its logUp challenges bind the received oracles. The tables T and indexes I stay the caller’s oracles, so their claims are returned unchanged. The pushforwards are the only oracles this protocol introduces, per [Soukhanov25, Section 3].

verify_transparent is the variant for tables the verifier evaluates itself. It opens each Y against both eq_z and the table, and so needs no pushforward sumcheck.

Structs

LogupProof

The reduced claims of a committed logUp* verification.

LogupTransparentProof

The reduced claims of a committed logUp* verification over transparent tables.

TransparentTableLookup

One transparent table, the lookers that read it, and the closure evaluating its MLE.

Enums

Error

An error raised while verifying a committed logUp* reduction.

Functions

verify

Verify a logUp* reduction whose pushforwards are committed as oracles.

verify_transparent

Verify a logUp* reduction over transparent tables, with the pushforwards committed as oracles.