登录
下载
Skill UI
浏览并发现
9119+
精选技能
全部
编程开发
人工智能
设计创意
产品商业
数据科学
市场营销
职场通用
效率工具
硬件工程
语言学习
搜索
智能合约
,共找到
22
条记录
默认排序
最新上传
最多下载
Algorand 合约漏洞扫描
algorand-vulnerability-scanner
trailofbits/skills
58
针对 Algorand TEAL/ PyTeal 智能合约,检测 11 类平台特有漏洞(重钥、费用、组交易、权限控制等),输出严重度、修复建议,并可调用 Tealer 完成自动检测。
查看详情
Cairo/StarkNet 漏洞扫描
cairo-vulnerability-scanner
trailofbits/skills
283
扫描 Cairo/StarkNet 智能合约,识别 felt252 算术、跨层消息、访问控制与签名重放等六种关键漏洞,输出严重度、文件定位与修复建议,助力审计与部署前安全复核。
查看详情
Web3区块链智能合约与DeFi开发
blockchain-developer
sickn33/antigravity-awesome-skills
162
这是一份关于构建生产级Web3应用的全面指南,涵盖了智能合约、去中心化金融(DeFi)、NFT平台和DAO设计。内容深度覆盖了Solidity、Rust等主流语言、多链跨链互操作性、以及复杂的协议架构设计。适用于需要构建复杂、高安全性的去中心化系统架构师和开发者。
查看详情
DeFi协议模板开发
defi-protocol-templates
sickn33/antigravity-awesome-skills
432
这是一个用于开发去中心化金融(DeFi)协议的生产级代码模板库,使用Solidity语言编写。它提供了质押(Staking)、自动做市商(AMM)、治理代币、借贷系统和闪贷等核心功能模块的实现框架。适用于构建复杂、稳健的区块链智能合约应用。
查看详情
智能合约入口点分析
entry-point-analyzer
trailofbits/skills
488
分析智能合约项目,识别所有可外部调用且会修改状态的函数,划分公开、角色限制、仅限合约等访问级别,并输出结构化审计报告,适用于Solidity、Vyper等多链代码。
查看详情
智能合约指南顾问
guidelines-advisor
trailofbits/skills
315
依据 Trail of Bits 开发指南系统审查智能合约代码,涵盖文档、架构、升级路径、代理模式、实现质量、依赖与测试,输出优先级建议与可执行改进措施。
查看详情
基于属性的测试指南
property-based-testing
trailofbits/skills
475
为开发者提供何时及如何在序列化、验证、规范化与智能合约场景中应用属性测试的指导,包含关键属性、优先级与决策流程,辅助增强单元测试覆盖。
查看详情
安全开发流程指南
secure-workflow-guide
trailofbits/skills
59
遵循Trail of Bits五步安全流程,为智能合约运行Slither与特性检测、生成安全图表、记录属性并梳理人工复核区域,生成可执行的安全报告与行动计划。
查看详情
Solidity智能合约安全开发
solidity-security
sickn33/antigravity-awesome-skills
164
本技能专注于Solidity智能合约的安全最佳实践,旨在帮助用户编写健壮、安全的智能合约。它涵盖了漏洞预防、代码审计以及部署去中心化金融(DeFi)协议的安全模式。核心目标是防止重入、溢出和权限控制等常见攻击,同时优化Gas使用。
查看详情
TON漏洞扫描器
ton-vulnerability-scanner
trailofbits/skills
475
针对 FunC 语言的 TON 智能合约,检测布尔逻辑、Jetton 转账和燃气转发等关键漏洞,输出带有文件定位的审计结果并提供修复建议,适用于合约安全评估与上线前复核。
查看详情
Web3智能合约测试
web3-testing
sickn33/antigravity-awesome-skills
77
掌握使用Hardhat和Foundry等行业领先框架进行智能合约的综合测试方法。该技能涵盖单元测试、集成测试、Gas优化分析、边界情况模糊测试(Fuzzing)以及模拟主网交互,旨在确保去中心化应用(DApp)的安全性与可靠性。
查看详情
规范到代码合规性审计
spec-to-code-compliance
sickn33/antigravity-awesome-skills
466
这是一个针对区块链协议的深度审计技能。它能够严格验证智能合约代码是否完美匹配白皮书、设计文档或技术规范中的所有细节。该工具进行详尽的逐行语义分析,找出逻辑、不变量和安全性保证方面的缺失、不一致或偏差,是进行去中心化系统合规性检查的专业工具。
查看详情
1
2
下一页
语言
简体中文
English