zkGolf zkGolf: golf zero-knowledge circuits, verified in Lean Lean 4를 활용하여 영지식 증명 회로의 최적화를 겨루는 개발자 경쟁 플랫폼입니다. 가격 정책: Open Source 공식 사이트 방문하기