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

SP1 基准测试：2024年8月6日

SP1 发布了最新的生产就绪版本（v1.1.1），其新的 GPU Prover 实现了最先进的性能，相比其他 zkVM，云成本降低了高达 10 倍。
零知识证明  zkVM  GPU prover  SP1  性能优化  预编译 

zk-SNARK 系列 - #2 证明多项式的知识

为什么和如何使用 zk-SNARK系列文章
zkSNARK 
  • Maksym
  • 发布于 2024-08-07
  • 阅读 ( 2119 )
  • ( 15 )

探秘 Circle STARKs （重排版）

探秘 Circle STARKs
Circle  STARK 
  • XPTY
  • 发布于 2024-08-06
  • 阅读 ( 1878 )
  • ( 4 )

2024-08-04 zk-insights Weekly

如果你重视零知识证明技术信息的实效性和信息源质量的意义，不想娱乐至死、短视投机、无关广告、推荐算法、劣币驱逐良币的泥沙裹挟迷失，请多支持我们（包括给予赞助支持），让这一汨清流继续流淌～
zk 
  • Coset
  • 发布于 2024-08-06
  • 阅读 ( 1833 )
  • ( 23 )

Constantine 性能表现

本文主要介绍了Constantine在区块链和零知识证明等领域的性能优势，以及如何通过基准测试来衡量其性能。文章详细对比了不同编译器（如GCC和Clang）在优化大整数和密码学代码方面的差异，并强调了使用内联汇编以确保性能和避免分支的重要性，Constantine通过优化代码大小和栈使用量，以及避免堆分配，适用于资源受限的设备。
椭圆曲线密码学  性能优化  区块链  零知识证明  基准测试  编译器优化  内联汇编 
  • mratsim
  • 发布于 2024-08-01
  • 阅读 ( 595 )

零知识区块链项目概览

本文深入探讨了零知识证明（ZKP）技术在区块链项目中的应用，以及如何利用ZKP来提升可扩展性、保护用户隐私以及赋能更高级的DApp。文章还对比了ZKP与乐观rollup等其他Layer2解决方案，并介绍了基于ZKP的不同架构（zk-Rollups、Validium、Volitions），同时列举了多个实际的ZKP项目案例。
零知识证明  zk-SNARKs  ZK-STARKs  Layer2  Rollup  Validium 

零知识证明（ZKP）——详解

本文介绍了零知识证明（ZKP）的概念、工作原理、类型（zk-SNARKs、zk-STARKs、PLONK、Bulletproofs），以及 ZKP 在区块链中的各种应用，包括隐私交易、可验证计算、Layer 2 扩展、去中心化身份验证等。同时还介绍了 Chainlink 的 DECO 技术，它是一种基于 ZKP 的预言机解决方案，可在保护隐私的前提下验证数据来源。
零知识证明  zk-SNARKs  ZK-STARKs  DECO  隐私保护  区块链 

解读Cysic：硬件加速与ZK矿业的崛起前夜

硬件加速领域中，Cysic可能是最受关注的劲旅之一
Cysic  zkSNARK  零知识证明 
  • 仙壤
  • 发布于 2024-07-26
  • 阅读 ( 2696 )
  • ( 10 )

我们的密码学专家解答 10 个关键问题

本文是针对密码学领域中一些常见但可能令人困惑的技术的专家问答，涵盖了SNARKs中的 commitment schemes、哈希函数的构造、椭圆曲线密码学(ECC)的攻击方式、后量子密码系统、Fiat-Shamir heuristic、PLONK 证明系统的改进、zkEVMs的设计决策、zkEVMs的性能改进、Shamir 密钥共享方案以及 folding schemes的技术细节。
SNARKs  commitment schemes  哈希函数  椭圆曲线密码学  后量子密码学  Fiat-Shamir heuristic  PLONK  zkEVM  Shamir 密钥共享  Folding schemes 

Circle STARKs 介绍

本文介绍了 Circle STARKs，它通过利用具有最快有限域算术的梅森素数，展示了卓越的性能。Circle STARKs 通过移动到圆群来解决梅森素数上定义的字段的非平滑结构，并密切遵循其经典的 STARKs 类似物，虽然有一些细微之处，但幸运的是，大多数细微之处都对开发人员隐藏了，Circle STARKs 以及高效的查找可以帮助提高通用 ZKVM 的性能。
Circle STARKs  梅森素数  vanishing polynomials  FRI协议  Circle FFT 

zk-SNARK 系列 - #1 SNARK介绍 & 证明媒介

介绍 SNARK 及证明媒介
zkSNARK  零知识证明 
  • Maksym
  • 发布于 2024-07-25
  • 阅读 ( 2376 )
  • ( 10 )

探索Circle STARK技术

本文深入探讨了Circle STARKs的工作原理及其在零知识证明中的应用，特别是在小字段上的优化和效率提升。
STARKs  Circle STARKs  零知识证明  小字段  FRI  Mersenne31 

17 个关于 SNARKs 的误解（以及为什么会有这样的误解）

17 个关于 SNARKs 的误解（以及为什么会有这样的误解）
zkSNARK 

三门加密学圣杯：FHE vs ZK vs MPC

FHE和ZK、MPC 这三种技术分别是什么？ 它们如何工作?
FHE  ZKP  MPC 
  • 0xTodd
  • 发布于 2024-07-22
  • 阅读 ( 2282 )
  • ( 7 )

浅谈全同态加密(FHE:FuIyHomomorphic Encryption) 技术如何运作

简单分析全同态加密(FHE，FuIyHomomorphicEncryption)技术如何运作。
FHE 
  • 0xTodd
  • 发布于 2024-07-22
  • 阅读 ( 1691 )

构建 Jolt：一个快速、易于使用的 zkVM

Jolt：一个快速、易于使用的 zkVM
Jolt  zkVM  sumcheck 

椭圆曲线密码学的奇妙世界

椭圆曲线密码学的应用：密钥交换与信息签名
ECC  椭圆曲线  ECDH  ECDSA 

椭圆曲线密码学 入门篇

椭圆曲线密码学 入门篇： 实数上的椭圆曲线和群定律
ECC 

什么是 Schnorr 签名，对比特币有什么作用？

什么是 Schnorr 签名， Schnorr 签名的优势： 密钥和签名聚合， 批量验证
Schnorr  Taproot  ECDSA 

解释区块链中最近的崛起的全同态加密

介绍全同态加密（FHE）：探索其令人兴奋的应用、局限性和最近推动其流行的发展。
FHE