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

Echidna 教程：#2 使用断言测试模式的模糊测试

本教程介绍了如何使用Echidna进行智能合约的模糊测试和断言测试，详细说明了Incrementor合约及其修改版本EchidnaIncrementorAssert的实现。文章深入探讨了断言的使用、事件的处理以及模糊测试如何帮助发现潜在漏洞，以确保区块链应用的完整性。
Echidna  智能合约  模糊测试  断言  区块链  漏洞检测 
  • bloqarl
  • 发布于 2024-01-11
  • 阅读 ( 416 )

Web3 极客日报 #1407

Web3 极客日报 #1407
  • rebase
  • 发布于 2024-01-10
  • 阅读 ( 2202 )
  • ( 23 )

如何利用 NFTScan Portfolio 功能分析钱包 NFT 持仓

Web3 用户可以自由查看任意钱包地址在多链 EVM 区块链网络上的 NFT 资产持仓数据以及历史链上交互记录，以及实时 NFT 数据的监控。
NFT  NFTScan 

理解 Compound V3 中的抵押品、清算和储备金

in  详解 Compound V3
本文深入探讨了Compound V3的多个关键主题，包括抵押品估值、清算机制、抵押品出售、储备金的作用及其对清算的影响。文章通过详细的代码示例和图表，解释了用户抵押品的存储结构、资产信息的管理，以及清算过程的具体实现。
Compound V3  抵押品  清算  储备金  智能合约  DeFi 

使用OSTIF保护开源基础设施

本文介绍了Open Source Technology Improvement Fund (OSTIF) 与 Trail of Bits 合作进行的一系列开源项目的安全审计和威胁建模工作，包括Linux kernel release signing、CloudEvents、curl、KEDA、Eclipse Mosquitto、Eclipse Jetty、Eclipse JKube、Flux 和 Dragonfly。
安全审计  威胁建模  开源软件  漏洞  安全评估  fuzzing 

揭开 Arbitrum 费用的神秘面纱

本文深入分析了 Arbitrum 中 L1 和 L2 费用的计算机制，特别强调了在理解 Arbitrum 收费时的两个主要陷阱：Arbitrum 报告的 `gasUsed` 字段并不等同于 L2 gas，以及 Arbiscan 的 L1 gas 报告可能会引发误解。通过生动的蛋糕和饼干的类比，阐明了费用计算中的复杂性和可能的困惑。文章提供了具体的计算示例，帮助开发者更好理解和估算费用。
Arbitrum  L1 gas  L2 gas  以太坊  费用计算  区块链 

yGenius：与Yearn对话！

本文介绍了yGenius，一个基于GPT的聊天机器人，旨在通过索引Yearn生态系统的知识为用户提供统一的查询接口。文章详细解释了如何利用gpt_index库将知识库连接到GPT，并探讨了不同索引方法之间的权衡。
yGenius  GPT  gpt_index  Yearn  索引  聊天机器人 

cUSDC V3（Compound V3）作为非标准Rebasing代币，CometExt.sol

in  详解 Compound V3
文章详细介绍了Compound V3合约的行为，它类似于一种可调整供应量的ERC 20代币，即借贷平台的USDC余额的现值可以被转移。文章还讨论了Compound V3实现的ERC 20函数及其工作原理。
Compound V3  ERC 20  rebasing token  USDC  present value  approve 

介绍带有主网复制功能的 Scaffold-ETH-2

本文介绍了Scaffold-ETH-2与BuildBear的结合，旨在加速Dapp开发。通过CLI工具，开发者可以轻松创建自己的Sandbox环境，测试应用程序，铸造ERC20代币，并快速调试交易，从而优化开发流程和缩短上市时间。
Scaffold-ETH-2  BuildBear  DAPP开发  EVM  ERC20  沙盒 

存储共识范式：下一代区块链不必是区块链

