RT: Dan checkout @Algorand for an efficient VM and use @ReachLang to write safe #smartcontract code for both AVM and EVM with formal verification. https://twitter.com/bytemaster...
转发：Dan checkout@Algorand以获得高效的虚拟机，并使用@ReachLang为AVM和EVM编写安全的#智能合约代码，并进行正式验证。https://twitter.com/bytemaster...