Ambassador
Cyfrin Updraft
Keywords
Blockchain
Formal Verification
Cloud Services
Testing
HTML
JavaScript (Programming Language)
Architecture
Auditing
Unit Testing
Cascading Style Sheets (CSS)
Skills
Smart Contract Development
Expertise in developing and securing blockchain protocols, specializing in smart contract architecture, optimization, and auditing for startups.
Security Testing and Verification
Proficiency in implementing rigorous testing methodologies including fuzzing, unit testing, integration testing, and formal verification for smart contract reliability and security.
Blockchain Protocol Integration
Experience in developing cross-chain protocols, integrating various blockchain technologies, and creating tokenization platforms for real-world assets.
Programming Languages
Proficiency in Solidity, JavaScript, Yul, Go, Python, HTML, and CSS for blockchain and web development.
Tools & Frameworks
Expertise in using Hardhat, Foundry, Ethers.js, The Graph, and Node.js for blockchain development and testing.
Security & Formal Verification
Skilled in using Slither, Mythx/Mythril, Forge, Securify, and Certora for smart contract security analysis and formal verification.
Cloud Services & Databases
Experience with Mongo DB Atlas, Postgre SQL, and Google Cloud for data management and cloud services in blockchain projects.
Expertise in developing and securing blockchain protocols, specializing in smart contract architecture, optimization, and auditing for startups.
Security Testing and Verification
Proficiency in implementing rigorous testing methodologies including fuzzing, unit testing, integration testing, and formal verification for smart contract reliability and security.
Blockchain Protocol Integration
Experience in developing cross-chain protocols, integrating various blockchain technologies, and creating tokenization platforms for real-world assets.
Programming Languages
Proficiency in Solidity, JavaScript, Yul, Go, Python, HTML, and CSS for blockchain and web development.
Tools & Frameworks
Expertise in using Hardhat, Foundry, Ethers.js, The Graph, and Node.js for blockchain development and testing.
Security & Formal Verification
Skilled in using Slither, Mythx/Mythril, Forge, Securify, and Certora for smart contract security analysis and formal verification.
Cloud Services & Databases
Experience with Mongo DB Atlas, Postgre SQL, and Google Cloud for data management and cloud services in blockchain projects.
Project history
10/2024
-
Present
Provide technical assistance to Web3 developers, conduct code reviews, and offer educational content on smart contract audits and security practices.
10/2023
-
10/2024
Protocol Integration Engineer
NF3LABS
Developed an automated cross-chain protocol for venues tokenization, optimized gas efficiency, and achieved 100% test coverage for smart contracts.
06/2022
-
03/2023
Smart Contract Developer
MORTAR CHAIN
Developed smart contracts for real-world asset tokenization, implemented rigorous testing, and built custodial wallets for fractionalized NFTs.
09/2021
-
05/2022
Solidity Developer
QUEST CRYPTO
Developed a real estate tokenization protocol, launched an ICO, and integrated tokens with DeFi platforms for optimized reward distribution.
10/2021
-
01/2022
Fintech Instructor Assistant
CODING DOJO
Improved curriculum, provided technical guidance, and executed product improvements using GitLab for version control.
Local Availability
Open to travel worldwide
