Nataly_Dmdv
@Natly_Demi
Followers
172
Following
5K
Media
10
Statuses
149
BD Lead @Asterizm_layer | cross-chain infrastructure Co-founder @nullreturn_io https://t.co/Jxa8JTmJQ8
Joined May 2024
💪
⚡️The first Collateral Bridge on @CantonNetwork, built with Asterizm Protocol, has been unanimously approved and granted Featured App status! It enables secure cross-chain transfers of digital assets and tokenized RWAs between Canton and 30+ chains. And more are coming 👇⏬
0
0
2
Hey! I’ve joined the @Asterizm_layer team If you’re working on an L1/L2, you can (and should) talk to me about your infra! Also… feel free to congratulate me 😄
0
0
2
Formal verification 🤌🤌🤌
Formal verification 🤌🤌🤌
0
0
2
Another hack this week. First question: “Who audited?” Truth: responsibility lies with the team, not auditors. Tier-1 projects hand over code so polished even medium bugs hide. 💡 Tip: 2+ audits + formal verification. High TVL = high responsibility.
0
1
4
Sometimes flashmobs on social media feel kinda weird, but I love the ones where people share stuff about themselves. Cool to see real people and what they choose to highlight.
0
0
3
Developers learned about formal verification today. Do they have to implement it themselves? Nope. We’ve got them covered.😎
0
2
7
Comprehensive security for DeFi sounds expensive, slow, complicated. But it’s never more expensive than a single exploit. 🙂 Audit + formal verification = strongest combo. Our new article explains why 👇 https://t.co/ATlslUGdlL
medium.com
In Web3, audit and formal verification are often treated as separate steps. In reality, they reinforce each other.
0
0
4
I won’t lie: formal verification isn’t easy. But walking through it step by step with an experienced team makes the whole journey simple and stress-free.
Think formal verification is only for academics? In reality, it’s a practical security tool every DeFi team can use. Here’s how it works -- step by step. 👉 https://t.co/lNNVRhKRZf
0
0
6
There can never be too many checks. We strongly recommend conducting a manual audit, formal verification to mathematically test all possible protocol scenarios, and also using AI agents (this is always helpful as well). Reach out to Kirill and give it a try!
On August 29th (in 9 days), we're launching the so-called "testnet" version of Nethermind AgentArena (@Agent4rena_NM) into production. If you have a solidity project that you're planning to audit or just want to find the maximum number of security issues and bugs in it, you can
1
0
5
I spent 2 months talking to CTOs, founders & devs. Over half had to Google what formal verification is. Others didn’t see the need for it. Curious, where do you stand on FV for DeFi protocols?
0
0
4
exactly
> you can not prove that a contract is secure Let’s unpack this. First, “secure” is a very fuzzy word. Without a clear definition, the statement is more about opinion than fact. But once we define what “secure” means for a given smart contract—i.e., all the things it should and
0
1
2
Every project goes through cycles, and sometimes exceptional people become available. If you're looking for a top-tier Web3 legal & governance expert: Ex-legal advisor @LidoFinance, 6+ yrs in crypto, PhD in blockchain governance. Now open to new opportunities. Don't miss this
I was impacted by layoffs and I’m now open to new opportunities in Web3. If you’re building where law meets decentralization — I’d love to talk. Here’s what I bring 🧵: 📍 My background: Lawyer with deep crypto-native experience and PhD researcher in blockchain governance •🛠️
0
1
5
🎂
Happy 10th birthday, @ethereum ! You sparked a movement of innovation, community, and trust. Here’s to another decade of building with strong security and decentralization. Stay bold, stay safe, keep inspiring! 💛
0
0
0
Oh! My team dropped some tips on how to prep for an audit without wasting money or losing your mind. Might be just what you need
🛠️ Shipping code soon? Prep for audit first. Our new guide breaks down 8 steps—clear specs, solid tests, scope doc, code freeze & more—to save time, nerves + $$. 🚀 Read here: https://t.co/7wcK5CYC3z
#Web3Security #SmartContracts #AuditReady
0
1
5
Many Web3 hacks happen due to the same mistakes. To protect your project: - Get 2+ independent audits - Use formal verification - Monitor on-chain activity We publish weekly hack digests. Learn from others' failures.
🛡️ Web3 Security Weekly (14-20 Jul) Arcadia hack $3.5M BigONE hack $27M CoinDCX hack $44M DPRK thefts → $2.17B H1 🇺🇸 GENIUS Act = 100 %-backed stablecoins. Root causes & fixes 👉 https://t.co/gGmMmWYDly
#Web3Security #Crypto #DeFi
0
0
3
🎂 Happy 10th birthday, Solidity! The family’s grown. We now have at least four compilers: Solc https://t.co/yPzJMsuq4x The OG boomer: "Back in the old days, we compiled for 10 years without crits, but today's devs can only complain about stack-too-deep." Solx
github.com
Solidity, the Smart Contract Programming Language. Contribute to argotorg/solidity development by creating an account on GitHub.
1
2
23
It’s always great to hear kind words about the team’s work!❤️
✨ @dzap_io shares their experience working with Null Return -- see for yourself 👇 We appreciate the trust and collaboration 🙏 Want the same level of security? Book your audit now: https://t.co/z8koqxWJ2s
0
0
2
It’s been a varied week.
🛡️ Web3 Security Weekly (June 30–July 6) -Fake crypto “advisor” scams $250K -40 malicious wallet extensions found -Hackers launder $140M via crypto -NK macOS malware hits crypto users -Hacks in H1 2025 surpass 2024! Full https://t.co/aVAOyjqOSw
#Web3Security #CryptoNews
0
1
3
People think audit contests and private audits are interchangeable. They're not. They're completely different activities solving different problems. As someone who owns an audit firm with 25+ people, here's why you need both: 🧵
2
4
17
Preparing for audits like a pro! 🔍 Our friends at @kleros_io released a detailed review of smart contract security tools — from Slither & Mythril to AI like ChatGPT. Some surprising insights! Get ahead before your next audit: https://t.co/s9A62OUJEH
#AuditReady
blog.kleros.io
Introduction At Kleros, security is paramount. As we build decentralized dispute resolution systems that handle significant value, we need to ensure our smart contracts are resistant to attacks and...
0
1
3