StarkWare: Has completed ZK-EVM using the STARK proof system language Cairo

ChainCatcher news, zero-knowledge proof technology development company StarkWare announced on Twitter that it has completed the ZK-EVM using the STARK proof system programming language Cairo, and will invite Ethereum co-founder Vitalik Buterin, ZK-STARK co-inventor Eli Ben-Sasson, and StarkWare member Shahar Papini to a Twitter Space tomorrow. It is reported that Cairo is a Turing-complete zero-knowledge proof system language and is still in the early stages of development. (source link)