DowsersFinance Profile Banner
Dowsers Profile
Dowsers

@DowsersFinance

Followers
69
Following
149
Media
85
Statuses
205

Dowsers provides advanced cybersecurity using Formal Verification & AI for cutting-edge smart contract verification.

Joined July 2023
Don't wanna be here? Send us removal request.
@DowsersFinance
Dowsers
13 days
In 1995, astronomer Clifford Stoll declared:. โ€œ๐—˜-๐—ฐ๐—ผ๐—บ๐—บ๐—ฒ๐—ฟ๐—ฐ๐—ฒ ๐˜„๐—ถ๐—น๐—น ๐—ป๐—ฒ๐˜ƒ๐—ฒ๐—ฟ ๐˜๐—ฎ๐—ธ๐—ฒ ๐—ผ๐—ณ๐—ณ.โ€. Today? We buy groceries, book flights, and build businesses onlineโ€”because of e-commerce. Even experts get it wrong. For smart contracts, donโ€™t follow doubts. Follow
Tweet media one
0
0
0
@DowsersFinance
Dowsers
14 days
$44M lost. 2 wallets. 1 breach. ๐Ÿ” What happened:.โ€ข Internal liquidity wallet breached (not client wallets).โ€ข ~155K SOL & ~4.4K ETH stolen.โ€ข Laundered via Tornado Cash.โ€ข Public disclosure came 17h later. โœ… CoinDCX used reserves to cover losses.๐ŸŽฏ A $11M bounty was launched
Tweet media one
1
0
2
@grok
Grok
1 day
Generate videos in just a few seconds. Try Grok Imagine, free for a limited time.
507
736
5K
@DowsersFinance
Dowsers
19 days
๐Ÿšจ In a major security breach, ~$44M was stolen from CoinDCX via a sophisticated server attack, not a smart contract flaw. The exploit targeted an internal ops wallet used for liquidity, not customer funds. Stolen tokens moved to Solana & Ethereum, then routed through Tornado
Tweet media one
0
0
2
@DowsersFinance
Dowsers
22 days
โœ‰๏ธ In 1959, Arthur Summerfield, then US Postmaster General, said: โ€œMail will be delivered by rocket.โ€ ๐Ÿš€. Bold visionโ€”but he missed the true revolution: digital communication. At Dowsers, we donโ€™t bet on hype. We secure the future. For smart contracts, you can believe the
Tweet media one
0
0
2
@DowsersFinance
Dowsers
25 days
โš ๏ธ ๐—š๐— ๐—ซ ๐—น๐—ผ๐˜€๐˜ ~$๐Ÿฐ๐Ÿฎ๐—  ๐—ถ๐—ป ๐—ฎ ๐—บ๐—ฎ๐—ท๐—ผ๐—ฟ ๐——๐—ฒ๐—™๐—ถ ๐—ต๐—ฎ๐—ฐ๐—ธ. Hackers found a loophole in token minting. They created cheap GLP tokens using a contract trick. Then swapped them for real assets like ETH and USDC. GMX froze mint/redeem on Arbitrum & Avalanche. Negotiated
Tweet media one
0
0
2
@DowsersFinance
Dowsers
27 days
๐Ÿง  ๐—˜๐˜ƒ๐—ฒ๐—ฟ ๐˜„๐—ผ๐—ป๐—ฑ๐—ฒ๐—ฟ ๐—ต๐—ผ๐˜„ ๐—ฎ ๐——๐—ฒ๐—™๐—ถ ๐—ต๐—ฎ๐—ฐ๐—ธ ๐—ฐ๐—ฎ๐—ป ๐˜€๐˜๐—ฒ๐—ฎ๐—น $๐Ÿฐ๐Ÿฎ๐— ? . Letโ€™s break down the GMX exploit step by step:.Attackers hit executeDecreaseOrder() on Arbitrum. Used refund-based re-entrancy to hijack logic. Malicious contract altered vault state mid-call.
Tweet media one
0
0
3
@DowsersFinance
Dowsers
28 days
RT @EuropeanSandbox: ๐ŸŒŸOur next use case is @DowsersFinance . Dowsers is a suite of proprietary software tools and algorithms which verifiesโ€ฆ.
0
1
0
@DowsersFinance
Dowsers
1 month
๐Ÿงน In 1955, Alex Lewyt, President of Lewyt Vacuum Cleaner Company, predicted:. โ€œ๐—ก๐˜‚๐—ฐ๐—น๐—ฒ๐—ฎ๐—ฟ ๐—ฝ๐—ผ๐˜„๐—ฒ๐—ฟ๐—ฒ๐—ฑ ๐˜ƒ๐—ฎ๐—ฐ๐˜‚๐˜‚๐—บ ๐—ฐ๐—น๐—ฒ๐—ฎ๐—ป๐—ฒ๐—ฟ๐˜€ ๐˜„๐—ถ๐—น๐—น ๐—ฝ๐—ฟ๐—ผ๐—ฏ๐—ฎ๐—ฏ๐—น๐˜† ๐—ฏ๐—ฒ ๐—ฎ ๐—ฟ๐—ฒ๐—ฎ๐—น๐—ถ๐˜๐˜† ๐˜„๐—ถ๐˜๐—ต๐—ถ๐—ป ๐Ÿญ๐Ÿฌ ๐˜†๐—ฒ๐—ฎ๐—ฟ๐˜€.โ€. Lewytโ€™s company was an early innovator in vacuum
Tweet media one
0
0
2
@DowsersFinance
Dowsers
1 month
๐Ÿ›‘ Cork Protocol exploited (June 2025): $12M stolen. Attackers targeted a smart contract function allowing unverified external calls. This let them inject malicious data, escalate privileges, and drain funds. Operations were halted immediately after detection. Investigation
Tweet media one
0
0
1
@DowsersFinance
Dowsers
1 month
๐Ÿšจ Surge in crypto hacks in 2025. TRM Labs says H1 2025 crypto losses already beat 2022โ€™s record. Smart contract vulnerabilities remain top attack vectors: flash loan attacks & reentrancy exploits = 12% of all stolen funds. State-sponsored hacks like the $1.5B Bybit breach
Tweet media one
0
0
3
@DowsersFinance
Dowsers
1 month
๐Ÿ“œ In 1903, Horace Rackham, lawyer to Henry Ford, was advised:.โ€œThe automobile is only a passing fad.โ€. At the time, skepticism about motorized transport was commonโ€”even among trusted advisors. Rackham ignored the warning. He invested. Ford Motor Company went on to reshape
Tweet media one
0
0
2
@DowsersFinance
Dowsers
2 months
๐Ÿ”Ž Meta Pool Exploit: Oracle Mismatch and Pricing Drift. The attacker leveraged unbounded control over token input values to distort the stNEAR/NEAR exchange rate. The flawed logic failed to account for rate manipulation during minting and redemption cycles. By executing
Tweet media one
0
0
2
@DowsersFinance
Dowsers
2 months
๐Ÿ“ Formal Verification Detects Financial Instability in Smart Contracts. In decentralized lending protocols, interest accrual formulas must remain precise across all time intervals and user states. Formal verification exhaustively tests all logic paths by translating contracts
Tweet media one
0
0
2
@DowsersFinance
Dowsers
2 months
๐Ÿ› ๏ธ Meta Pool Exploited: $27M Drained via Oracle Manipulation. A logic flaw in Meta Poolโ€™s stNEAR/NEAR exchange mechanism enabled attackers to inflate token value through manipulated inputs. The exploit affected price calculations, bypassing safeguards and creating artificial
Tweet media one
0
0
2
@DowsersFinance
Dowsers
2 months
โœ‰๏ธ In 2004, Bill Gates โ€” Microsoftโ€™s Chairman & tech visionary โ€” predicted:. "๐—ง๐˜„๐—ผ ๐˜†๐—ฒ๐—ฎ๐—ฟ๐˜€ ๐—ณ๐—ฟ๐—ผ๐—บ ๐—ป๐—ผ๐˜„, ๐˜€๐—ฝ๐—ฎ๐—บ ๐˜„๐—ถ๐—น๐—น ๐—ฏ๐—ฒ ๐˜€๐—ผ๐—น๐˜ƒ๐—ฒ๐—ฑ.". Back then, spam was digital pollution โ€” clogging inboxes with scams, ads & malware daily. Two decades later, spam evolved.
Tweet media one
0
0
1
@DowsersFinance
Dowsers
2 months
๐Ÿ’ฅ BitoPro exchange (Taiwan) was hacked for $11.5M during a wallet upgrade. The attacker exploited an old hot wallet left exposed during migration. Even in routine operations, legacy systems = live threats. Regular key rotations and segmentation are non-negotiable.
Tweet media one
0
0
1
@DowsersFinance
Dowsers
2 months
๐Ÿงช What failed at Voltage Finance?. The exploit exposed a major design flaw: proxy upgradeability without strict access control. The attacker injected new contract logic โ€” like rewriting the rules mid-game. Proxy patterns are powerful, but without role validation, youโ€™re handing
Tweet media one
0
0
2
@DowsersFinance
Dowsers
2 months
๐Ÿšจ Voltage Finance lost ~$322K in a Fuse Network exploit. Hackers hijacked the staking contract by abusing an insecure upgrade path. They took control of the proxy and swapped in malicious logic โ€” draining funds instantly. A reminder: upgradeability โ‰  immunity. Secure your
Tweet media one
0
0
2
@DowsersFinance
Dowsers
2 months
๐ŸŽฌ In 1916, Charlie Chaplin said:. โ€œCinema is just a passing fad.โ€. Even the greats misjudge innovation. Cinema became timelessโ€”just like decentralized tech might. At Dowsers, we donโ€™t guessโ€”we secure. For smart contracts, you can believe the chatterโ€ฆ or trust Dowsers. #Web3
Tweet media one
0
0
2
@DowsersFinance
Dowsers
3 months
Reviewing the Cetus DEX Hack after it happened:. The attack happened through an issue with smart contracts, followed by transferring monies from the decentralized currency to ETH. Timing played a big role: the smart contracts stopped once 80% of the TVL was lost. DeFi
Tweet media one
0
1
2