감사 마법사: 스마트 계약 감사를 위한 종합 도구

### 감사 마법사로 스마트 컨트랙트 감사를 최적화하세요: 종합적인 도구 개요
* 🔍 감사자를 위한 감사 프로세스를 간소화하도록 설계된 올인원 도구인 **감사 마법사**에 대해 알아보는 또 다른 스마트 컨트랙트 감사 튜토리얼에 오신 것을 환영합니다.
* 🛠 이 플랫폼은 감사 경험을 향상시키기 위해 **GPT와 통합된 AI, 자동화된 보고서 작성, 효율적인 스캔 도구** 등 다양한 기능을 갖추고 있습니다.
* 💻 사용자는 다양한 방법으로 쉽게 로그인하고, **GitHub에서 리포지토리를 가져오고, 코디나, 셜록, 헤드스 파이낸스와 같은 플랫폼에서 활성 콘테스트에 액세스**할 수 있어 매우 사용자 친화적입니다.
* 📊 눈에 띄는 기능 중 하나는 감사자가 계약의 구조와 기능을 빠르게 이해할 수 있도록 **스마트 계약에 대한 개괄적인 개요**를 제공하는 그래프를 생성하는 기능입니다.
* 🤖 AI 통합은 감사자가 **코드를 요약하고 잠재적인 취약점을 식별하며 전문적인 감사 보고서를 생성**하는 데 도움을 주어 수동 분석에 필요한 시간을 크게 줄여줍니다.
* 📄 또한 이 도구를 사용하면 **상세한 메모와 조사 결과를 작성**하여 최종 보고서에 원활하게 통합할 수 있으므로 종합적인 문서화 프로세스를 보장할 수 있습니다.
* 🎁 조니타임 커뮤니티를 위한 특별 선물로, 제공된 링크를 사용하면 **프로 기능이 출시되면 무료 체험판**을 이용할 수 있으며, **개발자에게 직접 연락하여 피드백 및 제안**을 할 수 있습니다.
* 📚 사용자가 모든 기능과 향후 업데이트에 대해 자세히 알아볼 수 있는 **종합적인 설명서**가 제공되므로 도구와 그 기능에 대해 충분히 이해할 수 있습니다.

감사 마법사는 효율성과 최적화를 위한 통합 AI와 자동화된 기능으로 스마트 계약 감사를 혁신합니다.

hello guys, it's Johnny time, and welcome to another smart contract auditing tutorial. Today, you're going to learn about one of the most useful tools for smart contract auditors. You can look at it like an all-in-one tool, all in one place for you as an auditor, with so many useful features that will help you to organize, automate, and optimize your auditing process. Features such as integrated AI with GPT and pre-made prompts, features such as writing reports right after you do the audit and assembling a report automatically, automated scanning, graphs, and so much more. Features that will come out in the future. So, I love this tool, and I got in touch with the team behind it, and we decided to make this video to show you what this tool is about and how you can use it to optimize your auditing process. Also, I was able to get for you from the team a special gift for the Johnny time Community, which I will reveal by the end of this video. So, make sure to stick till the end in order to get this gift. So,

let's get [Music] started. So, the tool is Audit Wizard. This is an amazing all-in-one web tree security platform. And if you are not familiar with this tool, rest assured that after this video, you're going to want so much to go and start using it because you will be amazed by the tool, the UX, and the UI, and the easiness of how you can use this tool and how it's going to help you with the auditing process. And we're going to cover all the tricks and tips of how to use this tool so you can go head out to Audit Wizard. You can also use my special link in the description to claim the gift, so make sure to watch till the end and use the link in the description below. But before you do that, I want to walk you through the tool and show you how I use it and what kind of features it has. So, you can click here, Try Audit Wizard, and it will automatically redirect you to the login page. As you can see, we have

different login methods including Google, including with Metamask wallet login with Ethereum or any other wallet that you have, or traditional sign-up with username and password. I'm going to use my Google account to log in, and once you're logged in, you got to your own all-in-one place for smart contract auditing. So, you can use this page in order to import a repository from GitHub. You can also add your private GitHub API access key in order to import a private repository if you have a smart contract solo audit or you work in a team. H or alternatively, you can pick a contest and bu bounties. So, as you can see, they already scraped all the active contests from Codina, Sherlock, and Heads Finance. So, you can just click here, and just by clicking, automatically, it's going to load all the code of the project for you. And you have some kind of online IDE with all the code. The design is amazing, the UX is amazing, it's so smooth, and you can see that automatically without even going to Cod Arena, without even going to the contest.

