SAK · FORSKNING_
zkGolf – LLM-optimalisering av formelt verifiserte zero-knowledge-kretser
zkGolf er en open competition hvor målet er å produsere optimaliserte, formelt verifiserte kretser for zero-knowledge proofs. Prosjektet demonstrerer at LLM-er kan både implementere og aggressivt optimalisere komplekse kryptografiske operasjoner som SHA-256, samtidig som de beviser korrekthet formelt – og har allerede produsert resultater som slår menneske-optimaliserte kretser.
HVORFOR DET BETYR NOE
Zero-knowledge proofs blir mer praktiske og kostnadseffektive når kretsene blir mindre, og automatisert formell optimalisering med LLM-er åpner for å redusere barrierer for ZKP-bruk ved å gjøre det lettere å lage effektive implementasjoner uten manuell assembly-level optimalisering.
KILDER
MASKINGENERERT SAMMENDRAG Sammendraget er skrevet maskinelt fra kildene under. Vi sorterer og forklarer — men vi er en inngang til feltet, ikke en fasit. Sjekk kilden når noe betyr noe for deg.