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

2023年值得期待的加密叙事之 ZK-rollups

随着 zkSync、Starknet 和 Polygon zkEVM 即将推出的代币，ZK-rollup加密叙事继续深入布局。
  • Tokenview
  • 发布于 2023-02-03
  • 阅读 ( 2728 )
  • ( 9 )

第五章：智能的代价

本文介绍了通过零知识证明（ZKP）在区块链上进行机器学习推理的成本和性能研究，重点分析了不同ZKP系统在处理AI模型时的生成时间和内存使用情况，并探讨了相关应用场景。
零知识证明  机器学习  AI推理  Ethereum  ZKML  区块链 

多项式承诺，正在重塑整个区块链

多项式承诺正在重塑整个区块链的架构，不论是在链的数据结构优化上，模块化区块链的数据可用性上，还是零知识证明系统上都将大有作为。
多项式承诺  KZG 

zkEVM 背后的技术发展：从多项式承诺到硬件加速

在本文中，我们将研究使 zkEVM 成为可能的技术进展。我将尽量简化以使其易于理解。以下是推动 zkEVM 进步的四项技术进展
零知识证明  zkEVM 
  • XPTY
  • 发布于 2023-01-30
  • 阅读 ( 2600 )

使用 SnarkJS 和 Circom 的零知识证明

本文介绍了如何使用JavaScript中的zk-SNARK技术，特别是通过Circom和SnarkJS库来生成和验证零知识证明。首先解释了零知识证明的基本概念及其在区块链中的应用，接着介绍了如何安装Circom和SnarkJS，并详细说明了如何编写电路代码以生成证明，最后展示了验证证明的步骤。读者在完成后应该对如何在JavaScript项目中实现zk-SNARK有初步的理解和实践能力。
零知识证明  zk-SNARK  circom  snarkjs  区块链  JavaScript 

零知识证明| 什么是ZK-STARK以及有哪些技术优势？

本期内容我们将继续介绍另外两种零知识证明类型ZK-STARK和递归ZK-SNARK？
zkSTARK 
  • Tokenview
  • 发布于 2023-01-09
  • 阅读 ( 3476 )
  • ( 7 )

什么是零知识证明，如何守护Web3隐私？|Tokenview

零知识证明（Zero-knowledgeproofs）是一种在不暴露声明本身的情况下证明声明有效性的方法。
零知识证明 
  • Tokenview
  • 发布于 2022-12-29
  • 阅读 ( 4242 )
  • ( 15 )

零知识编程语言

文章介绍了零知识证明编程语言的工作原理，并列举了几种流行的零知识证明编程语言，如Circom、Zokrates、Noir和Cairo，同时讨论了它们在区块链和隐私保护中的应用。
零知识证明  编程语言  circom  ZoKrates  Noir  Cairo 

什么是 零知识证明：ZK-SNARKs？|Tokenview

零知识证明（Zero-knowledgeproofs）是允许一方向另一方透露信息知识而不透露信息本身的机制。ZK证明也称为有效性证明，最初用于隐藏以隐私为中心的区块链中的交易细节。
zkSNARK  零知识证明 
  • Tokenview
  • 发布于 2022-12-23
  • 阅读 ( 5817 )
  • ( 25 )

Paillier 同态加密算法

Paillier 同态加密算法
算法  同态加密  FHE 
  • alphjon
  • 发布于 2022-11-28
  • 阅读 ( 4800 )
  • ( 12 )

密码学：后量子密码学中的模数是多少？

公钥加密的旧篇章即将结束，新篇章即将开启。在20世纪70年代末完成的工作对我们很有帮助，但现在我们面临着量子计算机会打破这些方法的威胁。
密码学 

零知识证明 - FPGA vs. GPU

本文从MSM的计算入手，分析FPGA和GPU加速零知识证明计算的优缺点。
零知识证明  FPGA  GPU  硬件加速 
  • Star Li
  • 发布于 2022-09-19
  • 阅读 ( 8106 )
  • ( 3 )

零知识文献，第一部分和第二部分

本文汇总了一系列关于零知识技术的资源，其中包括零知识证明的基础、历史演变、应用以及相关论文的阅读列表。这些内容充分展示了零知识证明在区块链可扩展性和隐私保护应用中的重要性，涵盖了从理论到实践的多个方面，适合希望深入理解这一领域的读者。
零知识证明  区块链  隐私保护  SNARKs  加密技术  计算机科学 

SNARK安全性和性能

本文深入探讨了SNARK（简洁非交互式知识论证）的性能、成本和安全性，尤其是在与量子安全相关的背景下。它比较了不同类型的SNARK及其在去中心化设置中的应用，同时提出了确保SNARK安全性和性能的建议。
SNARK  PQ-SNARK  安全性  验证成本  量子攻击  多项式承诺 

使用 SNARKs 批处理 ECDSA 签名

我们带来了 circom-batch-ECDSA，一个基于circom-ECDSA（由0xPARC 社区中其他人之前完成的工作）之上的概念验证实现，其灵感来自halo2-batch-ECDSA，它允许在单个 SNARK 中显著更快地验证一批 ECDSA 签名。
零知识证明  zkSNARK  ECDSA 
  • XPTY
  • 发布于 2022-09-14
  • 阅读 ( 3294 )

什么是多方计算（MPC）钱包？

本文介绍了多方计算（MPC）钱包的概念、原理、优势与不足。MPC 是一种加密技术，允许多方在不泄露各自输入的情况下联合计算函数。MPC钱包通过多方计算技术，为个人、公司、金融机构和政府提供强大的数字资产管理安全保障，着重对比了 MPC 钱包与多重签名钱包的区别，并分析了 Zengo、Coinbase、Fireblocks 等使用 MPC 技术的 Web3 钱包。
多方计算  MPC  MPC 钱包  多重签名钱包  密码学  数字资产 
  • Alchemy
  • 发布于 2022-09-03
  • 阅读 ( 141 )

关于Groth16延展攻击

Geometry是Kobi Gurkan 等人所在的一个新成立不久的研究组织，Kobi本人曾给ZK HACK 出过9道puzzles，这次又合作给出了这个关于Groth16延展攻击的新puzzle：ZK Hack x Geometry Puzzle I
Groth16  零知识证明 
  • XPTY
  • 发布于 2022-08-17
  • 阅读 ( 2725 )

零知识证明 - 从Puzzle理解线性相关

zkHack发布了新的Puzzle。虽然Puzzle用的比较老的Groth16算法，Puzzle的内容非常有趣，对理解零知识证明，多项式，线性相关等等知识非常有帮助。
零知识证明  Groth16  circom 
  • Star Li
  • 发布于 2022-08-16
  • 阅读 ( 3023 )

测量SNARK性能：前端与后端

SNARKs（Succinct Non-interactive Arguments of Knowledge）是一种重要的密码学原语，主要用于区块链的可扩展性和隐私保护。文章详细介绍了SNARK的原理、实现过程和项目成本估算。同时，探讨了SNARK在各种应用场景下的费用问题，并分析了前端和后端的瓶颈及其对SNARK性能的影响。这篇文章为继续优化SNARK提供了有效的见解。
SNARK  区块链  可扩展性  密码学原语  成本估算  前端后端瓶颈 

零知识证明 - PLONK算法零知识性问题

PLONK的原始论文存在一个零知识性的问题。商t多项式没有添加随机性，导致simulator不能模拟出证明。
零知识证明  PLONK 
  • Star Li
  • 发布于 2022-07-29
  • 阅读 ( 3396 )