This is a heavily interactive web application, and JavaScript is required. Simple HTML interfaces are possible, but that is not what this is.
Post
arxiv cs.CR
arxiv-cs-cr.bsky.social
did:plc:qbej4rc7ffryrgzimbc55i2r
Jonathan Gold, Tristan Freiberg, Haruna Isah, Shirin Shahabi
JSTprove: Pioneering Verifiable AI for a Trustless Future
https://arxiv.org/abs/2510.21024
2025-10-27T06:06:09.257Z