Pashov
@pashov
A year ago (August 2023) I made ~$120k pure profit doing Solidity smart contract security audits. Single month, 6 figures. Worked day and night. Ask me anythingβοΈ
54 replies
24 recasts
842 reactions
π _π£π _π
@m-j-r
is C4 the best approach so far? how about yAudit? is formal verification critically necessary?
1 reply
0 recast
3 reactions
Pashov
@pashov
Both are GREAT. There are many other options that are also great right now. FOrmal verification definitely isn't critically necessary.
0 reply
0 recast
1 reaction
