zefram.eth

9.8K posts

zefram.eth banner
zefram.eth

zefram.eth

@boredGenius

Building @FoglightPrivacy https://t.co/cTba2QMwgE

The Moon Katılım Temmuz 2015
2.2K Takip Edilen25.4K Takipçiler
Sabitlenmiş Tweet
zefram.eth
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
zefram.eth tweet media
English
24
30
223
21.3K
binji
binji@binji_x·
making a groupchat for people who like ethereum lmk
English
675
30
1.4K
88.4K
arya (fka. arjun) 🏴
arya (fka. arjun) 🏴@arjunbhuptani·
We've made the difficult decision to wind down @EverclearOrg. @LayneHaber @RHLSTHRM and I started Connext (later Everclear) in 2017 to help solve the painful UX holding Ethereum back from mainstream adoption. Over the last 9 years, our team: - Shipped the first production L2 (using state channels) in 2018. - Contributed to the creation of the @MolochDAO, catalyzing renewed interest in DAOs. - Pioneered the first intent-based bridge in 2020. - Created the Chain Abstraction vision and demonstrated it's potential for staking/restaking protocols. - Pushed forward ERC-7281 as a neutral, open standard for bridged tokens. - Brought clearance to DeFi. - Processed over $6B in network volume. Throughout that time, we've also done our best to stay true to our principles and the crypto ethos; pushing for a higher bar of transparency and trust-minimization for ourselves and the space at large. Even though this isn't the ending we ultimately wanted, I am *incredibly* proud of what our team has accomplished and grateful to those who have supported us all of these years ❤️ Longer post-mortem coming soon. In the meantime, if you are a team that is hiring: we have a team of 10x operators who have executed ruthlessly through some of the harshest market conditions on shoestring budgets. Reach out!
Everclear@EverclearOrg

Today we’re sharing difficult news: we have made the decision to wind down Everclear (Foundation / Labs and building the product).

English
32
12
118
19K
zefram.eth retweetledi
chaskin.eth
chaskin.eth@jchaskin22·
Please take 1 minute and watch this clip from Andreas Antonopoulos at ETHDenver 2019 The exact moment Andreas is warning about, where moloch tries to turn Ethereum into corposlop, is here We need the courage to resist it
English
27
91
494
37.6K
zefram.eth retweetledi
fricoben
fricoben@Fricoben·
We spent the last few weeks formally verifying smart contract invariants across Ethereum protocols using AI and Lean. Here's the methodology and what we learned 🧵
fricoben tweet media
English
1
9
41
3K
zefram.eth
zefram.eth@boredGenius·
@ptrwtts It's still jank but it works, just takes some effort to adapt. Like building with Solidity v0.4.x + Truffle if you know what I mean.
English
1
0
3
94
Peter | Relay
Peter | Relay@ptrwtts·
@boredGenius Are we actually ready? You’d recommend for a big new project starting today?
English
1
0
3
159
Patrick Collins
Patrick Collins@PatrickAlphaC·
I recently turned 33, and every year I want to go back to 21-year-old Patrick with a list of lessons. If you're in your 20s, these are for you. Most lessons only land after an ass-whooping. And even then, you usually miss them the first time.
English
138
221
3K
325.7K
Jommi
Jommi@joakimhi·
Hey everyone - wanted to announce that a few weeks ago I joined the GTM team at @megaeth focusing on making sure MegaApps become successful and MegaDefi keeps growing Im excited to join the likes of @NamikMuduroglu, @ImperiumPaper and the rest of the team, aiming to prove over time why Mega is different. Not many know this, but my career has been quite wildly diverse: I spent most of my web2 career working on app growth for companies like Bolt, as well as working with the giants of the mobile gaming industry. Yet most will know me from the past 4 years of being an intense defi user, degen, market participant and group chat spammer. I am glad to be able to be combining these two passions, bringing in the incentive aware UA spending thinking from web2 to Mega, as well as helping build a defi system that I as a long time user would enjoy exploring. My focus on Apps will be two fold: 1) Helping shape Terminal, reinforcing its value as a curated discovery layer for apps on Mega and helping build its incentive system to promote breakout apps. Am especially looking to working with teams focusing on something new and to reward teams that are Mega and USDM aligned. If you are a dev building something new, especially if it's something that hasn't been done before or is a onchain experiment, PLEASE reach out! 2) Helping the most mega-aligned apps navigate their go-to-market plans. Apps should get help with launch strategy, distribution, positioning, and the right connections. Founders should be focused on execution, not blocked by figuring out who to talk to, how to launch, or how to tell their story. It is no longer just about building new protocols. It is about bringing real collateral onchain. And where else to build that than the chain built for super fast blocktimes and millisecond latency oracle updates. @ImperiumPaper will still be the main person for USDM growth. We already made a strong first step here with our collaboration with @aave, hitting over $1B in deposits a few days ago. There is a long backlog of high-quality collateral looking to work with us, in addition to native teams like @brix_money and @CapApp. Looking forward to seeing how we can enable them across MegaDeFi. TL DR: Joining megaeth, helping build a curated experience of apps, building an incentivization model backed by actual economics, and making Mega by the best place for onchain finance on EVM. Mega GDP go up ⬆️
English
74
9
292
30.4K
zefram.eth retweetledi
Garry Tan
Garry Tan@garrytan·
Sanders and AOC introduced a bill to pause ALL AI data center construction. 300+ local bills filed. Half of planned 2026 data centers facing delays or cancellation. Each one brings billions to local economies. The people who say they want American jobs are trying to block the biggest job creation engine since the interstate highway system.
Garry Tan tweet media
English
7.2K
3.2K
16.1K
24.6M
zefram.eth
zefram.eth@boredGenius·
Sub-second mobile proving for complex private transactions has been achieved internally at @FoglightPrivacy🫡
PSE@PrivacyEthereum

