pub fn unpad_claims<F: Field>(pad_eq_inv: F, claims: [F; 2]) -> [F; 2]Expand description
Divides the padding back out of a padded layer’s claims.
The padded layer’s numerator is the unpadded one scaled by $q$ and its denominator the unpadded one pushed through the padding selector at $q$, so recovering the unpadded pair is a scale and a selector at $q^{-1}$. Callers seed the inner prover with the result; for a layer that is all padding it is the tree’s own fractional sum.
§Arguments
pad_eq_inv- The inverse of the padding segment’s equality weight $q$.claims- The padded layer’s numerator and denominator claims.