
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
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
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. (╯°□°)╯︵ ┻━┻
0
0
3
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.
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
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!.
🟠 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
0
0
5
@kodjima33 Ah, there’s @omedotme — ping on you too :).And yes — new PRs are ready, with more on the way!.
0
0
2
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 🚀
1
0
7
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.
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.
0
2
12
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!
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
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
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.
1
4
7
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
0
2
19
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? 😉
2
2
18
“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
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 ✌️.
1
27
96
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
0
0
5