Null Return @nullreturn_io

Smart-contract audits & formal verification • Infra consulting • Client‑focused service by experienced team • Flexible & open • DMs -open nullreturn.io Decentralized Joined February 2025

Tweets

122
Followers

65
Following

503
Likes

477

Nataly_Dmdv @Natly_Demi

a day ago

Developers learned about formal verification today. Do they have to implement it themselves? Nope. We’ve got them covered.😎

0 2 4 82 0

Download Image

Formal verification can sound intimidating or difficult. But you don't need a PhD in math to get the benefits. In this short post, we break 3 myths of formal verification, and how we make it easy using the Certora Verification Language. certora.com/blog/3-myths-o…

0 5 13 1K 8

Null Return @nullreturn_io

5 days ago

🛡️ Web3 Security Weekly (Aug 25–31) • DoJ recovers $1.9M via civil forfeiture • “Vanilla Drainer” steals $5M+ • CertiK H1: keys/roles/approvals still top risk • DoJ sues to seize $1M+ in Ohio scam Read 👇 t.ly/eBGPN #Web3Security #Crypto #NullReturn

0 0 2 86 0

Null Return @nullreturn_io

a week ago

Curious how to maximize trust in your protocol? Our article explains why audit + formal verification together is the smartest approach tinyurl.com/55rrp3cr

0 0 1 27 0

Download Image

Null Return @nullreturn_io

a week ago

Audits catch problems. Formal verification proves everything works. Together, they maximize security and trust in your protocol.

0 0 3 39 0

Null Return @nullreturn_io

a week ago

Not doing both yet? Here’s why you might want to start.

0 0 1 38 0

Null Return @nullreturn_io

a week ago

We’re big believers in combining audit + formal verification for Web3 projects. Audits catch real issues fast, formal verification gives mathematical guarantees. Do you do both? 🤔

0 0 2 37 0

Null Return @nullreturn_io

2 weeks ago

🛡️ Web3 Security Weekly (Aug 18–24) Scattered Spider hacker: 10 yrs in prison ⚖️ $91M lost in Bitcoin social engineering scam 🎭 Bomb hoax in India: $2k ETH ransom 💣😂 👉t.ly/iNSgz Security = code + people + processes. Follow @nullreturn_io for weekly updates.

0 0 1 235 0

Preetam | QuillAudits 🥷🏄 @raopreetam_

2 weeks ago

The 80/20 of smart contract vulnerabilities: 20% of bug types cause 80% of exploits: • Re-entrancy variants (not just the obvious ones). • Access control assumptions. • Oracle price manipulation. • Integer overflow in edge cases. • State inconsistencies during external…

5 2 23 741 10

Null Return @nullreturn_io

2 weeks ago

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. 👉 medium.com/@nullreturn/fo…

0 0 2 205 0

Download Image

Null Return @nullreturn_io

3 weeks ago

🛡️ Web3 Security Weekly (Aug 11–17) -$72M cashed out during ETH rally -Coinbase MEV slip → $300K loss -BtcTurk hot-wallet breach (~$48M) -Malicious AI extension drained core ETH dev Stay alert: security ≠ just code. 👉 t.ly/q68IS #Web3Security #Crypto #NullReturn

0 0 3 240 0

Null Return @nullreturn_io

3 weeks ago

Formal verification ≠ audit. It’s math that proves your smart contract works exactly as intended -- under all scenarios that tests or manual reviews might miss. Want to level up your Web3 security? Read more 👇 t.ly/d3ROY

0 0 5 66 1

Download Image

Null Return @nullreturn_io

3 weeks ago

We’re launching a series on formal verification with examples and insights. Follow us to level up your smart contract security knowledge!

0 0 2 36 0

Null Return @nullreturn_io

3 weeks ago

Formal verification proves a contract actually follows strict rules, not just that it “looks safe.” It catches issues that tests or fuzzing can miss. ✅

0 0 1 43 0

Null Return @nullreturn_io

3 weeks ago

💡 At Null Return, we did a study and found that many devs, even CTOs, confuse audits and formal verification. Think your contract is safe because it passed an audit? Think again.

0 0 2 61 0

Null Return @nullreturn_io

3 weeks ago

Formal verification proves a contract meets clear rules. Not vague ‘security’. EVM always halts. Partial proofs > unit tests or fuzzing for confidence.

Raoul @RaoulSaffron

3 weeks ago

Formal verification proves a contract meets clear rules. Not vague ‘security’. EVM always halts. Partial proofs > unit tests or fuzzing for confidence.

5 5 45 4K 12

0 0 2 58 0

Null Return @nullreturn_io

4 weeks ago

🛡️ Web3 Security Weekly (Aug 4–10) • CrediX DeFi exploit ≈$4.5M (role misconfig) • AI YouTube “trading bots” drain ≈$1M • Malicious Firefox add-ons stealing wallets Root causes + defenses 👉t.ly/k7EYf #Web3Security #Crypto #DeFi

0 0 1 76 0

Null Return @nullreturn_io

a month ago

🛡️ Web3 Security Weekly (28 Jul–3 Aug) • SuperRare staking hack $730K • WH 180-day digital-asset roadmap 🏛️ • JSCEAL malvertising wave 🚨 • LuBian hack: 127 426 BTC (~$14.5 B) 🪙 • 458-day delayed-drain phishing ⏳ Read 👉t.ly/zKXQ1 #Web3Security #DefiSecurity