algebraic-fiat-shamir.md
Ο 0.0%
Dimensions
hemera/reference/props/algebraic-fiat-shamir
algebraic Fiat-Shamir derive most Fiat-Shamir challenges algebraically from polynomial commitments. use hemera only for the initial seed. 8.7Γ fewer hemera calls in proof verification. current cost zheng proof verification requires ~20 Fiat-Shamir challenges (one per sumcheck round + commitmentβ¦