SNARK 证明是 Mina 区块链的核心，用于验证交易、区块和其他 SNARK 的有效性。我们希望优化 SNARK 的生产过程，以确保 Mina 区块链能够持续运行和扩展。 这是 SNARK 工作流程的概述。点击图片查看高分辨...
title: 0. 序章 重要 ‼️ Stark101 虽然是希望成为任何软件工程师的入门教程，但是ZK确实有太多不得不说的概念，不过，我会尽量用最简单，最少公式的方式来讲解。 所以，Start101绝对不会教会你如何成为数学大师，...
原文链接：https://www.zk101.io/stark101/1_trace 前往可获得更好的体验 计算轨迹是 Stark 的第一步，也是最简单的一步，但是最为重要的一步。 但是在章节开始之前，你需要必须 掌握以下前置知...
原文链接：https://www.zk101.io/stark101/2_lde 前往可获得更好的体验 导读 低度拓展(LDE)是Stark中用于提高安全性的一个步骤，通过把多项式的域拓展到更大的域，从而提高计算的安全性。...
原文链接：https://www.zk101.io/stark101/3_commit 前往可获得更好的体验 导读 承诺（Commitments）是Stark中用于去除需要交互验证的步骤，通过将Trace的值进行默克尔树构建，...
目录 P2P 测试 RPC Kademlia Identify Connection 场景 连接发现 P2P 连接 Kademlia Pub...
目录 介绍 我们在测试什么 1. 网络连接和节点管理 网络连接 单节点 节点发现测试 Rust接受OCaml的入站连接 OCaml连接到广告的Rust节...
近来得闲，看看RISC0的源代码。zkVM一直是想深入的话题。zkVM将零知识证明技术抽象封装。复杂的业务，通过上层语言描述，经过zkVM的执行，轻松生成证明。可是迟迟看不清，zkVM的需求。只是觉得，复杂的程序也能快速地生成证明是一件很酷...
近日，我成功完成了一个让 Mina Protocol 与 Eliza 平台无缝衔接的功能开发，将 Mina AI Agent 的三项核心能力 —— 转账、余额查询和水龙头功能 —— 打通并集成到 Eliza 中。这项独立完成的开发现已上线，...
零知识证明的概念： 零知识证明技术 可以 [模拟]出一个第三方，保证某一个论断是可信的。 举一个例子，我已经年满18岁已经成年了，我只要给出我的身份证（假设身份证上没有我的出生年月）。验证方也可以凭借此来判断我确实已经成年。而无需真实的知...
区块链技术网
![[Stark101] 0.序章](http://www.htzkw.com/zb_users/theme/yd1125free/include/random/6.jpg)
![[Stark101] 1.计算轨迹](http://www.htzkw.com/zb_users/cache/thumbs/05dd93a495f4e28d3886b3bb9cb2ab38-232-140-1.png)
![[Stark101] 2.低度拓展 (LDE)](http://www.htzkw.com/zb_users/cache/thumbs/3555ffc63046605859efa4321cb940aa-232-140-1.png)
![[Stark101] 3. 承诺（Commitments）](http://www.htzkw.com/zb_users/cache/thumbs/83f64828151791aad96fbe4e4ee84424-232-140-1.png)
