本文介绍了作者如何构建一个基于属性测试的工具 fuzzing-like-smarter-degen,用于检测智能合约中的漏洞。文章详细讨论了传统的单元测试的局限性,并介绍了模糊测试(fuzzing)的原理及其在智能合约安全检测中的应用。作者还介绍了如何通过假设库(Hypothesis)实现模糊测试,并展示了该工具的运行效果。
本文介绍了Oasis网络如何通过使用可信执行环境(TEE)来保护隐私,尽管TEE存在一些已知的安全漏洞。Oasis网络通过设计上避免完全依赖TEE来保障数据完整性,同时采用多种措施来应对可能的风险。这些技术使得Oasis能够在保障隐私的同时,提供高效和灵活的智能合约执行环境。
本文详尽介绍了Oasis Network如何利用可信执行环境(TEE)保护隐私,并讨论了近期的Æpic漏洞对TEE的影响及其应对措施。Oasis通过多重安全机制确保数据完整性,不受TEE漏洞的威胁。同时,文章比较了TEE与其他隐私保护技术的优劣,强调了TEE在灵活性和用户友好性上的优势。
这篇文章详细介绍了Oasis网络如何利用可信执行环境(TEE)在面对TEE漏洞的情况下保护隐私, 论述了TEE的灵活性、安全性和用户友好性。文章还比较了其他隐私计算方法的局限性,最终强调了Oasis在保护用户数据隐私方面的独特优势。
文章讨论了在Compound平台上投资DAI的风险,包括智能合约安全、中心化失败点以及银行挤兑风险。文章还提到Compound的治理机制已转移到COMP代币持有者手中,并详细分析了每种风险的潜在影响。
本文探讨了区块链技术与硬件结合的可能性,尤其是通过使用可信执行环境(TEE)来增强区块链的隐私与安全性。文章深入介绍了Phala Network如何利用TEE构建安全的智能合约,强调了远程证明和密钥管理的关键步骤,同时讨论了安全性和升级机制,最后展望了未来在其他硬件平台上的扩展潜力。
本文第一部分探讨了从以太坊区块链提取和转换CryptoKitties数据的技术细节。文章详细讲述了如何解码区块链数据以及智能合约函数调用的实现,提供了对交易和日志信息的深入分析,同时引入了ETL的方法。该系列文章的第二部分将专注于游戏数据分析,提供更多有趣的发现。
本文探讨了成为Solidity开发者的重要性和步骤,强调了Web3和区块链技术的前景,为新手提供了一系列学习资源和实践经验,包括参加Bootcamp、掌握Solidity基础、使用工具、参与Hackathon及申请相关职位等。
CryptoKitties在最近的热潮导致以太坊网络拥堵,为确保用户体验,团队决定提高交易的Gas费用和繁殖费用。文章详细介绍了这一改变的原因、影响及背景,强调了去中心化繁殖过程的重要性,并提供了改进方案以应对不断变化的Gas价格。
本文详细介绍了Solidity中的错误处理机制,涵盖了如何使用assert、require和revert函数来管理错误和确保合约的原子性。
文章介绍了以太坊的元交易(Meta Transactions),通过允许新用户无需支付Gas费用即可与Dapps交互,推动以太坊的普及。文章详细解释了元交易的原理和实现方式,包括哈希函数、密钥对、交易结构、智能合约等,并提供了一个演示视频。
文章详细介绍了Solidity中的映射(mapping)功能,解释了其用法、限制以及在实际智能合约中的应用,特别是ERC20代币的实现。
Authereum 文章详细解释了其密钥架构,包括管理员密钥、应用密钥和恢复密钥的设计和功能,以及它们在基于合约的账户中的应用。此外,还介绍了如何使用管理员密钥生成和管理其他密钥的类型。
本文介绍了Solidity的学习重要性、学习方法及核心概念。Solidity是以太坊及EVM兼容区块链的智能合约编程语言,学习Solidity不仅可以提供高收入的职业机会,还能帮助开发者构建影响深远的去中心化应用(dApps)。
这篇文章深入探讨了Solidity编程语言及其在以太坊网络中智能合约编译的重要性。文章详细解释了智能合约编译的过程,Solidity ABI的工作原理,以及如何通过字节码与EVM进行交互。