StarkWare: STARK 증명 시스템 언어 Cairo를 사용하여 ZK-EVM을 완료했습니다

ChainCatcher 메시지에 따르면, 제로 지식 증명 기술 개발 회사 StarkWare가 트위터에서 STARK 증명 시스템 언어인 Cairo로 ZK-EVM을 완성했다고 발표했으며, 내일 이더리움 공동 창립자 Vitalik Buterin, ZK-STARK 공동 발명자 Eli Ben-Sasson, StarkWare 멤버 Shahar Papini 등을 초대하여 Twitter Space를 진행할 예정입니다. 알려진 바에 따르면, Cairo는 튜링 완전한 제로 지식 증명 시스템 언어로, 아직 초기 개발 단계에 있습니다.（출처 링크）