{"id":"https://openalex.org/W7101447392","doi":"https://doi.org/10.48550/arxiv.2510.21024","title":"JSTprove: Pioneering Verifiable AI for a Trustless Future","display_name":"JSTprove: Pioneering Verifiable AI for a Trustless Future","publication_year":2025,"publication_date":"2025-10-23","ids":{"openalex":"https://openalex.org/W7101447392","doi":"https://doi.org/10.48550/arxiv.2510.21024"},"language":null,"primary_location":{"id":"doi:10.48550/arxiv.2510.21024","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2510.21024","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"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":"article"},"type":"preprint","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.48550/arxiv.2510.21024","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":null,"display_name":"Gold, Jonathan","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Gold, Jonathan","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Freiberg, Tristan","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Freiberg, Tristan","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Isah, Haruna","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Isah, Haruna","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":null,"display_name":"Shahabi, Shirin","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Shahabi, Shirin","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":4,"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":true,"primary_topic":{"id":"https://openalex.org/T11689","display_name":"Adversarial Robustness in Machine Learning","score":0.8669999837875366,"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.8669999837875366,"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.026900000870227814,"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/T12026","display_name":"Explainable Artificial Intelligence (XAI)","score":0.025599999353289604,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/verifiable-secret-sharing","display_name":"Verifiable secret sharing","score":0.8144999742507935},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.5182999968528748},{"id":"https://openalex.org/keywords/transparency","display_name":"Transparency (behavior)","score":0.5055000185966492},{"id":"https://openalex.org/keywords/usable","display_name":"USable","score":0.44449999928474426},{"id":"https://openalex.org/keywords/cryptography","display_name":"Cryptography","score":0.43290001153945923},{"id":"https://openalex.org/keywords/adversarial-system","display_name":"Adversarial system","score":0.41119998693466187},{"id":"https://openalex.org/keywords/pipeline","display_name":"Pipeline (software)","score":0.3993000090122223},{"id":"https://openalex.org/keywords/precept","display_name":"Precept","score":0.3409000039100647},{"id":"https://openalex.org/keywords/simple","display_name":"Simple (philosophy)","score":0.3393000066280365}],"concepts":[{"id":"https://openalex.org/C85847156","wikidata":"https://www.wikidata.org/wiki/Q59015987","display_name":"Verifiable secret sharing","level":3,"score":0.8144999742507935},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7402999997138977},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.5422999858856201},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.5182999968528748},{"id":"https://openalex.org/C2780233690","wikidata":"https://www.wikidata.org/wiki/Q535347","display_name":"Transparency (behavior)","level":2,"score":0.5055000185966492},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.45089998841285706},{"id":"https://openalex.org/C2780615836","wikidata":"https://www.wikidata.org/wiki/Q2471869","display_name":"USable","level":2,"score":0.44449999928474426},{"id":"https://openalex.org/C178489894","wikidata":"https://www.wikidata.org/wiki/Q8789","display_name":"Cryptography","level":2,"score":0.43290001153945923},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.4327999949455261},{"id":"https://openalex.org/C37736160","wikidata":"https://www.wikidata.org/wiki/Q1801315","display_name":"Adversarial system","level":2,"score":0.41119998693466187},{"id":"https://openalex.org/C43521106","wikidata":"https://www.wikidata.org/wiki/Q2165493","display_name":"Pipeline (software)","level":2,"score":0.3993000090122223},{"id":"https://openalex.org/C2779509173","wikidata":"https://www.wikidata.org/wiki/Q109015227","display_name":"Precept","level":2,"score":0.3409000039100647},{"id":"https://openalex.org/C2780586882","wikidata":"https://www.wikidata.org/wiki/Q7520643","display_name":"Simple (philosophy)","level":2,"score":0.3393000066280365},{"id":"https://openalex.org/C2776452267","wikidata":"https://www.wikidata.org/wiki/Q1503443","display_name":"Secrecy","level":2,"score":0.3375999927520752},{"id":"https://openalex.org/C155911762","wikidata":"https://www.wikidata.org/wiki/Q422321","display_name":"Blueprint","level":2,"score":0.3310000002384186},{"id":"https://openalex.org/C33884865","wikidata":"https://www.wikidata.org/wiki/Q1254335","display_name":"Cryptographic protocol","level":3,"score":0.3296000063419342},{"id":"https://openalex.org/C90673727","wikidata":"https://www.wikidata.org/wiki/Q901718","display_name":"Product (mathematics)","level":2,"score":0.32820001244544983},{"id":"https://openalex.org/C164155591","wikidata":"https://www.wikidata.org/wiki/Q2067766","display_name":"Satisfiability modulo theories","level":2,"score":0.3084000051021576},{"id":"https://openalex.org/C113843644","wikidata":"https://www.wikidata.org/wiki/Q901882","display_name":"Interface (matter)","level":4,"score":0.3019999861717224},{"id":"https://openalex.org/C108710211","wikidata":"https://www.wikidata.org/wiki/Q11538","display_name":"Mathematical proof","level":2,"score":0.30149999260902405},{"id":"https://openalex.org/C63000827","wikidata":"https://www.wikidata.org/wiki/Q3080428","display_name":"Software portability","level":2,"score":0.28949999809265137},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.2892000079154968},{"id":"https://openalex.org/C56666940","wikidata":"https://www.wikidata.org/wiki/Q788790","display_name":"Documentation","level":2,"score":0.2777999937534332},{"id":"https://openalex.org/C2778971194","wikidata":"https://www.wikidata.org/wiki/Q1664551","display_name":"Insider","level":2,"score":0.26669999957084656},{"id":"https://openalex.org/C34585555","wikidata":"https://www.wikidata.org/wiki/Q1368723","display_name":"Learning curve","level":2,"score":0.2651999890804291},{"id":"https://openalex.org/C2776214188","wikidata":"https://www.wikidata.org/wiki/Q408386","display_name":"Inference","level":2,"score":0.2628999948501587},{"id":"https://openalex.org/C124304363","wikidata":"https://www.wikidata.org/wiki/Q673661","display_name":"Abstraction","level":2,"score":0.2581000030040741}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.48550/arxiv.2510.21024","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2510.21024","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"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":"article"}],"best_oa_location":{"id":"doi:10.48550/arxiv.2510.21024","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2510.21024","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"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":"article"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/16","score":0.5506613254547119,"display_name":"Peace, Justice and strong institutions"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"The":[0],"integration":[1],"of":[2,42,77,89,107,139,174,213],"machine":[3],"learning":[4],"(ML)":[5],"systems":[6,33,96],"into":[7],"critical":[8],"industries":[9],"such":[10],"as":[11,176,178,193,203],"healthcare,":[12],"finance,":[13],"and":[14,29,40,91,131,136,170,181,187,202,210],"cybersecurity":[15],"has":[16],"transformed":[17],"decision-making":[18],"processes,":[19],"but":[20],"it":[21],"also":[22],"brings":[23],"new":[24],"challenges":[25],"around":[26],"trust,":[27],"security,":[28,55],"accountability.":[30],"As":[31],"AI":[32,78,129,140,147],"become":[34],"more":[35],"ubiquitous,":[36],"ensuring":[37],"the":[38,75,105,167],"transparency":[39],"correctness":[41],"AI-driven":[43],"decisions":[44],"is":[45],"crucial,":[46],"especially":[47],"when":[48],"they":[49],"have":[50],"direct":[51],"consequences":[52],"on":[53,122],"privacy,":[54],"or":[56],"fairness.":[57],"Verifiable":[58],"AI,":[59],"powered":[60],"by":[61],"Zero-Knowledge":[62],"Machine":[63],"Learning":[64],"(zkML),":[65],"offers":[66],"a":[67,117,155,194,204],"robust":[68],"solution":[69],"to":[70,127,134,183],"these":[71],"challenges.":[72],"zkML":[73,95,119,196],"enables":[74],"verification":[76],"model":[79],"inferences":[80],"without":[81],"exposing":[82,160],"sensitive":[83],"data,":[84],"providing":[85],"an":[86,144],"essential":[87],"layer":[88],"trust":[90],"privacy.":[92],"However,":[93],"traditional":[94],"typically":[97],"require":[98],"deep":[99],"cryptographic":[100,152],"expertise,":[101],"placing":[102],"them":[103],"beyond":[104],"reach":[106],"most":[108],"ML":[109,132],"engineers.":[110],"In":[111],"this":[112],"paper,":[113],"we":[114],"introduce":[115],"JSTprove,":[116],"specialized":[118],"toolkit,":[120],"built":[121],"Polyhedra":[123],"Network's":[124],"Expander":[125],"backend,":[126],"enable":[128],"developers":[130],"engineers":[133],"generate":[135],"verify":[137],"proofs":[138],"inference.":[141],"JSTprove":[142,175,189],"provides":[143],"end-to-end":[145],"verifiable":[146,214],"inference":[148],"pipeline":[149],"that":[150],"hides":[151],"complexity":[153],"behind":[154],"simple":[156],"command-line":[157],"interface":[158],"while":[159],"auditable":[161],"artifacts":[162],"for":[163,198,207],"reproducibility.":[164],"We":[165],"present":[166],"design,":[168],"innovations,":[169],"real-world":[171],"use":[172],"cases":[173],"well":[177],"our":[179],"blueprints":[180],"tooling":[182],"encourage":[184],"community":[185],"review":[186],"extension.":[188],"therefore":[190],"serves":[191],"both":[192],"usable":[195],"product":[197],"current":[199],"engineering":[200],"needs":[201],"reproducible":[205],"foundation":[206],"future":[208],"research":[209],"production":[211],"deployments":[212],"AI.":[215]},"counts_by_year":[],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-28T00:00:00"}