[hpc-announce] The 7th International Symposium on Blockchain Applications and Theory (BCAT 2025), Tampa, Florida, USA. May 19-22, 2025