密码学文章 - 第30页

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

为什么和如何使用 zk-SNARK系列文章

zkSNARK

Maksym
发布于 2024-08-07
阅读 ( 2725 )
( 15 )

探秘 Circle STARKs （重排版）

探秘 Circle STARKs

Circle STARK

XPTY
发布于 2024-08-06
阅读 ( 2365 )
( 4 )

2024-08-04 zk-insights Weekly

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

zk

Coset
发布于 2024-08-06
阅读 ( 2598 )
( 23 )

Pinocchio：可验证计算再探

本文深入探讨了Pinocchio协议的原理及其在Lambdaworks库中的实现，Pinocchio是一种SNARK协议，用于验证计算的正确性，同时保护隐私。文章详细介绍了将代码转换为QAP的过程，并解释了协议的工作原理以及实现安全所需的各种检查，此外还探讨了如何通过最少的额外工作将SNARK转换为零知识SNARK，文章还提供了相应的代码片段。

SNARK Pinocchio协议 QAP 零知识证明密码学 Lambdaworks

lambdaclass
发布于 2024-08-01
阅读 ( 20 )

Constantine 性能表现

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

椭圆曲线密码学性能优化区块链零知识证明基准测试编译器优化内联汇编

mratsim
发布于 2024-08-01
阅读 ( 1081 )

零知识区块链项目概览

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

零知识证明 zk-SNARKs ZK-STARKs Layer2 Rollup Validium

Chainlink
发布于 2024-07-30
阅读 ( 973 )

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

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

零知识证明 zk-SNARKs ZK-STARKs DECO 隐私保护区块链

Chainlink
发布于 2024-07-30
阅读 ( 2390 )

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

硬件加速领域中，Cysic可能是最受关注的劲旅之一

Cysic zkSNARK 零知识证明

仙壤
发布于 2024-07-26
阅读 ( 3797 )
( 10 )

面向大众的配对，第二部分：Tate配对

本文是关于椭圆曲线配对（Tate pairing）的第二部分，旨在帮助读者建立对Tate pairing的基本直觉，而无需深入研究高级数学。

椭圆曲线配对 Tate pairing Miller’s loop Final Exponentiation TinyJubJub 密码学

brozorec
发布于 2024-07-26
阅读 ( 190 )

我们的密码学专家解答 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

Trail of Bits
发布于 2024-07-26
阅读 ( 984 )

Circle STARKs 介绍

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

Circle STARKs 梅森素数 vanishing polynomials FRI协议 Circle FFT

lambdaclass
发布于 2024-07-26
阅读 ( 1201 )

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

介绍 SNARK 及证明媒介

zkSNARK 零知识证明

Maksym
发布于 2024-07-25
阅读 ( 3068 )
( 10 )

探索Circle STARK技术

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

STARKs Circle STARKs 零知识证明小字段 FRI Mersenne31

Vitalik Buterin
发布于 2024-07-25
阅读 ( 1293 )

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

zkSNARK

a16z Crypto
发布于 2024-07-23
阅读 ( 4846 )
( 33 )

Aleo (ALEO)：Aleo 的未来及其底层生态系统

本文介绍了 Aleo 生态系统，一个专注于隐私的区块链平台，它利用零知识证明实现私有交易和安全计算。文章分析了 Aleo 的关键特性，包括 zkCloud 平台、Leo 编程语言，并将其与 Zcash、Mina Protocol 和 Oasis Network 等其他隐私区块链项目进行了比较，最后探讨了 Aleo 在合规性和长期潜力方面的优势。

Aleo 零知识证明 zkCloud 隐私计算区块链 Leo编程语言

DAIC
发布于 2024-07-23
阅读 ( 696 )

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

FHE和ZK、MPC 这三种技术分别是什么？它们如何工作?

FHE ZKP MPC

0xTodd
发布于 2024-07-22
阅读 ( 2887 )
( 7 )

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

简单分析全同态加密(FHE，FuIyHomomorphicEncryption)技术如何运作。

FHE

0xTodd
发布于 2024-07-22
阅读 ( 2740 )

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

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

Jolt zkVM sumcheck

a16z Crypto
发布于 2024-07-22
阅读 ( 3389 )
( 9 )

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

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

ECC 椭圆曲线 ECDH ECDSA

密码学从头学
发布于 2024-07-15
阅读 ( 3883 )
( 20 )

椭圆曲线密码学入门篇

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

ECC

密码学从头学
发布于 2024-07-14
阅读 ( 3313 )
( 87 )