全部 通识 以太坊 比特币 Solana 公链 Solidity Web3应用 编程语言 安全 密码学 AI 存储 其他

[Stark101] 1.计算轨迹

in  ZK101
计算轨迹是 Stark 的第一步，也是最简单的一步，但是最为重要的一步。 但是在章节开始之前，你需要**必须 🚨**掌握以下前置知识：
零知识证明  零知识证明入门  STARK  教程 
  • BoxChen
  • 发布于 2024-12-28
  • 阅读 ( 1609 )
  • ( 11 )

[Stark101] 0.序章

in  ZK101
重要‼️Stark101虽然是希望成为任何软件工程师的入门教程，但是ZK确实有太多不得不说的概念，不过，我会尽量用最简单，最少公式的方式来讲解。所以，Start101绝对不会教会你如何成为数学大师，其目的在于让你轻松的理解Stark的逻辑。但是你需要遵守以下规则：任何标题开头为附加内容
零知识证明  zk  教程  STARK 
  • BoxChen
  • 发布于 2024-12-28
  • 阅读 ( 2690 )
  • ( 13 )

OpenMina: 提交和生成新的 SNARK

SNARK证明是Mina区块链的核心，用于验证交易、区块和其他SNARK的有效性。我们希望优化SNARK的生产过程，以确保Mina区块链能够持续运行和扩展。这是SNARK工作流程的概述。点击图片查看高分辨率版本：接收区块以更新可用任务由于区块同时包含交易和SNAR
Mina  OpenBuild 
  • King
  • 发布于 2024-12-28
  • 阅读 ( 1275 )
  • ( 4 )

OpenMina: 扫描状态

这是一个数据结构，用于对需要交易SNARK证明的交易进行排队，并允许SNARK工作者并行处理这些交易SNARK。它被称为"扫描状态"是因为它将扫描类操作与Mina区块链状态的更新相结合。在函数式编程中，扫描会对元素序列应用特定操作，在每一步都跟踪中间结果并生成这些累积值的序列。
Mina  OpenBuild 
  • King
  • 发布于 2024-12-28
  • 阅读 ( 1171 )
  • ( 4 )

OpenMina: 运行非出块和出块节点

在开发网络上运行非出块节点本指南将指导您使用Docker在开发网络上运行AlphaRust节点。按照以下步骤设置节点并为这个Alpha版本提供反馈。1.前置要求确保您已安装Docker：Linux、macOS和Windows的Docker安装指南2.下载并
  • King
  • 发布于 2024-12-28
  • 阅读 ( 1132 )
  • ( 5 )

Open Mina 节点介绍

OpenMina节点是一个用Rust实现的快速且安全的Mina协议实现。目前处于公开测试阶段，加入我们的Discord社区来帮助测试未来的版本。
Mina  OpenBuild 
  • King
  • 发布于 2024-12-26
  • 阅读 ( 1078 )
  • ( 4 )

Mina: 展望 2025 年

2024年给Mina带来了巨大的变化。了解2025年将会发生什么！2024年给Mina带来了巨大的变化。最大的进展是今年6月Mina的zkApp层的推出，这使得Mina成为第一个采用图灵完备的零知识智能合约层的区块链。这是一个历时多年、高度复杂的项目，它的发布证明了
Mina  OpenBuild 
  • King
  • 发布于 2024-12-24
  • 阅读 ( 1368 )
  • ( 14 )

Noir 的电路后端

Noir编程语言提供了一种熟悉的Rust风格的接口，用于编写自定义zk-SNARK程序。文章详细介绍了Noir编译器的工作原理，如何生成算术电路和适用于Aztec网络的智能合约字节码，并探讨了PLONK和其变体的约束系统。通过对电路的有效性和计算成本的思考，展示如何在使用Noir编写程序时优化电路性能。
Noir  zk-SNARK  PLONK  约束系统  电路  Aztec 
  • jtriley
  • 发布于 2024-12-23
  • 阅读 ( 537 )

零知识证明 - zkHack V Puzzle 3 - Shadow

一个网站想避免使用私钥作为认证数据，给每个用户额外分配了随机数据（pepper）。这个随机数据只有用户自己知道。在使用认证之前，用户需要计算{公钥}_{pepper}的hash值提交到网站。使用认证的过程，用户需要生成零知识证明，证明某个用户知道确定的pepper。
零知识证明  zkHack 
  • Star Li
  • 发布于 2024-12-17
  • 阅读 ( 1571 )

