全部 通识 以太坊 比特币 Solana 公链 Solidity Web3应用 编程语言 安全 密码学 AI 存储 其他

如何在不 REKT 情况下优化Gas消耗 第一部分

本文探讨了去中心化金融（DeFi）领域中的智能合约安全性问题，并介绍了一种新的工具——等价检查器（Equivalence Checker），旨在帮助开发者在安全性、开发时间和Gas消耗之间取得更好的平衡。文章深入分析了智能合约开发面临的三大挑战以及使用等价检查器进行对比验证的实例，以确保代码的功能等价性。
智能合约  安全性  等价检查器  Solidity  功能等价性 
  • Certora
  • 发布于 2023-04-27
  • 阅读 ( 793 )

闪电网络盲化路径的工作原理

本文介绍了闪电网络中的盲路径技术，它通过加密隐藏部分支付路径，保护收款人的隐私。盲路径利用ECDH算法生成共享密钥，对节点ID进行“盲化”，使得付款方无法得知完整路径和收款方身份。文章还讨论了盲路径的原理、创建过程、应用场景（如私密通道路由、强制节点见证）以及当前的应用状态，并指出了现有实现的用户体验挑战，以及对盲路径的误解和潜在攻击。
闪电网络  盲路径  洋葱路由  隐私  ECDH  BOLT11 

如何在不被 REKT 的情况下优化你的Gas消耗

本文介绍了Certora Equivalence Checker工具，旨在帮助开发者优化DeFi产品的智能合约，解决Gas消耗、安全性和市场发布速度之间的三重困境。通过比较不同版本的代码，工具能有效检测潜在的低严重性和高严重性漏洞，并加强开发过程中的形式验证，确保代码的功能等价性。
智能合约  气体消耗  安全性  形式验证  Equivalence Checker  Solidity 

数字时代的货币(Moneyness)

文章探讨了现代金融体系中的货币概念，尤其是在数字时代中货币与信用之间的复杂关系。通过对商业银行货币、加密货币及稳定币的深入分析，文章指出了当前货币制度的脆弱性，并强调了加密货币和稳定币在提升个人货币安全性方面的潜力。作者还提到，技术变革需要应对不断变化的货币价值观，以防止未来金融危机。
货币  信用  加密货币  稳定币  数字经济 

深入学习以太坊虚拟机（EVM）#2：部署空合约学习字节码

本文深入介绍了以太坊虚拟机（EVM）如何逐步执行合约的字节码，尤其是简单合约的部署过程。文章通过分步骤解析字节码和相关操作码，帮助读者理解合约执行的逻辑和流程。
以太坊虚拟机  字节码  合约部署  操作码  Solidity  EVM 

Gelato Web3 Functions vs. Chainlink Functions

本文主要对比了 Gelato Web3 Functions 和 Chainlink Functions，两种服务都旨在为 Web3 开发者提供链下数据和计算能力。文章详细阐述了两者在核心设计、成本、开发者友好性、功能特性、智能合约集成以及网络支持方面的差异，并通过实际用例和数据对比，强调了 Gelato Web3 Functions 在降低延迟、减少 Gas 成本以及简化开发流程方面的优势。
Web3 Functions  Chainlink Functions  链下计算  Gas费  自动化  预言机 
  • gelato
  • 发布于 2023-04-26
  • 阅读 ( 650 )

登链社区申请了 Gitcoin Grant，请支持我们

登链社区在Gitcoin申请了一个Grant（“拨款申请”），请支持我们
Gitcoin 
  • Tiny熊
  • 发布于 2023-04-26
  • 阅读 ( 7445 )
  • ( 300 )

Cosmos - Cosmos，你好 CometBFT

CometBFT 是 Tendermint Core 的一个分支和继任者，是为互链及其他领域设计的状态机复制引擎，将作为驱动 Interchain Stack 的官方复制引擎。文章介绍了此次更名的原因，包括技术和管理方面的考虑，以及 CometBFT 的未来目标和发展方向。
CometBFT  Tendermint Core  Interchain Stack  共识引擎  Cosmos SDK  区块链 