3/ The #1 technical problem: cost & performance of ZK proving and verification. Verifying a Groth16 proof for a private transfer ≈ several hundred thousand gas. Proof generation is too slow client-side too, especially on mobile. Sub-second proving was cited as the threshold for it to stop being a problem.

English
2
0
12
1.5K
zefram.eth retweetledi
banteg
banteg@banteg·
i look at pure research with a bit of contempt. it's for people who don't get their hands dirty and don't want to take the risks of seeing their idea perform in production. you just spent years in an insulated ivory tower, while others have a live feedback loop collecting data in the trenches.
English
14
8
118
13K
zefram.eth retweetledi
sudo rm -rf --no-preserve-root /
sudo rm -rf --no-preserve-root /@pcaversaccio·
the _toy_ language Fe is the perfect example of ivory tower building. it's not only a misallocation of funds but a complete lack of vision for what actually matters in the real world. Vyper is the uncapturable, formally verified, cypherpunkish surviving smart contract language this space actually needs. not a circle-jerked theoretical language that still hasn't been prod ready after years. if you're bullish on Ethereum, you _must_ fund Vyper, there is no other choice.
English
9
13
132
10K
zefram.eth retweetledi
banteg
banteg@banteg·
excuse me, but how is cumrag called rekt news related to securing ethereum? it's long been replaced with an llm that writes snarky "wow hacked again" articles.
banteg tweet media
English
17
8
204
26.2K
zefram.eth
zefram.eth@boredGenius·
Vyper is critical infrastructure for Ethereum apps Ethereum Foundation should actively support Vyper Simple as🫡
banteg@banteg

argot was spun out of ethereum foundation with a mandate to maintain ethereum's core programming languages and developer tooling. then it immediately begins to launder research as if it was core infrastructure maintenance. if you read their blog, they spend a lot of resources on fe, a language that has been "emerging" for over 5 years. they have long plans for fe, while the language itself has seen zero adoption and zero production use. their long term goal is "non-trivial contracts in production-like setting". meanwhile vyper is actual production infrastructure. it secures real protocols, with real users and tvl, and real audit surface. curve, lido, yearn, frax, velodrome all use vyper. yet vyper lives grant-to-grant, while argot started with a $16.6m check, about as much as ethereum started with. argot doesn't disclose how much time and energy it spends on the fe fantasy versus solidity, sourcify, hevm, or other genuinely core tooling. but clearly this pet project abuses and stretches the mandate. even though it's a programming language, by no serious measure it's "core". it should spin out and try to survive and prove demand independently. production compiler maintenance should get baseline funding before speculative language incubation gets considererd. vyper is in good shape today despite the ecosystem, not because of it. and it still does not sit right with me that resources keep getting misallocated away from the compiler people actually use. ethereum keeps saying "public goods", then funds the toy compiler like infrastructure and makes the production compiler pass the hat. that is not stewardship.

English
3
10
56
3.8K
zefram.eth retweetledi
th0rgal
th0rgal@Th0rgal_·
We made offline transaction verification tool for @safe Secure every important transaction with clear signing via ERC-7730. Fully offline verification. Zero network calls
English
8
15
96
17.6K

Keşfet

@binji_x @arjunbhuptani @EverclearOrg @LayneHaber @RHLSTHRM @MolochDAO @ptrwtts @PatrickAlphaC