Petr Korolev 🦇🔊

1.1K posts

Petr Korolev 🦇🔊 banner
Petr Korolev 🦇🔊

Petr Korolev 🦇🔊

@skywinder

🔨 Build the sovereign ai memory @ https://t.co/hi2hhwjKEP 🚀 Break & fix security @0xorio

Earth Katılım Ocak 2009
1K Takip Edilen1.1K Takipçiler
Petr Korolev 🦇🔊
Petr Korolev 🦇🔊@skywinder·
Vitalik's been dropping hints on this for a while. Let's see who takes what role: @ether_fi do settlement on @Scroll_ZKP with their cards - killer use case. @StarkWareLtd & @aztecnetwork own the privacy game. @arbitrum & @OptimismFND: speed for advanced DEXes. How about the rest?
vitalik.eth@VitalikButerin

There have recently been some discussions on the ongoing role of L2s in the Ethereum ecosystem, especially in the face of two facts: * L2s' progress to stage 2 (and, secondarily, on interop) has been far slower and more difficult than originally expected * L1 itself is scaling, fees are very low, and gaslimits are projected to increase greatly in 2026 Both of these facts, for their own separate reasons, mean that the original vision of L2s and their role in Ethereum no longer makes sense, and we need a new path. First, let us recap the original vision. Ethereum needs to scale. The definition of "Ethereum scaling" is the existence of large quantities of block space that is backed by the full faith and credit of Ethereum - that is, block space where, if you do things (including with ETH) inside that block space, your activities are guaranteed to be valid, uncensored, unreverted, untouched, as long as Ethereum itself functions. If you create a 10000 TPS EVM where its connection to L1 is mediated by a multisig bridge, then you are not scaling Ethereum. This vision no longer makes sense. L1 does not need L2s to be "branded shards", because L1 is itself scaling. And L2s are not able or willing to satisfy the properties that a true "branded shard" would require. I've even seen at least one explicitly saying that they may never want to go beyond stage 1, not just for technical reasons around ZK-EVM safety, but also because their customers' regulatory needs require them to have ultimate control. This may be doing the right thing for your customers. But it should be obvious that if you are doing this, then you are not "scaling Ethereum" in the sense meant by the rollup-centric roadmap. But that's fine! it's fine because Ethereum itself is now scaling directly on L1, with large planned increases to its gas limit this year and the years ahead. We should stop thinking about L2s as literally being "branded shards" of Ethereum, with the social status and responsibilities that this entails. Instead, we can think of L2s as being a full spectrum, which includes both chains backed by the full faith and credit of Ethereum with various unique properties (eg. not just EVM), as well as a whole array of options at different levels of connection to Ethereum, that each person (or bot) is free to care about or not care about depending on their needs. What would I do today if I were an L2? * Identify a value add other than "scaling". Examples: (i) non-EVM specialized features/VMs around privacy, (ii) efficiency specialized around a particular application, (iii) truly extreme levels of scaling that even a greatly expanded L1 will not do, (iv) a totally different design for non-financial applications, eg. social, identity, AI, (v) ultra-low-latency and other sequencing properties, (vi) maybe built-in oracles or decentralized dispute resolution or other "non-computationally-verifiable" features * Be stage 1 at the minimum (otherwise you really are just a separate L1 with a bridge, and you should just call yourself that) if you're doing things with ETH or other ethereum-issued assets * Support maximum interoperability with Ethereum, though this will differ for each one (eg. what if you're not EVM, or even not financial?) From Ethereum's side, over the past few months I've become more convinced of the value of the native rollup precompile, particuarly once we have enshrined ZK-EVM proofs that we need anyway to scale L1. This is a precompile that verifies a ZK-EVM proof, and it's "part of Ethereum", so (i) it auto-upgrades along with Ethereum, and (ii) if the precompile has a bug, Ethereum will hard-fork to fix the bug. The native rollup precompile would make full, security-council-free, EVM verification accessible. We should spend much more time working out how to design it in such a way that if your L2 is "EVM plus other stuff", then the native rollup precompile would verify the EVM, and you only have to bring your own prover for the "other stuff" (eg. Stylus). This might involve a canonical way of exposing a lookup table between contract call inputs and outputs, and letting you provide your own values to the lookup table (that you would prove separately). This would make it easy to have safe, strong, trustless interoperability with Ethereum. It also enables synchronous composability (see: ethresear.ch/t/combining-pr… and ethresear.ch/t/synchronous-… ). And from there, it's each L2's choice exactly what they want to build. Don't just "extend L1", figure out something new to add. This of course means that some will add things that are trust-dependent, or backdoored, or otherwise insecure; this is unavoidable in a permissionless ecosystem where developers have freedom. Our job should make to make it clear to users what guarantees they have, and to build up the strongest Ethereum that we can.

English
0
1
4
223
Evgenii Burmakin 🗺️ dawarich.app
@vas3k Вебка, бутылка Содастрим (с аппаратом, очевидно), держалка для ноута справа (ещё не купил но в корзине давно лежит), мыщька, ну из икеи стол и пегборд можно даже не упоминать, колонки эдифаер с натяжкой, потому что не совсем такие же
Русский
1
0
0
71
Вастрики
Вастрики@vas3k·
Сходить в хорошую качалочку в Берлине — это не только пожать штангов, но и зашазамить себе парочку треков из их нового техно-плейлиста, чтобы потом их вечером попробовать :3
Вастрики tweet media
Русский
5
0
62
6.7K
Petr Korolev 🦇🔊
Petr Korolev 🦇🔊@skywinder·
Found a great simple tool to aggregate all my conversations and chats from Claude, OpenAI, and Perplexity in one place - @OwnYourChat. Of course, it's self-hosted and open source. Already added a couple of PRs for search and filter tools. Now it's simply a great tool. Kudos to @topcatnocap
English
3
0
7
183
Maxim Fomin
Maxim Fomin@Abtigi·
@vas3k Так может у тебя в приложении половины важных функций нет. Это вообще полезно: я в свой форк черипикаю отвергнутые PR апстрима: автор говорит что его приложение должно быть минимальным а у меня нет лимитов.
Русский
5
0
21
9.4K
Вастрики
Вастрики@vas3k·
Снова очередной AI-лунатик решил "помочь" мне с опенсорс-проектами и, расчехлив свою $20 подписку на сраный claude code, нахуячил за утро 30+ слоп-пуллреквестов. Заебали... Во всех моих новых проектах отныне NO PR policy. И буду потихоньку двигать с гитхаба. Опенсорс закончился
Вастрики tweet media
Русский
60
16
745
163K
Cyber Academy
Cyber Academy@cyberacademydev·
Petr Korolev @skywinder & Tigor Bakutin show why your AI memory must stay local — and how self-hosted models can give you superhuman recall without handing your life to Google or Meta youtu.be/_mRji2Ssahg
YouTube video
YouTube
English
1
0
11
760
Petr Korolev 🦇🔊
Petr Korolev 🦇🔊@skywinder·
Going public with @Bakuutin! Intro talk about Mycelia.tech — how to keep your privacy and build a fully self-hosted AI memory during Buenos Aires @EFDevcon week. Thanks @cyberacademydev for the great event! youtube.com/watch?v=_mRji2…
YouTube video
YouTube
Cyber Academy@cyberacademydev

Petr Korolev @skywinder & Tigor Bakutin show why your AI memory must stay local — and how self-hosted models can give you superhuman recall without handing your life to Google or Meta youtu.be/_mRji2Ssahg

English
1
1
7
445
Petr Korolev 🦇🔊 retweetledi
OXORIO
OXORIO@0xorio·
📢 Come join our co-founder @skywinder speaking at @ethbelgrade June 4, 10:00 - "AI tools for Blockchain: pros and cons of AI-powered audits"
OXORIO tweet media
English
1
1
18
903
Petr Korolev 🦇🔊
Petr Korolev 🦇🔊@skywinder·
@0xmikko_eth 141 Savant vs. 26 from Nethermind — that’s wild! 💥 Really curious to see the comparison: - how many are real issues? - how many are false positives or duplicates? Super impressive work. When can we expect the full analysis, @0xmikko_eth ? 🙂
English
0
0
2
62
0xmikko.eth
0xmikko.eth@0xmikko_eth·
$2.2Bn were stolen last year. Could AI make our code safer and reduce hacks? I spent last week and tested various AI auditors. In this video I'll answer how to use them in prod? And could machines finally replace human auditors today? 2 AI auditor system: SavantChat & Nethermind AuditAgent. 8000 lines of code: @GearboxProtocol core contracts And 24hrs to reply... Could they found something after 7 audits and a few millions USD spent? Special thanks for @lekhovitsky , @igorgulamov , @balakhonoff, @tkstanczak and @nethermind . Stay tuned!
English
8
18
93
18.2K
Petr Korolev 🦇🔊
Petr Korolev 🦇🔊@skywinder·
Good weekend! Let’s build the @omedotme 😎 ❌.. Failed to get camera frame buffer 💥 Disconnected (read failed: [Errno 6] Device not configured) 💨 And then… magic smoke! Definitely not my day. (╯°□°)╯︵ ┻━┻
Petr Korolev 🦇🔊 tweet media
English
0
1
7
532
Petr Korolev 🦇🔊
Petr Korolev 🦇🔊@skywinder·
@TonioMacaronio I believe the price for normal audits will remain the same—it’s just a great booster. The AI audits themselves are still in the early stage. Manual audits will be in even higher demand, especially with 100x more vibe-coded smart contracts popping up :)
English
0
0
0
26
Petr Korolev 🦇🔊
Petr Korolev 🦇🔊@skywinder·
Been skeptical about AI in auditing? Same here. So we ran @savantchat on a well-known DeFi project (~3k SLOC) already audited by leading firms. It flagged new logic issues, edge cases, and gave actionable PoCs. Not a replacement for humans — but a strong sidekick. Worth trying!
OXORIO@0xorio

