Entry point for TON Proof Verification Contest. - View it on GitHub