本文将介绍一种特立独行的 Web3 基础设施设计范式——存储共识范式，即 SCP。 它与 Rollup 的目标相同，但实现方式上却存在较大差异，相比 Rollup，它在落地简易度以及与Web2平台衔接的难易度上，可行性很高。
Arweave  SCP 

每周以太坊进展2024/1/6

每周以太坊进展2024/1/6
每周以太坊 
  • EthWeekly
  • 发布于 2024-01-08
  • 阅读 ( 3030 )
  • ( 95 )

BSC全节点搭建教程（2024）

一、服务器配置全节点建议配置系统：LinuxCPU：16核内存：64GB内存带宽：50M以上硬盘：大于2T固态SSD可用空间数据盘本次搭建使用配置系统：ubuntu22.04CPU：32核心64线程内存：64GB内存带宽：1G上下对等硬盘：ssd4T区域
节点搭建 

MyBatis实战指南（一）：从概念到特点，助你快速上手，提升开发效率！

MyBatis是一个优秀的持久层框架，它支持定制化SQL、存储过程以及高级映射。MyBatis避免了几乎所有的JDBC代码和手动设置参数以及获取结果集的过程。大家好，今天我们要来聊聊一个在Java开发中非常实用的框架——MyBatis。
Java 

Web3 极客日报 #1406

Web3 极客日报 #1406
  • rebase
  • 发布于 2024-01-07
  • 阅读 ( 2363 )
  • ( 29 )

DeFi 利率指数：Compound V3 中的本金现值与现值

in  详解 Compound V3
文章详细介绍了Compound V3中的`baseSupplyIndex`和`baseBorrowIndex`机制，解释了它们如何跟踪借贷者的存款和借款，以及如何通过`principal value`和`present value`计算用户的余额。同时，文章还包含代码示例和图表，帮助读者更好地理解这些概念。
Compound V3  baseSupplyIndex  baseBorrowIndex  principal value  present value  Solidity 

为什么说索引才是铭文的共识层？

玩铭文的朋友，肯定经常听到「索引」这个词。无论是项目方，还是技术大佬，在铭文语境中，都经常用到这个词。它到底是什么呢？为什么铭文的存在，除了依赖区块链，还会依赖索引？
铭文  Arweave  indexer 

无需许可的互操作性

Hyperlane 提出了“无需许可的互操作性”概念，旨在解决当前跨链互操作性领域存在的中心化和限制问题。通过允许任何区块链、应用链或 Rollup 自行部署互操作性功能，Hyperlane 旨在加速新链的采用，释放更多流动性，并消除现有互操作性方面的障碍。Hyperlane 具有无需许可的部署、模块化安全性和 Warp Routes 等功能，为开发者提供更大的灵活性和安全性。
互操作性  跨链  区块链  Rollup  Hyperlane  许可 

可再生能源资产的代币化：一场绿色投资革命

文章探讨了可再生能源资产的代币化及其对绿色投资格局的潜在革命性影响，详细介绍了代币化的概念、优势以及在可再生能源领域的应用。同时，文章提及了My NEO Group和NEO Zentech在金融科技与加密货币解决方案方面的重要作用和创新，强调了去中心化和可持续金融系统的发展。
可再生能源  代币化  区块链  金融科技  去中心化  NEO 

二进制域上的SNARK：Binius - 第二部分

本文是关于Binius证明系统的第二部分，重点介绍了连接码（允许扩展小字段的多项式承诺方案）和用于检查多元多项式上语句的不同协议。Binius中几乎所有的协议都归结为sumcheck协议，并提出使用Plonkish算术化，与HyperPlonk的主要区别在于trace包含属于不同子域的元素，因此门约束将表达不同子域的关系。
Binius  证明系统  连接码  多项式承诺  Sumcheck 协议  Plonkish 算术化 

Compound V3 每秒利息

in  详解 Compound V3
本文详细解释了Compound V3协议如何以秒为单位计算利息，并通过Solidity代码逐行分析利用率如何驱动利率的变化。
Compound V3  Solidity  利率模型  利用率  SECONDS_PER_YEAR  FACTOR_SCALE