DeFi借贷攻击

本文深入探讨了Web3 DeFi借贷平台中智能合约的各种漏洞，包括：违约前清算、无法清算借款人、未偿还债务关闭、暂停还款时启用清算、停止现有还款和清算、恢复还款后立即清算、清算人以不足额还款获取抵押品、无限贷款展期、还款发送到零地址、借款人永久无法偿还贷款、借款人还款仅部分入账、没有动力清算小额头寸、清算使交易者更不健康等。同时，本文还列出了一些额外的参考资源，以供智能合约审计师和开发人员参考。
智能合约  DeFi  借贷平台  清算  漏洞  安全 
  • Dacian
  • 发布于 2023-04-26
  • 阅读 ( 334 )

Wagmi + ReactJS 示例：转账加密货币并铸造 NFT

本教程详细介绍了如何使用Next.js和Wagmi.sh构建一个Web3 Dapp，允许用户通过连接到加密货币钱包来转移资金和铸造NFT。教程包括从设置开发环境到实现转账和NFT铸造的完整步骤。
Web3  DApp  Next.js  Wagmi.sh  NFT  加密货币 

vneus daemon代码解析

venus启动venusdeamon启动时主要调用两个app/node.go的两个方法。其中一个是用(b*Builder)build()生成node对象，这个生成方法会调用(builder*RPCBuilder)AddServices(services...RPCService)方法
FVM  共识算法  FileCoin 

DAO Tools 与 DAO治理

本研究报告侧重研究DAO工具和DAO治理的关系
DAO治理 
  • Jialin
  • 发布于 2023-04-26
  • 阅读 ( 4643 )

ChainAegis：Pancakeswap V2V3链上数据分析

in  智能合约安全
UniswapV3商业源代码许可证（BSL）于2023年4月1日到期，到期后代码将支持fork。4月3日，PancakeSwap发布V3版本，该版本以UniswapV3为基础进行了升级。PancakeSwap是BSC链上头部的基于自动做市商AMM机制的去中心化交易所。ChainAegis就其T
  • SharkTeam
  • 发布于 2023-04-26
  • 阅读 ( 5536 )
  • ( 6 )

Safe智能账户与钻石代理

本文讨论了Safe智能合约架构中，是否应该使用Diamond Proxy模式。
智能合约  账户抽象  安全  Diamond Proxy  模块化  Safe 
  • safe__
  • 发布于 2023-04-26
  • 阅读 ( 637 )

有趣的比特币脚本（五）：闪电通道与闪电网络

in  BTCStudy 精选
在本篇中，我们将学习闪电支付通道和闪电网络是如何实现的，并在此基础上了解其它的以脚本实现的特性。
比特币  闪电网络  支付通道 
  • BTCStudy
  • 发布于 2023-04-26
  • 阅读 ( 4171 )
  • ( 3 )

有趣的比特币脚本（四）：哈希锁

in  BTCStudy 精选
“哈希锁” 也称 “哈希原像检查”，也就是检查某个传入的数据的哈希值是否为某一值。
比特币  闪电网络 
  • BTCStudy
  • 发布于 2023-04-26
  • 阅读 ( 4957 )
  • ( 4 )

有趣的比特币脚本（三）：时间锁

in  BTCStudy 精选
“时间锁” 就是在某一个时间事件发生后才能打开的锁，即，为了通过这样的操作码的检查，由某种方式取得的当前时间已经越过了脚本预先指定的时间。
比特币  时间锁 

有趣的比特币脚本（二）：多签名

in  BTCStudy 精选
本章，我们正式进入最常被使用的比特币复杂脚本模块：多签名。
比特币  多签 

有趣的比特币脚本（一）：基本介绍

in  BTCStudy 精选
理解基于比特币脚本的合约式协议，如何嵌入具体的应用场景中并为相关参与者服务。
比特币 

thirdweb: 在 Scroll zkEVM 上部署智能合约

如何创建一个简单的 NFT Drop 智能合约，将其部署到Scroll Alpha Testnet，并在智能合约上铸造 NFT。
合约部署  zkEVM