一个网站想避免使用私钥作为认证数据,给每个用户额外分配了随机数据(pepper)。这个随机数据只有用户自己知道。在使用认证之前,用户需要计算{公钥}_{pepper}的hash值提交到网站。使用认证的过程,用户需要生成零知识证明,证明某个用户知道确定的pepper。
基于一个比较小的域,实现了一个Lookup协议。
通过讲解证明者和验证者之间的关系,以及如何使用 ZKP 实现隐私保护的机制。文中零知识证明的基本原理与公式,举例说明 Tornado Cash 如何通过零知识证明确保用户交易的匿名性
什么是Protokit?Protokit是一个用于构建启用隐私的应用程序链(又名zk-roll-apps/zk-rollups)的框架。使开发人员能够以最小的学习曲线构建零知识隐私保护应用程序。该框架本身由O1JS,用于构建zkApps的SDK。得益于O1JS,所有使用Pro
可证明的代码为了让zk-rollup验证其操作的正确性,它必须能够证明,例如交易已正确执行。这是可能的,因为所有底层Protokitrollup代码都是使用o1js编写为zk电路。因此创建可证明的代码,从而产生zk证明。o1js是什么?o1js是由Mina背后的
zkHack的Puzzle是我比较喜欢的活动。通过实例编码深入理解零知识证明的细节是比较高效的学习方式。zkHackV前几天已经开始了。这篇文章分析一下第一道题目
Tornado Cash:开发者参考手册
这是一系列博文中的第三篇,探讨了Mina的治理如何从集体智慧中学习,集体智慧将人群大规模组织起来,以往往优于个人单独解决的方式解决复杂的公共问题。治理对于Mina协议的未来至关重要,以便在符合Mina社区愿望的同时有效地做出关键决策。这就提出了一个问题:Mina协议的治理应该如何
本教程分享基于o1js2.*开发一个去中心化应用(DApp),构建一个基于零知识证明(ZKP)的寻宝游戏。游戏中,玩家扮演精英盗贼,需完成一系列盗宝任务。通过零知识证明,玩家可以向系统展示任务完成的真实性,同时保护任务细节(如密码、路线或地点等)。整个游戏采用去中心化架构,智能合约确保公平性,
本文是 Plonky2: 使用 PLONK 和 FRI 的快速递归论证 论文中文翻译.
RWA和STO连接传统金融和区块链,在1860亿美元的市场中实现有形资产和金融工具的代币化所有权,并增强流动性、透明度和监管合规性。什么是STO和RWA?现实世界资产代币(RWAs)和证券型代币发行(STOs)将传统金融与区块链技术相结合。RWAs是代表有形资产(
zkTLS 简介
深入探讨了允许 Mina 分发数据和并行化证明的技术细节
zkML将去中心化人工智能变成现实,验证计算并保持输入数据和模型的私密性。了解有关Mina即将推出的ZKML库的更多信息。介绍随着人工智能的不断发展,为数据驱动的决策提供强大的工具,它在与区块链的去中心化性质相结合时面临着挑战。人工智能在大型数据集和集中化的基础上蓬勃发展,以提高
在o1jsv2.0中,新的版本引入了關鍵的安全優化和新的開發人員工具,以確保zkApps不僅更加強大,而且能更靈活地建立下一代加密應用程式。幾星期之前,在完成廣泛的外部審計後,Mina官方發布了o1jsv2.0—是o1js的最新版本。這個版本建立在今年較早時候的勢頭之上,
MPC 托管钱包技术如何选型(建议性文档)
探索Mina的突破性区块链——通过单一、可组合的“一切证明”,实现今天的真理和明天的无限可扩展性。作者:埃文·夏皮罗和库尔特·赫梅克米娜的设计有所不同。随着2021年首次发布主网,Mina实现了一项突破——一个仅几千字节就能证明其整个状态的区块链。这使得任何人都可以在几毫秒内下
我们最近发布了Mina证明系统的更新,名为Kimchi。在这篇文章中,我们将介绍Kimchi是什么以及它的不同之处。简介作者:DavidWong,o1Labs加密工程师,Mina协议贡献者我们最近发布了Mina证明系统的更新,名为Kimchi。Kimchi是我们
Mina架構簡介每個Mina智能合約的帳戶可容納8個任意字段的元素。每個字段的大小大約為32個bytes。這看起來可能不多,但考慮到在底層,以太坊使用了類似的機制,其中一個元素(worldstatetrie)引用了儲存在其他地方的任意數量的合約狀態。該引用字段稱為storag
探索 ZK 框架:用 5 种不同的 ZK 语言实现的 Mastermind 游戏
扫一扫 - 使用登链小程序
41 篇文章,419 学分
72 篇文章,310 学分
29 篇文章,260 学分
157 篇文章,173 学分
20 篇文章,166 学分