Posts

Implementing BabySNARK in lambdaworks in our internal bootcamp

Our highly subjective view on the history of Zero-Knowledge Proofs

How does Basefold polynomial commitment scheme generalize FRI

Mina to Ethereum ZK bridge

Happy birthday, lambdaworks!

A fast trust minimized intent based bridge solution for Ethereum and L2s powered by multi-proof storage proofs

Bridges are generally insecure and economically inefficient. We propose a bridge design that is simple, modular, and utilizes multi-storage proofs and the nativ…

Deep dive into Cairo's AIR and the changes we had to do in Lambdaworks to be compatible with Starknet Stone Prover

Comparing STARK provers: Miden and Starknet

Sparkling Water Bootcamp on Cryptography in a nutshell

SNARKs on binary fields: Binius - Part 2

Lambdaworks Design and Usage: Part 1 - Finite Fields

Lambdaworks as a drop-in replacement for Winterfell to prove the Miden-VM

Interview with Fernando Borretti about Austral - a systems programming language with linear types

Austral is a new systems programming language. It uses linear types to provide memory safety and capability-secure code, and is designed to be simple enough to …

How Binius is helping move the ZK industry forward

SNARKs on binary fields: Binius - Part 1

If you don't know, look it up or how to create lookup tables for zero knowledge proofs

Have you checked your sums?

An overview of the Groth16 proof system

An overview of the Stone Cairo STARK Prover

Lambda’s engineering philosophy

Don't trust, verify or why you should care about benchmarks

Inner Product Argument (IPA) and a Polynomial Commitment Scheme

Lambda Crypto Doctrine

How to code FRI from scratch

First Lambda-Ingo ZK CTF: ZK challenges using LambdaWorks

Please stop drinking the Rust Kool-Aid

Exciting times at the intersection of Compilers and Applied Cryptography: Cairo and MLIR

All you wanted to know about Plonk

How to get a true headache: brute forcing NTRU

I want to break free from Lattice-based cryptography, but not even a quantum computer can help me

Do You Want Quality Code? Learn How to Use Differential Fuzzers!

Transforming the Future with Zero-Knowledge Proofs, Fully Homomorphic Encryption and new Distributed Systems algorithms

How to use the Consenys's Gnark Zero Knowledge Proof library and disclosure of a DoS bug

Using Metal and Rust to make FFT even faster

Better sane defaults in Zero Knowledge Proofs libraries or how to get the prover's private key

How we are shaping the future of modular blockchains with Zero Knowledge Proof, Starknet and Ethereum

Diving DEEP FRI in the STARK world: learning your daily moon math with a concrete example

Our small contribution to Paradigm’s Reth to diversify Ethereum clients

LambdaWorks or how we decided to create our zkSNARKs library and a STARK prover

Everything you wanted to know about periodic constraints in STARKs but nobody told you