Akihiro Fujihara: Mathematical Modelling of Dual-Layer Byzantine Fault-Tolerant Consensus Process for Optimal Sharding and Mitigation of Blockchain Trilemma. BRAINS 2024: 1-10