zk-STARK

这篇文章深入探讨了RISC Zero zk-STARK的构建过程，分为12个课程，详尽地解释了执行跟踪、规则检查、数据填充、构造多项式和约束多项式等关键技术环节，结合了零知识证明的应用以及使用Reed-Solomon编码和FRI协议来验证多项式的低度特性

本文介绍了零知识证明（ZKP）的基本概念、原理、类型及其应用。零知识证明是一种密码学技术，允许一方（证明者）在不透露数据内容的情况下，向另一方（验证者）证明该数据的真实性。文章详细解释了交互式和非交互式零知识证明，并探讨了它们在身份验证、金融、电子投票、供应链等多个领域的应用。

Ingonyama 于2024年11月11日举办了第三届 ZK Accelerate 大会，重点关注 ZK 产品和工程，包括技术讲座、小组讨论、演示和领先公司的参展摊位。本次活动汇集了近3000名参与者，展示了 ZK 产品和工程的日益增长的势头和广泛的兴趣。活动包含23场技术讲座、2个小组讨论。

自区块链问世以来，如何在去中心化的环境下保证数据隐私与系统可扩容，一直是产业和学界的共同难题。