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

Sangria

在本文中，我们提出了对PLONK算术化 2 变体的折叠方案。扩展松弛PLONK 算术化，以接受2次自定义门和具有更高门扇入扇出数的电路。 最后，概述了未来工作的路径，包括折叠更高次的门、支持查找门和为松弛PLONK算术化设计 IOP。
PLONK  Nova 
  • XPTY
  • 发布于 2023-03-13
  • 阅读 ( 2788 )

深入探索STARK世界中的DEEP FRI：通过一个具体的例子学习你的日常月亮数学

本文通过一个笔和纸的例子，介绍了使用STARKs进行计算完整性的方法。
STARKs  零知识证明  拉格朗日插值  计算完整性  FRI  多项式 

哈希到secp256k1椭圆曲线

哈希到曲线函数的技术现状，在secp256k1椭圆曲线上的应用，以及一般的哈希到曲线算法背后的一些安全考虑和性能优化。
哈希  椭圆曲线  密码学 
  • XPTY
  • 发布于 2023-02-28
  • 阅读 ( 4775 )

零知识证明编码入门

零知识证明正变得越来越流行，但可能很难找到入门资料。在花了一些时间研究这个主题之后，我整理了我学到的东西，希望它能帮助大家入门零知识证明编程。
circom  Halo2  零知识证明 
  • aisiji
  • 发布于 2023-02-24
  • 阅读 ( 6185 )
  • ( 39 )

配对或双线性映射

介绍一点配对的性质，其在密码学的应用和历史。
密码学  零知识证明 
  • XPTY
  • 发布于 2023-02-22
  • 阅读 ( 4785 )

一文读懂零知识证明区块链项目

零知识技术是密码学的一个分支，零知识证明可以让用户在不透露信息的前提下证明自己知道或拥有信息。
零知识证明 
  • Chainlink
  • 发布于 2023-02-13
  • 阅读 ( 3901 )
  • ( 37 )

如何在证明中使用 KZG 承诺

in  以太坊中文 · ETH
本文介绍了如何在 zk 证明中有效地使用 KZG 承诺，提高证明验证的效率。
KZG 

zkLLVM电路编译器

zkLLVM电路编译器介绍编写电路很难。如果从零开始，那就是难上加难。在尝试了不同的方法之后，我们认为zkLLVM是简化过程，并使之高效的关键。编写电路时的主要问题之一
电路编译器 

MPC-TSS的计算视角：ECDSA中Paillier的再思考

本文探讨了使用MPC-TSS技术分散管理私钥的方法，并分析了在ECDSA签名中，使用Paillier加密方案的局限性，以及OT-MUL作为替代方案的优势。通过基准测试表明，相比于Paillier加密，OT-MUL在计算效率上更具优势，尤其是在低功耗设备上。
MPC  TSS  ECDSA  Paillier加密  OT-MUL  门限签名 

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

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

第五章：智能的代价

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

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

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

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

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

使用 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
  • 阅读 ( 4141 )
  • ( 7 )

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

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

零知识编程语言

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

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

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

Diffie Hellman 及其必要性

本文回顾了Diffie-Hellman密钥交换方法，并介绍了其在加密通信中的应用。
Diffie-Hellman  密钥交换  加密  完美前向保密  Double Ratchet  X3DH 

Paillier 同态加密算法

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