Welcome to my blog! I would like to start by introducing myself and sharing with you what we will explore together in this space.

I am Sergio, also known as secoalba. My passion for blockchain technology has driven me to develop a deep interest in the security of smart contracts, focusing especially on areas such as formal verification and fuzz testing.

Through this blog, my goal is to immerse ourselves together in the fascinating world of blockchain security tools. We will approach this topic from both a theoretical and practical perspective, offering a balance between conceptual understanding and real application.

We will start with the basics, introducing each tool and its fundamentals. Gradually, we will delve into more complex examples and applications, in order to develop a deep and practical understanding.

Additionally, I plan to integrate the development of these tools into our discussions. This will not only allow us to understand how they work but also how they can be improved and adapted to our specific needs.

For now, I will focus on the following tools:

• Ityfuzz

• Halmos

• Kontrol

• Pyrometer

• Heimdall

As for the topics we will cover, they include:

1. Practical Uses: From simple applications to advanced techniques for each tool.

2. Theoretical Fundamentals: We will explore the internal workings of each tool, providing a more technical and developmental perspective.

3. Formal Verification: Theory and practice related to formal verification, a crucial aspect of smart contract security.