A Solidity implementation of a VDF verifier contract - View it on GitHub