这是一系列博文中的第三篇,探讨了Mina的治理如何从集体智慧中学习,集体智慧将人群大规模组织起来,以往往优于个人单独解决的方式解决复杂的公共问题。治理对于Mina协议的未来至关重要,以便在符合Mina社区愿望的同时有效地做出关键决策。这就提出了一个问题:Mina协议的治理应该如何
本教程分享基于o1js2.*开发一个去中心化应用(DApp),构建一个基于零知识证明(ZKP)的寻宝游戏。游戏中,玩家扮演精英盗贼,需完成一系列盗宝任务。通过零知识证明,玩家可以向系统展示任务完成的真实性,同时保护任务细节(如密码、路线或地点等)。整个游戏采用去中心化架构,智能合约确保公平性,
本文是 Plonky2: 使用 PLONK 和 FRI 的快速递归论证 论文中文翻译.
RWA和STO连接传统金融和区块链,在1860亿美元的市场中实现有形资产和金融工具的代币化所有权,并增强流动性、透明度和监管合规性。什么是STO和RWA?现实世界资产代币(RWAs)和证券型代币发行(STOs)将传统金融与区块链技术相结合。RWAs是代表有形资产(
Zengo的安全多方计算ECDSAGG18和GG20代码详解
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
这篇文章探讨了在区块链世界中,SNARKs(简洁非交互式知识论证)的安全性和正式验证的重要性,尤其是在Jolt这一用于RISC-V的zkVM的上下文中。文章概述了Jolt推出以来在性能和功能上的提升,并详细描述了为实现正式验证所采取的具体步骤与未来计划。作者强调了当前工具链中存在的风险,呼吁在广泛使用之前确保其安全性。
本文介绍了Kailua,一个旨在将乐观Rollup升级为混合ZK Rollup的软件套件。Kailua通过引入新颖的故障证明游戏,解决了当前rollup的核心问题,如降低运营成本、减少抵押要求和最终性延迟,同时提高了安全性和性能。文章详细阐述了Kailua的组件、工作原理及其在实际应用中的潜力。
探索 ZK 框架:用 5 种不同的 ZK 语言实现的 Mastermind 游戏
DEEP-FEI理论与分析
本文介绍了零知识证明(Zero-Knowledge Proofs, ZKP)的基本概念、类型、优势、局限性及其未来应用。通过Alice和Bob的例子解释了ZKP的工作原理,并详细讨论了zk-SNARKs和zk-STARKs两种主要类型。
10 篇塑造现代零知识证明的必读论文
本文介绍了a16z加密团队发布的Jolt zkVM的初始实现及其性能和可用性的改进,包括验证成本的显著降低,集成折叠技术以提升多项式承诺方案和简单性。此外,文章详细描述了Jolt的各项新特性和未来的发展方向,包括对RISC-V的支持、开源贡献者所做的改进与正式验证的进展。
扫一扫 - 使用登链小程序
380 篇文章,833 学分
117 篇文章,524 学分
67 篇文章,497 学分
113 篇文章,445 学分
147 篇文章,328 学分