密码学文章 - 第16页

可编程密码学 - 第一篇

“可编程密码学”一词来指代今天变得实用的第二代密码学原语。这些原语的定义特征是它们比第一代密码学灵活得多：它们允许我们在密码协议内部或之上执行通用计算。

可编程密码学 FHE MPC zkSNARK

0xPARC
发布于 2024-08-12
阅读 ( 2172 )
( 66 )

几分钟搞懂全同态加密FHE：运行模式与应用场景

FHE

仙壤
发布于 2024-08-12
阅读 ( 2814 )
( 12 )

2024-08-11 zk-insights Weekly

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

ZKP

Coset
发布于 2024-08-12
阅读 ( 1555 )
( 33 )

ZK技术的历史发展脉络梳理

零知识证明 zkSNARK

仙壤
发布于 2024-08-09
阅读 ( 2140 )
( 7 )

【视频】Tornado Cash 代码实践系列

这个系列的视频将从零到一实现 Tornado Cash 的功能，包括零知识证明电路，智能合约以及证明验证。希望你能从中学习到 Tornado Cash 的所用到的技术，并知道如何构建一个零知识证明应用。

零知识证明 Tornado.cash zkSNARK zksnak Solidity circom

pichabote
发布于 2024-08-09
阅读 ( 1955 )
( 59 )

使用 zkTLS 证明新世界

本文深入探讨了加密生态系统与现实世界之间的隔离现象，提出了数据可移植性的重要性，并介绍了一种新协议zkTLS，该协议旨在通过创建Web2与Web3之间的安全数据通道，推动用户数据在不同平台之间的共享与使用。文中还提到了一些相关项目与未来的挑战。

zkTLS 数据可移植性 Web3 加密生态系统零知识证明协议

yasu.block
发布于 2024-08-08
阅读 ( 496 )

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

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

zkSNARK

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

探秘 Circle STARKs （重排版）

探秘 Circle STARKs

Circle STARK

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

2024-08-04 zk-insights Weekly

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

zk

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

Constantine 性能表现

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

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

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

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

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

Cysic zkSNARK 零知识证明

仙壤
发布于 2024-07-26
阅读 ( 2197 )
( 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

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

Circle STARKs 介绍

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

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

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

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

介绍 SNARK 及证明媒介

zkSNARK 零知识证明

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

探索Circle STARK技术

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

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

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

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

zkSNARK

a16z Crypto
发布于 2024-07-23
阅读 ( 2963 )
( 31 )

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

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

FHE ZKP MPC

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

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

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

FHE

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

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

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

Jolt zkVM sumcheck

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

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

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

ECC 椭圆曲线 ECDH ECDSA

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