赢得Succinct Labs证明竞赛首奖

[zacxbt]

just won my first @succinctlabs proof contest!