{"id":"https://openalex.org/W7163635332","doi":"https://doi.org/10.48550/arxiv.2606.05433","title":"Zero knowledge verification for frontier AI training is possible","display_name":"Zero knowledge verification for frontier AI training is possible","publication_year":2026,"publication_date":"2026-06-03","ids":{"openalex":"https://openalex.org/W7163635332","doi":"https://doi.org/10.48550/arxiv.2606.05433"},"language":null,"primary_location":{"id":"doi:10.48550/arxiv.2606.05433","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2606.05433","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},"type":"preprint","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.48550/arxiv.2606.05433","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5120749759","display_name":"Pierre Peign\u00e9","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Peign\u00e9, Pierre","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5137921548","display_name":"Ky Nguyen","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Nguyen, Ky","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5136507443","display_name":"Paul Wang","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Wang, Paul","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11689","display_name":"Adversarial Robustness in Machine Learning","score":0.8903999924659729,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11689","display_name":"Adversarial Robustness in Machine Learning","score":0.8903999924659729,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10764","display_name":"Privacy-Preserving Technologies in Data","score":0.015599999576807022,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10883","display_name":"Ethics and Social Impacts of AI","score":0.012900000438094139,"subfield":{"id":"https://openalex.org/subfields/3311","display_name":"Safety Research"},"field":{"id":"https://openalex.org/fields/33","display_name":"Social Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/mathematical-proof","display_name":"Mathematical proof","score":0.767300009727478},{"id":"https://openalex.org/keywords/frontier","display_name":"Frontier","score":0.6636999845504761},{"id":"https://openalex.org/keywords/corporate-governance","display_name":"Corporate governance","score":0.445499986410141},{"id":"https://openalex.org/keywords/training","display_name":"Training (meteorology)","score":0.42719998955726624},{"id":"https://openalex.org/keywords/key","display_name":"Key (lock)","score":0.4133000075817108},{"id":"https://openalex.org/keywords/enforcement","display_name":"Enforcement","score":0.4115000069141388},{"id":"https://openalex.org/keywords/zero-knowledge-proof","display_name":"Zero-knowledge proof","score":0.4108999967575073},{"id":"https://openalex.org/keywords/protocol","display_name":"Protocol (science)","score":0.39800000190734863}],"concepts":[{"id":"https://openalex.org/C108710211","wikidata":"https://www.wikidata.org/wiki/Q11538","display_name":"Mathematical proof","level":2,"score":0.767300009727478},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.676800012588501},{"id":"https://openalex.org/C2778571376","wikidata":"https://www.wikidata.org/wiki/Q1355821","display_name":"Frontier","level":2,"score":0.6636999845504761},{"id":"https://openalex.org/C39389867","wikidata":"https://www.wikidata.org/wiki/Q380767","display_name":"Corporate governance","level":2,"score":0.445499986410141},{"id":"https://openalex.org/C2777211547","wikidata":"https://www.wikidata.org/wiki/Q17141490","display_name":"Training (meteorology)","level":2,"score":0.42719998955726624},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.4133000075817108},{"id":"https://openalex.org/C2779777834","wikidata":"https://www.wikidata.org/wiki/Q4202277","display_name":"Enforcement","level":2,"score":0.4115000069141388},{"id":"https://openalex.org/C176329583","wikidata":"https://www.wikidata.org/wiki/Q191943","display_name":"Zero-knowledge proof","level":3,"score":0.4108999967575073},{"id":"https://openalex.org/C2780385302","wikidata":"https://www.wikidata.org/wiki/Q367158","display_name":"Protocol (science)","level":3,"score":0.39800000190734863},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3749000132083893},{"id":"https://openalex.org/C71745522","wikidata":"https://www.wikidata.org/wiki/Q2476929","display_name":"Confidentiality","level":2,"score":0.36469998955726624},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.353300005197525},{"id":"https://openalex.org/C123657996","wikidata":"https://www.wikidata.org/wiki/Q12271","display_name":"Architecture","level":2,"score":0.33739998936653137},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.33070001006126404},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.32339999079704285},{"id":"https://openalex.org/C124978682","wikidata":"https://www.wikidata.org/wiki/Q1201019","display_name":"Proof of concept","level":2,"score":0.3231000006198883},{"id":"https://openalex.org/C2778755073","wikidata":"https://www.wikidata.org/wiki/Q10858537","display_name":"Scale (ratio)","level":2,"score":0.31929999589920044},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.31119999289512634},{"id":"https://openalex.org/C2778112365","wikidata":"https://www.wikidata.org/wiki/Q3511065","display_name":"Sequence (biology)","level":2,"score":0.2992999851703644},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.29670000076293945},{"id":"https://openalex.org/C177225278","wikidata":"https://www.wikidata.org/wiki/Q192674","display_name":"Factoring","level":2,"score":0.2872999906539917},{"id":"https://openalex.org/C2780262971","wikidata":"https://www.wikidata.org/wiki/Q44554","display_name":"Law enforcement","level":2,"score":0.2872999906539917},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.2703000009059906},{"id":"https://openalex.org/C2522767166","wikidata":"https://www.wikidata.org/wiki/Q2374463","display_name":"Data science","level":1,"score":0.2639000117778778},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.2612999975681305},{"id":"https://openalex.org/C116834253","wikidata":"https://www.wikidata.org/wiki/Q2039217","display_name":"Identification (biology)","level":2,"score":0.2597000002861023}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.48550/arxiv.2606.05433","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2606.05433","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"Preprint"}],"best_oa_location":{"id":"doi:10.48550/arxiv.2606.05433","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2606.05433","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},"sustainable_development_goals":[{"display_name":"Partnerships for the goals","id":"https://metadata.un.org/sdg/17","score":0.5249654054641724}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"Frontier":[0],"AI":[1,36],"governance":[2,63],"frameworks":[3],"increasingly":[4],"use":[5],"cumulative":[6],"training":[7,28,100,145,175],"compute":[8],"as":[9,170,212],"the":[10,38,81,126,130,162,174],"primary":[11],"criterion":[12],"for":[13,27,93,200,216],"designating":[14],"high-impact":[15],"models,":[16],"but":[17,71],"enforcement":[18],"rests":[19],"on":[20,34,54],"self-reporting":[21],"because":[22],"no":[23],"technical":[24,55],"verification":[25,91],"primitive":[26],"exists.":[29],"Any":[30],"future":[31],"international":[32],"agreement":[33],"frontier":[35,75,94],"faces":[37],"same":[39],"problem":[40],"at":[41,74,156,192],"higher":[42],"stakes:":[43],"coordinated":[44],"regulation":[45],"of":[46,109,186],"technologies":[47],"with":[48,119],"significant":[49],"externalities":[50],"has":[51],"historically":[52],"rested":[53],"verification,":[56],"without":[57],"which":[58],"agreements":[59],"are":[60,210],"declaratory.":[61],"Recent":[62],"analyses":[64],"judge":[65],"zero-knowledge":[66,115],"proofs":[67,160],"a":[68,90,98,114,135,143,153,178,183,197,213],"promising":[69],"candidate":[70],"currently":[72],"impractical":[73],"scale":[76],"[26,":[77],"4].":[78],"We":[79,181],"argue":[80],"impracticality":[82],"is":[83],"paradigm-bound":[84],"rather":[85,133],"than":[86,134],"fundamental,":[87],"and":[88,105,138,164,207],"propose":[89],"architecture":[92],"dense":[95],"pre-training":[96],"combining":[97],"pre-committed":[99],"specification,":[101],"inter-node":[102],"network":[103],"observations,":[104],"on-the-fly":[106],"Merkle":[107],"commitments":[108],"intermediate":[110],"computation,":[111],"verified":[112],"through":[113,142],"Virtual":[116],"Machine":[117],"(zkVM)":[118],"native":[120],"BF16/FP32":[121],"precompiles.":[122],"The":[123,147],"proof":[124,151,155,185],"checks":[125],"actual":[127],"floating-point":[128],"computation":[129],"GPU":[131],"performed":[132],"fixed-point":[136],"approximation,":[137],"preserves":[139],"model-architecture":[140],"confidentiality":[141],"private":[144],"specification.":[146],"protocol":[148],"produces":[149],"three":[150],"types:":[152],"genesis":[154],"initialisation,":[157],"in-training":[158],"step":[159],"across":[161],"run,":[163],"ex-ante":[165],"attestations":[166],"enforcing":[167],"policy-relevant":[168],"claims":[169],"running":[171],"invariants,":[172],"turning":[173],"record":[176],"into":[177],"governance-enforceable":[179],"artefact.":[180],"estimate":[182],"deployable":[184],"concept":[187],"within":[188],"approximately":[189],"36":[190],"months":[191],"single-digit-percent":[193],"training-side":[194],"overhead,":[195],"against":[196],"six-to-ten-year":[198],"cycle":[199],"verification-grade":[201],"custom":[202],"silicon.":[203],"Thirteen":[204],"open":[205],"research":[206,214],"engineering":[208],"problems":[209],"catalogued":[211],"agenda":[215],"external":[217],"contribution":[218]},"counts_by_year":[],"updated_date":"2026-07-28T07:46:37.118299","created_date":"2026-06-06T00:00:00"}