Bloqarl Web3 Security Researcher

About the Company

Co-Founder of Zealynx Security

Contact us for any of the services below & Follow me for tips about them:
- Private Smart Contract Security Reviews (Audits)
- Fuzzing + Formal Verification Testing Campaigns for devs and auditors
- Smart Contract Development (Solidity & Solana)
- Web3 Security Content Creation (YouTube video collaborations for product analysis and increase of visibility / Technical Writing for Web3 Security Research)

More details:

1. Fuzzing + Formal Verification Testing Campaigns for devs and auditors:

Offering Fuzzing/Invariant test and Formal Verification with Foundry, Echidna/Medusa, Halmos, Kontrol, and ityFuzz as a Service for DeFi Protocol developers that want to secure their codebase long term and also to Audit firms & Solo Auditors that want to increase the value provided to their clients.

- Extra Service is currently in experimental mode but related to Fuzzing and Formal Verification is PoC As a Service. We help auditors save time writing tests to prove the vulnerability found either in private audits or public contests.

2. Web3 Security Content Creation

Bringing awareness of best web3 security practices for Solidity/Rust developers and auditors on platforms like YouTube for videos and Medium for articles. Some of the topics include:
- Some videos for YouTube about fuzzing and smart contract testing in general
- Rust material for something cool that's just started.
- Auditing tips
- Interviews

Watch my Web3 Security videos:
https://www.youtube.com/@theblockchainer

Read all my articles:
https://medium.com/@bloqarl

Visit my website:
https://theblockchainerhub.xyz/