• 在证明器中实现深度多项式的支持，并进行了域外评估
• 在 AIR 中添加对自定义约束的支持
• 将 Plonk 证明器扩展为使用多种曲线，前提是所需的曲线实现了配对
• 在 AIR 中添加对自定义约束的支持
• 将 Plonk 证明器扩展为使用多种曲线，前提是所需的曲线实现了配对
• 创建 Plonk 验证器的第一个工作版本
• 使用非优化算法在英伟达的 GPU 语言 CUDA 中创建了第一个 FFT 概念验证
• 将第一个使用 Metal 的并行 FFT 实现合并，并进行基准测试，速度提升了 14 倍
• 发布了一篇关于 Metal 的文章，其中介绍了 FFT notamonadtutorial.com/using-metal-an…
• 使用非优化算法在英伟达的 GPU 语言 CUDA 中创建了第一个 FFT 概念验证
• 将第一个使用 Metal 的并行 FFT 实现合并，并进行基准测试，速度提升了 14 倍
• 发布了一篇关于 Metal 的文章，其中介绍了 FFT notamonadtutorial.com/using-metal-an…
• 开始编写 STARK 证明系统代码如何运行的详细文档
• 继续将 Cairo VM 和 STARK 证明器链接起来
• 开始编写 API 以实现 GPU 算法、证明器和其它部分之间的通信
• 继续将 Cairo VM 和 STARK 证明器链接起来
• 开始编写 API 以实现 GPU 算法、证明器和其它部分之间的通信
• • •
Missing some Tweet in this thread? You can try to
force a refresh
