4.15 Workshop: Oracle

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!