zk-STARKs in Action: Real-Time and Post-Quantum Verification for Banking Transactions. - Thanh Hai To; Vu-Trung Duong Le; Van Tinh Nguyen; Van-Tuan Luu; Hoai Luan Pham; Yasuhiko Nakashima (CANDARW, 2025)