LambdaClass
lambdaclass.com
As featured in
Follow
Overview
News
Technologies
Salaries
Products
People
Growth
Financials
Overview
LambdaClass provides deep engineering services in distributed systems and cryptography. Its teams work on blockchain protocols, provers and low-level infrastructure. The company contributes to several open source cryptography projects.
News
The hitchhiker's guide to reading Lean 4 theorems
Claude can generate Lean code all day long, but eventually you have to read the code and more importantly, the theorems verifying the software's correctness properties. Learn how to read Lean theorems in this short guide.
Read more
Report
Verified Code Optimization in Lean 4: How Equality Saturation Generates Proven-Correct C Code with Truth Research ZK
Our experiments with Lean and formal verification continue to bear fruit.To further our knowhow and experience, we set out to see if we could apply Lean's strengths to a more advanced topic: compiler optimizations.Traditional verified compilers focus on s
Read more
Report
Additive FFT Explained: Fast Fourier Transforms Over Binary Fields
Warning: This post is more math heavy than other articles.IntroductionIn this article we continue our study of towers of binary fields, motivated by the proposal of Diamond and Posen for a complete protocol working over fields of characteristic 2, BINIUS.
Read more
Report
Interview with Fernando Borretti about Austral - a systems programming language with linear types
Australis a new systems programming language. It uses linear types to provide memory safety andcapability-secure code, and is designed to be simple enough to be understood by a single person, with a focus on readability, maintainability, and modularity.
Read more
Report
Pro access
Upgrade to see all 16 mentions
Upgrade to a paid plan to read every media mention of this company - funding news, awards, product launches and press releases from all the outlets writing about it.
Every media mention and press release
Funding news, awards and product launches
Fresh coverage from every outlet writing about the company
Upgrade now
Cancel anytime. Secure checkout. Instant activation.