algebraic-extraction.md

algebraic Merkle extraction replace individual Merkle path openings in WHIR with a single batch algebraic opening. proof size: 60-157 KiB → 5-12 KiB. recursive verifier: ~50K constraints → ~5K constraints. the bottleneck 77% of zheng-1 proof size is Merkle authentication paths. 71% of recursive…