Hi everyone, welcome to my first YouTube video. My name is Serio, the founder of Feelings in Social Media. People call me Seala. In this video, I want to talk about my channel. I will tell you what it's about, the topics I will cover, and my

goal with this project. If you like topics like Solidity development, R programming, fast testing, and formal verification, learning and using developer tools, knowledge proofs, and audits, then this channel is for you. As you can see, this is my principal organization for the YouTube video. The topics are

like, uh, depth audits, tools, and tests. The category audits, we can see the Aeneas Solidity with vulnerability reports. Projects like Opentx in Rust, vulnerabilities like Solana, Near, and S-knowledge vulnerabilities in Thumb Kido and other applications. In depth, we can see how a smart contract

programming in Solidity like hooks, Uniswap in Rust, like applications in EVM, like Air 55, really interesting applications, right? And rest and knowledge, like a Bootan, a Motcam, or Bo anything, and another likes Prolog, and how we can implement different testing in different

tools like in fast, formal verification. In fast, we can see different tools in Solidity, like Pundry, itf, and for formal verification, we can see different tools like Almos and control in CICS, like Bir. In the last category, STS, we can see different categories like in security

like fast for modification, static utils like H retry, parameter EVM, and extension, Visual Studio Code, that, and and tools or knowledge. Uh, this is my principal organization, and thank you for watching. Uh, let's get started.

Let's Start Developing and Auditing on Blockchain | Web3 Security Researcher | Blockchain Developer

secoalba

Introduction of Serio, founder of Feelings in Social Media, and channel purpose.

Focus on Solidity development, R programming, fast testing, and formal verification.

Coverage of developer tools, knowledge proofs, and audits.

Aeneas Solidity with vulnerability reports.

Vulnerabilities in projects like Opentx (Rust), Solana, Near, and Thumb Kido.

Smart contract programming examples: Solidity hooks, Uniswap in Rust, Air 55.

Discussion of various testing methods in different tools.

Fast testing tools in Solidity (e.g., Pundry, itf).

Formal verification tools (e.g., Almos, control in CICS, Bir).

Recap of channel organization and topics.