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

Mina: 展望 2025 年

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

Noir 的电路后端

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

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

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

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

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

剥开零知识证明的洋葱

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

Protokit 是什么？

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

Protokit：快速入门

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

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

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

Tornado Cash：开发者参考手册

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

Mina 作为参与实验室

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

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

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

Plonky2 论文翻译

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

Mina: 建立值得信赖的社区

我们如何确保“社会层”保持可信，以维持对协议的信心？这是系列博客文章中的第一篇，探讨如何回答这个问题。摘要加密系统在不需要可信中介来实施和执行其规则的程度上是“无信任”的。然而，信任并未完全消除，因为我们仍然需要信任负责协议和定义其规则的各种人群和组织。这引发了一个问题：我们如何确保这个“社
  • King
  • 发布于 2024-12-02
  • 阅读 ( 1571 )
  • ( 2 )

Mina 上的 STO 和现实世界资产

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

Mina 白板会议 TL;DR

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

Mina 协议上的零知识机器学习

zkML将去中心化人工智能变成现实，验证计算并保持输入数据和模型的私密性。了解有关Mina即将推出的ZKML库的更多信息。介绍随着人工智能的不断发展，为数据驱动的决策提供强大的工具，它在与区块链的去中心化性质相结合时面临着挑战。人工智能在大型数据集和集中化的基础上蓬勃发展，以提高
Mina  OpenBuild 
  • King
  • 发布于 2024-11-26
  • 阅读 ( 1653 )
  • ( 7 )

推出 o1js v2.0: 為 Mina 生態系統提供更強大、更安全的 o1js

在o1jsv2.0中，新的版本引入了關鍵的安全優化和新的開發人員工具，以確保zkApps不僅更加強大，而且能更靈活地建立下一代加密應用程式。幾星期之前，在完成廣泛的外部審計後，Mina官方發布了o1jsv2.0—是o1js的最新版本。這個版本建立在今年較早時候的勢頭之上，
Mina 
  • 楊景輝
  • 发布于 2024-11-25
  • 阅读 ( 1529 )
  • ( 5 )

重新介绍 Mina：利用“万物证明”构建（真实）物联网

探索Mina的突破性区块链——通过单一、可组合的“一切证明”，实现今天的真理和明天的无限可扩展性。作者：埃文·夏皮罗和库尔特·赫梅克米娜的设计有所不同。随着2021年首次发布主网，Mina实现了一项突破——一个仅几千字节就能证明其整个状态的区块链。这使得任何人都可以在几毫秒内下
Mina  OpenBuild 
  • King
  • 发布于 2024-11-25
  • 阅读 ( 1962 )
  • ( 10 )

Kimchi：Mina 证明系统的最新更新

我们最近发布了Mina证明系统的更新，名为Kimchi。在这篇文章中，我们将介绍Kimchi是什么以及它的不同之处。简介作者：DavidWong，o1Labs加密工程师，Mina协议贡献者我们最近发布了Mina证明系统的更新，名为Kimchi。Kimchi是我们
Mina  Kimchi  zkApps  PLONK  OpenBuild 
  • King
  • 发布于 2024-11-22
  • 阅读 ( 1564 )
  • ( 10 )

探索Mina的獨特架構和zkApp應用例子

Mina架構簡介每個Mina智能合約的帳戶可容納8個任意字段的元素。每個字段的大小大約為32個bytes。這看起來可能不多，但考慮到在底層，以太坊使用了類似的機制，其中一個元素（worldstatetrie）引用了儲存在其他地方的任意數量的合約狀態。該引用字段稱為storag
Mina 
  • 楊景輝
  • 发布于 2024-11-22
  • 阅读 ( 1554 )
  • ( 8 )