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

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

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

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

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

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

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

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

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

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

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

解决SNARK中的漏洞：未来的道路

这篇文章探讨了在区块链世界中，SNARKs（简洁非交互式知识论证）的安全性和正式验证的重要性，尤其是在Jolt这一用于RISC-V的zkVM的上下文中。文章概述了Jolt推出以来在性能和功能上的提升，并详细描述了为实现正式验证所采取的具体步骤与未来计划。作者强调了当前工具链中存在的风险，呼吁在广泛使用之前确保其安全性。
SNARKs  Jolt  zkVM  正式验证  RISC-V  安全 

Kailua：其工作原理

本文介绍了Kailua，一个旨在将乐观Rollup升级为混合ZK Rollup的软件套件。Kailua通过引入新颖的故障证明游戏，解决了当前rollup的核心问题，如降低运营成本、减少抵押要求和最终性延迟，同时提高了安全性和性能。文章详细阐述了Kailua的组件、工作原理及其在实际应用中的潜力。
Kailua  乐观Rollup  混合ZK Rollup  RISC Zero  故障证明游戏  零知识证明 

探索 ZK 框架：用 5 种不同的 ZK 语言实现的 Mastermind 游戏

探索 ZK 框架：用 5 种不同的 ZK 语言实现的 Mastermind 游戏
Noir  circom  gnark  Halo2  Arkworks 
  • Veridise
  • 发布于 2024-11-14
  • 阅读 ( 952 )
  • ( 18 )

【zkMIPS系列】DEEP-FRI解析

in  zkMIPS解读

DEEP-FEI理论与分析
zkVM  zkMIPS 
  • ZKM
  • 发布于 2024-11-14
  • 阅读 ( 822 )
  • ( 16 )

10 篇塑造现代零知识证明的必读论文

10 篇塑造现代零知识证明的必读论文
ZKP 

zkVM Jolt：更新

本文介绍了a16z加密团队发布的Jolt zkVM的初始实现及其性能和可用性的改进，包括验证成本的显著降低，集成折叠技术以提升多项式承诺方案和简单性。此外，文章详细描述了Jolt的各项新特性和未来的发展方向，包括对RISC-V的支持、开源贡献者所做的改进与正式验证的进展。
zkVM  Jolt  RISC-V  多项式承诺  零知识证明  正式验证 

zkVM 测试报告：评估 Nescience 的零知识虚拟机

zkVM 测试报告
zkMIPS  zkVM  zkWasm 
  • Vac.dev
  • 发布于 2024-11-12
  • 阅读 ( 1080 )
  • ( 18 )

zkVoting：基于零知识证明的抗胁迫和端到端可验证的电子投票系统

这是一篇论文解读：zkVoting:Zero-knowledge proof based coercion-resistant and E2E verifiable e-votings ystem
ZKP 

范围证明

in  零知识证明之书

本文详细介绍了Bulletproofs在范围证明中的构建方法，通过验证向量aL的二值性和其与向量2n的内积来证明标量v的范围在2^n内。文章还展示了几种代数技巧，并通过Monero的使用实例说明了该技术的应用。
Bulletproofs  范围证明  内积证明  Monero  零知识证明 

通用的ZK证明生成层 Fermah

在推特上看到了一篇对Fermah联合创始人兼CEOVanishreeRao的采访，其中有两个问题值得关注：（1）零知识证明在区块链中的发展经历了三个重要阶段；（2）ZK领域当前最紧迫的两个挑战。
ZKP  Fermah 

向量承诺的简洁证明

in  零知识证明之书

文章介绍了如何在不发送整个向量的情况下，证明已知 Pedersen 向量承诺的开启，并详细描述了算法的实现和安全问题。
Pedersen Commitment  inner product  outer product  Zero Knowledge  verifier  prover 

零知识乘法

in  零知识证明之书

文章详细介绍了如何使用多项式承诺方案在零知识证明中验证多项式乘法的正确性，包括算法步骤和优化方法，并附有代码实现。
多项式承诺  零知识证明  Schwartz-Zippel Lemma  椭圆曲线  Pedersen承诺  有限域 

探索 zkVMs：哪些项目真正符合零知识虚拟机的标准？

探索市面上的 zkVMs：哪些项目真正符合零知识虚拟机的标准？
zkVM  零知识证明 
  • Vac.dev
  • 发布于 2024-10-25
  • 阅读 ( 1999 )
  • ( 58 )

Bitlayer Research：Binius STARKs原理解析与优化思考

第1,2,3代STARK证明系统位宽分别为252,64和32bit，编码效率虽有提高，但仍有浪费空间；Binius直接对位操作，编码紧凑高效，很可能是未来的第4代STARK。
STARK  ZK Rollup 

零知识证明的先进形式化验证：如何验证一条ZK指令

in  CertiK 安全知识分享

为了深入理解形式化验证技术是如何应用于zkVM（零知识虚拟机）之上的，本文将聚焦于单条指令的验证。
  • CertiK
  • 发布于 2024-10-11
  • 阅读 ( 1115 )
  • ( 38 )