2 papers
cs.CR2025
JSTprove: Pioneering Verifiable AI for a Trustless Future
Jonathan Gold, Tristan Freiberg, Haruna Isah +1
The integration of machine learning (ML) systems into critical industries such as healthcare, finance, and cybersecurity has transformed decision-making processes, but it also brin…
cs.AI2025
DSperse: A Framework for Targeted Verification in Zero-Knowledge Machine Learning
Dan Ivanov, Tristan Freiberg, Shirin Shahabi +2
DSperse is a modular framework for distributed machine learning inference with strategic cryptographic verification. Operating within the emerging paradigm of distributed zero-know…