零知识证明 - zkHack V Puzzle 2 - Don't Lookup

基于一个比较小的域，实现了一个Lookup协议。
零知识证明  zkHack 
  • Star Li
  • 发布于 2024-12-17
  • 阅读 ( 1505 )

剥开零知识证明的洋葱

通过讲解证明者和验证者之间的关系，以及如何使用 ZKP 实现隐私保护的机制。文中零知识证明的基本原理与公式，举例说明 Tornado Cash 如何通过零知识证明确保用户交易的匿名性
ZKP 
  • Krishang
  • 发布于 2024-12-16
  • 阅读 ( 1058 )
  • ( 10 )

Protokit 是什么？

什么是Protokit？Protokit是一个用于构建启用隐私的应用程序链（又名zk-roll-apps/zk-rollups）的框架。使开发人员能够以最小的学习曲线构建零知识隐私保护应用程序。该框架本身由O1JS，用于构建zkApps的SDK。得益于O1JS，所有使用Pro
Mina  OpenBuild  Protokit 
  • King
  • 发布于 2024-12-14
  • 阅读 ( 948 )
  • ( 4 )

Protokit：快速入门

可证明的代码为了让zk-rollup验证其操作的正确性，它必须能够证明，例如交易已正确执行。这是可能的，因为所有底层Protokitrollup代码都是使用o1js编写为zk电路。因此创建可证明的代码，从而产生zk证明。o1js是什么？o1js是由Mina背后的
Mina  OpenBuild  Protokit 
  • King
  • 发布于 2024-12-14
  • 阅读 ( 935 )
  • ( 4 )

零知识证明 - zkHack V Puzzle 1 - zeitgeist

zkHack的Puzzle是我比较喜欢的活动。通过实例编码深入理解零知识证明的细节是比较高效的学习方式。zkHackV前几天已经开始了。这篇文章分析一下第一道题目
零知识证明  zkHack 
  • Star Li
  • 发布于 2024-12-12
  • 阅读 ( 1557 )
  • ( 3 )

Tornado Cash：开发者参考手册

Tornado Cash：开发者参考手册
Tornado.cash  Tornado 
  • Krishang
  • 发布于 2024-12-09
  • 阅读 ( 1684 )
  • ( 77 )

Mina 作为参与实验室

这是一系列博文中的第三篇，探讨了Mina的治理如何从集体智慧中学习，集体智慧将人群大规模组织起来，以往往优于个人单独解决的方式解决复杂的公共问题。治理对于Mina协议的未来至关重要，以便在符合Mina社区愿望的同时有效地做出关键决策。这就提出了一个问题：Mina协议的治理应该如何
Mina  OpenBuild 
  • King
  • 发布于 2024-12-07
  • 阅读 ( 905 )
  • ( 7 )

从 0 到 1：实现一个基于零知识证明的寻宝游戏

本教程分享基于o1js2.*开发一个去中心化应用（DApp），构建一个基于零知识证明（ZKP）的寻宝游戏。游戏中，玩家扮演精英盗贼，需完成一系列盗宝任务。通过零知识证明，玩家可以向系统展示任务完成的真实性，同时保护任务细节（如密码、路线或地点等）。整个游戏采用去中心化架构，智能合约确保公平性，
  • hello2jie
  • 发布于 2024-12-06
  • 阅读 ( 879 )
  • ( 13 )

Plonky2 论文翻译

本文是 [Plonky2: 使用 PLONK 和 FRI 的快速递归论证](https://docs.rs/crate/plonky2/latest/source/plonky2.pdf) 论文中文翻译.
zk  Plonky2 
  • longerd
  • 发布于 2024-12-04
  • 阅读 ( 1087 )
  • ( 29 )

Mina 上的 STO 和现实世界资产

RWA和STO连接传统金融和区块链，在1860亿美元的市场中实现有形资产和金融工具的代币化所有权，并增强流动性、透明度和监管合规性。什么是STO和RWA？现实世界资产代币（RWAs）和证券型代币发行（STOs）将传统金融与区块链技术相结合。RWAs是代表有形资产（
Mina  OpenBuild 
  • King
  • 发布于 2024-12-02
  • 阅读 ( 1533 )
  • ( 9 )

Mina 白板会议 TL;DR

深入探讨了允许 Mina 分发数据和并行化证明的技术细节
Mina  OpenBuild 
  • King
  • 发布于 2024-11-27
  • 阅读 ( 1454 )
  • ( 20 )