Smart contracts for Spectre - View it on GitHub