
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
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
0
0
0
โ ๏ธ ๐๐ ๐ซ ๐น๐ผ๐๐ ~$๐ฐ๐ฎ๐ ๐ถ๐ป ๐ฎ ๐บ๐ฎ๐ท๐ผ๐ฟ ๐๐ฒ๐๐ถ ๐ต๐ฎ๐ฐ๐ธ. 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
0
0
2
๐ง ๐๐๐ฒ๐ฟ ๐๐ผ๐ป๐ฑ๐ฒ๐ฟ ๐ต๐ผ๐ ๐ฎ ๐๐ฒ๐๐ถ ๐ต๐ฎ๐ฐ๐ธ ๐ฐ๐ฎ๐ป ๐๐๐ฒ๐ฎ๐น $๐ฐ๐ฎ๐ ? . 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.
0
0
3
RT @EuropeanSandbox: ๐Our next use case is @DowsersFinance . Dowsers is a suite of proprietary software tools and algorithms which verifiesโฆ.
0
1
0
๐งน In 1955, Alex Lewyt, President of Lewyt Vacuum Cleaner Company, predicted:. โ๐ก๐๐ฐ๐น๐ฒ๐ฎ๐ฟ ๐ฝ๐ผ๐๐ฒ๐ฟ๐ฒ๐ฑ ๐๐ฎ๐ฐ๐๐๐บ ๐ฐ๐น๐ฒ๐ฎ๐ป๐ฒ๐ฟ๐ ๐๐ถ๐น๐น ๐ฝ๐ฟ๐ผ๐ฏ๐ฎ๐ฏ๐น๐ ๐ฏ๐ฒ ๐ฎ ๐ฟ๐ฒ๐ฎ๐น๐ถ๐๐ ๐๐ถ๐๐ต๐ถ๐ป ๐ญ๐ฌ ๐๐ฒ๐ฎ๐ฟ๐.โ. Lewytโs company was an early innovator in vacuum
0
0
2
โ๏ธ 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.
0
0
1
๐ฌ 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
0
0
2