据DAO 2消息，零知识证明研发机构StarkWare为其图灵完备框架Cairo发布工具链，帮助人们更好地学习和使用Cairo。工具链包括编译器、虚拟机、追踪器、IDE扩展，此外还提供了相应文档和教程。