1/5
_Follow along with this video:_ --- ### Installing the Huff Extension in VS Code If you'd like to take advantage of the syntax highlighting you see me using for Huff, you'll need to get your hands on the Huff extension. ```markdown - Open VS Code. - Navigate to the extensions tab (it looks like a square on the left sidebar). - Search for **Huff**. - Click **Install**. ``` ::image{src='/formal-verification-1/6-huff-syntax-highlighting/huff-syntax-highlighting-1.png' style='width: 75%; height: auto;'} This should add a much needed level of clarity while developing in Huff, and as Patrick says: "It'll give you these nice little highlightings." ### Why Syntax Highlighting Matters You might wonder why you should bother with syntax highlighting. Let's spell it out: 1. **Readability**: With syntax highlighting, each part of your code stands out. Functions, variables, and other elements are distinguishable at a glance. 2. **Debugging**: It's easier to spot mistakes when incorrect syntax sticks out like a sore thumb. 3. **Faster Coding**: Recognizing patterns by color helps you code quicker. You're not parsing text; you're visually zipping through the logic. Syntax highlighting doesn't just serve aesthetic purposes—it's a tool that can genuinely make your coding experience less stressful.
A helpful guide to Huff syntax highlighting in VS Code. The lesson covers how to find and install the Huff extension in VS Code, which enables syntax highlighting for the Huff programming language.
Previous lesson
Previous
Next lesson
Next
Give us feedback
Course Overview
About the course
Assembly
Writing smart contracts using Huff and Yul
Ethereum Virtual Machine OPCodes
Formal verification testing
Smart contract invariant testing
Halmos, Certora, Kontrol
Security researcher
$49,999 - $120,000 (avg. salary)
Smart Contract Auditor
$100,000 - $200,000 (avg. salary)
Guest lecturers:
Josselin Feist
Head of Blockchain at Trail of Bits
Last updated on January 17, 2025
Solidity Developer
Assembly and Formal VerificationDuration: 30min
Duration: 4h 38min
Duration: 3h 57min
Duration: 1h 56min
Course Overview
About the course
Assembly
Writing smart contracts using Huff and Yul
Ethereum Virtual Machine OPCodes
Formal verification testing
Smart contract invariant testing
Halmos, Certora, Kontrol
Security researcher
$49,999 - $120,000 (avg. salary)
Smart Contract Auditor
$100,000 - $200,000 (avg. salary)
Guest lecturers:
Josselin Feist
Head of Blockchain at Trail of Bits
Last updated on January 17, 2025
Testimonials
Read what our students have to say about this course.
Chainlink
Chainlink
Gustavo Gonzalez
Solutions Engineer at OpenZeppelin
Francesco Andreoli
Lead Devrel at Metamask
Albert Hu
DeForm Founding Engineer
Radek
Senior Developer Advocate at Ceramic
Boidushya
WalletConnect
Idris
Developer Relations Engineer at Axelar