StarkWare：已使用 STARK 證明系統語言 Cairo 完成 ZK-EVM

ChainCatcher 消息，零知識證明技術開發公司 StarkWare 在推特上宣布，已使用 STARK 證明系統語言程式語言 Cairo 寫出編寫完成 ZK-EVM，將於明天邀請以太坊聯合創始人 Vitalik Buterin、ZK-STARK 合作發明者 Eli Ben-Sasson、StarkWare 成員 Shahar Papini 等人進行 Twitter Space。據悉，Cairo 為圖靈完備的零知識證明系統語言，尚處在早期開發階段。（來源鏈接）