Project Overview

Project Goal: Our goal is to create an advanced smart contracts auditor that leverages artificial intelligence (AI), the Code Genie Language Model (LLM), and other specifically trained LLM models and datasets to audit Soroban smart contracts. This AI auditor, an extension of our current Code Genie AI auditor, which we will refer to as "Code Genie," will build upon the success of its predecessor by providing an automated and efficient auditing solution for Soroban smart contracts.  Some expected features and benefits are below.

1. Security Enhancement: The foremost objective is to bolster the security of Soroban smart contracts within the Stellar blockchain ecosystem. Code Genie, while confined to auditing the smart contract code, will meticulously examine every facet of the codebase to identify vulnerabilities, exploits, and security weaknesses. The goal is to ensure that Soroban smart contracts adhere to the highest security standards, providing users with a robust and secure environment for executing transactions and smart contract operations.
2. Functionality Auditing: Beyond security, Code Genie will diligently audit the functionality of Soroban smart contracts. This entails scrutinizing the contract's logic, transaction execution, and adherence to intended functionality. By conducting thorough functionality audits, we aim to ensure that Soroban smart contracts perform precisely as expected, thus promoting trust and reliability among users and developers.
3. Visibility and Transparency: Code Genie will contribute to the overarching goal of enhancing visibility and transparency within the Stellar blockchain ecosystem. By thoroughly auditing smart contracts, it will provide developers and users with clear insights into the inner workings of these contracts. This transparency fosters trust and empowers stakeholders to make informed decisions regarding the utilization of Soroban smart contracts.
4. Ownership and Accountability: Code Genie will play a pivotal role in verifying the ownership and accountability aspects of Soroban smart contracts. It will scrutinize the contract's access control mechanisms, ensuring that ownership transfer and data access adhere to predefined rules. This emphasis on ownership and accountability strengthens the reliability of smart contracts on the Stellar blockchain.
5. Automated Fixes: One of the unique strengths of Code Genie is its capability to not only detect issues but also propose automated fixes. This feature streamlines the development process by expediting issue resolution. By reducing the manual effort required for fixing identified problems, Code Genie enhances overall development efficiency.
6. Comprehensive Audit Categories: The project's scope extends to encompass various audit categories, including Security, Functionality, Gas Usage, Visibility, Variables, Event Logs, Upgradability, Ownership, Balance, Fallback, Self Destruct, and Exploit Scenarios. Each of these categories plays a crucial role in ensuring the overall integrity and reliability of Soroban smart contracts.

In summary, the project goals revolve around elevating the security, functionality, and efficiency of Soroban smart contracts within the Stellar blockchain ecosystem. By offering a specialized, AI-powered auditing tool, Code Genie will help developers build secure and robust smart contracts while promoting trust, transparency, and cost-effectiveness for users. This initiative aligns with Stellar's vision of becoming a leading platform for decentralized applications and smart contracts.

Scope

We are requesting Fifty Thousand Dollars ($50,000) funding for the Activation Award from the Stellar Blockchain Community Fund to support the development and deployment of Code Genie AI Soroban model.

This release will be our first deliverable and an MVP that will audit low-complexity smart contracts with a limited amount of auditing capabilities.  The budget will cover development costs, AI initial training, and testing, of an MPV of the Code Genie integration with Stellar’s Soroban Smart Contracts.

Roadmap Next Steps

- Training and audit for Medium complexity contracts

- Training and audit for High complexity contracts

- Training and audit for Very High complexity contracts

- Integration with IDE and delivery of APIs and SDKs for the project

- Additional integration with Stellar projects

About Rohan Hall/Founder

Rohan Hall is a published author of books focusing on entrepreneurship, blockchain technology, and Artificial Intelligence. Hall has more than 30 years’ experience building technologies for both startups and enterprises, including HP, Honda, Corning, Oracle, PeopleSoft, American Red Cross, Avery Dennison, Capital Group American Funds and others.

Hall has expertise in both blockchain technologies and Artificial Intelligence.  As a CTO of blockchain projects since 2016 he has built projects for supply chain traceability, Covid Immunity passport, Verifiable Credentials, Cryptocurrency payments, Crossborder Remittance, and other use cases.  With Artificial Intelligence he has worked with multiple Large Language Models (LLMs), Natural Language Processing models, and have built different AI use cases.  Some recent projects by Hall are below.

1. Code Genie AI uses AI to do instant audits of blockchain smart contracts.  The platform supports a variety of smart contract languages https://www.code-genie.ai/  
2. Any Code uses AI to audit code from a variety of software development languages
3. Transformation Genie uses AI to help enterprises move from legacy platforms to cloud based platforms
4. Marketing Engine uses AI to create a variety of digital content with AI technologies
5. Rocketfuel Blockchain CTO - Users can pay with 250 different crypto to 80,000 merchants globally https://rocketfuel.inc/ 
6. Vottun Blockchain CTO - An L2 platform to support multiple blockchain use cases while connecting to both public and private blockchains via an interoperable framework https://vottun.com/ 

Please see the following link for the project deliverables

https://docs.google.com/spreadsheets/d/1d8gkbWGwxahbJZp7qZOuf6RHvooaIWoUBldhUg2y7Ns/edit?usp=sharing