本文介绍了Web3开发工具Laika的基本使用方法,展示了如何通过QuickNode与以太坊智能合约进行交互。内容涵盖了工具的简介、设置步骤、如何使用Laika查询智能合约余额以及一些实用功能。文章结构清晰,适合想要提高区块链开发效率的开发者。
本文介绍了Oasis网络如何利用受信执行环境(TEE)技术保护隐私,特别是在面对如Æpic等漏洞时的应对措施。文章详细阐述了Oasis如何通过多层安全机制确保数据完整性并支持灵活的隐私保护解决方案,同时与其他保密计算方法如FHE、MPC和ZKP进行了比较,指出TEE的优越性和实用性。
本文对OpenZeppelin的Stellar Contracts Library进行了审计,重点分析了其可用性和安全性,识别出若干高、中、低严重性的问题,并提出优化建议。审计结果显示,库在开发过程中的灵活性和安全性设计良好,适用于Stellar区块链上智能合约的开发。
本文是Solidity入门教程的第二天内容,主要讲解如何搭建Solidity的开发环境,包括安装MetaMask钱包,使用Remix IDE,以及可选的Hardhat本地开发环境。并通过一个简单的Hello Web3合约示例,演示了合约的编写、编译和部署过程,以便读者快速上手Solidity智能合约开发。
本文介绍了作者如何构建一个基于属性测试的工具 fuzzing-like-smarter-degen,用于检测智能合约中的漏洞。文章详细讨论了传统的单元测试的局限性,并介绍了模糊测试(fuzzing)的原理及其在智能合约安全检测中的应用。作者还介绍了如何通过假设库(Hypothesis)实现模糊测试,并展示了该工具的运行效果。
本文介绍了Oasis网络如何通过使用可信执行环境(TEE)来保护隐私,尽管TEE存在一些已知的安全漏洞。Oasis网络通过设计上避免完全依赖TEE来保障数据完整性,同时采用多种措施来应对可能的风险。这些技术使得Oasis能够在保障隐私的同时,提供高效和灵活的智能合约执行环境。
本文介绍了 Aavegotchi 如何使用 Gelato 的 Web3 Functions 自动执行代币回购。
本文详尽介绍了Oasis Network如何利用可信执行环境(TEE)保护隐私,并讨论了近期的Æpic漏洞对TEE的影响及其应对措施。Oasis通过多重安全机制确保数据完整性,不受TEE漏洞的威胁。同时,文章比较了TEE与其他隐私保护技术的优劣,强调了TEE在灵活性和用户友好性上的优势。
本文概述了Web3开发中最重要的编程语言,包括智能合约编程语言(如Solidity, Vyper, Huff, Rust, Move, Cairo, Haskell)和前端编程语言(如HTML, CSS, JavaScript, TypeScript)。文章旨在帮助开发者选择合适的语言,并开始构建他们的第一个dApp,同时强调了选择语言时应考虑的区块链生态系统和开发目标。
本文探讨了区块链基础设施安全的重要性,解释了它与智能合约安全的不同之处,并提供了一些针对区块链基础设施进行安全审计的实用方法。文章强调了基础设施审计需要关注的组件及其潜在风险,例如验证节点、数据可用性层、执行客户端和P2P网络,以及如何采用系统性的方法来识别和缓解这些风险,确保区块链网络的整体安全。
Mimicry 协议是一个去中心化的预测游戏平台,它使用 Gelato 的 Web3 Functions 自动化数据源更新过程,确保参与者可以访问最新的市场信息。Web3 Functions 通过从 NFTGo、Center 和 CoinGecko 等数据源获取数据,并使用共识机制来达成一致的值,从而实现预言机智能合约的自动化更新。
这篇文章详细介绍了Oasis网络如何利用可信执行环境(TEE)在面对TEE漏洞的情况下保护隐私, 论述了TEE的灵活性、安全性和用户友好性。文章还比较了其他隐私计算方法的局限性,最终强调了Oasis在保护用户数据隐私方面的独特优势。
文章讨论了在Compound平台上投资DAI的风险,包括智能合约安全、中心化失败点以及银行挤兑风险。文章还提到Compound的治理机制已转移到COMP代币持有者手中,并详细分析了每种风险的潜在影响。
本文探讨了区块链技术与硬件结合的可能性,尤其是通过使用可信执行环境(TEE)来增强区块链的隐私与安全性。文章深入介绍了Phala Network如何利用TEE构建安全的智能合约,强调了远程证明和密钥管理的关键步骤,同时讨论了安全性和升级机制,最后展望了未来在其他硬件平台上的扩展潜力。
本文介绍了Instance Registry Pattern,该模式使用中心化的智能合约来管理其他已部署合约的地址。通过在注册表中注册合约,可以动态查找依赖项,更新合约地址,并实现更清晰的架构和更安全的访问。