11月6日消息，Solana Labs首席执行官Anatoly Yakovenko 在 Solana Breakpoint里斯本峰会中表示，Solana将面临三个艰巨的挑战，首先是形式验证，即网络上的安全保证；其次是type-rich字节码，这指的是网络的不同部分如何相互通信···