lambdaclass 的文章 - 登链社区

TA的文章 TA购买的 TA喜欢的 TA收藏的

Stone Cairo STARK Prover 概述

本文深入分析了 Starkware 开源的 Stone Prover，一个使用 STARKs 技术生成计算完整性证明的 C++ 库。

STARKs Stone Prover 证明系统 FRI 承诺方案组合多项式

发布于 2023-09-29 15:25 阅读(381) 点赞(0)

Lambda的工程哲学

本文探讨了Lambda不同的运作方式，强调了观察、迭代、简化等原则在工程实践中的重要性。文章论述了如何在解决问题时建立良好的沟通文化，重视可观测性，并提出敏捷开发和过程管理的有效策略，以提升团队的协作与生产力。

工程原则观察与测量沟通文化敏捷开发过程管理简化

发布于 2023-09-28 11:26 阅读(164) 点赞(0)

如何从零开始编写FRI代码

本文深入探讨了FRI（快速Reed-Solomon交互式Oracle证明）协议，该协议用于证明某个函数接近于低阶多项式，这在构建STARKs等证明系统中非常有用。文章详细解释了FRI协议的原理、实现过程，包括多项式的随机折叠、使用Merkle树进行承诺，以及验证过程，并讨论了该协议的安全性依赖于有限域的大小、哈希函数的安全性以及查询的数量。

FRI STARKs Reed-Solomon Merkle树密码学证明零知识证明

发布于 2023-08-19 17:35 阅读(379) 点赞(0)

深入探索STARK世界中的DEEP FRI：通过一个具体的例子学习你的日常月亮数学

本文通过一个笔和纸的例子，介绍了使用STARKs进行计算完整性的方法。

STARKs 零知识证明拉格朗日插值计算完整性 FRI 多项式

发布于 2023-03-07 17:24 阅读(388) 点赞(0)