The Proof Engine has three layers:

[ Proof Templates ]   ← rules defining what can be proven
[ Proof Compiler ]    ← GC/MPC/ZK generator
[ Proof Verifier ]    ← lightweight verifier for apps

3.1 Proof Templates

3.2 Proof Compiler

3.3 Proof Verifier