smlXL 正在构建专有技术，以利用区块链的确定性和透明度来严格分析 EVM 字节码和合约。