Following LambdaClass Blog's news feed is very easy. Subscribe using the "follow" button on the top right and if you want to, choose the updates by topic or tag.
We will deliver them to your inbox, your phone, or you can use follow.it like your own online RSS reader. You can unsubscribe whenever you want with one click.
Keep up to date with LambdaClass Blog!
LambdaClass Blog: LambdaClass Blog
Is this your feed? Claim it!
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 semantic preservation of already-written C code, limiting their ability to perform radical algorithmic optimization...
This is a follow-up to our post on building a post-quantum Ethereum client with the help of shared tooling, where we covered the devnet progression, baseline client requirements, and ecosystem tooling. He...
TL;DR: A guide to the mathematics, code, attacks, and future of cryptographic signatures in Ethereum—from ECDSA transactions to BLS consensus aggregation and the post-quantum lean signature. Includes working Rust code examples using lambda...
This is a follow-up to our introduction of ethlambda, where we covered why we're building a Lean Consensus client and our approach to simplicity. Here we talk about what a Lean Consensus client consists of and what to...
Over the past months, the ethrex team has been relentlessly focused on performance optimization. Through systematic profiling, targeted improvements, and architectural changes, we've achieved a 20x improvement in block execution throughput....