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

【二】NOVA 系列之circuit

近期NOVA作为当前ZK领域热门的FoldingScheme解决方案，备受工业界追捧，该系列专题将逐一拆解它：PedersonandPoseidonR1CSNIFSCircuitRecursiveSNARKCompressedSNARK希望通过详尽且直白的逻辑能够把NOVA
Nova  zkSNARK  folding 
  • 白菜
  • 发布于 2023-06-16
  • 阅读 ( 3734 )
  • ( 17 )

如何创建一个 ZK 智能合约

如何创建 零知识证明并在Solidity 合约中验证
circom  零知识证明  智能合约 

RLN:零知识证明防女巫方案简介

RLN:零知识证明防女巫方案简介
女巫攻击  零知识证明 
  • 古千峰
  • 发布于 2023-06-14
  • 阅读 ( 2963 )
  • ( 4 )

【一】NOVA 系列之NIFS

本系列专题为NOVA系列专题，分六个主题：PedersonandPoseidon， R1CS， NIFS， Circuit， RecursiveSNARK， CompressedSNARK希望通过详尽且直白的阐述能够把NOVA整个框架的设计理念传达到读者，最终落地到实际的crypto应用场景中。
Nova  zkSNARK  folding 
  • 白菜
  • 发布于 2023-06-13
  • 阅读 ( 4689 )
  • ( 53 )

零知识证明：应用和具体用例

零知识证明（Zero-KnowledgeProofs，ZKPs）是应用密码学中令人兴奋的突破，将在各个行业中解锁新的用例，
零知识证明 

Cobo 密码知识讲堂｜第一讲：门限签名的概念与应用

in  Cobo 密码知识讲堂
本文介绍了门限签名的概念与应用。首先阐述了数字签名的基本概念和分类，随后引出解决单点失效风险的门限签名概念，并比较了门限签名与多重签名的优势，如灵活性、匿名性和可扩展性。最后，探讨了门限签名在区块链领域中的典型应用，包括保障账户安全、跨链资产锁定和共识机制设计。
门限签名  数字签名  多重签名  区块链  账户安全  跨链 
  • Cobo
  • 发布于 2023-06-03
  • 阅读 ( 596 )

STARKs中的算术化 - AIR简介 - I

这篇文章深入探讨了STARKs中的算术化方法以及其与计算完整性之间的关系，主要聚焦于AIR及其变体PAIR。文章详细分析了在STARKs中的算术中介表示、执行轨迹的定义和构建、以及多元多项式的约束形式。作者提供了丰富的数学背景支持，并通过示例和公式说明了算术化过程的具体实施方案，是一篇技术深度和结构清晰的文章。
STARKs  AIR  算术化  执行轨迹  多项式  计算完整性 

秘密进行，公开断言：不要在ZK程序中过度约束Prover的witness计算 - ZKSECURITY

本文深入探讨了零知识证明（ZK）应用开发中常见的安全漏洞，重点强调了在构建ZK应用时，开发者必须充分约束证明者的计算，否则验证者可能会验证无意义的内容。文章通过具体例子，例如除法和平方根运算，展示了如何避免因Prover/Verifier阶段分离不清而引入的约束不足问题，并强调了代码审查和安全审计在保障ZK应用安全性的重要性。
零知识证明  zk应用  安全漏洞  prover  verifier  约束 

私有委托计算已至，且必有漏洞！- ZKSECURITY

本文介绍了零知识密码学这一新兴领域，阐述了其与可信计算和机密计算的关系，并探讨了零知识证明（ZKP）在私有委托计算中的应用，以及ZKP技术可能带来的安全挑战。最后，文章宣布成立专注于零知识证明技术的安全咨询公司zksecurity.xyz。
零知识证明  可信计算  机密计算  私有委托计算  zksecurity  密码学 

ZK友好的哈希函数

本文探讨了ZK-friendly哈希函数的设计原则和性能，详细介绍了几种AOC（算术化导向密码）。文章分析了MiMC、Poseidon、Vision和Rescue等多个哈希函数在SNARK和STARK协议中的效率，强调了在不同上下文中选择合适哈希函数的重要性，同时也提及了新提出的高效哈希函数如Anemoi和Griffin。
哈希函数  零知识  SNARK  STARK  AOC  密码学 
  • zellic
  • 发布于 2023-05-31
  • 阅读 ( 1589 )

