Solana co-founder Toly: Hope to see Firedancer launch on the mainnet soon

Solana co-founder Toly tweeted, expressing his hope to see Firedancer launch on the mainnet soon to enhance the overall security bus coefficient. At the same time, he aims for improvements in consensus reduction and formal proofing. Future technical discussions will need to address issues such as increased computation, asynchronous execution, multiple concurrent leaders, and DX improvements.