zkGolf는 형식적으로 검증된 회로를 경쟁적으로 최적화하는 기술입니다. 영지식 증명(ZKP)은 입력값을 공개하지 않고 계산의 정확성을 증명할 수 있게 합니다. 이 기술은 계산 증명 분야에 적용됩니다.