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

Noir的背后：从代码到约束

本文深入探讨了Zero-Knowledge Proof（ZKP）及其在去中心化系统中的应用，重点介绍了Noir语言的编译过程。通过实例展示如何将高层次的Noir代码转换为ACIR（抽象电路中间表示），从而实现ZKP所需的数学约束，涵盖了从基本电路、Pedersen散列到动态内存访问与条件执行的更复杂电路的实现。
zero-knowledge proofs  Noir  ACIR  Pedersen hash  电路开发 

ZKP2P--以安全、私密且用户友好的方式弥合Web2与Web3之间的差距

ZKP2P的使命是以安全、私密且用户友好的方式弥合传统 Web2 平台与去中心化 Web3 平台之间的差距。ZKP2P最初的重点是创建最便宜、最快、欺诈率最低且最可组合的法币到加密货币的on/off ramp。
ZKP2P  ZK Email  zkTLS 

ZK 邮件 确保电子邮件隐私的零知识证明

ZK Email是一个利用零知识证明的前沿密码技术，旨在增强电子邮件的隐私和安全性。该技术能在不透露个人信息的情况下验证邮件的合法性，并能有效防止钓鱼攻击，实现去中心化身份验证。在文中，还详细介绍了ZK Email的工作原理、优点、技术细节、实际应用及未来发展方向。
ZK Email  零知识证明  电子邮件安全  去中心化身份验证  区块链应用  密码技术 
  • olympixai
  • 发布于 2025-03-15
  • 阅读 ( 489 )
  • ( 30 )

以太坊拨款支持的LLZK：一种新的中间表示（IR）……

Veridise获得以太坊基金会的资助，开发出名为LLZK的新中间表示（IR），旨在统一和简化零知识电路编译，从而解决该生态系统中存在的碎片化问题。LLZK通过提供模块化、灵活性和形式验证等特点，计划提升ZK语言的可维护性与安全性，并加速安全工具的发展。
零知识证明  中间表示  电路编译  安全工具  LLZK  以太坊基金会 
  • Veridise
  • 发布于 2025-03-13
  • 阅读 ( 285 )
  • ( 21 )

通往安全高效 zkVM 的路径：如何跟踪进展

本文讨论了零知识虚拟机（zkVM）在安全性和性能方面面临的重大挑战，并提出了一系列分阶段的安全和性能目标，以指导zkVM的开发与进步。尽管zkVM具有 democratize SNARKs 的潜力，但目前仍存在高复杂度、错误和性能慢的问题，需要数年时间才能实现基本目标。
zkVM  SNARK  安全性  性能  零知识证明  研究进展 

如何进行ZK：Noir与Circom比较

本文对Circom和Noir进行了高层次比较，探讨了它们的生态系统、工具集、性能以及最佳用例。Circom作为一个低级领域特定语言，关注于电路约束的细粒度控制，而Noir则是一种更高层次的语言，旨在简化开发者体验，使其无需手动管理约束，进而提升工具的灵活性和可用性。
circom  Noir  零知识证明  电路  生态系统  工具 

在Circom中确保正确的整数除法

文章探讨了在素数域 $ ext{F}_p$ 中整数除法的挑战，特别是在零知识证明（ZKP）中的应用。强调了传统除法符号可能导致多个有效解的问题，并提供了两种解决方案：比特位除法算法和约束商的其他方法，以确保唯一性和安全性。讨论了使用 Circom 实现的具体代码示例及其优缺点。
整数除法  零知识证明  circom  素数域  电路约束 
  • thogiti
  • 发布于 2025-01-20
  • 阅读 ( 51 )

零知识证明 - RISC0 zkVM源代码入门

RISC0是一个zkVM
零知识证明  R1CS 
  • Star Li
  • 发布于 2025-01-19
  • 阅读 ( 1254 )

Mina的测试框架

目录介绍我们在测试什么1.网络连接和节点管理网络连接单节点节点发现测试Rust接受OCaml的入站连接OCaml连接到广告的Rust节点通过OCaml种子节点发现Rust和OCaml节点OCaml节点发现测试OCaml到RustRust到OCaml通过种子
Mina  OpenBuild 
  • King
  • 发布于 2024-12-29
  • 阅读 ( 1010 )
  • ( 9 )

OpenMina: 测试用例说明

目录P2P测试RPCKademliaIdentifyConnection场景连接发现P2P连接KademliaPubsubP2P入站P2P出站单节点多节点记录/重放P2P测试RPCrust_to_rust:测试Rust节点是否可以
Mina  OpenBuild 
  • King
  • 发布于 2024-12-29
  • 阅读 ( 910 )
  • ( 5 )

[Stark101] 3. 承诺（Commitments）

in  ZK101

承诺（Commitments）是Stark中用于去除需要交互验证的步骤，通过将Trace的值进行默克尔树构建，从而获得虚拟的交互验证。
STARK  Stark101  零知识证明  教程 
  • BoxChen
  • 发布于 2024-12-28
  • 阅读 ( 1235 )
  • ( 12 )

[Stark101] 2.低度拓展 (LDE)

in  ZK101

低度拓展(LDE)是Stark中用于提高安全性的一个步骤，通过把多项式的域拓展到更大的域，从而提高计算的安全性。
零知识证明  零知识证明入门  STARK 
  • BoxChen
  • 发布于 2024-12-28
  • 阅读 ( 1201 )
  • ( 10 )

[Stark101] 1.计算轨迹

in  ZK101

计算轨迹是 Stark 的第一步，也是最简单的一步，但是最为重要的一步。
但是在章节开始之前，你需要必须 🚨掌握以下前置知识：
零知识证明  零知识证明入门  STARK  教程 
  • BoxChen
  • 发布于 2024-12-28
  • 阅读 ( 1229 )
  • ( 11 )

[Stark101] 0.序章

in  ZK101

重要‼️Stark101虽然是希望成为任何软件工程师的入门教程，但是ZK确实有太多不得不说的概念，不过，我会尽量用最简单，最少公式的方式来讲解。所以，Start101绝对不会教会你如何成为数学大师，其目的在于让你轻松的理解Stark的逻辑。但是你需要遵守以下规则：任何标题开头为附加内容
零知识证明  zk  教程  STARK 
  • BoxChen
  • 发布于 2024-12-28
  • 阅读 ( 2290 )
  • ( 13 )

OpenMina: 提交和生成新的 SNARK

SNARK证明是Mina区块链的核心，用于验证交易、区块和其他SNARK的有效性。我们希望优化SNARK的生产过程，以确保Mina区块链能够持续运行和扩展。这是SNARK工作流程的概述。点击图片查看高分辨率版本：接收区块以更新可用任务由于区块同时包含交易和SNAR
Mina  OpenBuild 
  • King
  • 发布于 2024-12-28
  • 阅读 ( 972 )
  • ( 4 )

OpenMina: 扫描状态

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

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

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

Open Mina 节点介绍

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

Mina: 展望 2025 年

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

Noir 的电路后端

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