宣布推出S-two书籍

该文章宣布与Starkware合作推出S-two书籍,S-two是Starkware的下一代证明器,基于Circle STARKs和Mersenne31素数域,性能卓越且支持自定义电路。书籍面向想学习如何用S-two编写AIR、理解Cairo AIR实现以及Circle STARKs原理的读者,相关源代码和文档可在官方仓库获取。

S-two 书籍

概述

我们很高兴地宣布与 Starkware 合作编写了 S-two 书籍!你也可以在官方文档仓库项目仓库中找到源文件。

什么是 S-two?

S-two 是 Starkware 的下一代证明器,基于 Mersenne31 素数域实现了 Circle STARKs,从而拥有最先进的性能。它具有足够的灵活性,可以为自定义电路提供证明,例如各种虚拟机及机器学习推理。

目标读者

我们鼓励任何对以下主题感兴趣的人阅读此书:

  • 学习如何使用 S-two 证明器编写 AIR
  • 学习如何在 S-two 中实现 Cairo AIR
  • 学习 S-two 如何实现 Circle STARKs

其他资源

如果你需要了解 Circle STARKs 的入门知识,请查看我们的博客系列文章:第一部分第二部分第三部分

  • 原文链接: blog.zksecurity.xyz/post...
  • 登链社区 AI 助手,为大家转译优秀英文文章,如有翻译不通的地方,还请包涵~
点赞 0
收藏 0
分享
本文参与登链社区写作激励计划 ,好文好收益,欢迎正在阅读的你也加入。

0 条评论

请先 登录 后评论
zksecurity
zksecurity
Security audits, development, and research for ZKP, FHE, and MPC applications, and more generally advanced cryptography.