
Distributing trust. #Ethereum Yazdıklarım yatırım tavsiyesi içermez.
Earth
Joined April 2017
- Tweets35.4K
- Following213
- Followers146K
- Likes18.6K
tobbykitty.eth retweeted
Replying to @SatsScholar
its so simple no one believes it. dice rolls wtf. i got btc in a old core wallet thats open to the internet. never lost a sat. people think complexity will somehow improve security. turns out its the opposite.
Ledger özellikle Türkiyede çok meşhur bir cüzdandı.
Çok reklam verdiler, tabi bizimkileri suçlayamayız nereden bilsinler..
Birkaç satıcıdan alınan Ledgerlarda casus çipler çıktı.
Ben ezelden beridir Trezorcuyum, hep Trezor önerdim size. Bu haber yalan.
(Size çekiliş ile gönderdiğim Trezorları direkt fabrikadan göndertmiştim.)
🚨: @Trezor Joins Hack
It’s has officially extended beyond @Ledger with @Trezor wallet devices also being found tampered.
Get off @Trezor now!!!!
Readers added context they thought people might want to know
The recent tampering incident involves only Ledger devices sold via reseller CryptoBilis; Trezor states there are no confirmed cases of tampered Trezor devices from CryptoBilis or other resellers.
x.com/Trezor/status/…
x.com/Trezor/status/…
trezor.io/support/troubl…
beincrypto.com/is-any-hardwar…
Bu yorumu herkes değerlendirmiş, paraları harcama yapmayan bir cüzdana geçirmek güvendeyiz o zaman diye düşünüyor.
Ama konu tam olarak öyle değil.
Ethereum'da başka hiçbir blokzincirde olmayan devasa bir validator sayısı mevcut. Yaklaşık 840 bin tane validator aralarında 12 saniyede anlaşıp sisteme blok ekliyor.
Bu devasa karmaşıklığı diğer blokzincirlerin yap(a)mamasının sebeplerinden biri de BLS adı verilen imzalama modelleri.
BLS binlerce imzayı toplayıp tek imzada birleştirmeye yarayan bir teknoloji.
Ve bunu sağlayan da yine ECC.
Bunlar da açıkçası Quantum/AI assisted bir atakta cortlamaya müsait.
Yani ben parayı kaçırdım moruk diye bir olay yok, Quantum direkt konsensusu kırıyor.
leanXMSS gibi, Falcon512 gibi ya da direkt HASH tabanlı STARK gibi sistemlere ihtiyaç var.
İvme kazanıp bu işi bitirmek lazım. Elimizde sadece kriptografik kanıtlar kalacak.
Today I call upon the blockchain industry to calmly begin planning for "bunker mode". My personal recommendation is to set in motion a controlled mass migration of assets to fresh addresses, i.e. addresses whose pubkeys remain hidden behind a hash.
Holders, starting with large and sophisticated ones, should consider moving the bulk of their funds to addresses that have never signed a transaction. And when they do sign one, they should also move remaining funds to a new address (possibly generated from the same seed phrase).
Don't rush. While I believe there is cause for action a rushed migration would do more harm than good. Don't panic either. Moving assets to protected addresses is a simple, preventative step which does not require new cryptography or new wallets.
IMO it is now reasonable to brace for the possibility that ECDSA breaks before qday, in the worst case in months not years. By "break" I mean fast private key recovery (e.g. in one week) on available hardware (e.g. a large GPU cluster).
Recent days have been humbling for human mathematical intuition. Long-held, unquestioned hypotheses have fallen. This includes the n log(n) bound for integer multiplication and the 3SUM conjecture. In hindsight, May's unexpected disproof of the Erdős unit distance conjecture was our warning shot.
Yesterday's OpenAI drop made it clear that mathematical superintelligence is upon us. They say there are weeks where decades happen. We are about to live through weeks where centuries of mathematical progress happen. Could our magic 64-byte ECDSA signatures be too good to be true? Was it just security through obscurity all this time?
Elliptic curves feel especially vulnerable to superintelligence. Curves carry rich structure, with room for fancy tricks like Schoof, Frobenius, pairings. (By contrast, hashes are designed to minimise algebraic structure.)
Separately, as Ewin Tang can attest, an efficient quantum algorithm sometimes foreshadows an efficient classical one. We should be open to the possibility of a classical counterpart to Shor that breaks elliptic curves and RSA at once.
Also noteworthy is the striking under-representation of cryptographic breakthroughs among the 722 mathematical results OpenAI published. I've witnessed first-hand the US government censoring academic quantum cryptanalysis results. Backroom interventionism is my base case.
I urge large, sophisticated actors to lead by example. Project11's "risq list" (bitcoin-risq-list.projecteleven[.]com) is a great tracker of exposed BTC pubkeys. Binance, Bitbank, Robinhood, Bitfinex, and Tether have an opportunity to harden their cold storage. Next month I'll address institutions in London in a live Q&A (forum.ethereuminstitutional[.]org/london-2026).
Again, please do not rush. Wallets holding under 50 BTC enjoy partial cover from "Satoshi's shield", i.e. his 20K exposed addresses that hold 50 BTC each. Load-bearing signers like oracles and L2 security councils should consider rotating ECDSA pubkeys with every signed message and/or multi-signing with a hash-based schemes like SPHINCS.
Exiting bunker mode safely will require post-AI cryptography. My inclination is to go all-in on hash-based cryptography and avoid structured mathematical assumptions entirely, whether from curves, lattices, or isogenies. A single battle-tested hash (e.g. from the SHA or BLAKE families) yields plausible post-AI security.
The Ethereum roadmap on strawmap[.]org fully embraces hash-based cryptography with end-to-end formal verification as a response to the quantum threat. Those timelines must now be revisited and accelerated in light of mathematical superintelligence. I'll be pushing for maximum defensive acceleration.
Hot take, CT:
Starknet outclasses Zcash in almost every technical dimension.
The tech isn't even close. The only thing keeping this a debate is your bags.
Regards.
$STRK fiyatı 3 Dolarlardan düşmüş, bu pumplar hiçbir şey.
Oralara gelir mi, ben inanıyorum geleceğine ama ne umrumda, ne de takip ediyorum.
Cüzdanımın şifresini unuttum.
$SSTR için de tertemiz memecoin, çünkü kimsenin tek elinde değil. Üç dört kişi alsa şu an 20x yapar. Likidite az. Zamanında ben oluşturdum doğru hiç üç kağıt çevirmedim her şey şeffaf yaşandı.
Ben kriptodan çok uzak kaldım. Çünkü hastanede yaşıyorum. Vaktim yok artık. Ne olacaksa olsun kafasındayım.
Fibrous, son bir yılda 200 üzeri proie kepenk kapattı. Biraz nefes aldırın çocuklara.
Suçlu seçmekten vazgeçin. Kimsenin, hele benim, kimsenin cebinde gözüm mözüm yok.
Genel cevap.
Ben bu zamana kadar hep doğru bildiklerimi anlattım ve savundum.
İnsanların para kaybedince birilerini/beni suçlu ilan etmesi çok doğal. Çünkü belki de en çok ben para kaybettim.
Starknet için de L2'ler için de Ethereum için de fikrim hiç değişmedi.
Ben 2016'dan beri Quantum hikayesini duyuyorum.
Ama bu sefer siktir edin şu an tehdit değildir diyemiyorum. Gelişmeler tahmin edilenden çok daha hızlı ilerliyor çünkü.
Ciddiye almakta fayda var. En geç 2-3 yıla adaptasyon şart.
Açıkçası Starknet için de Ethereum için de iyi bir haber.
İlk olarak Starknet L2 savaşını kaybetti. Aktivite yok. Olmuyor. Ne yapsalar tutturamadılar, Bitcoin L2si olayım, gizli olayım öyle böyle derken kendilerini konumlandıracak bir şeyleri kalmadı. İyice Ethereum topluluğunu irrite ettiler.
Öte yandan Ethereum Foundation ile anlaşamadıkları bir realiteydi. Olmadı. Bazı çiçekler bazı topraklarda açmıyor. Ethereum üzerinde çok daha sempatik ve aktif L2'ler zaten var.
Öte yandan Starknet için de iyi oldu. Post-Quantum diyemiyorlar, sözleşmeler Ethereum'da olduğundan Quantum Dirençli değiller.
STRK için use case bulmakta çok zorlandılar, L1 olunca daha iyi olur.
Açıkçası Zcash'in yakaladığı hareketi Starknet için yakalamak istiyorlar.
Hayırlısı olsun ben her iki taraf için de pozitif veya negatif olarak değerlendirmedim.
tobbykitty.eth retweeted
Today I call upon the blockchain industry to calmly begin planning for "bunker mode". My personal recommendation is to set in motion a controlled mass migration of assets to fresh addresses, i.e. addresses whose pubkeys remain hidden behind a hash.
Holders, starting with large and sophisticated ones, should consider moving the bulk of their funds to addresses that have never signed a transaction. And when they do sign one, they should also move remaining funds to a new address (possibly generated from the same seed phrase).
Don't rush. While I believe there is cause for action a rushed migration would do more harm than good. Don't panic either. Moving assets to protected addresses is a simple, preventative step which does not require new cryptography or new wallets.
IMO it is now reasonable to brace for the possibility that ECDSA breaks before qday, in the worst case in months not years. By "break" I mean fast private key recovery (e.g. in one week) on available hardware (e.g. a large GPU cluster).
Recent days have been humbling for human mathematical intuition. Long-held, unquestioned hypotheses have fallen. This includes the n log(n) bound for integer multiplication and the 3SUM conjecture. In hindsight, May's unexpected disproof of the Erdős unit distance conjecture was our warning shot.
Yesterday's OpenAI drop made it clear that mathematical superintelligence is upon us. They say there are weeks where decades happen. We are about to live through weeks where centuries of mathematical progress happen. Could our magic 64-byte ECDSA signatures be too good to be true? Was it just security through obscurity all this time?
Elliptic curves feel especially vulnerable to superintelligence. Curves carry rich structure, with room for fancy tricks like Schoof, Frobenius, pairings. (By contrast, hashes are designed to minimise algebraic structure.)
Separately, as Ewin Tang can attest, an efficient quantum algorithm sometimes foreshadows an efficient classical one. We should be open to the possibility of a classical counterpart to Shor that breaks elliptic curves and RSA at once.
Also noteworthy is the striking under-representation of cryptographic breakthroughs among the 722 mathematical results OpenAI published. I've witnessed first-hand the US government censoring academic quantum cryptanalysis results. Backroom interventionism is my base case.
I urge large, sophisticated actors to lead by example. Project11's "risq list" (bitcoin-risq-list.projecteleven[.]com) is a great tracker of exposed BTC pubkeys. Binance, Bitbank, Robinhood, Bitfinex, and Tether have an opportunity to harden their cold storage. Next month I'll address institutions in London in a live Q&A (forum.ethereuminstitutional[.]org/london-2026).
Again, please do not rush. Wallets holding under 50 BTC enjoy partial cover from "Satoshi's shield", i.e. his 20K exposed addresses that hold 50 BTC each. Load-bearing signers like oracles and L2 security councils should consider rotating ECDSA pubkeys with every signed message and/or multi-signing with a hash-based schemes like SPHINCS.
Exiting bunker mode safely will require post-AI cryptography. My inclination is to go all-in on hash-based cryptography and avoid structured mathematical assumptions entirely, whether from curves, lattices, or isogenies. A single battle-tested hash (e.g. from the SHA or BLAKE families) yields plausible post-AI security.
The Ethereum roadmap on strawmap[.]org fully embraces hash-based cryptography with end-to-end formal verification as a response to the quantum threat. Those timelines must now be revisited and accelerated in light of mathematical superintelligence. I'll be pushing for maximum defensive acceleration.
Müthiş
Ethereum scaling is here
terencechain.com/writing/ver…
Arkadaşlar yapay zeka muhtemelen ders sunumu (Power Point) hazırlayabilir ama son derece profesyonel, güncel ve doğru bilgileri kullanarak bir sunum yapmak istesem neyi nasıl kullanacağım?
Bilen var mı acaba direkt ChatGPT ye bana bu konuyu anlatan bir sunu hazırla mı diyeceğiz?
Yaklaşık 10 gündür benim Twitter Sıfır Bir editleri ile doldu.
Altında çok fazla yasaklansın vs. şeyler görüyorum. Söylemezsem patlarım.
Ben Kurtlar Vadisi ile büyüyen nesildenim. Hiç mafyalığa özenmedim.
Sıfır Bir de izledim, geçti gitti. Eskiden Pikaçu Ferhat vardı. Kendini Pokemon sanıp camdan aşağı atlayan ve diziyi yasaklatan..
Şu huyumuzu artık terk edelim, kim ne izliyorsa izlesin. Sadece bu tip içeriklere Televizyonda zapping yapan çocuk ulaşamasın, ama isteyen açsın izlesin yani. Rahat bırakın insanları.
SEN. KARIŞ. MA. SON. ER.
2016-2017'de Ethereum'a bir güncelleme getirilmek istendiğinde test için Redditte paylaşılırdı. Gönüllü 100-200 kişi kurup denerdik.
Debugging aylar sürerdi, tam oldu derdik hop biri yeni bir fikir atardı her şey yeniden sil baştan.
Ethereum'un merkeziyetsizliği ve dağınıklığı onu güncelleme için ciddi bir handikap.
AI bu konuda inanılmaz bir nimet. Debugging, Testing, Review, Audit.. çok daha iyi yapabiliyor.
Dolayısı ile geliştirme veyahut güncelleme artık çok daha seri.
Ethereum'u çok iyi bir gelecek bekliyor. Kalben inanıyorum.
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.





















