
沫敲
Rareskills 出品的零知识证明之书, 对程序员最友好的零知识证明教程
这里有关于从头开始实际编写实用的零知识证明器和验证器(ZK-SNARK)所需知道的内容。
对事物的概念性理解和具体理解是不同的。大多数相当聪明的人在阅读教程后会对某些东西有一个概念性的理解,但他们离用这些知识做一些有用的事情还有很长的路要走。
对于数学家来说,具体的理解发生在他们写证明的时候。对于程序员来说,具体的理解发生在他们编写功能代码的时候。
《零知识证明之书》主要面向寻求具体理解的程序员。我们的书中充满了代码片段,并演示了实际加密库的使用。我们使用数学符号,但是我们以这样一种方式来编写,将其转换为源代码只是一个小小的飞跃。
Groth16是tornado cash(和许多其他公司)用于实现链上零知识证明的算法。我们相信这是学习之旅的最佳起点,我们的书是完全理解算法的最直接途径。
第一模块 零知识证明的基础数学
ZK-SNARKS 第 1 部分 (Groth16)
Bulletproofs:用于内积论证的 ZKP
2025,Move 迈入新阶段。 不仅有 Aptos 和 Sui 等 L1,也出现了 Movement 和 Rooch 等 L2。
本专栏特性:
Let's Walrus 一项学Walrus获得WAL(前期发SUI)的激励计划,鼓励更多的人学习如何使用Walrus,大家可以通过学习以及完成task任务来获取前期共学激励奖励,本专栏主要用于发布该共学任务的教学,希望能够帮助小白进行学习以及了解使用walrus进行存储和网站发布。
zk101.io 使用简单的文字讲述简单的ZK, 最少的数学,最容易理解的逻辑。 zk101将包含,startk101,snark101,zkvm101,plonk101等等内容,希望读者可以在阅读后对zk有清晰明了的了解。
你是否厌倦了繁琐的语法和低效的开发流程?是否渴望掌握一门简洁、高效、现代化的编程语言?Go语言,这门由Google开发的开源编程语言,正以其独特的魅力吸引着越来越多的开发者。
本专栏将带你从零开始,逐步掌握Go语言的核心概念和编程技巧。我们将从基础语法入手,深入理解并发编程、接口、错误处理等关键特性,并通过实战项目带你领略Go语言在Web开发、微服务架构、云计算等领域的强大威力。
无论你是编程新手,还是经验丰富的开发者,本专栏都将为你提供清晰易懂的讲解和丰富实用的案例,助你快速上手Go语言,开启编程新世界的大门。
零基础起步,边学边写 引言
欢迎来到"sui_从task到实战"系列教程,这是一个专为初学者打造的全方位指南,旨在帮助您从零开始掌握Sui MOVE智能合约编程技术,并将其应用于实际的去中心化应用(dApp)和区块链游戏开发中。本系列立足于基础知识,强调实践操作,步步引导读者走进Sui生态系统的广阔天地。
本合集为普及move编程入门,为大家普及move语言的使用。 涉及语法基础,工具使用,应用开发等方面, 在语法基础中,我们将介绍在move中,支持的数据结构,循环分支,结构体定义等。 在工具使用方面,将介绍sui-cli的使用,设计账户,合约,链上交互等。 应用开发方面,将普及在应用开发中的规范以及技巧。 将会持续更新文章,希望可以帮助到大家。
本专栏主要通过原理和代码结合的方式,讲解目前zkMIPS的实现原理。本专栏从基础的代数学知识开始介绍,然后逐步讲解Plonky2的实现,以及zkMIPS本身的prover部分的实现,包括Lookup Scheme,Proof aggregation,最后会讲解zkMIPS算数化。 通过专栏,大家可以真是感受到如何到从0实现一个zkVM。