the composition language and virtual machine of cyber. sixteen deterministic reduction patterns over the Goldilocks field, plus one non-deterministic hint pattern and five jets. every computation produces a stark proof of correct execution as a byproduct. nox descends from Nock (Urbit), replacing…