密码学文章 - 第3页

隆重推出“httpz”：值得信赖的互联网

发掘“httpz”的变革潜力，零知识证明和Mina协议融合在一起，建立一个植根于信任和可验证性的互联网。作者：威尔·科夫|Mina基金会社区负责人对现代网络的信任正在迅速下降。作为用户，我如何知道我正在与机器人还是人类交互？该视频是真实的还是人工智能生成的深度伪造视频？我导师的在线资

King
发布于 2024-12-25
阅读 ( 386 )

Mina: 展望 2025 年

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

Mina OpenBuild

King
发布于 2024-12-24
阅读 ( 875 )
( 14 )

Noir 的电路后端

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

Noir zk-SNARK PLONK 约束系统电路 Aztec

jtriley
发布于 2024-12-23
阅读 ( 168 )

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

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

zkSNARKs 多方计算安全分布式秘密证明系统协作式证明

EthTaipei
发布于 2024-12-18
阅读 ( 17 )

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

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

零知识证明 zkHack

Star Li
发布于 2024-12-17
阅读 ( 1240 )

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

基于一个比较小的域，实现了一个Lookup协议。

零知识证明 zkHack

Star Li
发布于 2024-12-17
阅读 ( 1193 )

剥开零知识证明的洋葱

通过讲解证明者和验证者之间的关系，以及如何使用 ZKP 实现隐私保护的机制。文中零知识证明的基本原理与公式，举例说明 Tornado Cash 如何通过零知识证明确保用户交易的匿名性

ZKP

Krishang
发布于 2024-12-16
阅读 ( 678 )
( 10 )

Protokit 是什么？

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

Mina OpenBuild Protokit

King
发布于 2024-12-14
阅读 ( 612 )
( 4 )

Protokit：快速入门

可证明的代码为了让zk-rollup验证其操作的正确性，它必须能够证明，例如交易已正确执行。这是可能的，因为所有底层Protokitrollup代码都是使用o1js编写为zk电路。因此创建可证明的代码，从而产生zk证明。o1js是什么？o1js是由Mina背后的

Mina OpenBuild Protokit

King
发布于 2024-12-14
阅读 ( 638 )
( 4 )

椭圆曲线配对

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

椭圆曲线双线性配对有限域扩展域密码学优化

jtriley
发布于 2024-12-12
阅读 ( 306 )

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

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

Dart Flutter 伪随机数生成器安全漏洞加密 Proton Wallet