Lambdaclass PropAMM Router new audited version, now live on mainnet. Same address, same interface.
Access all ethereum PropAmm liquidity, with JIT requoting for optimal swaps and spoofing protection.
Full write-up: blog.lambdaclass.com/lambdac…
2
9
815
We spent the last few days at the 29th Argentine Conference on Structural Engineering at the UNC Cultural Center.
We presented our work on a structural engineering agent built on a verified solver, and introduced Stabileo (stabileo.com/es/) to universities across Argentina. Several researchers and academics showed interest in contributing to or using the project. AI is becoming a much more concrete topic in civil engineering.
3
825
Today we had the honor of attending the thesis defense of one of the students from our scholarship program at @Exactas_UBA.
His thesis, “Preference Systems in LLMs: Effects of Textual Perturbations and Profile Elicitation on Consistency and Robustness in Decision-Making”. With LLMs becoming more capable and influential, research into how their preferences and values behave under different conditions is becoming increasingly important.
Our program ran for a year and a half across three editions, supporting students in the final stages of their degrees and their research work.
It was great to be there and see that journey come full circle. Congratulations, Augusto!
1
3
925
The Research Center for Cryptography and Distributed Systems just kicked off a new study group, a continuation of their seminar on Coding Theory, Low-Degree Testing, and PIOPs, starting with a session on STARKs.
We hosted it at our office, with Lambdaworks team taking part in the discussion.
ccsd.uba.ar/
2
9
899
Tomorrow we’re going live with not one, but two community calls.
@ethrex_client goes live at 2:30 PM UTC, followed by @ethlambda_lean at 3:30 PM UTC. Come hear what both teams have been building and catch up on the latest updates.
1
2
836
Today we're going live with two community calls. @ethrex_client at 2:30 PM UTC and @ethlambda_lean at 3:30 PM UTC. Come hear what we've both been building.
1
3
741
New blog post out: what we learned running a 1024-validator devnet
In this post, we go through what running our largest Lean Ethereum devnet so far taught us about where the bottlenecks are, and how we can move forward.
2
3
11
1,513
Tomorrow we're going live with two community calls. @ethrex_client at 2:30 PM UTC and @ethlambda_lean at 3:30 PM UTC. Come hear what we've both been building.
1
2
839
Metric is now live on our propAMM router.
@metricxyz and FermiSwap are the two largest pAMM venues on Ethereum. You can now reach both through one interface, with no extra integration work.
Integrate in a few lines:
lambdaclass.github.io/propam…
2
5
1,066
New blog post about our contribution to the core of Ethereum is out!
Go check out the development status of @ethrex_client, @ethlambda_lean, and Lambda VM.
1
3
14
3,265
Tomorrow we're going live with two community calls. @ethrex_client at 2:30 PM UTC and @ethlambda_lean at 3:30 PM UTC. Come hear what we've both been building.
2
8
903
Tomorrow we're going live with two community calls. @ethrex_client at 2:30 PM UTC and @ethlambda_lean at 3:30 PM UTC. Come hear what we've both been building.
2
4
825
Tomorrow we're going live with two community calls.
@ethrex_client at 2:30 PM UTC and @ethlambda_lean at 3:30 PM UTC. Come hear what we've both been building.
1
1
688
Tomorrow we're going live with two community calls, one from each team. @ethrex_client at 2:30 PM UTC and @ethlambda_lean at 3:30 PM UTC. Come hear what we've both been building.
1
631
This week's community calls are moving to Monday, July 13th.
@ethrex_client goes live at 2:30 PM UTC and @ethlambda_lean at 3:30 PM UTC, back to back on X.
Don't miss the updates from both teams.
1
3
5
767
This week, we closed the Seminar on Coding Theory, Low-Degree Testing, and PIOPs, co-organized with the Cryptography and Distributed Systems Center – UBA.
4 sessions covering linear codes, list-decoding, and modern ZK proof protocols. More than 30 participants joined us throughout the seminar.
Proud to launch this kind of initiative in the region. And this is just the beginning.
Thanks to Manuel Puebla for an excellent program, and to @Exactas_UBA and @ingenieriauba for the space.
1
4
919
We are co-organizing the Seminar on Coding Theory, Low-Degree Testing, and PIOPs with the Cryptography and Distributed Systems Research Center, and yesterday we hosted the third session at our office.
One more session to go. Building local expertise in applied cryptography through spaces like this is part of our commitment to the development of the field in the region.
2
10
1,107
Tomorrow we're going live with two community calls. @ethrex_client at 2:30 PM UTC and @ethlambda_lean at 3:30 PM UTC. Come hear what we've both been building.
2
9
763
We're going live today with two Community Calls. @ethrex_client goes first at 2:30 PM UTC, followed by @ethlambda_lean at 3:30 PM UTC. Catch both and get the full picture of what we've been shipping.
2
1
4
931
Two Community Calls, both live on X tomorrow. @ethrex_client goes first at 2:30 PM UTC, then @ethlambda_lean takes it at 3:30 PM UTC. Catch both and get the full picture of what we've been shipping.
5
329
We're co-organizing a Seminar on Coding Theory, Low-Degree Testing, and PIOPs together with the Cryptography and Distributed Systems Research Center.
4 sessions covering the path from linear codes all the way to modern polynomial proximity protocols and their role in ZK proofs.
Led by Manuel Puebla, researcher and professor with a background in pure mathematics and algebraic geometry.
The first session took place this week at @ingenieriauba. Thank you for the space.
2
5
30
1,841
Lambda Forge's first full release is live on iOS and Android. Congrats to @gamesbyforge for the incredible work.
Hokus is a roguelike built around the mechanics of air hockey. You deflect a ball against your opponent, summon units on the table to block incoming shots, and push through a branching map of enemies, shops, and bosses. Free to play, no ads, no microtransactions.
2
2
8
1,588
Rome was the center of cryptography these last two weeks. We attended zkSummit 14, zkProof, and Eurocrypt 2026 with @alignedlayer, @3miLabs, and the Center on Cryptography and Distributed Systems of the University of Buenos Aires (CCSD). Full recap on the blog.
1
9
1,213
Last week Rome was three conferences in one: zkSummit 14, zkProof, and Eurocrypt 2026. We were there for the latest in cryptography and zero-knowledge, and to get the community's eyes on our new VM.
1
5
17
1,288
Days at the finca. Last week, part of our team headed to Mendoza to visit Laderas de los Andes, @ergodicgroup's vineyard, and get a firsthand look at high-altitude winemaking.
1
1
8
4,582
We're hiring Systems Engineer Trainees and Juniors in Buenos Aires. If you want to work on distributed systems, cryptography, blockchain infrastructure, AI infrastructure, and formal verification, apply at hello@lambdaclass.com
3
10
1,745
Ethlambda (@ethlambda_lean) is a post-quantum Ethereum consensus client built on one principle: less is more.
Less than 10k lines of Lean code. One active devnet. One clear roadmap. Everything in the open.
Progress page is live.
1
2
16
838
We're going live tomorrow with two Community Calls, sharing updates from both teams.
@ethrex_client goes first at 2:30 PM UTC, followed by @ethlambda_lean at 3:30 PM UTC.
Tune in to hear what we've been building and what's coming next.
1
5
319
Same philosophy, different part of the stack.
We are applying the minimalism and simplicity behind @ethrex_client to the development of a zkVM. Minimal dependencies, one-to-one spec to code, with formal verification in mind. While everyone adds complexity, @class_lambda, @3miLabs and @alignedlayer are doing the opposite.
See the talk by @diego_aligned at zkSummit14 in Rome.
1
4
24
1,198
New blog post out: Goldfish, the Forgetful Fork Choice.
Ethereum's current fork choice rule, LMD-GHOST, works in production but is hard to reason about, hard to verify, and hard to extend. Goldfish is a proposed replacement, and it's being considered for the future of leanConsensus.
We break down how it works.
2
4
12
1,014
Today at zkSummit 14 in Rome, @diego_aligned gave a talk on Lambda VM, a minimal post-quantum zero-knowledge virtual machine built by @class_lambda, @3miLabs, and @alignedlayer.
He walked the audience through where the zkVM space stands today, what problem Lambda VM is trying to solve, how it is designed, how it handles memory and proofs, how recursion works, and what the team is currently shipping.
It was a pleasure to have Diego represent the team on that stage.
1
1
35
1,556
Wrapping up a strong week for the Ethereum ecosystem in Cannes.
One of the best conferences we have been to. Strong technical talks, zero noise, and great side events, with clear alignment across teams on where things are heading. Lean Ethereum is moving really fast.
Good to be there with @rj_aligned from @alignedlayer and @SantiDiPaolo from @polfinance_. Looking ahead to the next @EthCC.
3
13
2,275
Today at @blockspaceforum during EthCC Cannes, @fede_intern joined @drakefjustin for a fireside chat on Ethereum transaction rails, discussing Lean Ethereum, post quantum security and issuance. Thanks to the organizers for bringing this together, great to be part of it.
1
5
21
1,336
Earlier today, @fede_intern joined The Final Showdown Cypherpunks vs Suits panel during @ethCC.
1
3
14
1,480
We open-sourced libssz, a fast, no_std SSZ library in Rust. It's available on crates.io.
EL clients are picking up SSZ. In ethrex we keep dependencies minimal and care a lot about performance, so we built our own: fast for binary SSZ transport, fast and zkVM-friendly for EIP-8025 proving. Faster than Lighthouse on encode and decode. Passes 62,489 consensus spec tests across all forks. Multiple differential fuzz targets against Lighthouse and ssz_rs are running nightly. Pluggable SHA-256 backend so zkVM vendors can use their own accelerators.
We're already using it in @ethrex_client and @ethlambda_lean. ere-guests switched and measured a 2x hash_tree_root speedup inside ziskemu. Compiles on RISC-V and thumbv7m out of the box.
4
2
19
1,296
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.
2
3
13
1,465
New blog post.
Continuing our @ethlambda_lean series, we dive into how ethlambda implements LMD-GHOST within Lean Consensus, and what that means for chain selection and network behavior.
Link below.
1
2
424
A follow-up to our post on building a post-quantum Ethereum client. Here we detail @ethlambda_lean's minimalist architecture.
1
5
8
1,841
New blog post on signatures using lambdaworks.
If you want to learn the basics and some attacks, here is the chance.
2
319
New @ethlambda_lean post!
Building a post-quantum Ethereum client with the help of shared tooling: what a Lean Consensus client consists of and what tooling facilitates its development.
3
3
5
1,359
Buscamos Diseñador de Flujos de IA para Community Management.
El puesto se enfoca en diseñar y operar flujos de inteligencia artificial para generar contenido y gestionar redes sociales de forma escalable.
3
1
5
723
Estamos sumando vendedores part-time en Buenos Aires para la comercialización de software B2B.
1
1
417
After a year learning and working on Lean, here’s our first post on it: If it compiles, it is correct (almost): an introduction to Lean 4 for ZK systems and Engineering.
1
2
6
518
We present Ethrex L2, a rollup stack built with a different set of priorities: simplicity, minimalism, and modularity.
4
8
17
1,504
Ethereum javascript and typescript libraries were created for humans to use it. We built a new library that is designed for Agents first.
We believe big part of the volume will be used by AI agents and we need to have safe-rails that can guard against the failures of autonomous operation.
1
4
6
781
We interviewed Drew Van der Werff about Commit Boost, a new Ethereum validator sidecar focused on standardizing the communication between validators and third-party protocols.
4
2
10
873
New blog post!
We present our latest project @ethlambda_lean, an Ethereum Lean Consensus client.
2
7
25
2,043
Abrimos Lambda Cowork, una iniciativa para startups y equipos pequeños (hasta 5 personas) que estén construyendo en AI.
Ofrecemos espacio de trabajo en nuestras oficinas de Palermo, Buenos Aires, por 3-6 meses, y evaluamos oportunidades de inversión.
Si buscás un lugar para escalar tu producto, esta puede ser tu oportunidad.
1
3
11
2,421
New post on our blog!
We review recent developments in the analysis of cryptographic security of one of the biggest pieces of the ZK engine: the FRI protocol implementing interactive oracle proofs of proximity, IOPPs.
2
3
9
1,528
This February, Tech x Culture Popup City lands in Chapadmalal.
We're opening the call for tech talks, workshops, and webinars. If you have something to share, this is your space.
3
4
11
1,029
This February, Chapadmalal becomes a meeting point for tech and culture.
Two weeks of co-working, surf sessions, and great food.
Join us on-site or take part in the program throughout the week.
1
3
1,407
Tech × Culture Pop Up City is happening in Chapadmalal from February 13–28, with Casa Calamar as our home base.
Two weeks of coworking, talks, and shared activities.
If you applied, we’ll be in touch soon with next steps. Please confirm your attendance so we can coordinate everything smoothly.
2
2
16
5,072
Yesterday we met the second cohort of students from our scholarship program at @Exactas_UBA, along with their thesis advisors.
The program supports students during their undergraduate thesis, and it was a real pleasure to hear about their research paths.
Congratulations to all the students who are graduating during these days.
1
2
12
1,905
We're shaping a Tech x Culture popup city in Chapadmalal this February.
2-3 weeks of tech talks, hackathons, live shows, raves, coffee, and wine.
4
2
13
1,299
Thanks to @UBAInvestiga for the great feature in Criptonoticias covering the presentation of the Cryptography and Distributed Systems Research Center during DevConnect.
We're proud to support this initiative and to share our work at such an important international event. Expanding opportunities for education, research, and development in cryptography and distributed systems for local talent is something we're deeply committed to.
2
10
632
New post on our blog!
We walk through a full Rust implementation of Algorithm 6 from the BDDT paper, combining SVO and Eq-Poly optimizations into a single working prover.
1
1
6
864
EthProofs Day at @EFDevcon came in strong.
@mauro_aligned presented “Security and Diversity in VMs”, and @lean_knack followed with “Expanding Ethereum’s Proving Landscape with @ethrex_client”.
6
5
20
2,347
Anime, indie games, engineering and wine. All in one night.
We joined @ergodicgroup, @refraction_irl, @gamesbyforge, @lcbgamestudio and @421Net at Palermo Wine Club for a crossover evening.
4
9
30
3,837
Great meetup with @lemonapp_ar and @Uniswap. Here’s a brief look back at the @ethrex_client presentation by @mati_onorato.
2
4
16
1,916
Today at @EFDevcon, @pablodeymo presented the Cryptography and Distributed Systems Research Center in a special session with @UBAInvestiga. A national initiative designed to unlock the talent we have in Argentina. Proud to be contributing to it.
4
8
26
4,421
Aki (@maitasunarekin) took the stage at StarkConnect today to present “Cairo Native: The Road to Production”.
Big thanks to @StarknetFndn for making it happen.
1
12
765
Our Head of Engineering, @lean_knack, introducing Ethrex. Thanks @ethclientsummit for the opportunity.
Keep pushing Ethereum forward.
5
1
13
2,614
5/ Aki takes StarkConnect with “Cairo Native: A Road to Production" at 2 PM.
luma.com/StarkConnect?tk=rH5…
1
86
4/ At 2 PM @pablodeymo unveils the Cryptography & Distributed Systems Research Center, alongside @UBAInvestiga.
1
1
2
176
A solid meetup by @poddotnetwork.
@giorgos_tsimos presented Order Books in pod, followed by @torchandzen´s session on their Cloud Infrastructure.
A pleasure hosting the community at our HQ.
1
3
7
6,015
Federico Carrone (@fede_intern) at the @Gov3Summit panel “Blockchain e interoperabilidad.” Alongside Henrique Videira from @BancoCentralBR and moderator @lucasjolias, he is breaking down why Ethereum is a protocol, not a company, and how its architecture delivers availability and transparency.
Big thanks to @sovraio, @geodelabs, @ETHKipu and @AgendaCAF for co-organizing.
6
4
9
1,906
@fede_intern at the Gov3 Summit panel “Blockchain e interoperabilidad.” Alongside Henrique Videira from @BancoCentralBR and moderator @lucasjolias, he is breaking down why Ethereum is a protocol, not a company, and how its architecture delivers availability and transparency.
Big thanks to @sovraio @geodelabs @ETHKipu and @AgendaCAF for co-organizing.
3
2,628
Alignment in action. Cohosted with @therollupco, powered by Buenos Aires nightlife.
4
4
20
2,098
Not another party. A night for those still building with intention.
Alignment with @therollupco.
2
4
12
1,869
Today we presented our Ethereum client at Ethrex Unleashed.
Thanks to everyone who stopped by, and make sure to follow @ethrex_client.
We’re not slowing down 🚀
4
13
34
3,037
At Ethrex Unleashed, @lean_knack tackled the big question: “Why another execution client?”
3
3
14
2,049
Appreciate the invite to @brevis_zk ZKConnect. Strong sessions on ZKVMs, ZK coprocessors, ZKML and ZK-TLS.
Huge shout to @diego_aligned for a great panel presence.
Scaling isn’t just about TPS anymore — it’s about architecture.🧩
At #ZKONNECT @ @EFDevcon, we’re bringing together the builders redefining Ethereum’s modular future.
Panel:
Beyond TPS: The Modular Road to Scale
Mod:
Robbie Klages @robbie_rollup, Co-Founder of @therollupco
Speakers:
Matt Murry @mattmurrs, Product Manager of @eigen_da
Diego Kingston @diego_aligned, Head of Research of @class_lambda & Co-founder of @alignedlayer
Gustavo Gonzalez @gusgonzalezs, Director of Engineering at @taikoxyz
Tamir Hemo @tamirhemo, Head of Cryptography at @SuccinctLabs
Register here: luma.com/jix04ltq
2
3
12
1,636
The @ergodicgroup showcase showed what we’re made of.
Full house, demos, tastings and stories from across the group.
Thanks to everyone who joined.
6
11
33
3,150
Ergodic Group Showcase in motion.
Where all our worlds collide: tech, culture, and craft in one place.
7
3
12
1,496
@ergodicgroup showcase in motion.
Where all our worlds collide: tech, culture, and craft in one place.
1
1
7
418