MoveJay (gator hunting arc)
@movebrah
Followers
2K
Following
11K
Media
429
Statuses
5K
Move SR @spearbit | Ambassador @Suinetwork | FV Security Researcher @Asymptotictech
in a foxhole š¦
Joined October 2023
1/ As a Solidity auditor, I'll be the first to tell you how unreliable Solidity is for smart contract development. Exploits are a dime a dozen. The #Move programming language was designed for blockchain. Here's one reason why Move will outperform Solidity: Modules šš§µ.
9
24
128
Most security researchers wonāt touch Move. Too few tools. Too few eyes. Too much effort. Which is wild because itās the only sc language where formal verification is native. If youāre early here, you're not chasing crumbs. You're defining standards.
10
5
78
Full Sail has officially been storm tested!. 36 findings were uncovered. Check out the audit report below š».
Full Sail is officially audited by @AsymptoticTech š¦āµļø. Storm-tested. Zero critical bugs. Full-report below š
0
1
17
Sui Move Security Tip: Don't Drop the Hot Potato š„. In Sui, every asset is an object and every object is a little state machine. One common enforcement pattern is the Hot Potato: a struct with no abilities, which must be consumed before the transaction ends or the whole thing
4
8
64
It was a pleasure judging Cantinaās first Move contest!. I saw some pretty creative approaches and interesting bugs uncovered. Huge congrats to all the winners and great work from everyone who participated!.
The verdict is in: Final results from @Aaveās $150,000 @Aptos deployment competition are in. Your top-ranked researchers:. š„ @0x_0x37 : $34,293.09.š„ @zerocipher002: $26,293.09.š„ 0xBeastBoy & @thepantherplus (Team Zero): $24,293.09.š
@azhasj_: $24,117.84
2
1
30
Whoa.
The GLP pool of GMX V1 on Arbitrum has experienced an exploit. Approximately $40M in tokens has been transferred from the GLP pool to an unknown wallet. Security has always been a core priority for GMX, with the GMX smart contracts undergoing numerous audits from top security.
0
0
3
When I got into Solidity auditing, there were hardly any resources. Then came CryptoZombies, Secureum, Ethernautā¦ suddenly everyoneās an auditor. Move?.No bootcamps. No CTFs. No handholding. Just docs, vibes, and grit. You're still early, anon. Build your edge.
8
7
115
Just completed an audit Tuesday. No other audits lined up. Wake up to see Bluefin is extended for an additional week. Life is good š.
2
0
14
Before Aptos. Before Sui. Before Move was cool, there was this. The OG 2019 Move paper from the Facebook/Libra days laid out a vision: Assets as resources. Access enforced by the type system. Security by design, not convention.
0
2
19
If you're learning formal verification in Move, you donāt need 100 specs to be secure. You only need 5 good ones that answer:.1ā£ What must always increase.2ā£ What must never change.3ā£ What must always be owned.4ā£ What must not abort.5ā£ What must stay unique. Start there.
0
4
37
RT @cantinaxyz: When systems govern real value, assurance demands more than simulation. @Aave and Cantina launch a $100,000 CTF challenge,ā¦.
0
12
0
Most smart contract bugs are a mismatch between intent and execution. Move gives you a language + tool to actually encode intent. If you donāt use it, the mismatch is still there. it's just easier to fly under the radar.
3
4
31
AAVE HAS A MOVE CTF WITH A 100K BOUNTY
The AIP to deploy Aave V3 on @aptos has passed. To thoroughly test the deployment, we're kicking off a @cantinaxyz CTF event tomorrow, with $100,000 up for grabs.
0
0
4
If youāve wondered how formal verification and testing differ,. Weāve cleared it up for you below š».
Testing vs. Formal Verification: Whatās the actual difference?. Letās clear it up. Tests execute your code on a finite set of manually or automatically generated inputs, asserting that outputs match expected results. Formal verification works by creating mathematical proofs.
0
0
7
Move isnāt harder to audit. Itās just less forgiving of imprecision. The language assumes you can explain what must hold and prove it. If you can, thereās almost no competition. And thatās where the real value is.
2
4
29