Winner @joinfutura | fellow @invisiblgarden | @developer_dao
Embassy of Ecuador, London
Joined April 2011
- Tweets12K
- Following645
- Followers746
- Likes6K
Pinned Tweet
Sharing my @invisiblgarden session: “Multipoint KZG Proof Verification"
Verify many openings for one blob commitment in a single call, slashing gas costs think (rollups, fraud proofs)
Kinda surreal this is now EIP-8149:
eips.ethereum.org/EIPS/eip-8…
Since everyone is building a clone of Grok bot or OpenClaw, is it because you're aiming for a fraction of the market?
58
It took me many years to understand the importance of having and defending your own opinion on sensitive topics. It was not a lack of character but the product of growing up in a totalitarian country where you get punished for speaking up or disappear, and no one faces consequences
2
73
Tbh something that hits me in this thread was “It’s a slop world so give them slop”
how do i explain to my PM that i can't show any results yet because i spent the entire week making better architectural decisions, while my coworker Chad one shotted a comparable task in an hour and satisfied the business immediately?
i can't say "ask me in a year when you have to maintain Chad's code / when you see the CVEs", my performance review is today.
not implying anything here, it's a genuine question
71
protocolwhisper retweeted
At last we have Etheorem: complete executable Consensus Specs written in Lean4!!
Etheorem started in May, now a team of 7 independent Engineers and Researchers has been working on this (@invisiblgarden and @ethereum Protocol Fellows). It passes all the official test vectors, for Fulu, Gloas and Heze (has not modeled light clients and gossip).
It is based on a framework that abstracts from the spec writer most technical details, uses monadic state machines, allows inheritance between forks and makes adding proofs simpler, and spec code readable.
Currently, Etheorem has only 8 spec functions fully characterized and 29 partially. The SSZ proofs are mostly complete. Etheorem invites the community to work on an open source effort to add more proofs. The base for this is already implemented.
More information at: ethresear.ch/t/etheorem-upda…
Repo: github.com/etheorem/etheorem
Discord: discord.gg/HpjCrEYmDr
Team: github.com/Mouzayan github.com/irajgill github.com/IvanAnishchuk github.com/protocolwhisper github.com/Sahilgill24 github.com/adria0 github.com/leolara @0x_flwr @IvanAnishchuk @0xRajGill @leolarav
