From the 1 of 2 linked papers with an AI index.
2 papers
cs.CR2026
Prezta: Provable Remote Execution of Zero-Trust Authorization using SNARKs
Zhongjing Wei, Osaid Muhammad Ameer, Yupeng Zhang +1
Prezta is a system that moves zero‑trust authorization from centralized gateways to client devices by running policies in a zero‑knowledge virtual machine and providing succinct SN…
cs.LG2025
FairZK: A Scalable System to Prove Machine Learning Fairness in Zero-Knowledge
Tianyu Zhang, Shen Dong, O. Deniz Kose +2
With the rise of machine learning techniques, ensuring the fairness of decisions made by machine learning algorithms has become of great importance in critical applications. Howeve…