polynomial-target.md

polynomial target — nox engine for the polynomial proof system the opportunity trident compiles to 20 VM targets. none of them is nox. adding nox as an engine target gives every trident program access to the polynomial proof system: proof-carrying computation|proof-carrying execution, recursive…