Rust语言

本文介绍了Solana合约的验证工具及其在SPL Token 2022中的应用，详述了Mint操作的正确性证明，展示了如何编写验证工具和预后条件，并总结了验证过程的步骤与结果。

Noir是一种基于Rust的特定领域语言，用于创建和验证零知识证明。它简化了zk应用的开发，使得没有深厚密码学基础的开发者也可以轻松构建zk应用。Noir具备简单的语法、优化的标准库和与多种证明系统的兼容性，从而降低了zk开发的门槛。

Zellic团队在ZK Hack IV比赛中展示了其在零知识证明和密码学领域的能力，成功解决了三个包含漏洞的加密应用难题。每道题目的解决方案都涉及到使用Rust编程语言和arkworks库，团队在第一个难题中赢得第一名，在第三个难题中取得第二名，总体上获得第二名。

这篇文章是一个详尽的指南，介绍了如何审计Solana程序，涵盖了Solana的基本概念、账户模型、数据读写、跨程序调用、代币管理等多个主题。作者结合自己的学习经历，提供了丰富的实践示例和重要概念，为读者奠定了坚实的基础，并推荐了一些学习资源。

TFHE-rs v0.11 版本发布，带来了多项重要改进和新功能，包括Zero Knowledge Proof性能的显著提升，以及通过 FheAsciiString 类型在高级 API 中使用加密字符串的新模块。新版本还引入了 TUniform 噪声分布来代替高斯分布，GPU 性能也得到提升，并支持在 GPU 上轻松执行加密数组的计算。

TFHE-rs v0.11 版本发布，主要带来了以下更新： 1. 零知识证明性能显著提升；2. 引入了基于 FheAsciiString 类型的新加密字符串模块；3. 默认加密参数现在遵循调整后的均匀噪声分布；4. GPU 性能提升，64 位加法运算速度提高 30%；5. 可以在 GPU 上轻松执行加密数组的计算。同时，该版本还改进了 GPU 性能，并修复了一些bug。

本文面向具有云计算经验的开发者，通过对比Solana与AWS云服务，旨在帮助他们理解Solana区块链，并利用现有技能快速进入Solana开发领域，涵盖Solana CLI、SDK、账户、交易等核心概念，文章还提供了丰富的学习资源和安全建议，为云开发者探索Solana生态提供了入门指南。

该项目旨在将 Lighthouse 中的 Warp crate 替换为 Axum crate，以解决技术债务、提高性能和代码质量。目标是实现Beacon Node API的迁移，并改进日志和指标功能。计划在七月底前实现第一个 Axum 端点，并在八月继续迁移其他端点。

Zama 发布了 TFHE-rs (v1.1)、Concrete (v2.10) 和 Concrete ML (v1.9) 的新版本。