密码学文章 - 第20页

为程序员准备的基础集合论

in 零知识证明之书

RareSkills 的 Zero Knowledge Proofs 系列文章之一，介绍了集合论的基础知识。翻译的过程中完成了其中的练习题。

零知识证明密码学集合论

0xE
发布于 2024-10-11
阅读 ( 4388 )
( 42 )

区块链隐私技术的未来

区块链隐私技术些技术有：零知识证明（ZK）、多方计算（MPC）、全同态加密（FHE）和可信执行环境（TEE）, 他们分布在六个关键指标的表现。

零知识证明 MPC 全同态加密 TEE

Hack VC
发布于 2024-10-11
阅读 ( 2617 )
( 29 )

什么是零知识证明 | 给程序员的实用指南

零知识证明（ZKPs）是一种加密技术，允许一方在不暴露具体信息的情况下证明其对该信息的知识。文章深入探讨了ZKPs的工作原理、种类及其在区块链应用中的作用，旨在帮助程序员理解如何实际实现这一技术，并涵盖了交互式和非交互式证明、关键组件以及信任设置等重要概念。

零知识证明 ZKP 信任设置 SNARK STARK 加密技术

Cyfrin
发布于 2024-10-10
阅读 ( 840 )

零知识证明区块链的先进形式化验证

in CertiK 安全知识分享

本文将介绍零知识证明以及其在零知识证明中应用的逻辑。

CertiK
发布于 2024-10-10
阅读 ( 2358 )
( 51 )

WE-KZG：加密到KZG - ZKSECURITY

本文介绍了一种基于KZG承诺的见证加密（Witness Encryption, WE）方案。该方案允许对KZG承诺和评估声明进行加密，只有掌握有效KZG opening proof π的解密者才能解密，即只有知道承诺中多项式在某点的值时才能解密。此外，还介绍了一个基于该WE方案的高效简洁的茫然传输（Laconic Oblivious Transfer, LOT）协议。

见证加密 KZG承诺茫然传输配对 opening proof

zksecurity
发布于 2024-10-09
阅读 ( 426 )

Concrete v2.8：与TFHE-rs的互操作性及自动模块追踪

Concrete v2.8版本发布，主要更新包括： Concrete与TFHE-rs的互操作性，允许开发者在两者之间转换整数，利用各自的优势；自动模块追踪功能，简化了模块编译的流程；以及新增了多个教程，展示了FHE和Concrete在实际应用中的用例。此外，新版本还包括各种优化和错误修复，尤其是在Concrete GPU运行时，提高了FHE评估的速度。

全同态加密 FHE Concrete TFHE-rs 互操作性模块编译

ZamaFHE
发布于 2024-10-09
阅读 ( 519 )

Zama 产品发布 - 2024 年 10 月

Zama 发布了 TFHE-rs (v0.8)、Concrete (v2.8) 和 Concrete ML (v1.7) 的新版本。

同态加密 TFHE-rs Concrete Concrete ML fhEVM GPU加速

ZamaFHE
发布于 2024-10-09
阅读 ( 475 )

零知识证明的先进形式化验证：两个ZK漏洞的深度剖析

in CertiK 安全知识分享

我们曾经讨论了零知识证明的先进形式化验证：如何验证一条ZK指令。通过形式化验证每条zkWasm指令，我们能够完全验证整个zkWasm电路的技术安全性和正确性。在本文中，我们将关注发现漏洞的视角，分析在审计和验证过程中发现的具体漏洞，以及从中得到的经验和教训。如要了解有关零知识证明（ZKP）区块链的

CertiK
发布于 2024-10-09
阅读 ( 1583 )
( 25 )

TFHE-rs v0.8：加密数组与增强的多GPU支持

TFHE-rs v0.8版本发布，引入了加密数组类型，并增强了多GPU计算能力，开发者可以更轻松地处理向量和张量，同时大幅缩短GPU上算术运算的计算时间，此外，新版本还引入了诸多新特性，包括后同态计算密文压缩、更多基于GPU的同态运算、以及CPU运算的改进等。

同态加密 TFHE-rs GPU加速多GPU 加密数组 NVLink

ZamaFHE
发布于 2024-10-09
阅读 ( 439 )

🚢 Succinct 发布：SP1 中优化的 bn254 & bls12-381 预编译

Succinct 团队的实习生 Bhargav 在 SP1 上实现了 bn254 和 bls12-381 椭圆曲线运算的预编译，显著提升了 SP1 的 ZKVM 性能。这些预编译加速了 Groth16 和 PlonK-KZG 证明的验证，并优化了以太坊 ZK 轻客户端 SP1 Helios 的性能，同时还加速了revm中bn254配对。

