Mathematical representation and analysis of the Longest-Valid-Chain rule in Blockchain system based on Social Choice Correspondence. - Guangping Geng; Takehiro Inohara (SMC, 2025)