why-nmt.md

why NMTs cannot be replaced sorted polynomial commitments (as proposed in bbg v0.9) can approximate completeness but lack structural guarantees. **polynomial completeness requires a protocol.** prove boundary entries, prove contiguity, prove sorting was maintained. each step requires a separate…