ChainCatcher message, Solana co-founder Toly tweeted that he hopes to see Firedancer launch on the mainnet soon to improve the security bus coefficient, while also enhancing consensus reduction and formal proof. Future discussions need to address increased computational load, asynchronous execution, multi-concurrent leaders, and DX improvements.