Solana Labs CEO：Solana 将面临形式验证、type-rich 字节码、存储动态定价等多重挑战

ChainCatcher 消息，据 The Block 报道，Solana Labs 首席执行官 Anatoly Yakovenko 在 Solana Breakpoint 里斯本峰会中表示，Solana 将面临三个艰巨的挑战：

1、形式验证，即网络上的安全保证；

2、type-rich 字节码，这指的是网络的不同部分如何相互通信；

3、存储动态定价，这是一种让验证者节点管理 Solana 区块链大小增长多少的方法。未来最大的挑战是如何让多个区块生产者同时运行，如果可以解决这个问题，应该能让网络运行得更快。Yakovenko 表示，他还希望看到区块生产与交易执行分离，实现更快地处理 Solana 区块链上的交易。