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

133
Followers

69
Following

503
Likes

481

Null Return @nullreturn_io

6 days ago

Check out our new article! We explain how formal verification can help minimize the risk of flash loan attacks in DeFi. linkedin.com/pulse/how-form… #FormalVerification #FlashLoan #DeFi #Web3Security #SmartContractSecurity #CryptoSecurity #Blockchain #Auditing #ProtocolSafety…

0 0 2 23 0

Null Return @nullreturn_io

6 days ago

Another $2M gone. Same story: flash loan exploit, weak transfer logic, liquidity pools drained. DeFi doesn’t need more audits. It needs formal verification.

0 0 2 39 0

🛡️ Web3 Security Weekly (Sep 15–21): • Shibarium bridge $2.4M → memecoins slide • Microsoft seizes 340 phishing sites • Whale loses $6M via permit phishing • NewGoldProtocol $2M flash-loan exploit Full digest 👉t.ly/KtevM #Web3Security #Crypto #DeFi

0 0 3 46 0

Paul Razvan Berg @PaulRBerg

3 years ago

The SMTChecker is an underappreciated feature of Solidity. It's a built-in compiler module that you can use to produce a formal verification report for your contracts. And yes - it can be configured with Foundry! Here's a sample config:

7 21 133 22K 75

Download Image

Null Return @nullreturn_io

2 weeks ago

In Null Return audits we don’t just drop a PDF and disappear. We work with your team until fixes are implemented and verified. Because real security is a process, not a report.

0 1 2 23 0

Null Return @nullreturn_io

2 weeks ago

If you think “this can’t happen in our code” → double-check.

0 0 1 18 0

Download Image

Null Return @nullreturn_io

2 weeks ago

formal verification 🤌🤌🤌

Certora @CertoraInc

2 weeks ago

formal verification 🤌🤌🤌

1 1 17 2K 1

0 0 1 26 0

Nataly_Dmdv @Natly_Demi

2 weeks ago

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 3 170 0

Null Return @nullreturn_io

2 weeks ago

Smart contract audits ≠ formal verification. Audits find bugs. Formal verification proves the absence of entire classes of bugs. Together → your protocol is actually battle-ready.

0 0 1 22 0

Null Return @nullreturn_io

2 weeks ago

🛡️ Web3 Security Weekly (Sep 8–14) • SwissBorg $40M+ via partner API • Nemo (Sui) $2.4M exploit • “ModStealer” fake-job malware drains wallets • Shibarium bridge ≈$2.3M Root causes: supply chain, access control, endpoints, bridges. 👉 t.ly/dX5BN #Web3Security

0 0 1 99 0

Null Return @nullreturn_io

3 weeks ago

🛡️ Web3 Security Weekly (Sep 1–7): - Venus Protocol $27M drain - Bunni DEX $2.4M exploit - WLFI phishing wave Full brief 👉t.ly/M3Xof #Web3Security #Crypto #DeFi #NullReturn

3 0 2 114 0

Nataly_Dmdv @Natly_Demi

4 weeks ago

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

0 2 6 143 0

Download Image

Certora @CertoraInc

2 years ago

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 14 1K 8

Null Return @nullreturn_io

4 weeks 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 128 0

Null Return @nullreturn_io

a month 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 32 0

Download Image

Null Return @nullreturn_io

a month ago

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

0 0 3 40 0

Null Return @nullreturn_io

a month ago

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

0 0 1 39 0

Null Return @nullreturn_io

a month 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? 🤔