Module fracaddcheck 

Reduction from fractional-addition layers to a multilinear evaluation claim.

Each layer represents combining siblings with the fractional-addition rule: (a0 / b0) + (a1 / b1) = (a0 * b1 + a1 * b0) / (b0 * b1).

Structs

FracAddEvalClaim

Enums

Error

VerificationError

Functions

pad_leaf_fraction

Pads a leaf fraction — the forward map that the prover’s unpad_leaf_claim inverts.

verify