密码学

本文为作者在 2017 年出版的文章《An Investor’s Take on Cryptoassets (v6)》（“一位投资者对密码资产的看法”）的节选。节选部分出现在原文链接所附带的 PDF 文件第 12 ~ 21 页。

快速傅里叶变换（FFT）快速傅里叶变换（FastFourierTransform，简称FFT）的高效算法主要由詹姆斯・库利（JamesW.Cooley）和约翰・图基（JohnW.Tukey）在1965年提出。

本文介绍了Trail of Bits团队对Axiom公司使用Halo2框架构建的区块链系统进行的两次安全审计。该系统允许在以太坊历史数据上进行计算，并使用零知识证明进行链上验证。审计发现了多个严重的安全漏洞，包括可能破坏系统安全性的soundness和under-constrained问题。

Trail of Bits 对 Ockam 的安全通信协议设计进行了密码学设计审查，Ockam 旨在实现跨异构网络的安全通信。审查肯定了 Ockam 设计的优点，并提出了加强系统安全性的建议，包括改进文档、明确安全保证以及进行形式化验证，使用 Verifpal 和 CryptoVerif 等工具来验证 Ockam Identities 的安全性。

本文介绍了零知识证明（Zero-Knowledge Proofs, ZKP）的基本概念、类型、优势、局限性及其未来应用。通过Alice和Bob的例子解释了ZKP的工作原理，并详细讨论了zk-SNARKs和zk-STARKs两种主要类型。

本文简述了一种用于多线性Plonk变体（如HyperPlonk、Honk）的transcript聚合协议。该协议通过新旧transcript累加器的差值计算transcript，并使用一致性检查来验证其正确性。这种方法适用于使用多线性表示的证明系统，并可以实现递归证明的transcript聚合。

本文介绍了零知识证明（ZKP）的两种主要类型：zkSNARKs 和 zkSTARKs。zkSNARKs 依赖于可信设置，验证速度快，但安全性依赖于设置的安全性。zkSTARKs 不需要可信设置，具有更高的透明性和可扩展性，但计算开销可能更大。它们都是在不泄露信息的前提下，验证信息有效性的强大工具。

本文介绍了密码学中的基本数学概念，特别是模运算和数学群的概念，为理解加密技术和数字签名等密码学技术奠定了基础。作者通过简单的例子解释了模运算和群生成器的概念，并提到这些数学概念在密码学中的重要性。

Web3 钱包常用密码学

第一部分让我们来了解密码学的常用概念

对称加密既然说是对称加密，那么加密和解密的时候，使用相同的秘钥。DES算法深入在DES算法中，密钥固定长度为64位。明文按64位进行分组，分组后的明文组和密钥按位置换或交换的方法形成密文组，然后再把密文组拼装成密文。密钥的每个第八位设置为奇偶校验位，也就是第8、16、24、32、40、48

今天这篇文章我们一起来看一下zkSNARK这个拗口的技术到底是什么鬼。

本文介绍了零知识证明（ZKP）的概念，它允许在不泄露秘密信息的情况下证明某事。

本文介绍了WebAssembly (WASM) 如何通过创建独立的沙箱环境、移除不安全的方法和提供内存保护来增强应用程序的安全性。同时，WASM 还能够提升如zkSnarks、HQC和McEliece等高性能要求的密码学算法的运行效率，并提供了相关的集成案例。