区快洞察消息，零知识证明研发机构 StarkWare 为其图灵完备框架「Cairo」发布 Cairo 工具链的首个版本 v0.0.1，包括编译器、虚拟机、调式器（Tracer）、IDE 扩展等。另外，StarkWare 即将为太坊二层扩容方案 StarkEx 2.0 发布 Cairo 代码。

区快洞察此前报道，本月初，StarkWare 宣布以太坊二层扩容方案 StarkEx 2.0 主网正式上线，去中心化交易所 DeversiFi 同时宣布已采用该方案发布升级版本。StarkEX 2.0 是针对图灵完备 STARK 框架「Cairo」的完全实现，并且具有可扩展性，以及支持一层和二层的交互、支持 ERC721 和链下铸币、智能合约密钥恢复等。