我们证明了使用@NoirLang构建的zk-proof可以通过@arbitrum Stylus SDK在链上进行验证。 这有什么重要性？因为它表明先进的密码学可以原生运行Stylus合约，解锁私密、可验证且抗审查的应用程序，同时享受Stylus带来的好处。 为了演示这一点，我们构建了一个投票应用程序 🗳️。 这只是一个概念验证，但它展示了零知识技术和Stylus可以实现的潜力。 项目文档 👉