本文介绍了Solana合约的验证工具及其在SPL Token 2022中的应用，详述了Mint操作的正确性证明，展示了如何编写验证工具和预后条件，并总结了验证过程的步骤与结果。
Noir是一种基于Rust的特定领域语言，用于创建和验证零知识证明。它简化了zk应用的开发，使得没有深厚密码学基础的开发者也可以轻松构建zk应用。Noir具备简单的语法、优化的标准库和与多种证明系统的兼容性，从而降低了zk开发的门槛。
Zellic团队在ZK Hack IV比赛中展示了其在零知识证明和密码学领域的能力，成功解决了三个包含漏洞的加密应用难题。每道题目的解决方案都涉及到使用Rust编程语言和arkworks库，团队在第一个难题中赢得第一名，在第三个难题中取得第二名，总体上获得第二名。
Certora
azteclabs
zellic