RecodeX 重构消息,&Truth宣布完成7000万美元种子轮融资,资金将用于构建一台通用验证机,以数学方式证明软件代码的安全性与正确性。