skywinder Profile Banner
Petr Korolev 🦇🔊 Profile
Petr Korolev 🦇🔊

@skywinder

Followers
1K
Following
1K
Media
93
Statuses
1K

🚀 R&D and security @0xorio 👾founded (and exit not by choice) @the_matter_labs 🔨buidl web3swift

Earth
Joined January 2009
Don't wanna be here? Send us removal request.
@skywinder
Petr Korolev 🦇🔊
2 months
RT @0xorio: 📢 Come join our co-founder @skywinder speaking at @ethbelgrade .June 4, 10:00 - "AI tools for Blockchain: pros and cons of AI-p….
0
1
0
@skywinder
Petr Korolev 🦇🔊
4 months
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. (╯°□°)╯︵ ┻━┻
Tweet media one
0
0
3
@skywinder
Petr Korolev 🦇🔊
4 months
Give a man Ethereum, he’ll spend for a day. Teach him DeFi, he’ll yield forever.
@k06a
Anton Bukov (e/acc)🦇🔊
4 months
Let’s make it clear: Ethereum blocks are half full, not half empty.
2
4
12
@skywinder
Petr Korolev 🦇🔊
4 months
I feel you—and honestly, I feel a lot of the same things. The values that brought so many of us into open source and crypto—BUIDLing, curiosity, innovation, collaboration—are getting buried under incentives, metrics, and noise. What once felt like pure promise now feels like.
@LefterisJP
Lefteris Karapetsas
4 months
I’m tired. Everything I love about software: craft, care, community is being gutted. AI slop PRs for airdrops. Fake activity to juice metrics for retro funding. DAO politics and governance favors. OSS reduced to a game of farming points and politics. Crypto didn’t liberate.
2
0
3
@skywinder
Petr Korolev 🦇🔊
4 months
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!.
@0xorio
OXORIO
4 months
🟠 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
Tweet media one
0
0
5
@skywinder
Petr Korolev 🦇🔊
4 months
@kodjima33 Ah, there’s @omedotme — ping on you too :).And yes — new PRs are ready, with more on the way!.
0
0
2
@skywinder
Petr Korolev 🦇🔊
4 months
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 🚀
Tweet media one
1
0
7
@skywinder
Petr Korolev 🦇🔊
4 months
Incredible breakdown by @pcaversaccio on the DPRK malware ( targeting @k06a. It used a PDF as a distraction, secretly downloading & preparing another payload for execution—no sudo required! Huge kudos Pascal for staying vigilant! 🔥 #StayParanoid.
@pcaversaccio
sudo rm -rf --no-preserve-root /
5 months
Alright - I got my hands on the malicious app file and scrutinised it thoroughly. This incident, which is part of a broader deception and exploitation attempt, can be attributed with high confidence to the AppleJeus/Citrine Sleet DPRK team.
Tweet media one
0
2
12
@skywinder
Petr Korolev 🦇🔊
5 months
EF’s donation for @alex_pertsev’s legal defense it’s bold action. Moments like these remind me why every effort matters, making my work feel even more significant. Proud to be in this great company. Kudos, EF!
Tweet media one
@ethereumfndn
Ethereum Foundation
5 months
The EF is donating $1.25M to the legal defense of Alexey Pertsev. Privacy is normal, and writing code is not a crime. You can contribute to @alex_pertsev's defense here:
0
1
5
@skywinder
Petr Korolev 🦇🔊
5 months
I just put to the test on a complex contract—and wow, what a game-changer! It uncovered a critical issue that many seasoned auditors overlooked, proving its ability to boost audit quality. This tool is set to redefine smart contract security! Kudos to the.
savant.chat
Smart Contract Security Powered by Advanced AI
@savantchat
Savant.chat
6 months
achieves near-perfect vulnerability detection—outperforming other AI auditors and o3-level LLMs with 87% accuracy. Backed by our study, it sets a new benchmark for smart contract security. More coverage. Fewer blind spots.
Tweet media one
1
4
7
@skywinder
Petr Korolev 🦇🔊
9 months
That's so true. I’m familiar with this drama, and it provides a great representation of how audit contests work. In the end, the bug was fixed, but every auditor should know not only the attack vectors but also how to defend against others.
@shunduquar
shung 🇵🇸
1 year
Good luck to the judge.
0
1
8
@skywinder
Petr Korolev 🦇🔊
9 months
What a Week at Devcon 2024!. And just like that, @EFDevcon 2024 has come to an end, leaving us with incredible insights, meaningful connections, and a renewed sense of purpose. 🇹🇭. This week wasn’t just about the numbers – 4 events, 2300 guests, 100+ speakers – it was about the
Tweet media one
0
2
19
@skywinder
Petr Korolev 🦇🔊
9 months
Attended an impressive presentation by @_vshapovalov at the @LidoFinance event during the @EFDevcon! . Fascinating insights on the new waves in staking and the next steps ahead. But Vasiliy, just curious — why the blackhat and not the whitehat? 😉
Tweet media one
Tweet media two
Tweet media three
2
2
18
@skywinder
Petr Korolev 🦇🔊
9 months
RT @anirudh_chohan: Cross chain fragmentation is a problem
Tweet media one
0
4
0
@skywinder
Petr Korolev 🦇🔊
9 months
“Even if Roman Storm is charged, we want to achieve the best possible outcome, which means challenging and beating as many of the charges as we can.”. Supporting Alexey in his legal battle is crucial for the future of privacy rights and open-source development. By uniting our
@ameensol
Ameen Soleimani
9 months
gm devcon. just donated 50 ETH to Alexey Pertsev's legal defense fundraiser. willing to match up to 50 more ETH of donations that come in this week. that should help Alexey fund his ongoing appeal costs. if you can, please join and help him out ✌️.
Tweet media one
1
27
96
@skywinder
Petr Korolev 🦇🔊
9 months
RT @0xorio: 🟠 Alex Drygin from @0xorio is taking the stage at NoirCon in Bangkok!  . We are speaking about building an email-based private….
0
2
0
@skywinder
Petr Korolev 🦇🔊
9 months
We are discussing projects and how to maintain both privacy and transparency. Here is @samonchain from @PrivacyScaling sharing insights. A big shoutout to @ameensol for pushing Privacy Pools forward!.At @web3privacy
Tweet media one
Tweet media two
Tweet media three
Tweet media four
0
0
5