20 citations · 20 across the 4 of their papers we have counts for
Showing 2026Show all
2 papers · 1 filter
cs.AI2026
Bits Under ZK-LLM: Evaluating Zero-Knowledge-Friendly Quantization for Verifiable Private LLM Inference
Taeung Yoon, Yupeng Zhang, Xiaojing Liao
Zero-knowledge proofs are emerging as a promising approach for enabling private, verifiable LLM governance and auditing, where regulators, users, and auditors need to verify claims…
cs.CR2026
Prezta: Provable Remote Execution of Zero-Trust Authorization using SNARKs
Zhongjing Wei, Osaid Muhammad Ameer, Nikita Borisov +1
Modernizing the security of operational technology systems that control critical infrastructure has become a pressing challenge. Because edge devices have limited capabilities, mod…