This workshop assumes that you have recently completed Tutorial.
In this workshop, we implement a centralized oracle for some property not otherwise computable within a Reach program. Typically oracles are used to connect physical data from outside a consensus network to the agents of the network, such as by reading physical sensors, like a thermometer, and posting the information inside the network.
This page is a placeholder for a future more detailed workshop. You could try to implement yourself though, given the sketch above!