Vere, pronounced "Vair", is the Nock runtime environment and Urbit virtual machine. Vere is written in C, runs on Unix, and is the intermediate layer between your urbit and Unix. Unix system calls are made by Vere, not Arvo; Vere must also encode and deliver relevant external events to Arvo. Vere is also responsible for implementing jets and maintaining the persistent state of each urbit (computed as a pure function of its event log with Replay). It also contains the I/O drivers for Urbit’s vanes, which are responsible for generating events from Unix and applying effects to Unix.

When you boot your ship, Vere passes your Azimuth keyfile into the Arvo state, allowing a connection to the Ames network.

Vere consists of two processes that communicate via a socket: a daemon process in charge of managing I/O channels, and a worker process that acts as a Nock interpreter that is instructed by the daemon process. Currently the worker is written in C, but a new worker written in Java, called Jacque, is under development.

Further Reading

• The Technical Overview
• The Vere tutorial: An in-depth technical guide to Vere.