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

Open Mina 节点介绍

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

Mina: 展望 2025 年

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

Noir 的电路后端

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

关于协作式 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
  • 阅读 ( 1930 )

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

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

剥开零知识证明的洋葱

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

盲签名与匿名集

本文介绍了 Cashu 中盲签名的基本原理，以及ecash 通常只能使用少数几种钱币面额（例如 2 的幂）来表示价值的原因。文章解释了盲签名的工作原理，并通过一个简化的例子展示了如何以盲签名为核心构造一种支付系统，同时讨论了密钥集大小对效率和隐私性的影响。
盲签名  Cashu  Chaumian eCash  密钥集  匿名集  数额盲化 

Protokit 是什么？

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

Protokit：快速入门

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

椭圆曲线配对

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

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

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

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

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

Jolt技术详解：RISC-V零知识虚拟机 - ZKSECURITY

本文详细介绍了Jolt zkVM 的工作原理，它是一个为 RISC-V 架构设计的零知识虚拟机，由 a16z 开发，并采用 Lasso 查找参数来证明 VM 执行的正确性，文章详细解释了指令查找、离线内存检查和 Rank-1 约束系统 (R1CS) 三个主要组件，以及它们如何协同工作以确保 VM 执行的正确性。
Jolt zkVM  零知识虚拟机  RISC-V  Lasso  查找参数  R1CS 

Tornado Cash：开发者参考手册

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

Mina 作为参与实验室

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

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

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

ShutterTEE：通过网格化阈值密码学和最先进 TEE 实现分层安全

ShutterTEE 是一个结合可信执行环境（TEE）和阈值密码学的分层安全方案，旨在增强 Shutter 协议中 Keyper 节点的安全性。通过在 SGX enclave 中运行 Keyper，并结合阈值密码学，ShutterTEE 旨在降低中心化风险，提高密码学弹性，并最终实现对 MEV 的抵抗。
可信执行环境  阈值密码学  SGX  MEV  Shutter Network  Keyper 
  • shutter
  • 发布于 2024-12-06
  • 阅读 ( 66 )

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

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

Plonky2 论文翻译

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