以太坊基金会软件工程师 Christoph Burgdorf 提出一个名为「Fe」(发音为「fee」 的以太坊新智能合约开发语言，该语言最初是对 Vyper 编译器（在 Rust 中）的重写，旨在解决 Consensys 在《Vyper...
受 ConsenSys 资助的区块链开发团队推出一款 EVM 形式化验证编译器「Elle」，旨在确保更高级别的智能合约代码与执行它的以太坊虚拟机字节码之间的安全连接。Elle-Core 捕获结构化编程抽象，并通过经过验证的编译器将其转换为以...
