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

OpenMina: 扫描状态

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

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

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

Open Mina 节点介绍

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

Mina: 展望 2025 年

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

Noir 的电路后端

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

关于协作式 zk-SNARKs 的简要说明

本文介绍了协作式 zk-SNARKs 的概念及其在多方计算 (MPC) 中的应用，重点讨论了实现协作 zk-SNARKs 的方法，包括选择合适的 MPC 方案、通用 zk-SNARK 方案的多方扩展和性能优化。文中强调了分布式秘密的安全计算和验证能力，以及在实际应用中的有效性和性能表现。
zkSNARKs  多方计算  安全  分布式秘密  证明系统  协作式证明 

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

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

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

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

剥开零知识证明的洋葱

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

Protokit 是什么？

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

Protokit：快速入门

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

椭圆曲线配对

本文深入探讨了椭圆曲线双线性配对的概念，涵盖了相关理论、实现步骤及高级优化。文章首先介绍了有限域和扩展域的基础知识，随后详细说明了椭圆曲线及其在双线性配对中的应用，并分析了计算中的复杂性与优化方法，文末还提供了学习资源。整体上，内容具有较高的深度和逻辑性，为想深入了解椭圆曲线密码学的读者提供了良好的基础。
椭圆曲线  双线性配对  有限域  扩展域  密码学  优化 
  • jtriley
  • 发布于 2024-12-12
  • 阅读 ( 429 )

随机数问题：Dart/Flutter弱伪随机数生成器的三个错误

本文讨论了开发者在Dart/Flutter生态系统中使用不安全的伪随机数生成器（PRNG）所导致的安全漏洞，导致多个项目受到威胁。具体案例包括Dart SDK的漏洞、Proton Wallet的加密缺陷以及SelfPrivacy的可预测密码问题。文章深入分析了这些漏洞的技术细节和影响，并强调了使用安全、加密的随机数生成器的重要性。
Dart  Flutter  伪随机数生成器  安全漏洞  加密  Proton Wallet 
  • zellic
  • 发布于 2024-12-12
  • 阅读 ( 425 )

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

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

Tornado Cash：开发者参考手册

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

Mina 作为参与实验室

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

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

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

ZK加速曼谷大会：视频、照片和回顾

Ingonyama 于2024年11月11日举办了第三届 ZK Accelerate 大会，重点关注 ZK 产品和工程，包括技术讲座、小组讨论、演示和领先公司的参展摊位。本次活动汇集了近3000名参与者，展示了 ZK 产品和工程的日益增长的势头和广泛的兴趣。活动包含23场技术讲座、2个小组讨论。
零知识证明  zk-SNARK  zk-STARK  隐私技术  密码学  ZK加速 

Plonky2 论文翻译

本文是 Plonky2: 使用 PLONK 和 FRI 的快速递归论证 论文中文翻译.

zk  Plonky2 
  • longerd
  • 发布于 2024-12-04
  • 阅读 ( 828 )
  • ( 29 )

连续只读内存约束：一个使用Lambdaworks的实现

本文深入探讨了STARKs中约束的概念，并通过Lambdaworks库，以Cairo的非确定性连续只读内存的约束实现为例，详细解释了如何使用多项式来总结trace values之间的高度复杂关系。文章详细介绍了连续只读内存的定义，以及如何通过引入排序和辅助列，将验证内存属性简化为验证连续性约束、单值约束和排列约束。
STARKs  约束  Cairo  只读内存  多项式  Lambdaworks  密码学  零知识证明