本文介绍了lambdaworks库中的一种多项式承诺方案Basefold，它是FRI承诺方案的推广。Basefold适用于多线性多项式，且与所使用的域无关。文章详细解释了Basefold的工作原理，包括其基于可折叠线性码的构造方式，以及如何结合sumcheck协议和邻近性测试来构建评估协议。

本文介绍了Mina与以太坊之间的桥梁，该桥梁旨在实现无缝的跨链交易，并使以太坊上的dApp能够利用Mina的zk能力。文章概述了Kimchi（Mina的证明系统）、Pickles（一种支持增量可验证计算的协议）以及KZG承诺的工作原理，并讨论了与外域运算相关的一些挑战。

lambdaworks 是一个用 Rust 编写的密码学库，旨在提供高性能和开发者友好的密码学原语，用于构建零知识证明系统。该项目在过去一年中取得了显著进展，包括合并了 464 个 PR、拥有 60 位贡献者、发布了 8 个版本，并包含 49k 行 Rust 代码。未来计划包括集成到其他证明器、改进文档、支持 GPU 加速以及添加新的多项式承诺方案和证明系统。

本文提出了一种新型的跨链桥设计方案，旨在解决现有桥梁的安全性和经济效率问题。该方案利用多重存储证明和以太坊与Layer 2网络之间的原生消息传递系统作为后备机制，简化了桥的设计，提高了模块化程度，并降低了用户资金损失的风险。该设计已在Starknet和以太坊之间实现，并计划扩展到其他L2网络。

本文介绍了Lambdaworks STARK Platinum prover为支持Starknet Stone prover所做出的改进，特别是关于如何更灵活地定义和测试代数中间表示（AIR）和约束。

本文介绍了STARKs及其在以太坊扩展中的应用，并深入探讨了STARK prover的特性和实现中的一些权衡。文章分析了Miden和Cairo虚拟机如何处理它们的执行轨迹以及AIR的描述，讨论了主要类型的约束以及在执行轨迹上强制执行这些约束的方法，并对虚拟列、芯片和内建函数的不同设计方案进行了对比分析，总结了各种方案的优缺点。

本文是关于Binius证明系统的第二部分，重点介绍了连接码（允许扩展小字段的多项式承诺方案）和用于检查多元多项式上语句的不同协议。Binius中几乎所有的协议都归结为sumcheck协议，并提出使用Plonkish算术化，与HyperPlonk的主要区别在于trace包含属于不同子域的元素，因此门约束将表达不同子域的关系。

本文介绍了Lambdaworks库及其核心模块，重点介绍了有限域的设计与使用。Lambdaworks是一个用于创建证明系统的库，包含数学、密码学和证明器等模块，其中数学模块的核心是有限域，通过Field和FieldElement的抽象定义，实现了高效的有限域运算，并支持扩展域的应用，以优化配对计算和小字段的证明系统。

Lambdaworks 实现了与 Winterfell 的兼容，允许用户使用 Lambdaworks 作为 Winterfell 的替代品。主要工作包括使Lambdaworks支持Winterfell的字段和迹，并创建了一个Winterfell适配器，可以将Winterfell AIR转换为Lambdaworks AIR。此外，还添加了对周期列的支持。

本文是对 Austral 编程语言创建者 Fernando Borretti 的一次访谈，探讨了 Austral 的设计理念、线性类型系统的应用、以及与其他编程语言（如 Rust、Haskell、OCaml）的对比。Fernando 阐述了创建 Austral 的动机，以及它在内存安全、资源管理和并发处理方面的优势与考虑。