V
主页
大模型如何辅助智能合约静态漏洞检测?
发布人
本次分享由Dora Dōjō 资助 Dōjō Hacker: 孙宇强,南洋理工大学博士生,近期主要研究内容为自动化代码审计 分享论文:https://dl.acm.org/doi/abs/10.1145/3597503.3639117 📚要点: -智能合约静态漏洞检测工具局限有哪些? -基于大语言模型的漏洞检测局限有哪些? -大模型+静态分析如何能够提升漏洞检测能力? 🥷Dōjō 已发布的Bounty:https://dorahacks.io/org/doradojo/bounty 欢迎私戳小助手加入社区参与学习、讨论、分享,期待你的加入! 特别感谢Science block-community对本次分享的支持。
打开封面
下载高清视频
观看高清视频
视频下载器
智能合约安全:1ETH 兑换 1BTC,合约漏洞导致1200万损失
【精心打磨】2024最详细的大模型学习路线整理出来啦!计算机博士手把手教你最高效的大模型学习方法,轻松搞定AIGC大模型!(大模型训练_大模型微调)
【SRC漏洞挖掘】SRC中的Js隐藏接口探索与攻击面扩大
Qwen大模型本地部署教程!无需GPU,只要5G内存!超简单的部署教程,本地微调一个法律大模型,附安装包和微调文档!
【零基础学黑客】1000集暗网黑客教程,带你从入门到入狱,只要你敢学我就敢发!
面向智能合约的智能代码技术
小模型的时代终于来了,1.5B参数量模型也能轻松构建GraphRAG
黑客视角:高效自动化指纹识别全攻略
从零开始手把手带你基于LangGraph构建Agent智能体,看完这套实战教程,少走99%的弯路!
Ollama一键本地部署!免费开源 AI 助手 Ollama 从安装到微调,保姆级新手教程,100%保证成功,完全零代码轻松实现!
10分钟上手Huggingface,轻松调用Bert模型预训练 | 模型下载 | 预训练模型 | 应用实战
文件上传漏洞精讲教程 从入门到精通
【万能密码破解】黑客大佬手把手教你从零学习暴力破解,全程实战教学(压缩包/游戏/网站/WiFi)
ChatGPT有多接近人类?比较语料、评测和检测研究
黑客视角:SRC漏洞挖掘思路整理
【暗网黑客教程】审核下架34次,终于上传成功,你敢学我就敢发,学不会我来教~(暗網怎么进/暗網教程/如何上暗網/手機如何上暗網)
SRC漏洞挖掘之xss如何构造闭合
密码学03|群和公钥加密
密码学04|公钥密码学(非对称密码)
vlog #74 | 程序员下班后的学习记录|在学 Anchor 框架写智能合约|内部黑客松开始哩 🎉 |读完《臣服实验》|在读《刀锋》|日常英语学习与运动
奇安信大佬教你快速学完SRC漏洞挖掘实战教程,全程干货无废话,手把手教你快速入门src漏洞挖掘
Open AI发布o1模型最新使用教程,国内无限制版!o1模型免费使用,免登录,直接使用!完整解读模型特点,推理能力已超博士!
【15分钟上手Phala保密合约开发】Substrate Hackathon赛前指导
Layer2的五次探索
【B站首推】为什么LangChain会被判死刑?LangChain从入门到精通最新教程,草履虫都能听懂!!!大模型_LLM_人工智能
【AI大模型】使用Ollama+RAGFlow搭建一个非常好用的知识库!支持多种文件类型,本地部署大模型,效果好到尖叫!新人小白必看教程!
密码学01|古典密码与现代密码
隔离见证及原理解析
CNVD大佬手把手带你从Burpsuite安装使用到漏洞挖掘实战,别再盲目自学了!最适合小白的兼职项目!
三分钟轻松搭建本地大模型! Ollama + Open WebUI本地化部署大模型,知识库+多模态+文生图功能详解,超详细的教程,附安装包和安装文档!
吹爆!这绝对是同济大学最出名的AI Agent系列课程了,零基础阶段必备的前沿AI技术,还不会打造专属大模型智能体来打我!人工智能|机器学习|深度学习|强化学习
密码学02|对称密码学
深入浅出IC身份系统和应用可组合性【DFINITY技术入门Workshop-03】
黑客揭秘:游戏外挂到底是怎么这么做的?(本视频提供游戏外挂制作教程)
HackQuest X DioWeb3黑客松介绍直播回放
【第42期】如何通过黑客松开启你的第一个Web3项目?一站式HackQuest黑客松体验开启!
以太坊 PoS 奖惩罚机制拆解
2025年区块链行业最赚钱的5个领域和职业 #Web3 #加密
【从入门到入狱】暴力破解一切密码,黑客大佬手把手教学WiFi破解/压缩包破解/网站账密破解/入侵控制电脑/渗透测试/内网渗透/网络安全/漏洞挖掘...
Rollup交易压缩机制