长推：Orion —— 为 Validity ML 设计的 Cairo 库
Orion：一个为 Validity ML 设计的 Cairo 库。
原文作者：Giza
原文来源：[email protected]
编译：MarsBit，MK
Orion 已经上线！
Cairo 1.0中的新的ONNX Runtime，一个可验证、完全开源的ML（机器学习）推理框架。让我们深入了解Orion的基本原理及其所提供的内容
随着 ML 模型变得更加复杂并处理越来越多的用例，其输出的完整性将变得核心，特别是在处理高风险决策的应用中，如医学、金融和法律领域。
引入 Validity ML。通过使用 Cairo 编程语言，我们能够创建与 ML 推理（如 Tensor 运算）相关的可证明和可扩展的计算。
Cairo 是一种图灵完备的语言，用于创建可证明的程序进行通用计算它是一种现代的、类似 Rust 的语言，提供了高级抽象和特性，如特性、实现、宏和类型安全。
为了将可证明编程和机器学习的世界融合，我们创建了 Orion：一个为 Validity ML 设计的 Cairo 库。
关于【长推：Orion —— 为 Validity ML 设计的 Cairo 库】的延伸阅读
读懂Binance Launchpool最新项目io.net：连接全球GPU资源，重塑机器学习的未来
io.net是一个基于Solana区块链的去中心化计算网络，通过集成未充分利用的GPU资源，为AI和机器学习领域提供低成本的大量计算能力。平台使用双令牌经济系统激励参与者并确保效率和可持续性。IO Cloud简化了GPU集群的部署和管理，IO Worker和IO Explorer提供账户管理和网络运营洞察。IO币用于支付和奖励，生态系统包括GPU租用者、所有者和IO币持有者。该项目获得3000万美元融资，具有可扩展性和并行训练优势，但仍面临技术复杂性、网络安全和市场竞争挑战。长期成功取决于持续开发和采用能力。
长推：聊聊AI+区块链的看法
本文讨论了AI+区块链的发展前景，OpenAI 4o版本的发布拉动了数据、存储、计算三个板块的发展，使得AI成为未来最重要的客户。AI带动了上游基建的需求，但区块链也有用武之地，如去中心化计算。AI的能耗和稳定的带宽也是重要议题。数据采集、处理和交易是AI发展的关键，区块链和代币经济可以很好地切入。AI Agent的出现给了一种新的思路，可以实现自动化。零知识证明为AI带来新的可能性。
Orion 利用 Open Neural Network Exchange (ONNX) 和 Cairo 的功能来保证推理的可靠性，为开发者提供了一个用户友好的框架来构建复杂的、可验证的机器学习模型。
ONNX 通过允许来自 PyTorch、TensorFlow 和其他框架的深度学习模型在不同的 AI 框架和平台上进行表示、共享和执行，提高了互操作性，而 Cairo 则能够利用高度可扩展的 STARKs 编写可证明的程序。
Orion 的API（操作符，数值，性能）提供了一系列有效的神经网络计算函数，扩展的数值功能，以及对开发者来说在不牺牲精度的前提下构建更高效、更快的 ML 应用程序的性能增强功能。
有了这个公告，我们正在呼吁贡献者加入我们，一起参与重新定义机器智能的未来。
免责声明：本文仅代表作者个人观点，不代表链观CHAINLOOK立场，不承担法律责任。文章及观点也不构成投资意见。请用户理性看待市场风险，以及遵守所在国家和地区的相关法律法规。
图文来源：MarsBit，如有侵权请联系删除。转载或引用请注明文章出处！
标签：机器学习
