Interview about Austral, a systems programming language with linear types

An overview of the Groth 16 proof system

Lambda’s engineering philosophy

An overview of the Stone Cairo STARK Prover

Lambda Crypto Doctrine

Inner Product Argument (IPA) and a Polynomial Commitment Scheme

https://blog.lambdaclass.com/how-to-code-fri-from-scratch/

First Lambda-Ingo ZK CTF: ZK challenges using LambdaWorks