Great meeting with @serenita_luca! @SerenitaIO was one of ethrex's early adopters, and we enjoyed hearing more about the team's work on Vero.
Excited to keep working together to bring more client diversity to Ethereum with @ethrex_client and @ethlambda_lean.
Show more
We enjoyed exchanging ideas with @serenita_luca and learning more about Vero. Excited to keep working with @SerenitaIO as we build ethlambda and contribute to Ethereum's client diversity!
Please urgently upgrade the propAMM contract code if you are using it!
Security fix disclosure: PropAMM contract
We fixed a critical bug in the PropAMM contract in main branch; our factories on Ethereum mainnet are not affected by this vulnerability.
The vulnerability found was due to the PropAMM contract that had a leftover setup function, reinitializeV2, which anyone could call once on a newly created PropAMM. Calling it could let an exploiter point the PropAMM at a price feed they control and then trade against its vaults at any price they chose, emptying them. More information here:
From our conversations with third parties interested in it and from the information we have seen on-chain, there should not be anyone affected. But if anyone has deployed their own factory, or their own PropAMM forking our code, from this repo's code before October 27, 2026, please follow the instructions below:
revoke your vaults' approvals to the PropAMM or move the funds out of the vaults
create a new PropAMM through our mainnet factory (address in docs/production.md) or from the latest main.
Contact us at security@lambdaclass.com if you need help.
Show more
differential equations are art
for the last few years, i have been working mostly around pure mathematics. i am still a beginner mathematically, but i’ve learned how to work with mathematicians and engineers: where to look, who to talk to, and which problems are worth attacking first
my real passion is applied mathematics. beyond differential equations and fractals, one of the areas i find most fascinating is extreme value theory (EVT)
i have been formalizing a large part of EVT in lean 4 @leanprover
i am now starting to use that foundation to work on open problems!
repo:
Show more
“Evil is whatever distracts.”
- Nietzsche
i try to walk between an hour and two hours per day. one of the biggest life hacks
In the end, AI cyber defense will probably win out against AI hacking.
But for AI bioterror, the calculus is reversed. Human bodies can't be patched like code. And even a short period of catastrophic chaos in bio could mean we all die.
Show more
shit
Credit default swaps of French government bonds.
Scary
Fasten your seat belts.
Great to see ethrex proving Sepolia blocks side by side with @openvm_org.
Ethereum’s move toward execution proofs should preserve client diversity from day one.
Thanks @ignaciohagopia, @TauLepton_, and everyone bringing EIP-8025 to life!
Show more
Finally, we worked for 4 years on it. A lot of sweat and tears. Miden is a like blockchains should be,
- client-side proving
- privacy
- post-quantum secure
- Turing-complete
- flexible compliance and disclosure modes
... and we have an awesome wallet
Show more
Miden has built an incredible piece of technology. Time to grow it.
Miden mainnet is live with its first partners.
We've been building the Rust and web SDKs and contributing across the stack, including the protocol and node.
Practical privacy now has a live network. Access opens up from here.
Show more
You can bridge into Miden using
the second office of @class_lambda was the the first floor of this corner:
Parecería haber concluido la restauración del restaurante El Globo, fundado en 1908 y especializado en comida española, en Monserrat, CABA.
@jack Sparta never had a moat
warhammer the old world 🤓
I'm working on multiple tools to make concrete programming language better.
leanprof is one of them. leanprof profiles Lean programs and proofs without changing your project. It counts what makes Lean slow that no other profiler sees (copies of shared arrays and strings, allocations, failed reuse, the unfolds and instance searches behind compile time), names the line and the cause, and prints the fix. In CI it fails a pull request on "+1 copy" and says what made it slower.
Show more
we just made @ethrex_client again the fastest client in @ethereum. i've always said, lambda would deliver and push the boundaries of ethereum.
after a couple of months focused on Glamsterdam hardening and Hegota prototyping, including hosting several public testnets for the most important EIPs coming in Hegota, we've turned our attention back to performance. this doesn't mean we're stepping away from that work, where we still have a lot to contribute.
The early results are very promising. In just a couple of days, we brought block processing time down from ~40ms to ~26ms in mainnet, making ethrex the fastest client once again. The image below compares how we perform today (ethrex-baseline) with what we've been cooking (ethrex-testing).
congrats @class_lambda, i'm proud of the team we've built. i love working with people that are way smarter than me.
thanks @ethereumfndn for the constant support.
Show more
