zkGolf: golf zero-knowledge circuits, verified in Lean

竞争编写成本最低的 zero-knowledge circuits 并在 Lean 中验证正确性。