Cypherpunk Maxi

Cypherpunk Maxi

[zefram.eth @boredGenius]

Introducing Tama, a dev toolchain for secure-by-construction EVM smart contracts

Tama enables you to build provably secure apps in 3 steps:

1. Code: write the contract itself
2. Spec: define what correct behavior looks like
3. Prove: prove the code matches the specs

[fricoben @Fricoben]

LFG Labs received a grant from the @ethereumfndn to build Verity.

Verity is a formally verified smart contract compiler written in Lean 4 🧵

[Cypherpunk Maxi @CypherpunkMaxi]

@naiivememe delete your tweet, you didn't even check

https://t.co/RhSSzpOMJz

[Cypherpunk Maxi @CypherpunkMaxi]

It’s a tough pill to swallow, but unfortunately, the price is what it is.

[PlanB @100trillionUSD]

Not to bash ETH and correct me if I am wrong, but IMO this ETH/BTC chart is remarkable and has important insights:

- ETH has done worse than bitcoin over last 10 years!! Still at 0.026 BTC, like March 2016.
- No ETH bull market pump in 2023/2024, like it did in 2017 and 2021...

[Cypherpunk Maxi @CypherpunkMaxi]

@Rishab_2003 @PwningEth It’s different from the Zcash bug

[Cypherpunk Maxi @CypherpunkMaxi]

@Rishab_2003 @PwningEth You should clarify that this is a bridge bug, not a protocol bug. If it had been exploited, the hacker would have withdrawn the maximum amount of ETH from the bridge vault, not minted unlimited ETH.

[Cypherpunk Maxi @CypherpunkMaxi]

@binji_x EF has finally taken the time to listen to the community's feedback

[Cypherpunk Maxi @CypherpunkMaxi]

@lay2000lbs @lex_node @josephdelong lol

[vitalik.eth @VitalikButerin]

Building index-tracking assets on top of options instead of debt

https://t.co/gFNEvCbHct

What if the use options as the base of defi, instead of CDPs and liquidations? So instead of extreme price movements creating a sharp and global "you get liquidated" effect, instead your exposure to the index diverges quadratically from your preferred exposure in a smoother way?

A key benefit is getting rid of the need for instant oracles, and instead making everything work on top of "slow oracles" (ie. the type that prediction markets use)

This design has a significant downside - the need to do regular rebalancing - and an open question of whether and how this rebalancing can be made slippage-resistant enough. But it's worth considering and trying IMO. I would feel much safer holding algostables inside something like this, than in something that depends on an oracle that has to give real-time answers (and therefore could be tricked into giving wrong real-time answers with no time for human recourse).

[Joseph Chalom @joechalom]

https://t.co/CEhi4vF5rL

[Cypherpunk Maxi @CypherpunkMaxi]

@ImperiumPaper Agree. People forgot that we’re in a bear market.

[Protocol Guild @ProtocolGuild]

1/ Announcing Protocol Guild's partnership with @megapot to drive recurring funding to Ethereum core development via lottery contests

A portion of new and future ticket purchases (+ contest winnings) made via PG’s Megapot page go toward supporting the stewards of L1 Ethereum

[Token Terminal 📊 @tokenterminal]

🏦⛓️ 73.6% of all tokenized ETFs are currently issued on @ethereum.

[joseph.eth @josephdelong]

Colossus cracked the code on secure remote credit card personalization

[Vultisig @vultisig]

If a single private key can be exported, it can be stolen.

That’s why MPC matters.
No full key sitting on one device.
No “split the key and hope” security theater.
Just threshold signing done properly.

[Jediwolf @Jediwolf]

"Ethereum is a Giver, not a Taker" is a brilliant thought.

I just think it leads to the opposite conclusion.

Crypto has become so used to extraction - high fees, high margins, rent-seeking, "value capture", number go up - that when something gives more than it takes we instinctively read it as weakness.

But maybe that’s exactly what makes Ethereum special.

Look at tokenized art as a tiny fractal of the Ethereum economy.

Ethereum gives artists and collectors the whole stack: issuance, provenance, settlement, custody, identity, global liquidity, composability etc.

And it charges almost nothing for it.

It already beats the IRL art market on almost every primitive: cost, speed, provenance, settlement, reach, custody and collector experience.

So what happens?

Artists price in ETH. Collectors think in ETH. Cultural value gets denominated in ETH. Communities form around ETH-native objects.

Art alone won’t reprice ETH. Of course not.

But art is a fractal. The same thing can happen across creators, DeFi, social, gaming, AI agents, stablecoins, RWAs and whatever else gets built here.

Ethereum gives first. Value comes back later.

Value comes back slowly - through people pricing things in ETH, using it as collateral, staking it, building on it and treating it as the base asset of the ecosystem.

The best monetary networks aren’t the ones that tax everything the hardest.

They’re the ones everything chooses to coordinate around because they give without extracting too much - and over time that compounds into trust, culture and value.

"Giver, not Taker" isn’t the bear case for ETH.

It is the reason Ethereum keeps becoming the place value returns to.

That is the longest game in crypto - and as a collector, the game I’m most interested in.

[Tom Wan @tomwanhh]

"ETH is dead"

SoFi launched stablecoin on Ethereum with $100M seed. Ethereum is still the primary home for liquidity and asset issuance, it just needs to leverage that.

[Cypherpunk Maxi @CypherpunkMaxi]

@0xprivacypools @0xbowio It’s impressive, thank you for offering it free. Privacy should be accessible to everyone.

[Privacy Pools @0xprivacypools]

privacy on ethereum can't scale with high fees

that's why we've made deposits free on privacy pools v2

and soon with private yield in the pool, you'll get paid for privacy (not the other way around)

[Cypherpunk Maxi @CypherpunkMaxi]

@StakeDAOHQ Are Curated Vaults still OK?