StarkWare:已使用 STARK 证明系统语言 Cairo 完成 ZK-EVM

2022年10月26日 18:54
收藏

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

链捕手ChainCatcher提醒,请广大读者理性看待区块链,切实提高风险意识,警惕各类虚拟代币发行与炒作, 站内所有内容仅系市场信息或相关方观点,不构成任何形式投资建议。如发现站内内容含敏感信息,可点击 “举报”,我们会及时处理。
ChainCatcher 与创新者共建Web3世界