Observation
Pages grouped by this topic tag.
Inline ZK Covenant ModelToccataInline ZK is best taught inside the covenant loop: current UTXO, proof, script verification, successor output.Groth16 Transition StarterToccataThe Groth16 starter is a draft implementation checklist for binding proof output to a covenant transition without citing local lab files as authority.