you have everything here. All the code is already imported for you. You even have the readme, the markdown file formatted for you so you can read the contest. You can go right and check the contracts now. Alternatively, you can also paste a repository URL if you want to go the old-fashioned way, like I like to do. So, this is the Beloved USSD contest that if you follow my channel, you already know. So, I can just click here, and it's going to import from the repository, and it's also going to import and install all the dependencies. So, you don't need to deal with dependency installation and with setups. Everything is already ready for you to start your auditing process. So, this is a very efficient and time-saving feature that is going to reduce so much time for you in the auditing process. And this is just the beginning. So, currently, Solidity and EVM are the only technologies that are supported by the platform. So, if you're going to audit Kyo smart contracts or RAS smart contracts, it's not supported at the moment. But the team told me that they're

going to add this support later on, so if you want to audit Solidity smart contracts and EVM-based projects, this is the right tool for you. Now, another super cool feature that they have that I didn't see anywhere else is that you can import contracts directly from Etherscan, obviously only if the contract is verified. So here you can see an example of the Uniswap Universal Router contract. I can just copy the address, and this is one of the most amazing features. You're going to go back here, and you paste here the contract address, and it's going to import from Etherscan with all the dependencies and everything right into the platform. So if you love bug bounty hunting and you're going to find bugs in Mayet or other blockchain deployed smart contracts, this is an awesome tool for you to import directly the code from the blockchain explorer websites. This is pretty incredible. As you can see, it imported all the contracts, all the dependencies, all the interfaces, all the libraries, everything is imported just by providing the contract address. Now you

can always return to your projects, and let's pick the USSD one, for instance. So, this is what you're going to see when you import and start a new project. Now, I'm going to head over to the contracts folder, and let's just pick the USSD do Soul smart contract so I can start an audit smart, the smart contract, start reading it. But before I do so, I want to utilize all the automation tools that this tool has built in. The first one I want to utilize is the graph tool. So, the graph tool is going to generate for us a graph that will help us get the scope of the contract. So, if you're familiar with Siara Sora or like the V solidity visual developer, this is very similar. We have it built in here in the platform, and you can see that right by looking at the graph. I can have so much more context about the smart contract and get a high-level overview, which will help me audit it and get an idea about the different functions, about external calls, about where it receives and sends, if, and so on.

another cool feature to get a highlight overview about the contract is as okay so you can see here everything about a contract like the tree and all the solidity versions all the directive and it's another cool like line of code and a lot of like tools that will help you to assess the work to get a highlight overview like this a and graph tools now one of the coolest features in my opinion is the AI integration so you can use AI they already built in GPT into the produ products and the first thing that is about AI is that you know many Auditors use it to report vulnerabilities and they try to use GPD to find vulnerabilities and report them directly to contest and stuff and this is very not professional because most of this going to be um false positives but the cool thing about AI here is that it's not going to find vulnerabilities for you but it's going to reduce the time for you understanding the code base so it's going to be much easier and faster for you to understand the code.

basee, so as you can see here, you have the analyze code feature. So, analyze code is going to save you so much time by just giving you some kind of summary about the smart contract that you're going to work on. So, as you can see here, we have a summary about the USSD contract, which very nicely describes what the contract does. The Solidity code defines a contract for a stable coin named USSD. The contract uses Open Zeppelin upgradable contracts for ERC20 tokens and access control. So, you don't even need to read the code; you already know what kind of business and what kind of contract you have to deal with. You have upgradability, you have ERC20 tokens, access control, and it actually goes in-depth to the explanation of what the contract does and even shows you some potential security flaws that the contract might have. Now, I won't say that every security flaw, security fled, it fund is not a false positive. Probably most of them, like GP usually does, they are not legit; it's false positives. But it gives you some kind of idea about

what the contract is about, and you can manually verify and see these security flaws, and it might give you ideas of other ways to exploit and find vulnerabilities in the contract. Now, another cool feature is the chat with AI. Now, it's so much better than using GPT because you have it already inside a tool, and also the AI already sends the prompt, they send the context of the contract to GPT-3, so you don't need to send it yourself. It basically optimizes AI for auditing, so I can just ask him questions about a code, such as which functions change the state of the contract, and then it's going to list all the functions that are going to change the state of the contract because he already has the context of the smart contract, and he knows that we are doing a smart contract audit because the tool already fed GPT with the context. Also, this is super useful because you can just use it to create some kind of summary for your audit report. So here, I asked the

