Show HN: zkGolf, competitive optimization of formally verified circuits.

Researchers experiment with using LLMs to generate optimized circuits for zero-knowledge proofs, achieving promising results and creating a competition to further improve efficiency.