Leo Alt
@leonardoalt
Followers
4K
Following
4K
Media
171
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
372
There you go @maurelian_ .The way to use errors in @solidity_lang depends on your alignment, so please follow this
20
43
228
Just joined the Foundry contributooors club. Foundry now has direct access to @solidity_lang 's model checker via `foundry.toml`. 1/n
5
26
195
The EF's Formal Verification and Applied ZKP teams are together looking for someone to work on FV of Zero Knowledge apps!.If you're going to EthCC we can also chat in person about it.
29
67
130
I'm extremely excited to start this new journey, especially with friends, to solve some of the most fun problems in the ZK space. Lots of cool things incoming!.
Introducing πππ€ππ, a modular stack for zkVMs!. Earlier this year, @ethchris, @vanderkriek & @leonardoalt started the πππ€ππ project to improve zkVM tooling. With the continued support from the @ethereum Foundation, the team will soon become πππ€ππ ππππ . More β
17
4
140
.@solidity_lang 's compiler security is often un[der]appreciated. Years of securing billions without causing any losses (pls no jinx). This is not a dig at any project, but a praise for Solidity's impl. Plenty to improve for sure, but silently successful at keeping security #1 β€οΈ.
7
6
136
I just watched an Ethereum core dev start writing a RISCV interpreter from scratch π.
12
3
138
I wanted to dive into the deepest details of zkRollups, so I'm writing a simple one from scratch and it's been extremely fun! It's quite modular, easy to change, and works end-to-end. I'm not in Denver, but if anyone wants to hack on it I'm happy to help!.
5
23
120
100% this. RISCV is actually very inefficient for ZK, there's no reason why a custom ISA shouldn't be chosen for this.
4./ Execution client then sits on top of it as a kind of an operating system kernel, handling finer details. In fact, current execution client *is* a kind of such MMU. But arguably one can try to build much smaller, simpler one and for a different ISA.
6
10
124
we did it!!
wait, why don't we just compile LLVM to EVM????.
11
7
111
Here's a deep dive into our EthBerlin4 project R55:. Have fun u nerds.
4
16
111
The SMTChecker's CHC engine can now synthesize external unknown code as part of a counterexample! Available in @solidity_lang upcoming 0.8.1.
9
106
93
All crypto conferences this year should be held in Berlin. It is the city with the highest concentration of crypto talent and vibes. We're setting ourselves up for failure by pretending NYC is a thing.
All crypto conferences this year should be held in NYC. It is the city with the highest concentration of crypto talent. We're setting ourselves up for failure by hosting events in exotic locations.
19
3
109
Most important conclusion of the @solidity_lang developer survey 2021: as usual, Vim > Emacs
15
12
98
why are Airbnb's interns testing in prod with my account go away
4
0
92
powdr the non-binary zkVM
Introducing the ZK Market Map! Weβve charted 250+ crypto projects advancing zero knowledge (ZK) tech. This detailed map is an extension of our Crypto Market Map meant to showcase the differences between projects within ZK subsectors. Why did we make this and why does ZK matter?
6
7
91
if smart contracts were never written we maybe wouldn't have hacks.
13
8
86
After years of talking about this, it's finally here: Prolog on Ethereum. Prototype integrated with revm alongside R55 (P55? Peth?). It's cursed, utterly hacky, and it works end-to-end. Wen Prolog L2?.
8
5
88
Clarifying some thoughts:. Ethereum's ISA doesn't have to be the same as the zkVMs that snarkify it!. I do want RISCV on Ethereum, that's why I started r55. I also want WASM, EVM. What we need: better GP zkVM ISAs + proof systems made for the expected prover/verifier envs.
7
52
76
After only using dapptools/foundry for a long time and now dealing with JS tests for a few days, it blew my mind that people are still writing JS tests, it's so so bad.
8
5
85
A short answer from the perspective of @solidity_lang, smart contract devs, and users:. 1/5 Massive gas savings via RJUMP, RJUMPI, RJUMPV. This benefits every user of every contract written in every language.
@TimBeiko @protolambda @N_EDITS I am still hoping someone from team EOF can explain the benefits to Solidity and the app layer of EOF.
6
18
82
1/3 A big joint effort will soon enable us to verify Nova proofs on Ethereum. @huitseeker @han__0110 and I have been working on halo2curves and adapting Nova to use the BN/Grumpkin cycle. @jbaylina @eduadiez @roger_taule are also close on the Circom verifier. Relevant links \/.
4
21
79
Wanted to try out Foundry and recent @solidity_lang, wrote a symbolic execution engine with a Difference Logic solver as a little hackathon this weekend. Still kinda surprised it actually works. Code could use memory vectors tho.
2
12
79
Really happy that we managed to pull off what at first felt like a crazy ambitious technical project for a hackathon. Big thanks to my teammates @lcvella, Rodrigo, Moritz and ofc @ETHBerlin !!. Running on no sleep so a write-up will come later this week.
Our final track award is for Infrastructure. The winner is R55, a huge congrats to the team. And a big shoutout to the runners up are Anti-Correlation & Votoβ‘οΈ.
7
4
79
R55 contributors have been absolutely cooking:. - Seamless EVM <-> RISCV calls (ABI encoded).- staticcall and contract mutability enforced at compile time by Rustβs &self and &mut self.- Constructor from new.- Beautiful user errors and events.- More Ethereum specific syscalls
9
6
78
we did some hacking and had fun.
Judging has ended and @openvm_org's competition results are in! πͺ. Your top 3 ranked researchers are:. π₯ @georgwiese, @leonardoalt (Team Powdr): $41,373.80.π₯ @cergyk1337: $32,666.66.π₯ ed255: $11,426.19. Thank you to everyone that participated! Full leaderboard below.
3
1
79
Excited to make r55 a wide OSS community project!.Co-maintained by @gakonst and myself, we already have 7 different contributors from different teams and multiple open/merged PRs. Lots of beginner-friendly tasks to pick from \/. V1 will look sick.
8
9
68
Foundry + Solidity tip: if `via_ir = true` is taking too long to compile, you can specify which optimizers should run. The example below is less optimized but compiles faster, kinda like a `--debug` option. `optimizerSteps = 'dhfoDgvulfnTUtnIf'`.
9
5
67
Hacking with @_hrkrshnn on the train to @EFDevconnect, writing a new optimization step for @solidity_lang. Maybe fewer `unchecked` blocks will be needed soon π.
6
4
65
The way @3blue1brown connects math to stories, mystery, and the feeling of "I gotta know why and how!!" is the absolute explanation why schools fail so badly at teaching math and science. Same goes for coding.
5
6
62
- Ethereum claims to be "for developers".- DevX has been neglected for years.- 12+ client teams, but only 3 [underfunded] EVM lang/compiler teams.- L1 blames L2s.- 1000 rollups, yet one (old) way to verify SNARKs onchain. What's the point even? . No wonder AltVMs are rising.
11
4
63
except wave is money
Solidity v0.8.24 is out! π. The latest version of the compiler brings readiness for "Cancun" network upgrade, including support for transient storage (EIP-1153), shard blob transactions (EIP-4844), & more. βοΈBlog:πΎGitHub:
3
2
58
Something today reminded me of this. Use Rust to advertise all the good stuff, but. (includes non-Eth L1 chains)
3
2
52
"what the fuck is this shit". wow what a nice and respectful way of publicly asking fellow devs for information. the entitlement is baffling.
The solidity compiler changes the deployed bytecode depending on whitespace in the source code. What the fuck is this shit?.
4
0
55
Absolute chad work by Kamil, @matheuspit77 and @iskdrews at @ETHBerlin, writing a basic LSP for Yul in under 20h while learning Rust.
1
2
51
@transmissions11 @z0age Why can't y'all be normal teenagers and just take drugs for that extra excitement.
0
3
49
Who remembers this @solidity_lang milestone.
Is the code from @ArianaGrande's 34+35 music video Soldity? . It has msg.sender, selfdestruct, and I'm pretty sure "greeter is mortal"is from the Solidity tutorial.
5
4
47
Reviewing Polygon zkEVM was quite challenging, interesting and fun. I mainly analyzed the PIL State Machines which define specialized behavior via low-level constraints. We're doing a @SpearbitDAO workshop about that tomorrow, the recording will be uploaded after!.
Every component of Polygon zkEVM (including the prover) has been auditedβand those audit reports are available on GitHub. How else could you DYOR?. Read the findings from @spearbitDAOβs security audit ππ½.
1
8
50
Honest question: why doesn't @solidity_lang get many contributions from other people/teams? Folks not interested in compiler work? Is it generally considered scary? Too much work to get started? A lot more could get done by nerdsniping some of you.
9
3
47
ok hear me out. what if we simply use ELF binaries instead of EOF?. have a nice weekend.
11
4
50
This is a sick project, cutting edge combined with production software. If you're interested go talk to Georgios immediately.
Leo was way ahead of his time when he & his colleagues came up with R55 -- A RISC-V interpreter & syscalls wired against Revm handlers, any takers to productionize this? Can fund it. cc @leonardoalt.
2
2
48
Excited to share powdrVM 0.1!.
ππ»π»πΌππ»π°πΆπ»π΄ π½πΌππ±πΏπ©π π¬.π!. powdrVM combines multi-prover support, std Rust, modularity, and high performance, setting the stage for future-proof ZK applications. Read the details on our blog or follow this thread for a tl;dr π.
3
5
48
Now @ethchris debunking the fake news from some experts that @solidity_lang 's optimizer has "too many bugs" and therefore should not be used. Wat?
4
12
43
Listening to ACD is quite sad these days. A bunch of for-profit companies trying to manipulate Ethereum to do what's gonna bring them even more money, regardless if a feature is ready.
13
2
45
I finally updated with a few links/projects. New additions below:.
2
10
40
some people talk so much on this app but you never see them do stuff.
4
3
42
I'm going to implement Brainfuck VMs in all possible ways using powdr. Here's the first one written directly in powdr-asm. Turned out quite nice actually, though it's fully untested - feel free to break it.
3
2
41
Signal and Matrix: keep shipping."Crypto" community: "we rely on Discord and Telegram" π€‘π€‘.
Introducing usernames and phone number privacy on Signal! Weβre making it possible for people to connect with each other without having to share phone numbers. Now launching to beta users, available for everyone soon.
7
4
42
and this, Ethereum folk, is why the EVM to this day sucks and will likely never improve. Conservatives think progress is "bs" and should not happen.
7
5
39
In Montenegro/Zuzalu tomorrow for the ZK week, reach out if you wanna chat about Powdr, Fusion, FV, Solidity or other cool stuff! I'll give a talk about Powdr on Friday and probably hack on Nova too at the hackathon.
3
5
40
This is fake news. First of all, this is not planned *at all*, it's just an exploration of what *could be*, please watch the talk. Second, this slide actually shows current Fe lmao.
3
3
37
big goal for 2024 is to go to max 3 conferences, only 1 outside of Europe. Thinking @ETHBerlin, ZKSummit, @EFDevcon.
3
0
38
last 10h of @paradigm_ctf I NEED to solve JIT and my teammates are playing 0xMonaco u happy @transmissions11.
0
0
37
Solidity's SMTChecker now supports multi-transaction checks and unbounded loops!.
0
51
28
Another perk of being at the office is getting to type on my beast. Immediate increase of productivity + feels good
2
2
36
PetraVM is built for speed. We're excited to bring that to Rust programs via a Wasm compiler optimized for Petra!
This is not just another RISC-VβPetra is designed from the ground up for optimal performance using binary tower fields. Our roadmap includes plans for WebAssembly compiler (developed by @powdr_labs) and a specially-designed functional programming language, PetraML.
5
1
36
Solidity has a built-in formal verification module, the SMTChecker. I talked about it at #Devcon4 and you can read about it here:.
0
9
33
what happened to having more Solidity compilers? I'm this close to writing one in Prolog.
12
0
36
Potentially organizing a Formal Verification Hangout day at @EFDevconnect , no talks just chill technical discussions and sharing, who's down? @MartinLundfall @rikardhjort @joranhonig @Montyly @GNSPS @vwuestholz @SagivMooly (sorry couldn't tag all, no offence).
6
5
33
Btw I didn't even have to think about crazy tricks to get it this short. Wrote a simple Yul code, compiled, and ran the GASOL super optimizer after.
@the_ethernaut @721Orbit 3d353d5b81818202116012576001016003565b60019003803d5260203df3. assumes calldata input is uint256, computes floor(sqrt(x)), 30 bytes, wastes loads of gas.
4
6
35
I'm compiling an updated list of Ethereum formal verification projects:.Let me know if I missed something or got anything wrong!.
2
9
33
.@zokratesproject just shipped a banger release with Nova support! At the same time as a bunch of people are hacking crazy stuff on Nova during Zuzalu's ZK Week & ZK hackathon. Nova the future?.
2
6
33
push0.
We just released Solidity 0.8.20! π.This latest version includes a range of improvements in the via-IR pipeline and improves the list of events exposed in the contract ABI, and, most importantly, support for Shanghai!.π: πΎ:
4
0
34
Following my talk at "Formal Verification in the Ethereum Ecosystem", organized by @rv_inc , here's a sort of transcript of the @solidity_lang 's SMTChecker + @dapptools demo (that actually worked live).
0
6
33
lmao who else would write this block of code
2
1
34
looking forward to eth RISCV being proposed [check], implemented [started], discussed for years, and then abandoned.
2
4
36
We had a name for VM built-in functions, they were called opcodes. We should be getting rid of hacky precompiles and not adding more.
5
1
32