tool based on the smart contract. Create a paragraph about USSD and what it is or what it does. Here I have some kind of paragraph which I can use, including the final report we will get in a second to the reporting features that we have here, which are more than incredible. But I want to show you all the features of the AI first because these are mind-blowing features that are going to save so much time and effort for you. Now you can use the AI to ask questions about a code or just general questions about Solidity, about memory storage, U Chain Link, whatever you want. He has the context, but you can ask him anything. So you can ask something like, What kind of vulnerabilities are added to the code potentially while using Chain Link oracles? For instance, Chain Link oracles. And there you go, you're going to just... You have an assistant right there, and it's going to give you some kind of ideas about Oracle manipulation or some kind of vulnerabilities that are related to Chain Link or whatever the contract is.

about you have your AI assistant here on the tool toolbar on the side, which is incredible. Now, another super useful tool is the scan features. So, currently, they support only slitter, but they're going to add myth and pyrometer later on. Slitter is a static analyzer. If you don't know what it is, please check out the other video where I have a complete tutorial about slitter. So, they integrated slitter into the platform, so in just one click away, you can just click scan here, and like magic, you're going to have so many vulnerabilities that slitter found. Now, we know that slitter has a lot of false positives, but you can filter down and get more context about the contract. Maybe some of them are not false positives and are legit, and you can just add them to your audit report. Now, we know that slitter has a lot of false positives, and here we have some kind of medium vulnerability that def found unused return, and it shows us the line of code here. So, we can jump into the line of codes, and we see that

we use Uniswap, but we call the exact input function, and we actually don't use the return value, so we ignore the return value. Now, this is not really a vulnerability, but it can give us some more context about the contract, about what vulnerabilities might happen, because sometimes when we ignore the return value, it might be catastrophic for the contract, and a lot of unintended behavior can happen. Now, here, for instance, H slitter found something more interesting for us automatically. So, as you can see here, between lines 170 to 173, we have divide before multiply, and we know that Sol rounds down the number, and if we divide before multiply, we might lose some numbers or round down numbers, and it might affect the accounting of the smart contract. So, let's say you found a vulnerability, and you know when we use a Solidity visual developer, we usually add audit comments. Now, here we don't have to do it. We can just right-click on the line and click here, add note, right? We can add notes along our code. For example, here H

division before mully before multiplication whatever and here is the location so we can just highlight the code to popular this field so we just click and as you can see it automatically got the lines of code for us and we can write the description with divide before we multiply and we might round down and mess up with accounting I don't know whatever report it is so you're just going to edit this note and then you can use on this note and convert them into reports now you can see that the note is saved in your notes you can click here the notes to get to your notes and here you also have a bookmark in the line of code and you have the note in much more nice and organized way than using the audit comment so it's really up to your preference but this one is very classic and very pretty and very organized so I really like the way they implemented the noting system so now let's say that you audited the code you wrote your note you wrote your not and it's time to write

your findings and add them and assemble a final report for the client or for the context. So, let's say you find a vulnerability. You can click here, add finding, and automatically it's going to open for you the add finding toolbar. Now, this is a valid finding from the contest. As you can see from the USSD contest, they're using Uniswap without specifying a deadline for the swap, and this is very bad. We're not going to get into in-depth why it's bad. You can check out the other USSD deep dive video that I've had on my channel, but this is a valid finding. So, as you can see, it's automatically going to fill in the line of code, and here you can write the title like in every other platform. So, you can write not using deadline while not specifying deadline while using Uniswap V3 swap. Okay, so this could be like the title, right? The severity in that case is high. I wouldn't say critical, but high. And here you can write the description.

and this is something super cool because I told you that I use AI to write my description, and here you have it built-in, so you can use rewrite with AI if you want to improve, maybe fix your English, or improve it, or write it in a more professional way. This is a very awesome built-in tool that can help you to write your report. For example, I can write here, um, while swapping tokens with Uniswap V3, the deadline parameter is commented out, which basically sends a transaction without the deadline, and it could lead to H losing money. Y y y. Now I don't have time to write the whole description, obviously. If it's a real contest, I will write it in a more uh described way. So I'm going to click here rewrite with AI, and let's see what happens. Let's see how the AI magic helps me to optimize my description. Now you can see that it's already much better. So if you had like typos or stuff, it's probably going to fix it for you, and it already looked much more

