Solana Labs CEO: Solana will face multiple challenges such as formal verification, type-rich bytecode, and dynamic pricing for storage
According to ChainCatcher, as reported by The Block, Solana Labs CEO Anatoly Yakovenko stated at the Solana Breakpoint Lisbon summit that Solana will face three daunting challenges:
Formal verification, which refers to security guarantees on the network;
Type-rich bytecode, which refers to how different parts of the network communicate with each other;
Dynamic pricing for storage, which is a method for validator nodes to manage the growth of the Solana blockchain size. The biggest challenge in the future is how to allow multiple block producers to run simultaneously; if this problem can be solved, it should enable the network to operate faster. Yakovenko also expressed his hope to see the separation of block production and transaction execution to achieve faster processing of transactions on the Solana blockchain. (source link)
