LambdaClass Blog

A Sharper Look at FRI

A review recent developments in the analysis of cryptographic security of one of the biggest pieces of the ZK engine: the FRI protocol implementing interactive …

Ethereum is the new financial backend of the world

The missing institution of the Internet: Ethereum

Speeding up sumcheck for Ethereum's Lean zkVM: an in-depth walkthrough of our implementation

Efficient attention explained: the math behind linear-time transformers

How factoring equality polynomials optimizes sumcheck

Whirlaway: Multilinear STARKs using WHIR as polynomial commitment scheme

Optimizing Sumcheck

Multilinear polynomials: survival kit

GKR protocol implementation: deep dive into the code

BitVM: enabling efficient verifiable computation in Bitcoin

Diving deep into Binius M3 arithmetization using Merkle tree inclusion as an example

Additive FFT: background

The fields powering Binius

An introduction to Merkle Patricia Trie

Our Succinct explanation of jagged polynomial commitments

Supporting Science: LambdaClass Donates to the Argentine Astronomical Association

Celebrating a year of ethrex

We celebrate a year of development on ethrex and talk about what sets it apart.

Lambda's new strategic partnership with Nous Research: decentralized artificial intelligence

Lambda's new strategic partnership with Miden: the Edge blockchain

The Wisdom of Iroh

We interview the team developing Iroh, a Rust peer-to-peer library that just works.

GKR protocol: a step-by-step example

Why we believe that Pod, an optimal-latency, censorship-free, and accountable generalized consensus layer, is a groundbreaking technology for blockchains and distributed systems

Responsible disclosure: A potential sequencer-prover inconsistency in the Cairo VM

On January 26th Starkware informed us that they had found a critical issue in the Cairo VM related to a program that would successfully execute on the VM but wo…

Summary on rStar-Math: showing how smaller LLMs can outperform bigger ones with deep thinking

Responsible disclosure of an exploit in Succinct's SP1 zkVM, found in partnership with 3MI Labs and Aligned, which arises from the interaction of two distinct security vulnerabilities.

LogUp lookup argument and its implementation using Lambdaworks for continuous read-only memory

The future of ZK is in RISC-V zkVMs, but the industry must be careful: how Succinct's SP1's departure from standards causes bugs

Introducing DeMo: Decoupled Momentum Optimization for efficient distributed LLM training

Continuous Read-Only Memory Constraints: An implementation using Lambdaworks

lambdaworks - recap and updated roadmap

How we implemented the BN254 Ate pairing in lambdaworks

How we created a research fast VM for ZKsync

Giving Back: The Rust Foundation

Pinocchio: verifiable computation revisited

An introduction to circle STARKs

EVM performance boosts with MLIR

Aligned Layer: First Aligned Testnet in EigenLayer

Proof aggregation techniques

Beyond Single-Core: Enhancing VM Efficiency in Parallel Environments