trait.md

lens trait 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 for verification. each…