trait.md

polynomial commitment scheme (lens) the universal cryptographic primitive. commit to a polynomial, prove evaluations, verify without seeing the polynomial. one primitive serves proof commitment, state authentication, noun identity, and data availability. a lens is how an algebra presents its work…