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

向量承诺的简洁证明

in  零知识证明之书
文章介绍了如何在不发送整个向量的情况下，证明已知 Pedersen 向量承诺的开启，并详细描述了算法的实现和安全问题。
Pedersen Commitment  inner product  outer product  Zero Knowledge  verifier  prover 

使用 Zama 的 Concrete ML 和全同态加密赢得 TikTok 黑客马拉松

新加坡国立大学（NUS）的一组计算机科学学生在 TikTok TechJam 2024 上使用 Zama 的 Concrete ML 和全同态加密 (FHE) 技术，开发了一个广告服务系统，展示了 FHE 如何为在线广告开创一个尊重隐私的新时代。该项目名为 AnonymousAds，旨在保护用户隐私的前提下，实现个性化广告投放。
全同态加密  FHE  Concrete ML  隐私保护  广告定向  机器学习 
  • ZamaFHE
  • 发布于 2024-10-30
  • 阅读 ( 282 )

内积的零知识证明

in  零知识证明之书
本文详细介绍了如何在零知识证明中构造内积证明，通过向量多项式和内积计算，展示了如何在不泄露原始数据的情况下证明内积计算的正确性。文章还提供了相关算法的具体实现步骤，并指出如何进一步优化证明大小。
零知识证明  内积证明  向量多项式  Hadamard积  椭圆曲线密码学  证明优化 

多标量乘法（MSM）的Pippenger算法

本文介绍了用于多标量乘法（MSM）的Pippenger算法。该算法首先将标量分割成多个窗口，然后针对每个窗口，通过桶排序的方法计算点的和，最后将各个窗口的结果进行累加以得到最终结果。文章还提供了一个参考链接，可以了解更多关于多标量乘法策略和挑战的信息。
多标量乘法  Pippenger算法  MSM  桶算法  标量  椭圆曲线 

密码学基础：协议大全

in  密码学101
本文是密码学系列文章的一部分，重点介绍了基于椭圆曲线的加密协议，包括密钥交换、承诺方案、签名、零知识证明和可验证随机函数等。文章通过清晰的示例和图示，详细解释了这些协议的原理和实现方法。
椭圆曲线  密钥交换  零知识证明  承诺方案  签名  可验证随机函数 

密码学基础：算术电路

in  密码学101
本文介绍了算术电路的概念及其作为通用计算模型的作用，探讨了如何利用算术电路验证问题的解决方案，并提到其在零知识证明中的应用。文章还提到算术电路可以分解为其构建模块（门），便于验证计算过程。
算术电路  零知识证明  有限域  逻辑门  多项式 

零知识乘法

in  零知识证明之书
文章详细介绍了如何使用多项式承诺方案在零知识证明中验证多项式乘法的正确性，包括算法步骤和优化方法，并附有代码实现。
多项式承诺  零知识证明  Schwartz-Zippel Lemma  椭圆曲线  Pedersen承诺  有限域 

密码学基础：加密技术与数字签名解析

in  密码学101
本文介绍了椭圆曲线在加密和数字签名中的应用，详细阐述了公钥和私钥基于离散对数问题的生成原理，以及椭圆曲线集成加密方案（ECIES）和椭圆曲线数字签名算法（ECDSA）的工作机制。文章强调椭圆曲线群运算在保障加密和签名安全性中的核心作用，并指出哈希函数等进阶主题将在后续讨论。
椭圆曲线  数字签名  加密  离散对数问题  ECDSA  ECIES 

探索 zkVMs：哪些项目真正符合零知识虚拟机的标准？

探索市面上的 zkVMs：哪些项目真正符合零知识虚拟机的标准？
zkVM  零知识证明 
  • Vac.dev
  • 发布于 2024-10-25
  • 阅读 ( 2360 )
  • ( 58 )

密码学101：全同态加密

in  密码学101
本文深入分析了完全同态加密（Fully Homomorphic Encryption， FHE），强调了它在允许对加密数据进行计算而不进行解密方面的重要性。
homomorphism  cryptography  error management  Gentry's thesis  全同态加密  密码学 

