A Methodology for Verifiable Query Result Integrity in Blockchain Indexing Systems. - Xinrui Liu 004; Boojoong Kang; Leonardo Aniello (SAC, 2026)