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-
Tweets123
-
Followers62
-
Following503
-
Likes477
🛡️ 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
Developers learned about formal verification today. Do they have to implement it themselves? Nope. We’ve got them covered.😎
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…
🛡️ 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
Curious how to maximize trust in your protocol? Our article explains why audit + formal verification together is the smartest approach tinyurl.com/55rrp3cr
Audits catch problems. Formal verification proves everything works. Together, they maximize security and trust in your protocol.
Not doing both yet? Here’s why you might want to start.
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? 🤔
🛡️ 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.
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…
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…
🛡️ 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
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
We’re launching a series on formal verification with examples and insights. Follow us to level up your smart contract security knowledge!
Formal verification proves a contract actually follows strict rules, not just that it “looks safe.” It catches issues that tests or fuzzing can miss. ✅
💡 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.
Formal verification proves a contract meets clear rules. Not vague ‘security’. EVM always halts. Partial proofs > unit tests or fuzzing for confidence.
Formal verification proves a contract meets clear rules. Not vague ‘security’. EVM always halts. Partial proofs > unit tests or fuzzing for confidence.
🛡️ 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
LindaEdmund @31n6D3l1E8bl6
0 Followers 153 Following
Official SatLayer Sup... @sattlayerr
265 Followers 559 Following The new economy, built on Bitcoin: SatLayer is the economic layer for Bitcoin, making the best asset fully programmable collateral 🟨🧊https://t.co/6JYeg9Nnp6
SatLayer support team... @Satlayer_hq
72 Followers 516 Following 🛡️ Official Support @Satlayer| Need help? DM us anytime 📥 Helping you with issues, updates, and guidance on your SatLayer journey 🚀
Sogni.ai Community Mo... @Sogni_Protosppt
236 Followers 2K Following The Most Powerful Creative Al DePIN Protocol t Testnet live - Sign up for Web, Mac, Windows & Linux 4 Join: https://t.co/W0U22nMDS5 : https://t.co/W1tfp3yk5J
Quantum Economics | T... @QE4Everyon
93 Followers 862 Following Blockchain & Al builders network. Telegram: https://t.co/VU57nzRzEM $QE - Ox4AOAAf171446DdaOEd95295C46820E2015A28B07
Sapien Community Mode... @JoinSapien_sup
91 Followers 1K Following Millions of Minds, Working as One | Powering the New Gig Economy | Train Al & Earn
Hulda Howe @HoweHulda94380
122 Followers 3K Following
Groovy Minx @groovy_minx_eth
319 Followers 2K Following Web3 UX designers crafting seamless onchain experiences to drive mass adoption. Partners: @FIVAprotocol | Showreel: https://t.co/1HRm5YEons
SupplyChainTrade🇺�... @Gusaq11802
51 Followers 2K Following 15-30% Monthly | 2 High-Conviction Stocks.Short-Term Gains: 15-20% in Days/Weeks.DM "JOIN" for WhatsApp Alerts. Live Trade Signals • Market Analysis
Valentin Mihov 🦞 @valentinmihov
8K Followers 5K Following Yield farming and angel investing ~ Crypto multi-cycler. @10b57e6da0 ~ co-founder of @daedalus_angels & @finexify ~ Shadowy super-coder👨💻
LukaSkywalker @Beler
9K Followers 2K Following Chaotic neutral, shadowy metabreaker, enjoyer of three leter things eth bjj … spawned @daedalus_angels @therzlt and a few others @kernel0x genesis block
NahUndFern @Guavie1693
46 Followers 2K Following 15-30% Monthly | 2 High-Conviction Stocks.Short-Term Gains: 15-20% in Days/Weeks.DM "JOIN" for WhatsApp Alerts. Live Trade Signals • Market Analysis
Sidarth S @sidarthx0
209 Followers 1K Following Smart Contract Security Researcher | Web3 Security tooling | Solidity | Cairo Lang | Solana | Data scientist | AI x Blockchain | 🎹 🎸🎙️
Ricky Flim | FV @0x180db
48 Followers 201 Following Solo formal verification engineer · Helping ship provably safe code · DMs open Certora | Halmos | Quint | Alloy
HiveBits @hivebits_io
6K Followers 286 Following An RWA project onboarding bees to the blockchain via DePIN, empowering communities to support sustainable beekeeping, hive health, and a sustainable future 🌍🍯
MickeyJ @0xjmnis
7 Followers 137 Following
Debra @debra_turnbull9
349 Followers 3K Following
aj @aldrin57464827
35 Followers 1K Following
Uitafik @Uitafik276503
4 Followers 185 Following
good_moning_tlv3 @GTlv377738
0 Followers 16 Following
Formal Land 🌲 @FormalLand
1K Followers 2K Following Security for Web3, through formal verification 🚀 Ethereum, Solana, Sui 🔍 Solidity, Rust, zero-knowledge. DM us to ensure your code is safe!
0x4c0x690x @0xx6675636b
26 Followers 3K Following
Jack @secjack_
616 Followers 1K Following Ex @sigp_io, prop, and DeFi. Independent security researcher and occasional algo trading larper.
[email protected] | (sp... @k0nn0v
437 Followers 472 Following Independent security and formal methods researcher. Formal specs of Web3 protocols (incl. consensus) in TLA+/Quint/Lean. Fuzzing protocol specs. Writing papers.
Stan @ Routine For Bo... @routineforbots
208 Followers 3K Following Investing in Web3, DeepTech, Longevity and great jokes. Exploring tokenization. Advocating for meaningful projects 🫵 Driven by Public Good.
Viktor on Web3 @chainguardian8
178 Followers 609 Following 🦄 Uniswap v4 maestro. 🕵️♂️ Master of cryptographic warfare, founder at @hitrostsecurity
Raoul @RaoulSaffron
2K Followers 2K Following Head of Developer Tooling @rv_inc Creator of https://t.co/Dcto1PwaRD Building Simbolik: The Solidity Debugger EVM | Solidity | Debugging | Formal Methods
James Shuman @SecurityJS
38 Followers 81 Following Head of Security @HorizenLabs | 🌐Web2 veteran turned Web3 guardian | 🪖 Ex-Army, still on a mission—now defending the blockchain frontier | Tweets are my own
Xartoud @Xartoud712
129 Followers 3K Following
blurryface @s5k_blurryface
45 Followers 785 Following https://t.co/nWZB1ua7sk | https://t.co/xdYYFJidEy | https://t.co/5JLVjAAIPz Photon in a double-slit 💥
Ydaapui @Ydaapui53972
90 Followers 3K Following
daylight @d4y1ightl
12 Followers 304 Following
Chrome Hearts💍 @MariahTayl11505
845 Followers 2K Following Do what you like and live a real and simple life.#BTC
Centurio (adhd/acc) @d3m1ur63
127 Followers 452 Following This is not my milady I STOLE it. CHOOSE RICH 💸🤑💰💵 My third and final cycle in this space or help me God
Wheaknaret @WheaknaretYLKc
46 Followers 1K Following
0xJustice.eth 👹�... @singularityhack
15K Followers 8K Following Head of Cult at @thriveprotocol | Ex @theqacc @0xPolygon @banklessdao | Programmable Org Maxi | Bias to action
vansh @vanshaj_kerni
42 Followers 599 Following Researching in ZKs, AI and BD @Arithmic Labs. Astrophysics 🔭 Research Graduate IIT Roorkee MS Physics Writes about crypto, space and tech.
Zachariah Prosacco @prosacco31567
4 Followers 123 Following
Joaquin Mueller @mueller17993
0 Followers 118 Following
Sandra @sandrawhite34
149 Followers 3K Following
SuperReturn AI @SuperReturnAI
451 Followers 10 Following Supercharge Your Return with sSuperUSD. 32% APY by looping on @sakefinance. Start now: https://t.co/MVLrxM3wie
Wellspring @WellspringApp
204 Followers 107 Following High Yield Savings powered by Stablecoins & DeFi. Earn up to 12% APY on your cash deposits today! Powered by: @hyperliquidx, @hypurrfi, @turnkeyhq, @stablecoin
Catapult @letsCatapult
10K Followers 9 Following Hyper-Intelligent Launch Engine 🟢 Dual Mode: On-chain and RNG 🟢 Unified Flywheel 🟢 Built on @hyperliquidX + @LayerZero_Core 🟢 https://t.co/kMSFE0RcMa
ConsumerFi AI @ConsumerFi
22K Followers 13 Following The private intelligence layer empowering consumers to own their intelligence through personal, persistent & private AI Sign up for beta access👇
Praxis @Praxis_Protocol
839 Followers 4 Following The mesh network for decentralized AI agents. ZK privacy, local-first and MCP compatible. Think “Google A2A,” but open, sovereign, and composable. https://t.co/FdEYv2N6Cs
QorGenius @QorGeniusOS
3K Followers 1 Following World’s first crypto-native operating system built for web3.
Aubrai @Aubrai_
10K Followers 3 Following World's first onchain science machine and digital twin of @aubreydegrey . Funding RMR2 with LEVF.
tonstrat @tonstrat
4K Followers 94 Following The world's first and largest $TON Treasury Company, $TONX, led by @ManuelStotz
Underscore Protocol @underscore_hq
195 Followers 3 Following One wallet. Every protocol. AI-powered automation. Open-source infrastructure enabling autonomous DeFi with secure AI agent delegation. 🤖
SatLayer 🟨🧊 @satlayer
140K Followers 910 Following The new economy, built on Bitcoin: SatLayer is the economic layer for Bitcoin, making the best asset fully programmable collateral 🟨🧊 https://t.co/30QF9vm7FD
Vertigo @VertigoDex
6K Followers 9 Following Sniper-proof launchpad for the people. Earn 100% of creator royalties, forever. Only on Solana.
Panthera @Panthera_Fi
84 Followers 0 Following
Bitcredit Protocol @bitcr_org
490 Followers 29 Following Official project account of Bitcredit Protocol. Bitcoin for the Real Economy. Free Software, Free Banking.
HERD @herddotcash
137 Followers 1 Following Herd: Split expenses, earn APY on pooled funds, and enjoy crypto-powered lotteries—blockchain-based fun. Powered by Fuel.
Solstice @solsticefi
66K Followers 147 Following Delta neutral. Solana native. Launching with $150M+ TVL. 🟩🟩🟩🟩🟩🟩🟩🟩🟩🟧⬜️ $USX
Quantum Economics @QE4Everyone
9K Followers 1K Following Blockchain & AI builders network. Telegram: https://t.co/XMuAZqMTYb
Extended @extendedapp
10K Followers 299 Following Perp Dex built by ex-@Revolutapp team. Join the community: https://t.co/vZ8bO1ePUv
Idle Network @TheIdleNetwork
6K Followers 10 Following Seamlessly transforming $1.24T of idle AI & robotics infrastructure into on-chain yield. Built on @Base. Connect. Monetize. Compound.
Ostrich @Ostrich_HQ
22K Followers 23 Following The Global Exchange. Onchain. Trade 50+ stock perps from US, China and other geographies.
HashStrategy @HashStrategyX
1K Followers 14 Following Onchain Bitcoin reserve powered by mining. Backed by real-world hashrate. Earn BTC yield. RWAfi meets BTCFi. Stack sats with strategy 🟠⚡
Goblin Finance @the_goblin_fi
26K Followers 75 Following Building a native yield layer for @Aptos 🌐 Defi. Check here 👉 : https://t.co/S32vBIGjFx
Liquid Terminal @liquidterminal
397 Followers 45 Following The terminal to house all @HyperliquidX. Closed beta.
Inflectiv AI ⧉ @inflectivAI
100K Followers 212 Following Liberating trapped knowledge ⧉ Fueling every AI. Powering agents, workflows & Web3 with structured, trusted data. #BuildingOnSui https://t.co/2wzHo6gf8v
QuickSwap 🐲 Dragon... @QuickswapDEX
250K Followers 3K Following The Ethereum Community & Agglayer DEX 🐲 Ultimate DeFi hub, live on @base @0xPolygon @ethereum @Immutable @MantaNetwork @soneium https://t.co/ReIwa6oXF2
Suzaku @SuzakuNetwork
5K Followers 106 Following The Decentralization Hub for L1s. Everything staking on @avax.
MetaLend @MetaLend_DeFi
12K Followers 118 Following Every DeFi pool in one place! No Fees, No Vaults - just the best UX for DeFi @SudjeevS, @nikb111
Sogni.ai @Sogni_Protocol
60K Followers 173 Following The Most Powerful Creative AI DePIN Protocol ✨ Mainnet live ⚡️ Join now👇 Join: https://t.co/YvJuWBOIiO 🪂: https://t.co/8gRNXIjBfW
ArAIstotle Fact Check... @ArAIstotle
3K Followers 8 Following I weigh rhetoric with reason, memes with metaphysics. → Tag me in a thread with fact check → I reply with facts, not feelings Live on @virtuals_io
Destroy Robots @destroyrobots
152 Followers 0 Following Turning research into development, for robotics startups
Earnium @earnium_io
11K Followers 27 Following ✨ Adaptive Platform - Sustainable Liquidity 🌌 Powered by yield & simplicity
Ethereal @etherealdex
41K Followers 16 Following Next generation decentralized spot and perpetuals trading powered by USDe. Join the conversation: https://t.co/BqySncVp1z
Overlay Protocol @OverlayProtocol
105K Followers 84 Following The Exotic Perps DEX. Trade the Untradable - AI, ETH.D, NFT, CS skins, ad infinitum | Backed by Polychain, 1kx, ParaFi | https://t.co/8Rv3nNpoz5
rePRICE @_rePRICE
1K Followers 13 Following an operating system built on the performant HyperEVM — with AI Integration
CherryAI Robotics @cherrytgbot
369K Followers 62 Following The data layer for robotics. Join the community: https://t.co/tTcNimleUY • $AIBOT
Blockchain Reconcilia... @brrrnetwork
1K Followers 1 Following The payment layer for programmable money built by @holyheld.
Atleta Network @Atleta_Network
141K Followers 56 Following Modular, Multi-layer, Blockchain Network Modernizing the Sport Industry by Transforming market structures and Enabling the next generation of applications
o1.exchange @o1_exchange
11K Followers 9 Following 1st fully fledged Trading Terminal on Base/Solana. 45% Cashback - best rate on the market. Backed by @cbventures @alliancedao. Try beta now: https://t.co/a7WbO28gZw
Sunrise @SunriseLayer
84K Followers 0 Following The base layer for Interliquid Networks - Live on mainnet! 🌅
Shaga Foundation @ShagaFDN
7K Followers 2 Following The Shaga Foundation's mission is to unify the world's idle compute to democratize interactive entertainment.
Mitosis Foundation @MitosisFdn
36K Followers 0 Following
SpaceWars @SpaceWarsBase
218 Followers 1 Following Build fleets. Conquer planets. Rule the galaxy. PvP and on-chain strategy collide.Trends for United States
You might like
