STORY · FORSKNING_
zkGolf – LLM-optimization of formally verified zero-knowledge circuits
zkGolf is an open competition aimed at producing optimized, formally verified circuits for zero-knowledge proofs. The project demonstrates that LLMs can both implement and aggressively optimize complex cryptographic operations like SHA-256, while formally proving correctness – and has already produced results that outperform human-optimized circuits.
WHY IT MATTERS
Zero-knowledge proofs become more practical and cost-effective as circuits shrink, and automated formal optimization with LLMs opens the door to reducing barriers to ZKP adoption by making it easier to create efficient implementations without manual assembly-level optimization.
SOURCES
MACHINE-GENERATED SUMMARY This summary is written by machine from the sources below. We sort and explain — but we are a way into the field, not the final word. Check the source when something matters to you.