LambdaClass

3.7K posts

LambdaClass banner
LambdaClass

LambdaClass

@class_lambda

LambdaClass is a venture studio that works on difficult problems related to distributed systems, ML, compilers and cryptography.

Argentina, Uruguay and Spain انضم Kasım 2018
301 يتبع27.1K المتابعون
LambdaClass أُعيد تغريده
Fede’s intern 🥊
Fede’s intern 🥊@fede_intern·
Incoming @class_lambda paper in AI. I'm very proud of what we built. We got many big things coming in the next few weeks. Check our blog, github and arxiv.
English
2
3
16
1.2K
LambdaClass
LambdaClass@class_lambda·
We are going live tomorrow on X with two Community Calls, bringing updates from both teams. @ethrex_client starts at 2:30 PM UTC, followed by @ethlambda_lean at 3:30 PM UTC. Tune in to hear what we have been working on and what lies ahead.
English
0
0
0
177
LambdaClass أُعيد تغريده
ethrex
ethrex@ethrex_client·
When we announced BAL Devnet 3 support, the tests were just starting. Today, ethrex is at 1040/1040 tests passing for 6 consecutive days. Only two EL clients at 100% right now.
ethrex tweet media
ethrex@ethrex_client

Last week, ethrex joined its first Ethereum devnet ever: devnet-bal-2. A few days later, Hive tests for devnet-bal-3 went live, and ethrex is already the most compliant execution client: ethrex: 900/1028 (87.5%) nimbus: 630 (61.3%) erigon: 626 (60.9%) nethermind: 585 (56.9%)

English
2
8
12
1.5K
LambdaClass
LambdaClass@class_lambda·
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.
LambdaClass tweet media
English
2
3
11
1.4K
LambdaClass
LambdaClass@class_lambda·
Software development is changing fast. The iteration loop for product development just got 10x faster. At LambdaClass, anyone can type a prompt, get an AI agent working on it in an isolated environment, and share a live preview with the team in minutes. No setup, no waiting for dev cycles. We built the infra to make it work safely at scale.
English
2
2
9
1.5K
LambdaClass
LambdaClass@class_lambda·
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.
LambdaClass tweet media
English
1
0
1
356
LambdaClass
LambdaClass@class_lambda·
Proud to back discussions that go deep on Ethereum. If you were at the Buenos Aires edition, you know the level of conversation. This one is shaping up to be even better. Save your spot on Luma and see you there.
Blockspace Forum@blockspaceforum

We are proud and grateful that @class_lambda is sponsoring Blockspace Forum Cannes. They built one of the most performant execution clients, are integrating native and based rollups, and are building for lean consensus. RSVP -> luma.com/blockspaceforum

English
0
2
4
527
LambdaClass
LambdaClass@class_lambda·
We’re going live tomorrow with two Community Calls. @ethrex_client at 2:30 PM UTC @ethlambda_lean at 3:30 PM UTC Tune in for the latest updates from the teams.
English
0
0
3
262
LambdaClass
LambdaClass@class_lambda·
Updates from LambdaWorks: - PR #1188 (Univariate LogUp-GKR): Implements univariate LogUp-GKR infrastructure with FRI polynomial commitment scheme, univariate sumcheck, and comprehensive examples for ROM check and range check. Includes security hardening. - PR #1182 (Metal GPU Poseidon2): Adds Metal GPU-accelerated Poseidon2 Merkle tree backend with compute shaders and fuzzing tests. Includes GPU-accelerated internal Merkle tree levels. - PR #1186 (Circular transition constraint LogUp ): Improves logup.
English
1
0
2
594
LambdaClass أُعيد تغريده
Fede’s intern 🥊
Fede’s intern 🥊@fede_intern·
We just came back from an offsite and we started delivering again with @class_lambda in @ethereum. We were out and resting. It’s summer in the south so this is like july and august for europe or the US. Ethrex is now the second execution client only by a little bit. We just pushed some new code. We got many more ideas coming. We are integrating as always all this with the provers of @alignedlayer. We got many great news there with @rj_aligned about distribution and work around our zkVM! Mainnet performance: reth 33ms @ethrex_client 35 ms nethermind 57ms geth 76ms besu 118ms erigom 579ms
Fede’s intern 🥊 tweet media
English
4
6
35
3.5K
LambdaClass أُعيد تغريده
Fede’s intern 🥊
Fede’s intern 🥊@fede_intern·
Congrats @sovraio, @fernandezdiego and team! Sovra @sovraio is one of the best partners of @class_lambda and company of @ergodicgroup.
Sovra – The Identity Stack@sovraio

Sovra won the Premio Tecnos Nuevo León 4.0 🏆, the highest recognition for technological innovation in Nuevo León, taking first place in the Smart City Society category. Nuevo León is home to some of Latin America’s most important industrial companies and institutions such as Cemex, Femsa, Kia, and Tec de Monterrey. Premio Tecnos evaluates solutions from across that ecosystem. The Government of @nuevoleon and the Iniciativa Nuevo León 4.0 review real deployments, visit operations, and assess the technology in practice. This year, Sovra was selected as the most innovative solution in the category. The evaluators recognized something simple but powerful: digital trust infrastructure that already works at scale. Today Sovra powers: • 1.2M+ citizens with reusable digital identities and verifiable credentials • 30–50% reduction in operational costs for digitized public services • 70% faster processing across those services • Real deployments across Mexico and Argentina Behind those numbers is a full stack for digital trust: decentralized identity, verifiable credentials, zero knowledge proofs, and blockchain working together to make identity and documents verifiable, reusable, and privacy preserving. We were likely the only startup in the room. That made the recognition even more meaningful. Huge thanks to @chuycepeda for representing Sovra and receiving the award on behalf of the team. Digital trust is infrastructure we all need. And today, the public sector, private sector, and academia of Nuevo León agreed.

English
2
3
17
1.7K
LambdaClass أُعيد تغريده
ethrex
ethrex@ethrex_client·
We've been working with @kevaundray and @ladislaus0x from @ethereumfndn and @donnoh_eth from @l2beat on a proof of concept of EIP-8079 (native rollups) using @ethrex_client. Native rollups reuse Ethereum's own execution to verify L2 state transitions. No ZK circuits, no fraud proofs, no complex proof systems to maintain. Every L1 upgrade is automatically inherited. Any bug in the verification is also a bug in Ethereum itself. The demo shows a full end-to-end native rollup: - L2 blocks settled to L1 via the EXECUTE precompile - L1→L2 deposit - Contract deployment and cross-layer calls - L2→L1 withdrawal with MPT proof claim - Blockscout verifying EXECUTE precompile calls on L1 Try it yourself. Instructions in the PR below.
English
16
27
125
24.1K