Proof by Succinct Labs