Systematic Testing of zkVMs

View Statistics Email Alert RSS Feed

Primary Data

Project Acronym Projekt Kurzbezeichnung
zkFuzz
 
Project Title (de) Projekttitel (de)
Systematic Testing of zkVMs
 
Consortium Coordinator Koordinator des Konsortiums
 
Principal Investigator Projektleiter_in
 

Grants

Funder/Funding Agency Fördergeber
Ethereum Foundation
Grant number Förderkennnummer
FY25-2240
 

Publications

Results 1-1 of 1 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Hochrainer, Christoph ; Wüstholz, Valentin ; Christakis, Maria Arguzz: Testing zkVMs for Soundness and Completeness BugsInproceedings Konferenzbeitrag 2026