Aleo共识机制：Aleo的简洁工作量证明（Proof-of-Succinct-Work）探索

本文介绍了Aleo区块链平台的Proof of Succinct Work (PoSW)共识机制，该机制利用zk-SNARKs零知识证明技术，在保证网络安全的同时，实现了交易隐私保护。PoSW通过要求矿工构建和验证zk-SNARKs，将隐私增强特性融入到网络核心操作中，提高了网络的效率和可扩展性。同时分析了PoSW的优势、挑战以及未来的发展方向。
zk-SNARKs  零知识证明  共识机制  隐私保护  区块链  PoSW 

基于Noir和Nextjs的ZK加法dApp

本文详细介绍了如何使用Noir和Next.js构建一个基础的零知识（zk）DApp，展示了如何验证两个数字的和，而不透露实际数字。文章提供了清晰的步骤指导，包括代码片段、依赖安装、合约部署和前端验证，适合希望学习zk-DApp开发的读者。
零知识证明  DApp  Noir  Next.js  智能合约  区块链 

密码学家族：Blum, Blum和Blum

本文介绍了密码学领域中Blum家族（Manuel Blum, Lenore Blum和Avrim Blum）的贡献。他们共同在伪随机数生成器（如Blum Blum Shub），公钥加密系统（Blum-Goldwasser）和CAPTCHA等领域做出了重要贡献，并对后来的密码学和人工智能研究产生了深远影响。
Manuel Blum  Lenore Blum  Avrim Blum  Blum整数  Blum-Blum-Shub  CAPTCHA 

零知识证明：应用和具体用例

零知识证明（Zero-KnowledgeProofs，ZKPs）是应用密码学中令人兴奋的突破，将在各个行业中解锁新的用例，从Web3到供应链再到物联网。通过在不揭示信息的情况下验证其真实性，ZKPs可以增强数字系统的隐私、安全性和效率。本文将探讨ZKPs的基础知识和正在出现的潜在用例。
  • Chainlink
  • 发布于 2023-05-12
  • 阅读 ( 7887 )
  • ( 35 )

零知识证明硬件加速：过去、现在与未来

本文探讨了零知识证明（ZKP）的硬件加速方案，对比了使用FPGA、GPU和ASIC的优劣。虽然FPGA在单位功耗性能上与GPU相当，但在性价比上不如GPU。ASIC在性能和功耗方面都优于FPGA和GPU，但开发周期较长、成本高昂，并需要考虑可编程性的问题。文章还提出了使用指令集架构（ISA）来解决ASIC可编程性问题的方案，并展望了未来ZKP硬件加速的发展趋势，认为ASIC最终可能会成为主导。
零知识证明  硬件加速  FPGA  GPU  ASIC  多标量乘法 
  • Cysic_
  • 发布于 2023-04-28
  • 阅读 ( 1062 )

安比实验室创始人郭宇：ZK 技术的学习心得和经验分享

ZKP和zkSNARK是密码学里一个非常重要的分支，在以太坊的发展过程中异常强大，是以太坊可扩展性未来的途径。
零知识证明 

zkSNARKS，Circom（第二部分）

本文深入探讨了zkSNARKs和Circom的应用，重点讨论了不同哈希函数（如MiMC、Pedersen、Poseidon）在零知识证明中的使用及其优缺点。
zkSNARKs  circom  MIMC  Pedersen hash  Poseidon  零知识证明 

zkSNARKS，Circom（第一部分）

本文深入探讨了 zkSNARKs 技术的基本概念、原理及在 Circom 中的实现，逐步引导读者从最基础的电路构建入门到实际应用，包括加密验算的证明过程。作者通过示例代码和详细步骤，帮助开发者理解如何有效地使用这个技术。文章结构清晰，内容丰富，适合希望深入学习 zkSNARKs 的读者。
zkSNARKs  circom  证明系统  电路设计  加密技术  区块链 

ZK-SNARKs中的算术化

零知识证明（ZKP）正在因其在代理计算给不受信任的服务器，解决去中心化账本的可扩展性问题等方面的诸多应用而逐渐变得流行起来。
零知识证明 
  • XPTY
  • 发布于 2023-04-19
  • 阅读 ( 4108 )

科普: 零知识证明, SNARK与STARK 及使用场景

零知识证明使用场景分析，在 Rollup 之外，还可以应用在哪？
零知识证明  zkSNARK  zkSTARK