Prezta: Provable Remote Execution of Zero-Trust Authorization using SNARKs

arXiv:2607.11466 · cs.CR · Submitted 2026-07-13 · Read on arXiv

Zhongjing Wei, Osaid Muhammad Ameer, Nikita Borisov, Yupeng Zhang

cs.CR

Submitted: 2026-07-13

Code: https://github.com/walotta/ZK_Zero_

License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/

Terminology

Verification — 36× in this paper · explained in 2 episodes
Edge Devices — 15× in this paper · explained in 2 episodes
Verifier — 12× in this paper · explained in 2 episodes
Policy Authority — 5× in this paper
Provable Remote Execution of Zero-Trust Authorization — 5× in this paper
Ablation — 4× in this paper · explained in 1 episode
Ablation study — 4× in this paper · explained in 1 episode
Core — 4× in this paper · explained in 2 episodes
Actor — 2× in this paper · explained in 3 episodes
IEEE Symposium on Security and Privacy — 2× in this paper
Policy Enforcement Point — 2× in this paper
Trace — 2× in this paper · explained in 2 episodes
Abstraction — 1× in this paper · explained in 1 episode
Adam — 1× in this paper · explained in 2 episodes
Benchmark — 1× in this paper · explained in 2 episodes
Consistency — 1× in this paper · explained in 3 episodes
Decode — 1× in this paper · explained in 2 episodes
JSON Web Tokens — 1× in this paper
National Institute of Standards and Technology — 1× in this paper
National Security Telecommunications Advisory Committee — 1× in this paper
Policy Decision Point — 1× in this paper

Related papers