重要‼️Stark101虽然是希望成为任何软件工程师的入门教程,但是ZK确实有太多不得不说的概念,不过,我会尽量用最简单,最少公式的方式来讲解。所以,Start101绝对不会教会你如何成为数学大师,其目的在于让你轻松的理解Stark的逻辑。但是你需要遵守以下规则:任何标题开头为附加内容
计算轨迹是 Stark 的第一步,也是最简单的一步,但是最为重要的一步。 但是在章节开始之前,你需要**必须 🚨**掌握以下前置知识:
低度拓展(LDE)是Stark中用于提高安全性的一个步骤,通过把多项式的域拓展到更大的域,从而提高计算的安全性。
承诺(Commitments)是Stark中用于去除需要交互验证的步骤,通过将Trace的值进行默克尔树构建,从而获得虚拟的交互验证。
zk101.io 使用简单的文字讲述简单的ZK, 最少的数学,最容易理解的逻辑。 zk101将包含,startk101,snark101,zkvm101,plonk101等等内容,希望读者可以在阅读后对zk有清晰明了的了解。
Web3企业级工程-初级篇