Keles, A. (2025, August 31). Breaking Verifiable Abstractions. Alperen Keles. https://alperenkeles.com/posts/verifiable-abstractions/. Archived at http://web.archive.org/web/20251231081655/https://alperenkeles.com/posts/verifiable-abstractions/