零知识证明

要解释「零知识证明」，我们需要先解释「证明」，然后解释什么是「知识」，最后再解释什么是「零知识」。

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

文章主要介绍了RareSkills提供的区块链技术教育培训课程，包括Solidity、零知识证明和Rust等课程的内容、时间安排、费用及讲师信息等，旨在帮助学员深入理解区块链技术并提升实战能力。

全面比较：什么是 zk-SNARKs 和 zk-STARKs？

在推特上看到了一篇对Fermah联合创始人兼CEOVanishreeRao的采访，其中有两个问题值得关注：（1）零知识证明在区块链中的发展经历了三个重要阶段；（2）ZK领域当前最紧迫的两个挑战。

通过本文，我们想要分享我们与区块链开发者乃至整个区块链社区进行可扩展性研究所得出的成果。我们相信，本文将帮助大家了解零知识证明和二层可扩展性方案的潜力，同时更深入地理解这些技术

Ingonyama 和 Cornami 宣布战略合作，通过硬件-软件集成加速高速密码学，特别是在零知识证明（ZKP）方面，目标是提供一流的解决方案。通过集成 Cornami 的 FracTLcore® 计算架构和 Ingonyama 的 ICICLE 密码学加速库，该解决方案在吞吐量和能源效率能够实现10到100倍的提升。

基于一个比较小的域，实现了一个Lookup协议。

一个网站想避免使用私钥作为认证数据，给每个用户额外分配了随机数据（pepper）。这个随机数据只有用户自己知道。在使用认证之前，用户需要计算{公钥}_{pepper}的hash值提交到网站。使用认证的过程，用户需要生成零知识证明，证明某个用户知道确定的pepper。

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

本文分析了将Poseidon哈希函数作为EVM预编译合约的计算成本。EIP-5988提议将Poseidon哈希函数添加为预编译合约，但其在实施前还需要更多的论证。本文提出了一个项目，旨在设计和实施基准测试，以评估Poseidon在不同轮常量、安全级别和S盒下的运行情况，并与现有的预编译哈希函数进行比较，同时用Solidity实现智能合约以进行gas成本估算。

零知识证明-SRP协议简介​SRP是SecureRemotePassword协议的缩写，是一种密码协议，用于在客户端和服务器之间建立安全的身份验证。该协议的设计旨在避免将用户密码明文传输到服务器，从而提高了安全性。

EIP-X 旨在构建一个能消费 ZKP 的极轻量级客户端，应对以太坊网络中传统轻客户端的局限性，通过witness生成器、ZKEVM 模块生成 ZKP 并分发到轻客户端节点，从而实现高效的状态验证。该方案能支持 Flashbots 的无 Gas 交易，并结合零知识证明解决抢跑交易和三明治攻击等问题，从而提高区块链数据的效率、安全性和可访问性。

Zkopru 已临近完成，本文解释了其设计和精妙之处。同时我们也会宣布测试网开启的时间。