professional during the token swapping process with Unisoft V2. We have identified that the deadline parameter is currently commented out. This essentially results in transactions being sent without a specific deadline. This could potentially lead to financial loss. We recommend addressing this issue promptly to ensure security and efficiency of the transactions. So you can see that the prompt is already very well optimized by the team, and it really made a good job describing the vulnerability and the recommendation. Um, remove the comment from the deadline line of code and allow the user to specify his deadline in the function parameters. Okay, you can also use again Rewise with AI to rewrite your recommendation, and again, the prompt is already ready for you to basically create the best report that you can make. Please proceed to eliminate the comment from the deadline line of code. Additionally, modify the function parameters to enable the user to define their own deadline. So you can work with this prompt, you can work with this AI solution, and once you're done, you can click here, add finding, and every finding

that you add will be added automatically to your final report, which is super, super cool. Now, let's add another finding. This is another vulnerability regarding using Unis swap. So, here we use amount out minimum zero. So, I'm going to add here another Finding, and as you can see again, it's automatically added the line of code. Let's click here, add finding. Now, it's going to fill in the previous finding for me, but it already updated the line of code over here. So, not specifying slipage while swapping tokens with Unis Swap. This is another vulnerability using Unis swap router without specifying slip Edge protection, yada, yada, yada. Then, let the user Supply as a function parameter param the mean amount out to have slipage protection. Okay, then you can use the rewrite again, the rewrite with AI to improve the finding, but this is not important for right now. I just want to show you how the report looks like, so I'm just going to add the finding s is now. Let's say you wrote

this finding, and you maybe want to find his finding somewhere else in the code base, so you can use even here command shift F on Mac or in Windows control shift F. And they already have this, like, it really feels like an IDE with on steroids, like IDE for Auditors with all these amazing features. And you can use this search bar to search things through your old code, like deadline right or file names. Let's say you want to go to the tests, right? So you have a USD simulator.test.js. So you can use this command shift F to find things around the whole project. Now let's say you completed the audit, and now you want to assemble a report. So you just go here to the report tab, and you can fill in your names and save them and all the data, and it will save it automatically. So my name is Johnny time, client name USD, the date is automatically being filled today here. You can write an overview about the USD audit, audit that was performed by Johnny Ginger security, yada y y, and here you can add

some metadata about the audit, like the audit type, solidity, EVM, yeah, it's EVM timeline, I don't know, one week, or you can specify the dates, everything about the audit, all the information, the communication quality, let's say medium, test quality, low, commit hash, you can paste the commit hash, right? So, all the relevant information about the report, and it's going to automatically add your findings to the reports. Now, once you have all the information set up, you can click here, generate report, and the magic will start. Now, another cool thing is that you can even add your personal logo. So, if you're an auditing firm, or like you have a solo auditing company, you can add your own logo as a brand to the audit report. And let's click once again, generate report, and let's see what we get. So, this is the report that we see over here. Let's open it and see how it looks like. It's a .doc file with your logo, with your name, with the summary, everything, all the executive summary, description, and your summary finding. So, all your findings are

automatically added to the report with all the categories: critical, high, medium, low, informational, and gas optimization. And if you scroll even more down, you have all your finding details and finding deep dive. So, this is pretty amazing, and this is one of the best all-in-one tools for smart contract auditing. It's like an online IDE on steroids, with AI, with notes, with report generation. This is just crazy. Now, the cool thing about this tool is that it's completely free, guys. It's free. It's in beta, actually, Alpha Testing mode. So, you can check out the link in the description to sign up and basically try it out. It's going to be paid. There is going to be a pro version in the future. They're going to add so many features, as you can see here, like AI report writing, fuzzing, POC, advanced scanning with mreal, and more tools. Right now, these features are work in progress, but once they're out, they're going to be in the pro version. Now, the cool thing is that if you use my link in the

