Proof Abbreviations and Acronyms

1. ROM
   Random Oracle Model
2. RPOW
   Reusable Proof of Work
3. SLF
   Style Loader Filter
4. SS
   Sehr SchöN
5. STOC
   Symposium On The Theory of Computation
6. SWOP
   Specifications Web Offset Publications
7. SZK
   Statistical Zero Knowledge
8. TC
   Trial Color
9. UC
   Ultra Cameo
10. UI
    Universal Instantiation
11. UITP
    User Interfaces Fbr Theorem Provers
12. UPB
    Universally Preferable Behaviour
13. WP
    Weather Proof
14. ZK
    Zero-Knowledge
15. ZKP
    Zero Knowledge Protocol

Last updated: January 4, 2020 — Total entries: 55