0xNForcer Profile
0xNForcer

@0xNForcer

Followers
25
Following
209
Statuses
107

Learning Formal Verification with Certora and sharing my journey one step at a time.

Joined January 2025
Don't wanna be here? Send us removal request.
@0xNForcer
0xNForcer
@0xNForcer
1 month
Only 1 goal for 2025 - become a @CertoraInc formal verification wizard!
0
0
9
@0xNForcer
0xNForcer
@0xNForcer
5 days
RT @threesigmaxyz:
0
36
0
@0xNForcer
0xNForcer
@0xNForcer
5 days
@CarrotSmuggler Keep on improving every single day! Thanks for sharing!
0
0
1
@0xNForcer
0xNForcer
@0xNForcer
6 days
@0xaudron Modifier checks if msg.sender is an agent, but if if agent[msg.sender] is true it will revert?
0
0
1
@0xNForcer
0xNForcer
@0xNForcer
6 days
@0xcastle_chain You deserve it! Congrats man!
0
0
1
@0xNForcer
0xNForcer
@0xNForcer
6 days
@konfushon Yeah same here! Saw they had a test that tested that...then remembered about that check in grantRole
0
0
2
@0xNForcer
0xNForcer
@0xNForcer
6 days
@krikoeth Totally agree! 4 months now! Wasted so many years with constant brain fog
0
0
1
@0xNForcer
0xNForcer
@0xNForcer
8 days
@HackenProof Went fulltime in Feb
0
0
1
@0xNForcer
0xNForcer
@0xNForcer
9 days
Been practicing my Certora setup on new projects. Still struggling with complex protocols, but I got everything set up for the Next Generation contest - my first on @code4rena
1
0
3
@0xNForcer
0xNForcer
@0xNForcer
10 days
@1337web3 @ChDefendersEth Well done! Looking forward to the updates
0
0
1
@0xNForcer
0xNForcer
@0xNForcer
10 days
@muellerberndt Yeah the api calls also very unstable
0
0
0
@0xNForcer
0xNForcer
@0xNForcer
11 days
@IlIlHunterlIlI Thanks for sharing!
0
0
2
@0xNForcer
0xNForcer
@0xNForcer
11 days
@cvetanovv0 Oh yeah!!
0
0
1
@0xNForcer
0xNForcer
@0xNForcer
12 days
@0xcastle_chain 2591!
0
0
0
@0xNForcer
0xNForcer
@0xNForcer
12 days
@PatrickAlphaC Well done! We are so still so early!
0
0
2
@0xNForcer
0xNForcer
@0xNForcer
13 days
@CodeHawks Wow congrats! Inspiring stuff!
0
0
0
@0xNForcer
0xNForcer
@0xNForcer
14 days
@immunefi 🤣🤣
0
0
0
@0xNForcer
0xNForcer
@0xNForcer
14 days
Don't miss this great interview!
@RealJohnnyTime
JohnnyTime 🤓🔥
@RealJohnnyTime
14 days
🎙️ Just dropped a massive interview with @_hrkrshnn! We dive deep into: - ETH vs SOL debate - AI's impact on Web3 security - NYC as crypto's new hub - The future of @SpearbitDAO & @CantinaXYZ 2 hours of pure Web3 security gold with one of the sharpest minds in the space 🧠
0
0
1
@0xNForcer
0xNForcer
@0xNForcer
14 days
@balakhonoff @NethermindEth Really interesting!
1
0
3
@0xNForcer
0xNForcer
@0xNForcer
14 days
@0xOwenThurm Congrats sir!
0
0
1
@0xNForcer
0xNForcer
@0xNForcer
14 days
0
0
0