description: This is my gift for the community from the Audit Wizard team. You're going to get a free trial for the pro features, so make sure to use the link to sign up to Audit Wizard using my link in the description below. So, once those features are out, you're going to get first free trial access for them. And also, in addition, they have the Discord community, but we made a deal that everyone that joins the Discord community through this specific link, this specific video, will be added automatically to a VIP channel with the developers of the tool. So, if you are one of my viewers, one of my smart contract auditing students, and you want to explore the tool and you have some feature suggestions, bug reports, you have a direct line to the developers and to the team behind this tool. So, you can request your own features, provide your feedback, and provide feedback about bugs or features. So, definitely check out the link in the description below to get both the potential trial once the pro comes out and the direct channel with the developers. Now, if you are not sure

about some of these features. They also have amazing comprehensive docs, so you can read about every single feature and about upcoming features and FAQ. So definitely check out the doc if you have any open questions before you ask questions in the Discord Community or on Twitter. Now that's it for today. I hope you liked this video, and if you liked it and tried out the tool, please leave a comment in the comment section below. If you enjoyed this video, obviously smash the like button and subscribe to the channel for more awesome smart contract auditing content, and I will see you in the next one. Bye-bye.

The Ultimate Smart Contract Auditor Tool - AuditWizard Complete Tutorial

JohnnyTime

감사 마법사로 스마트 계약 감사 최적화하기

감사 마법사는 스마트 컨트랙트 감사 프로세스를 간소화하도록 설계된 올인원 웹 3.

통합 AI, 자동화된 스캔, GitHub에서 리포지토리 가져오기 기능과 같은 기능을 제공하여 감사자의 시간과 노력을 절약해줍니다.

이 플랫폼은 현재 솔리디티와 EVM 기술을 지원하며, 향후 서비스를 확장할 계획입니다.

간편한 솔리디티 스마트 계약 감사

이 도구는 이더스캔에서 직접 컨트랙트를 가져올 수 있어 감사 프로세스를 간소화합니다.

컨트랙트의 기능과 외부 호출에 대한 개괄적인 개요를 보여주는 그래프 도구가 특징입니다.

AI 통합은 코드 분석 및 요약을 제공하여 감사자가 코드베이스를 더 빠르게 이해하고 잠재적인 보안 결함을 식별할 수 있도록 도와줍니다.

이 도구는 코드에 대한 컨텍스트를 제공하고 질문에 답함으로써 스마트 컨트랙트 감사를 최적화하는 고유한 AI 채팅 기능을 제공합니다.

취약점 스캔을 위해 정적 분석기인 Slither를 통합하여 사용자가 계약에서 잠재적인 문제를 식별하고 필터링할 수 있습니다.

또한 이 도구는 코드에 직접 메모와 코멘트를 추가할 수 있는 기능을 제공하여 감사 프로세스를 간소화합니다.

이 플랫폼은 감사자를 위한 편리한 메모 시스템을 제공하여 코드를 강조 표시하고 체계적인 메모를 작성할 수 있습니다.

사용자는 코드 행을 자동으로 채우고 설명을 다시 작성할 수 있는 내장된 AI 기능을 통해 발견 사항을 쉽게 추가할 수 있습니다.

AI 도구는 오타를 수정하고 전문적인 문구를 제공함으로써 보고서 작성을 최적화하여 고객을 위한 포괄적인 보고서를 더 쉽게 작성할 수 있도록 도와줍니다.

유니스 스왑으로 감사 프로세스 간소화

이 도구는 토큰 스왑 중 미끄러짐을 지정하지 않는 등 Unis 스왑 사용 시 취약점과 관련된 발견 사항을 자동으로 추가합니다.

프로젝트 내에서 코드 스니펫과 파일을 찾을 수 있는 검색 기능도 제공합니다.

보고서 생성 프로세스가 원활하여 사용자가 세부 정보를 입력하고 개인 로고를 추가한 후 종합 감사 보고서를 생성할 수 있습니다.

이 도구는 중요, 높음, 중간, 낮음, 정보 및 가스 최적화와 같은 카테고리로 자동화된 보고 기능을 제공합니다.

현재 베타 버전으로 무료로 사용할 수 있으며, 향후 프로 버전과 추가 기능이 추가될 예정입니다.

사용자는 특정 링크를 통해 가입하여 프로 기능의 무료 평가판을 사용해 볼 수 있으며, VIP Discord 채널을 통해 개발자와 직접 소통할 수 있습니다.