ZAN VSCode Plugin

ZAN-smart-contract-review.vsix is an extension for running ZAN smart contract audit from Visual Studio Code which allows you to scan smart-contracts and view results directly from your code editor.

The extension provides:

• Formal verification
• Smart contract compilation （via Solidity VS Code extension）
• Access key configuration to ZAN platform
• Audit task creation
• Audit result display and vulnerabilities explain
  
  

Start to use as following steps!

Generate Access Token

1. Open ZAN website
2. Log In or Sign Up with email address
3. Click Smart Contract Review menu at left top
4. Click Generate or Regenerate
5. Copy the value of Access Key

Config Access Token

1. Open VS Code
2. Click Extension sidebar
3. Find ZAN Plugin
4. Click extension settings
5. Fill up access key

Create Inspection Task

1. Open VS Code
2. Click Explorer sidebar
3. Choose a solidity file
4. Click Z button (Top Right)
5. Create an audit task

Check Audit Report

1. Open VS Code
2. Click Z sidebar
3. Click 'View' button (Top Right)