StarkWare：STARK証明システム言語Cairoを使用してZK-EVMを完成しました

ChainCatcher のメッセージによると、ゼロ知識証明技術開発会社 StarkWare は Twitter で、STARK 証明システム言語プログラミング言語 Cairo を使用して ZK-EVM の開発を完了したと発表しました。明日、イーサリアム共同創設者の Vitalik Buterin、ZK-STARK の共同発明者 Eli Ben-Sasson、StarkWare のメンバー Shahar Papini などを招待して Twitter Space を開催する予定です。Cairo はチューリング完全なゼロ知識証明システム言語であり、まだ初期開発段階にあります。（出典リンク）