New blog post out: @ethlambda_lean at the Cambridge post-quantum and fast finality workshops. More than 120 researchers and engineers together for a week of post-quantum cryptography, formal verification, fast finality, and hash functions. In this post, we go through what was discussed, where things are headed, and what we’re taking back to ethlambda. blog.lambdaclass.com/ethlamb…

Last week, we were in Cambridge for a workshop on post-quantum cryptography, fast finality, and formal veritication. We joined +100 people from across the ecosystem, including cryptographers, researchers, and engineers. Ethereum needs to move toward a fully post-quantum future. We don't know when Q-Day will come, and that's exactly why we need to act now. The challenge is making that transition without compromising Ethereum. There's a lot of work ahead, and we're glad to contribute to it. Thanks to @ethereumfndn and @drakefjustin for bringing us together.

Introducing PropAMM Factory. An open-source toolkit to deploy and operate your own PropAMM, with everything from contracts and pricing to builder integrations and monitoring. Already powering ElZorro on Ethereum mainnet. Read the blog post: blog.lambdaclass.com/announc…

We're sponsoring the first Hardware Hackathon at @Exactas_UBA. On October 23–24, teams of 4 will have two days to build and present a physical product. No hardware experience required: the event starts from the basics. Applications are open and the event is free. Apply: comcom.dc.uba.ar/hackaton/

Thanks @drakefjustin for sitting down with us to discuss your vision and roadmap for Ethereum. Really enjoyed the conversation. We have a lot of confidence in your leadership and in Ethereum’s future.

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…

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.

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!

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/

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.