Leo Alt
@leonardoalt
Followers
4K
Following
4K
Media
177
Statuses
2K
Yesterday was my last day @ethereum foundation - a place where I worked with truly great people & had a fantastic time during the last 7 years. The powdr adventure officially starts today as @powdr_labs is now an independent org. Excited to make ZK tooling better for everyone!.
We are excited to share that 𝑝𝑜𝑤𝑑𝑟 labs is now an independent organization focused on the next generation of ZK tooling, security, and applied research. Read the full announcement on our blog or follow this thread for a tl;dr 👇.
25
12
385
RT @kaanuzdogan: Why does @SourcifyEth exist?. We believe contract verification ecosystem is stuck: centralized, closed-source, and held ba….
0
14
0
plenty of those in Ethereum as well tbh, desperate gov simp is definitely a trend.
1
0
12
Truly brilliant talk by Peter.
My last talk on #Ethereum,. Decentralisation: Original dream vs. shaping reality. So long, and thanks for all the fish! 🐣.
2
1
9
RT @argotorg: New hevm release landed! . This version brings improvements on several fronts:. ✅ Improved usability.✅ Faster performance.✅ D….
0
5
0
RT @chfast: We've moved evmone's git repository to
github.com
Fast Ethereum Virtual Machine implementation. Contribute to ipsilon/evmone development by creating an account on GitHub.
0
7
0
US is targeting Brazil's instant payment system PIX as "illegally unfair", since it has better UX and cheaper fees than CCs. And crypto twitter really thinks governments are our friend and will be happy with crypto actually being used? Good luck being that naive.
Sistema de pagamento via Pix do Brasil e a Lei Geral de Proteção de Dados (LGPD) entram na mira da investigação aberta pelo Escritório do Representante de Comércio dos Estados Unidos. Autoridades do país querem o fim do uso destes mecanismos, alegando práticas desleais.
0
0
6
who isn't bullish on ZK Ethereum.
powdr is part of @OctantApp Epoch 8!. If you're bullish on ZK Ethereum consider supporting us to help accelerate and secure ZK tech!.
0
0
5
> using Claude Max.> write detailed CLAUDE md file.> give very specific task.> Claude does something completely different.> call it out.> API Error (529 {"type":"error","error":{"type":"overloaded_error","message":"Overloaded"}}). fantastic @AnthropicAI.
0
0
10
IMO we should put tons of money in all these projects and let them all cook.
🎂 Happy 10th birthday, Solidity!. The family’s grown. We now have at least four compilers:. Solc The OG boomer: "Back in the old days, we compiled for 10 years without crits, but today's devs can only complain about stack-to-deep.". Solx.
0
0
3
RT @_hrkrshnn: Happy birthday @solidity_lang 🎂. @ethchris, the creator of Solidity, doesn't get enough credit for the impact he had on Ethe….
0
5
0
RT @solidity_lang: We're thrilled to be celebrating 10 years of Solidity!. Let's look at some highlights from the past decade and get a gli….
0
177
0
PR 3000 in the powdr monorepo and it's all about autoprecompiles.
github.com
Required for efficient analysis of future APC optimizations: Cell pgo now outputs cell_pgo.metrics (sample below) debug.pil now writes out powdr opcode, e.g. namespace powdr_air_for_opcode_4394; ...
0
0
6
RT @argotorg: We’re thrilled to share a major milestone: Argot has secured foundational funding from the @ethereumfndn! This significant su….
0
123
0
RT @ProjectZKM: In Part 1 of our MIPS vs RISC-V series, we explained why ZKM chose MIPS32r2 as the base architecture for our zkVM: higher o….
0
25
0
Rust friends, what am I doing wrong, Claude seems horrible for Rust? Tries random greps instead of RA, RA w/ MCP barely works, trips on anything non-trivial, ignores explicit commands, tries to change stuff in dependencies etc etc.
6
0
7
then it told me "fixed all errors", I run "cargo check", they're all there :facepalm:.
0
0
0