🟠 1/ We recently tested @savantchat — an AI-powered auditing tool — on a real DeFi project (~3k SLOC), previously audited by multiple top firms. The question: can AI surface anything meaningful post-audit? Spoiler: it can. And it made us rethink how automation can augment human reviews. 👇

English
0
0
5
496
Petr Korolev 🦇🔊
Petr Korolev 🦇🔊@skywinder·
Me: “I won’t start another project this weekend.” Also me: New dev kits just landed — break, build, ship, repeat! Our Hackerspace is buzzing. Huge thanks to @kodjima33 for the lightning-fast reply + shipment. Let’s goooo! New features loading 🚀
Petr Korolev 🦇🔊 tweet media
English
1
1
8
300
Petr Korolev 🦇🔊
Petr Korolev 🦇🔊@skywinder·
@kodjima33 Full-day video? Only if the glasses come with a just 10,000 mAh in each earpiece battery + forehead fan. But a timelapse life in 1-min shots? Now we’re talking! Build mode: ON 🚀
English
0
0
1
88
Nik Shevchenko
Nik Shevchenko@kodjima33·
Let's make it happen, April 13th: partiful.com/e/rZcNmY1kJwv7… If you want these glasses to exist, send this link to the most smartglass-obsessed people you know I will approve only those who - Can build hardware or Firmware - Can be in SF by April 11th
Nik Shevchenko@kodjima33

Why no one can just go and build smartglasses with cameras that record the entire day I need to deliver a million things rn but if no one is going to do it, I’m going to do it

English
9
4
35
14.3K