IQ Code is an upcoming AI model for smart contracts powered by the IQ token and designed to assist people in coding Solidity and Vyper sets. IQ Code was announced as a part of the IQ v3 update by BrainDAO in November 2023. The platform is a part of the IQ.wiki ecosystem, featuring IQ GPT, IQ.social, and IQ.wiki. The platform is set to go live in 2024.^[1]

Overview

As announced by BrainDAO in IQ v3, IQ Code is a tool designed to assist developers in creating secure and efficient smart contracts. It utilizes artificial intelligence to provide enhanced suggestions and guidance for coding in Solidity and Vyper and includes features such as markdown explanations. Additionally, IQ Code is part of the IQ.wiki ecosystem, which offers access to a range of tools and resources for exploring blockchain & crypto.^[1][2][3][4]

IQ Cortex is a framework currently under active development, aimed at analyzing smart contracts to identify vulnerabilities. Users can upload their code to the platform, after which IQ Cortex performs an advanced analysis to find vulnerabilities within the smart contract. Following the analysis, the application generates a report detailing any identified security weaknesses along with suggested fixes.^[1][2][3][4]

The benchmark feature provides a dataset comprising smart contracts and associated vulnerabilities, intended for use in refining and enhancing the detection capabilities of scoring models and applications like IQ Cortex. This feature is designed to facilitate the iterative improvement of these tools by incorporating real-world data.^[1][2][3][4]

Large Language Models & Semantic Search

IQ Code utilizes Large Language Models (LLMs), advanced AI models for text generation, including OpenAI's ChatGPT. These models excel in understanding various languages, including code, and are adept at identifying potential vulnerabilities within smart contracts.

Additionally, IQ Code incorporates semantic search, which enhances traditional keyword matching by considering contextual meaning. This approach aims to provide more informed analysis of code before processing.^[5]

Iterative Code Processing

"Divide and Conquer" is the methodology employed by IQ Code to enhance the reasoning capabilities of Large Language Models (LLMs). This approach guides the LLM through code in sequential steps, posing questions and providing detailed contextual information for each segment using semantic search. This method aims to significantly improve the quality of its results.^[5]

Static Analysis Tools

IQ Code integrates Large Language Models (LLMs) and semantic search alongside established static analysis tools like Mythril and Slither. These tools facilitate the detection of known vulnerabilities through systematic code inspection, intended to enhance security assurance.^[5]

Enhanced Vulnerability Detection

The integration of Large Language Models (LLMs), semantic search, and static analysis techniques in code inspection aims to comprehensively identify security vulnerabilities in smart contracts.

This combined methodology enables the detection of both apparent weaknesses and nuanced issues often missed by conventional approaches, ensuring a thorough examination at both structural and semantic levels.^[5]

Examples

A user asking IQ Code to develop a smart contract to manage proposals and voting within a DAO: ^[3]

IQ Code is being used to audit and find vulnerabilities in smart contracts. IQ Code scans the code and also provides updated contracts for suggestions: ^[3]