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

11月6日消息，Solana Labs首席执行官Anatoly Yakovenko 在 Solana Breakpoint里斯本峰会中表示，Solana将面临三个艰巨的挑战，首先是形式验证，即网络上的安全保证；其次是type-rich字节码，这指的是网络的不同部分如何相互通信；第三是存储动态定价，这是一种让验证者节点管理Solana区块链大小增长多少的方法。未来最大的挑战是如何让多个区块生产者同时运行，如果可以解决这个问题，应该能让网络运行得更快。Yakovenko表示，他还希望看到区块生产与交易执行分离