Solana Labs CEO：Solana 將面臨形式驗證、type-rich 字節碼、存儲動態定價等多重挑戰

ChainCatcher 消息，据 The Block 報導，Solana Labs 首席執行官 Anatoly Yakovenko 在 Solana Breakpoint 里斯本峰會中表示，Solana 將面臨三個艱巨的挑戰：

1、形式驗證，即網絡上的安全保證；

2、type-rich 字節碼，這指的是網絡的不同部分如何相互通信；

3、存儲動態定價，這是一種讓驗證者節點管理 Solana 區塊鏈大小增長多少的方法。未來最大的挑戰是如何讓多個區塊生產者同時運行，如果可以解決這個問題，應該能讓網絡運行得更快。Yakovenko 表示，他還希望看到區塊生產與交易執行分離，實現更快地處理 Solana 區塊鏈上的交易。（來源鏈接）