SP1 zkVM bn254 bls12-381 预编译椭圆曲线

Succinct
发布于 2024-10-08
阅读 ( 171 )

多方计算(MPC)解读：安全数据协作

多方计算（MPC）是一种加密技术，允许参与者在不公开各自私有数据的情况下进行安全计算。文章介绍了MPC的定义、历史、核心概念及其重要性，探讨了MPC在保护数据隐私中的应用和相关安全模型，最后讨论了其在区块链中的应用及未来前景。

多方计算数据隐私加密技术安全模型区块链密钥管理

Cyfrin
发布于 2024-10-07
阅读 ( 1020 )

ECDSA背后的直觉

本文深入解析了椭圆曲线数字签名算法（ECDSA）的工作原理及其背后的数学原理，逐步推导了算法的实现过程，并讨论了其安全性和潜在漏洞。

ECDSA 椭圆曲线数字签名离散对数安全漏洞 Fiat-Shamir

RareSkills
发布于 2024-09-27
阅读 ( 715 )

Noir: 简化零知识证明

本文介绍了Noir语言，它是一个面向特定领域的开源语言，旨在简化零知识证明的开发。文章深入探讨了零知识证明的复杂性及Noir如何通过高层抽象和中间表示（ACIR）来解决这些挑战，降低开发者的学习曲线。文章还比较了Noir与其他零知识语言的不同之处，并分析了其背后的架构与优化机制，展示了Noir在隐私保护和安全性方面的应用潜力。

Noir 零知识证明 ACIR zk-SNARKs 加密技术区块链

Three Sigma
发布于 2024-09-26
阅读 ( 1226 )

Jolt zkVM上的一个挑战 - ZKSECURITY

本文介绍了MOCA意大利黑客训练营CTF竞赛中一个名为“2+2=5”的密码学挑战，该挑战利用了修改后的Jolt zkVM。挑战要求参与者构造一个无效的RISC-V程序执行证明，利用Jolt库中的漏洞，使得程序输出错误的结果“5”，从而绕过服务器的验证并获得flag。

Jolt zkVM RISC-V 密码学挑战 ctf 执行证明 R1CS约束零知识证明

zksecurity
发布于 2024-09-25
阅读 ( 381 )

又一个circle STARK 教程

最近，circleSTARK引起了很多人的兴趣。我也没有忽视，我的兴趣也被激起了。

circleSTARK

XPTY
发布于 2024-09-23
阅读 ( 755 )

KZG 知识点更加精炼的总结

Trusted Setup其实就是生成一个非对称加密的私钥，即s；然后生成一系列的公钥，即g^(s^i), i = 0....n；其中g是椭圆曲线中的生成元； i是从0到n的整数，n是多项目的degree。其中的s必须销毁，谁都不能知道；只保留下来一系列的公钥；以太坊基金会已经生成了4组这类的公钥对

KZG 零知识证明 ZKP 多项式承诺

杜满想Elvin
发布于 2024-09-20
阅读 ( 2133 )
( 16 )

介绍Boundless：可验证计算层

本文介绍了Boundless，一个可验证计算层，旨在解决区块链的可扩展性问题。通过利用零知识证明，Boundless允许单节点进行计算，并在所有节点之间以低成本验证其正确性，从而支持无限执行与全球交互。该平台旨在推动去中心化应用程序的发展，并且正在早期测试中，展示了其在实际场景中的潜力。

Boundless 零知识证明可验证计算区块链可扩展性去中心化应用

RISC ZERO
发布于 2024-09-17
阅读 ( 967 )
( 2 )

密码学基础三门限共享密码算法

概念门限秘密共享是一种密码学技术，将秘密S分割为n个部分，并将这些部分分发给n个参与者。所谓门限，是在分割这些秘密的时候，设置一个大小位于1和n之间的k值，使得给定任意k−1个或更少的秘密份额，都不能够计算得到秘密S的任何信息；当给定任意k个或更多的秘密

门限共享密码学

Leo
发布于 2024-09-15
阅读 ( 2811 )
( 32 )

密码学基础二单项函数算法深入（Hash）

单向函数算法深入单向散列函数，又称单向Hash函数，就是把任意长度的输入消息串变化成固定长的输出串且由输出串难以得到输入串的一种函数。这个输出串称为该消息的散列值。MD5MD5简介是RSA数据安全公司开发的一种单向散列算法，MD5被广泛使用，可以用来把不同长度的数据块进行暗码运算成一个1

hash 单向散列函数

Leo
发布于 2024-09-14
阅读 ( 1477 )
( 13 )

代数快速傅立叶变换

傅立叶变换

XPTY
发布于 2024-09-14
阅读 ( 892 )