IF9.CN 消息，10 月 26 日，零知识证明技术开发公司 StarkWare 在推特上宣布，已使用 STARK 证明系统语言编程语言 Cairo 写出编写完成 ZK-EVM，将于明天邀请以太坊联合创始人 Vitalik Buterin、ZK-STARK 合作发明者 Eli Ben-Sasson、StarkWare 成员 Shahar Papini 等人进行 Twitter Space。据悉，Cairo 为图灵完备的零知识证明系统语言，尚处在早期开发阶段。