Pro King 👑
@Pro___King1
Followers
271
Following
2K
Media
38
Statuses
722
Solidity || Sui Move Security Researcher || Formal Verification Specialist || 35+ H/M findings in public contests || 🧑💻 DM for collabs.
Joined October 2021
Day 89 of trying to be selected as a mentee of @0xSimao - Spent the entire day auditing a specific codebase. - Took time to properly understand the architecture and logic — still working toward a deeper understanding. Good audits start with deep understanding.
0
0
7
Day 88 of trying to be selected as a mentee of @0xSimao - Read “A White Mage’s Guide to Web3 Bug Hunting” by @WhiteHatMage . - Selected a bounty hunting project for myself so that whenever there’s no active contest, I can consistently practice bug hunting. Also gave an
whitehatmage.github.io
This post is about working as a professional web3 bug bounty hunter and some things to consider before choosing a program.
0
1
15
Day 87 of trying to be selected as a mentee of @0xSimao - Completed the Advanced Formal Verification article today after a lot of effort. Hoping it will provide great insight for everyone learning this topic.
1
0
6
Day 86 of trying to be selected as a mentee of @0xSimao Since I already wrote an article about Formal Verification Basics, today I started writing a new one on Advanced Formal Verification. Managed to complete around 60% of the article — still a few important sections left to
1
0
9
I am truly thankful to all of you for your kind wishes and thoughtful suggestions. I'm proud to have such great mates by my side.
0
0
0
Day 85 of trying to be selected as a mentee of @0xSimao No progress today — it was a pain day. Health update: I did an MRI of my back. The doctor said surgery is must. For now, I plan to delay it until I achieve something meaningful in Web3. This journey is getting tested not
21
0
43
Day 84 of trying to be selected as a mentee of @0xSimao Almost finished reviewing Module 2 of the Formal Verification book today. Unfortunately, I suddenly faced back pain. I received some injections, but even after about 7 hours, I still couldn’t sit or walk properly. 😦
1
0
5
Day 83 of trying to be selected as a mentee of @0xSimao Spent half of the day revisiting and recapping Module 1 of the Formal Verification book. Took the other half as a break to recharge.
0
0
4
Day 82 of trying to be selected as a mentee of @0xSimao ✅ Finished the - Formal Verification book ✍️ Wrote my first article on Formal Verification Basics https://t.co/scHzgDBZ0b Chapter 16 – Transfer & Approval Rules (ERC-721) (3/5) Added rules for core ERC-721
0
0
3
Day 81 of trying to be selected as a mentee of @0xSimao Chapter 12 – Formally Verifying an ERC-20 Token This chapter was mainly a comprehensive practice of previously learned concepts: - Ghost variables - Storage hooks (SLOAD/SSTORE) - Implication (=>) - Biconditional (<=>)
1
0
9
Day 80 of trying to be selected as a mentee of @0xSimao Chapter 9 – Using requireInvariant in Rules and Invariants When verifying a new rule or invariant, the Prover start from arbitrary symbolic states — including unrealistic ones. This can lead to failures that are not real
1
0
3
Day 79 of trying to be selected as a mentee of @0xSimao Chapter 6 – Using SLOAD Hooks with Storage Mappings Previously, I worked with SSTORE hooks for mappings. In this chapter, the contract was slightly modified: an unchecked block was added when updating the pointsOf[_user]
0
0
2
Day 78 of trying to be selected as a mentee of @0xSimao Start of Module 2 of FV book Chapter 1: Introduction to Invariants in Certora Learned about invariants in CVL. An invariant is a condition that must hold in every reachable state of the contract
0
0
4
Day 77 of trying to be selected as a mentee of @0xSimao Very intense and productive day. Worked extremely hard on the audit challenge: - Identified multiple issues - Built PoCs for each finding - Wrote detailed reports - Converted everything into a clean PDF Now I’m just one
1
0
11
Day 76 of trying to be selected as a mentee of @0xSimao Accepted a small audit challenge today and dedicated the entire day to reviewing it. Identified multiple issues and the audit is still in progress. There’s more to analyze before I’m satisfied with the coverage. Slow,
0
0
3
Day 75 of trying to be selected as a mentee of @0xSimao Today wasn’t a productive day in terms of studying or auditing. I was busy the whole day taking care of some patients in my family. 😔 Sometimes life responsibilities come first , hoping to get back stronger tomorrow.
1
0
2
Day 74 of trying to be selected as a mentee of @0xSimao Chapter 11 – msg.sender, msg.value, and env in CVL Today I learned how transaction context works in CVL when verifying functions that depend on msg.sender, msg.value, and similar globals. - env e represents the
1
0
2