原文链接: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岁已经成年了,我只要给出我的身份证(假设身份证上没有我的出生年月)。验证方也可以凭借此来判断我确实已经成年。而无需真实的知...
ZK的崛起与演变 曾几何时,零知识证明(以下简称ZK)仍然被认为是密码学教科书中的理论概念,至少在传统安全研究中很少被主流社群深入探索。然而在Web3.0领域,区块链技术的迅速发展,用短短几年时间实现了ZK从理论到实践的跨越式进展,一...
基本都是直接copy的fatcat大神的博客 ,大神牛逼!!! 再次声明,本来打算是写一篇看过那么多文章后,对于ZKP的理解的,但是看了fatcat大神的文章和描述后,发现自己再怎么写都是多余的,只能把大神文章中,对于我来说重要的话cop...