Solana Labs CEO: Solana will face multiple challenges such as formal verification, type-rich bytecode, and storage dynamic pricing

According to The Block, Anatoly Yakovenko, CEO of Solana Labs, said at the Solana Breakpoint Lisbon summit that Solana will face several tough challenges. The first is formal verification, which is the security guarantee on the network; the second is type-rich bytecode, This refers to how different parts of the network communicate with each other; the third is storage dynamic pricing. The biggest challenge in the future is how to get multiple block producers running at the same time. If this problem can be solved, it should make the network run faster. Anatoly Yakovenko also stated, "We want to synchronize the world at the speed of light, and having a second client implementation of the Solana blockchain (using a different codebase) should help prevent problems with the network." Solana Breakpoint Lisbon Summit hosted by the Solana Foundation Organization, held from November 4th to 7th.