本次分享论文:LLM4FUZZ: Guided Fuzzing of Smart Contracts with Large Language Models基本信息原文作者:Chaofan Shou, ...
零知识证明区块链的先进形式化验证
形式化验证是一个数学证明过程,用以证明系统的正确性,确保其在所有可能的条件下都完全符合预期运行。鉴于区块链技术的复杂性和高风险性,其中的缺陷可能导致重大的财务损失或隐私泄露。形式化验证超越了传统的测试...
智能合约web3.0都有哪些漏洞
由于微信公众号推送机制的改变避免错过文章麻烦您将公众号设为星标感谢您的支持!想要学习:【漏洞挖掘,内网渗透OSCP,车联网,二进制】的朋友欢迎加入知识星球一起学习。如果不满意,72小时内可在APP内无...
【智能合约攻击2】使用OWASP Smart Contract Top 10进行智能合约攻击
六、拒绝服务 (DoS) 攻击:中断流量现在,什么是拒绝服务 (DoS) 攻击?简单来说,这是试图破坏计算机系统、网络或智能合约的正常运行。这类似于堵塞建筑物的入口,阻止任何人进入。针对智能合约的 D...
【智能合约攻击1】使用OWASP Smart Contract Top 10进行智能合约攻击
关于智能合约 Top 10OWASP 智能合约 Top 10 是一份标准意识文档,旨在为 Web3 开发人员和安全团队提供对智能合约中发现的前 10 个漏洞的深入了解。它将作为参考,确保智能合约免受过...
[黑客养成计划]如何黑到虚拟货币
目录: 1、最新的加密货币新闻; 2、破坏加密钱包的技术; 3、加密钱包为何会被入侵? 4、钱包类型(冷热钱包和常见钱包); 5、攻击钱包获得虚拟币的方法。正文: ...
基于区块链的身份管理解决方案的合规策略
关于作者:Abhishek Bansal是 IAM 的思想领袖,在网络安全行业拥有十多年的经验。他曾在大型企业担任高级网络安全领导职务,并且是一家基于 IGAaaS 的网络安全初创公司的早期成员。Ab...
区块链技术在信息安全领域的应用与挑战!
01 引言 在数字化时代,信息安全问题日益突出。从个人隐私保护到企业数据安全,再到国家级的网络安全防御,信息安全已成为全社会关注的焦点。 区块链技术,这一去中心化、高度安全的数据库系统,逐...
零时科技 || 本月钓鱼诈骗事件依旧不减,发生多起单个地址被盗百万美元以上的事件
2023年12月,各类安全事件损失金额相比11月有所下降。12月因黑客攻击、钓鱼诈骗和Rug Pull造成的总损失金额约2494万美元。本月钓鱼诈骗事件依旧不减,用户还需要提高反诈意识。以下为典型安全...
区块链智能合约逆向-合约创建-调用执行流程分析
一 工具&链接 http://remix.zhiguxingtu.com/ https://ethereum.org/zh/developers/docs/evm/opcodes/ https...
前亚马逊工程师入侵加密货币交易所被定罪,没收超1230万美元
关键词 黑客入侵 据美国司法部新闻稿,34岁的纽约市民Shakeeb Ahmed承认黑客入侵了Nirvana Finance和另外一家去中心化加密货币交易所,这也是美国有史以来首次因智能合约入侵而定罪...
前亚马逊工程师入侵加密货币交易所被定罪,没收超1230万美元
据美国司法部新闻稿,34岁的纽约市民Shakeeb Ahmed承认黑客入侵了Nirvana Finance和另外一家去中心化加密货币交易所,这也是美国有史以来首次因智能合约入侵而定罪。 大约是在202...
10