Ustj V2n1

This title is printed to order. This book may have been self-published. If so, we cannot guarantee the quality of the content. In the main most books will have gone through the editing process however some may not. We therefore suggest that you be aware of this before ordering this book. If in doubt check either the author or publisher’s details as we are unable to accept any returns unless they are faulty. Please contact us if you have any questions.

Nock is the exemplar of a class of "solid-state computing" approaches intended to make general-purpose computing deterministic and amenable to reasoning at multiple levels. Nock's first practical application was in the specification of the Hoon programming language and then in development of the Urbit operating system. More recently, Nock has been employed on the Nockchain zero-knowledge virtual machine due to its mathematical properties and the elegant concision of its proofs. In this issue of the Urbit Systems Technical Journal, we explore the ramifications of Nock and the neighboring configuration space of solid-state computing paradigms.