Ethereum. Decentralization maxi. d/acc Building: @termsplit (termsplit.com) @blobs_money (blobs.money)
Deutschland
- Tweets 17,047
- Following 2,122
- Followers 6,328
- Likes 53,241
materkel.gwei 🦇🔊 retweeted
Opus 5.5 on Max effort - "make a dynamic 15-second motion graphics video that shows what an incredible motion designer you are, like it's your showreel for a résumé. go all out."
234
354
12,658
654,743
materkel.gwei 🦇🔊 retweeted
Some bangers from the SEC today:
1) buybacks do not make a commodity token into a security
2) liquid staking tokens for commodities are not securities
sec.gov/about/divisions-offi…
35
109
821
46,585
materkel.gwei 🦇🔊 retweeted
The same features that make options complex and "push retail away" are also what makes them flexible primitives for building new and engaging trading experiences
Crypto has always spiked at enabling programmable, open APIs and what instrument is more programmable than an option (which can be combined to replicate any payoff!)
The biggest barrier was just a lack of liquidity that made it hard for builders to get started. But @DeriveXYZ has since solved that, and the novel experiences and network effects will flow as a result
1
2
14
1,349
materkel.gwei 🦇🔊 retweeted
New Pistachio update is live via OTA.
Update by opening / force-closing the app
Revenue Tokens, address poisoning protection, and advanced research analytics. Here's what's new 👇
2
4
8
765
materkel.gwei 🦇🔊 retweeted
*SEC STAFF ISSUES FAQS ON CRYPTO ASSET SECURITIES LAWS APPLICATION
*SEC STAFF: TOKEN BUYBACKS ON FUNCTIONAL PROTOCOLS DO NOT CONSTITUTE MANAGERIAL EFFORTS
*SEC STAFF: LIQUID STAKING TOKENS ARE DIGITAL COMMODITIES OR TOOLS, NOT SECURITIES
*SEC STAFF: MAINTENANCE, ENHANCEMENTS, SYSTEM GRANTS NOT CONSIDERED ESSENTIAL MANAGERIAL EFFORTS
*SEC STAFF: PROMOTING CRYPTO UTILITY WITHOUT PROFIT CLAIMS GENERALLY NOT AN INVESTMENT CONTRACT
81
182
1,240
222,791
materkel.gwei 🦇🔊 retweeted
Today we are announcing an AI-assisted breakthrough in Ethereum development.
One step closer to 4-8x faster Ethereum finality!
It took some time and lots of tokens, but we now have a formally verified proposal for a decoupled consensus protocol in I* (a future Ethereum upgrade)! Not yet a full spec (up next), but it includes all the key consensus-relevant details to become one.
Since Ethereum aspires to be live without most of the stake online, the protocol involves many more components than a normal BFT protocol, and its correctness involves much more than standard safety and liveness. Those nuanced properties are now verified!
What's more, I came away convinced that all protocol design will involve AI-assisted Formal Verification in the future, both for correctness and iteration speed.
The work wasn't limited to just:
Design the protocol -> Formally verify it
Instead, the loop became more like:
Design -> Formal Model -> Find exactly what breaks and why -> Redesign it.
For a fairly complicated protocol like this one, I think having the Lean model be part of the design loop played a big role in accelerating the process.
A future with agents paired with formal models is a superpower for Ethereum development, because they can then use those models to find exactly where an argument breaks down, formalize counterexamples, test proposed fixes, iterate on the protocol.
Many details that would slip under the radar when asking agents (and indeed, humans) can now be specified exactly and checked by the Lean kernel. This then forces agents to be more precise and lets them make verifiable progress on their own. It's been incredible to see this play out, seeing agents find gaps and propose protocol changes to fix them.
In other words, autoresearch can speed up protocol design, formal verification is here to stay, and Ethereum Finality will get faster.
12
24
232
12,049
materkel.gwei 🦇🔊 retweeted
Totally worth it! Fully tested, merged to master, benchmarked by 3rd party.
Found, fixed and shipped in a day.
DOS vector to high performance path for Ethereum's Glamsterdam fork
So yesterday @chfast "broke"* Glamsterdam devnet by a DOS vector on analysing jumpdest on (new 64KB) initcode. @ben_a_adams pulled an all-nighter and should be fixed now github.com/NethermindEth/net… , Glamsterdam saved!
I know @chfast is also working on an alternative.
3
6
44
2,708
materkel.gwei 🦇🔊 retweeted
Every convo I have about Trueo starts with how we plan to solve liquidity and ends with if we pull it off the we’ll have the opportunity to disrupt a multi-billion dollar market.
Billion with a B.
Multiples of them.
14
8
82
1,927
Yesterday, @Ondo & @BlackRock released a first of its kind Intelligent Portfolio.
And 99% of it is on @ethereum.
Introducing Ondo Intelligent Portfolios, the first three portfolios powered by BlackRock.
Ondo Intelligent Portfolios introduces a new onchain product category: curated investment portfolios delivered as single onchain transferable tokens.
The first three portfolios are based on portfolio strategies developed by BlackRock for Ondo, marking the first time eligible onchain investors can access exposure to such strategies through a single token.
1. BLKHIon: Ondo High Income Powered by BlackRock
2. BLKDIGon: Ondo Diversified Growth Powered by BlackRock
3. BLKGRWon: Ondo High Growth Powered by BlackRock
Diversified, professionally constructed strategies have historically required brokerage accounts and traditional fund structures. Now, delivered as peer-to-peer transferable tokens from Ondo, these onchain portfolios become accessible to eligible non-US investors in permitted jurisdictions through the wallets, exchanges, and DeFi applications they already use.
“Tokenization creates new ways for portfolio strategies to be delivered through digital infrastructure. Diversified portfolio strategies can be incorporated into tokenized investment products, enabling eligible investors to access diversified allocations through a single instrument. It shows how established portfolio construction approaches can be delivered through new channels and technologies.” - Lisa O’Connor, Global Head of the Model Portfolio Solutions team and Co-CIO for Global Solutions within the Multi-Asset Strategies group at BlackRock
Ondo Intelligent Portfolios can unlock novel capabilities:
→ Programmatic rebalancing
→ Full composability with DeFi
→ Complete transparency onchain
→ Multiple asset classes in a single token
This is just the start for Ondo Intelligent Portfolios. The infrastructure is now in place for leading financial institutions to bring their asset allocation expertise onchain.
16
4
81
5,237
One of my biggest bets right now is that $ETH will basically teleport all the way from $3k to just below $4k once it breaks $3k, which might happen in the next 2–3 weeks, as Bitmine is about to hit 5%.
I expect them to announce something big in the next 2–3 weeks.
I might be spectacularly wrong, but my gut says we're more likely to full send than idle around - or go lower - for another few months.
Bitmine is approaching $1B in cash this week, and I don't think it makes sense for them to keep it uninvested for much longer, when tokenization clearly is about to hit a shelling point.
Higher.
9
4
158
5,973
materkel.gwei 🦇🔊 retweeted
If $ETH catches up to Global Liquidity, even half way,
It would be at $30,000.
Just saying.
28
37
538
21,822
One step closer to 4-8x faster Ethereum finality!
It took some time and lots of tokens, but we now have a formally verified proposal for a decoupled consensus protocol in I* (a future Ethereum upgrade)! Not yet a full spec (up next), but it includes all the key consensus-relevant details to become one.
Since Ethereum aspires to be live without most of the stake online, the protocol involves many more components than a normal BFT protocol, and its correctness involves much more than standard safety and liveness. Those nuanced properties are now verified!
What's more, I came away convinced that all protocol design will involve AI-assisted Formal Verification in the future, both for correctness and iteration speed.
The work wasn't limited to just:
Design the protocol -> Formally verify it
Instead, the loop became more like:
Design -> Formal Model -> Find exactly what breaks and why -> Redesign it.
For a fairly complicated protocol like this one, I think having the Lean model be part of the design loop played a big role in accelerating the process.
A future with agents paired with formal models is a superpower for Ethereum development, because they can then use those models to find exactly where an argument breaks down, formalize counterexamples, test proposed fixes, iterate on the protocol.
Many details that would slip under the radar when asking agents (and indeed, humans) can now be specified exactly and checked by the Lean kernel. This then forces agents to be more precise and lets them make verifiable progress on their own. It's been incredible to see this play out, seeing agents find gaps and propose protocol changes to fix them.
In other words, autoresearch can speed up protocol design, formal verification is here to stay, and Ethereum Finality will get faster.
21
53
293
40,116
This is wild for Crypto x AI.
> Be @fradamt
> OG Ethereum researcher now at @ethlabs_org
> A named author on 18 EIPs (Ethereum Improvement Proposals)
> Work on Ethereum consensus where even a tiny bug can break agreement across the entire network and put billions of dollars at risk
> Can't exactly vibe code it and say "we'll patch it Monday" if something breaks..
> mustbecareful.jpg
> Add AI agents and a mathematical proof checker (lean) to his workstream
> Agents work overtime to find out where something breaks, produce counterexamples and proposes fixes too
> No "trust me bro" involved in the process; everything must be verified through formal mathematical proofs (formal verification)
> Basically like saying "show your work" except you can't bullshit the teacher
> Turns out all of this makes protocol design way faster
> Emerge from the AI-assisted crypto research trenches with a fully formally verified spec targeting 4-8x speed bumps in Ethereum finality.
TLDR: Development of frontier technologies that cannot afford to go wrong, ever, just got way faster.
One step closer to 4-8x faster Ethereum finality!
It took some time and lots of tokens, but we now have a formally verified proposal for a decoupled consensus protocol in I* (a future Ethereum upgrade)! Not yet a full spec (up next), but it includes all the key consensus-relevant details to become one.
Since Ethereum aspires to be live without most of the stake online, the protocol involves many more components than a normal BFT protocol, and its correctness involves much more than standard safety and liveness. Those nuanced properties are now verified!
What's more, I came away convinced that all protocol design will involve AI-assisted Formal Verification in the future, both for correctness and iteration speed.
The work wasn't limited to just:
Design the protocol -> Formally verify it
Instead, the loop became more like:
Design -> Formal Model -> Find exactly what breaks and why -> Redesign it.
For a fairly complicated protocol like this one, I think having the Lean model be part of the design loop played a big role in accelerating the process.
A future with agents paired with formal models is a superpower for Ethereum development, because they can then use those models to find exactly where an argument breaks down, formalize counterexamples, test proposed fixes, iterate on the protocol.
Many details that would slip under the radar when asking agents (and indeed, humans) can now be specified exactly and checked by the Lean kernel. This then forces agents to be more precise and lets them make verifiable progress on their own. It's been incredible to see this play out, seeing agents find gaps and propose protocol changes to fix them.
In other words, autoresearch can speed up protocol design, formal verification is here to stay, and Ethereum Finality will get faster.
11
10
77
5,338
materkel.gwei 🦇🔊 retweeted
I’ve been dabbling more into options on @DeriveXYZ
options can be quite overwhelming when it’s your first time using them, friends of mine have been working on a way to help simplify it for you
give it a try
Introducing HEAT v2
As one of the original builders in the @DeriveXYZ ecosystem, we are incredibly excited to announce our social trading app for options coming with Derive V3!
Place option trades by simply interacting with the chart, follow and copy big traders and more!
5
1
62
2,771
The revival of DeFi is so incredibly bullish for ethereum:native.
ETH maxis = DeFi maxis.
So, who owns all these tokens ($UNI, $LIT, $DRV et al.) that are going up like crazy now?
ETH maxis.
What are we going to take profit into during the cycle?
It for sure is not going to be SOL, lmao.
This is another underappreciated 2nd order effect of L2s btw.
DeFi being incredibly successful on L2s is funneling value back to ethereum:native through the net worth of the people who supported them on day 1.
Ethereum.
7
8
77
2,019
materkel.gwei 🦇🔊 retweeted
Best marketing in the world is seeing live trades you can copy on @DeriveXYZ 🤝
📈 Bullish $XAUT Call Spread
🟢 Buy 50x $4,500C / 🔴 Sell 50x $5,000C - 25 Dec 26
Max profit: $20K · Max loss: $4.9K
🔗 Copy on Derive: app.derive.xyz/trade/options…
6
2
59
4,585
materkel.gwei 🦇🔊 retweeted
Why $ETH is my biggest play?
The internet didn’t win because it was the best place to store information.
It won because it became the base layer for applications.
Ethereum is taking a similar role for financial assets.
Tokenized funds.
Stablecoins.
Credit.
Collateral.
Settlement.
The bet isn’t simply on tokenization.
It’s on Ethereum becoming financial infrastructure.
99
149
1,394
103,827