密码学101：后量子密码学

本文介绍了后量子密码学的基本概念及其在应对量子计算威胁中的应用，重点讨论了NIST选定的晶格基算法，如Kyber和Dilithium，并详细解释了这些算法的密钥生成、封装、解封装以及签名过程。
后量子密码学  晶格基算法  kyber  Dilithium  NIST  量子计算 

Bitlayer Research：Binius STARKs原理解析与优化思考

第1,2,3代STARK证明系统位宽分别为252,64和32bit，编码效率虽有提高，但仍有浪费空间；Binius直接对位操作，编码紧凑高效，很可能是未来的第4代STARK。
STARK  ZK Rollup 

高级密码学原语——群、有限域、椭圆曲线与配对

本文详细介绍了高级密码学中的基本概念，包括群、有限域、椭圆曲线和配对。这些概念在设计和实现数字签名方案、多方计算（MPC）和零知识证明（ZKP）等高级协议中起着核心作用。文章通过数学定义、属性和示例，帮助读者深入理解这些密码学原语。
群  有限域  椭圆曲线  配对  密码学原语  零知识证明 

Diffie-Hellman问题、ECDH密钥交换和ElGamal加密协议

文章深入探讨了Diffie-Hellman问题及其在密码学中的应用，重点介绍了椭圆曲线Diffie-Hellman（ECDH）密钥交换协议和ElGamal加密协议。文章不仅详细解释了这些技术的原理，还提供了代码示例和安全分析，帮助读者更好地理解其实现和应用。
Diffie-Hellman  ECDH  ElGamal  离散对数问题  椭圆曲线密码学  密钥交换 

ECDSA、EdDSA 和 Schnorr——基于椭圆曲线的签名方案剖析

本文详细介绍了基于椭圆曲线的数字签名方案，包括ECDSA、EdDSA和Schnorr，分析了它们的原理、实现和应用，并比较了它们在区块链中的使用情况。
ECDSA  EdDSA  Schnorr  椭圆曲线  数字签名  区块链 

理解环理论

这篇文章深入探讨了环论的基本概念，包括环、交换环、余数环和多项式环的定义和性质。作者详细阐述了抽象代数在加密学中的应用，特别是在复杂数域和有限域（Galois域）的背景下，展现了多项式环和环同态的相关知识，并通过代码示例展示了相关概念的实际应用。
环论  多项式环  有限域  加密学  抽象代数  代数结构 
  • jtriley
  • 发布于 2024-10-17
  • 阅读 ( 555 )

形式化验证WebAssembly - Soroban案例研究

本文介绍了Certora最近在形式验证WebAssembly (Wasm) 字节码方面的努力，特别是在Stellar区块链上的Soroban智能合约的实现中。Wasm因其安全性和高效性被广泛应用于DeFi领域，Certora开发了Sunbeam工具，能够验证用Rust编写的智能合约的高层功能正确性。
WebAssembly  智能合约  安全性  形式验证  Rust  DeFi 
  • Certora
  • 发布于 2024-10-16
  • 阅读 ( 353 )

ECFFT算法

本文是关于 Eli Ben-Sasson、Dan Carmon、Swastik Kopparty 和 David Levit 最近发表的一篇论文的。
ECFFT 
  • XPTY
  • 发布于 2024-10-16
  • 阅读 ( 259 )

密码学基础：配对应用及其他

in  密码学101
本文介绍了配对（pairing）在加密技术中的应用，重点讨论了基于身份的密钥交换和签名方案。配对作为一种双线性结构，使得身份加密成为可能，并展示了如何在不需要传统公钥的情况下实现密钥交换和签名。
配对  身份加密  密钥交换  身份签名  双线性 

密码学入门：多项式

本文介绍了多项式在密码学中的应用，特别是拉格朗日多项式在插值和冗余编码中的重要性。通过使用多项式，可以实现数据冗余和秘密共享等技术，提高数据传输和存储的安全性和可靠性。
多项式  拉格朗日多项式  插值  冗余编码  秘密共享  密码学应用