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

Gambit：用于形式验证的Solidity突变测试工具

这篇文章讨论了如何在自动化验证的背景下应用突变测试，介绍了一个名为Gambit的开源突变生成器，该工具用于增强Solidity智能合约的测试，并与Certora Prover工具集成。文章深入探讨了突变测试在提高正式规范质量和识别安全漏洞方面的重要性，并提供了视觉化结果的相关信息，展示了突变检测的效果和改进方向。
突变测试  Solidity  智能合约  自动化验证  Certora Prover  开源 

代币化房地产洞察

本文探讨了房地产代币化的兴起与潜力，分析了其在投资和租赁方面的影响。文章列举了房地产代币化市场的增长数据，包括总价值、市值增长、潜在市场规模和未来市场规模的预测。此外，还探讨了代币化房地产资产的投资趋势，特别是代币化多户住宅和商业开发项目，并提供了一些实际案例。
房地产代币化  NFT  区块链  投资  多户住宅  商业地产 

零知识证明：应用和具体用例

零知识证明（Zero-KnowledgeProofs，ZKPs）是应用密码学中令人兴奋的突破，将在各个行业中解锁新的用例，从Web3到供应链再到物联网。通过在不揭示信息的情况下验证其真实性，ZKPs可以增强数字系统的隐私、安全性和效率。本文将探讨ZKPs的基础知识和正在出现的潜在用例。
  • Chainlink
  • 发布于 2023-05-12
  • 阅读 ( 7612 )
  • ( 35 )

Ordinal 是什么？ BTC NFT 解释

Ordinal NFT于2023年1月20日由开发者 Casey Rodarmor在 BTC 主网上推出，它是在BTC上创建NFT的最新方式。虽然BTC上的NFT并不是一个新概念，但是 Ordinal NFT 具有与其他 BTC 上的 NFT 根本不同的架构。
NFT 
  • Chainlink
  • 发布于 2023-05-12
  • 阅读 ( 3270 )
  • ( 6 )

2023最新ETH测试网水龙头整理 (包含 Goerli 和 Sepolia)

Ethereum 测试网是对以太坊主网生态环境的模拟，开发者可以测试网上面部署协议和智能合约
测试币 

你可能认为MEV的竞争非常激烈，但事实并非如此

本文探讨了区块链领域中最大可提取价值（MEV）的竞争程度，指出短尾MEV（如DEX套利、清算和三明治交易）竞争激烈，而长尾MEV（如NFT MEV）竞争相对较低。长尾MEV更依赖于发现新的机会（Alpha），而非优化机器人来抢夺已知的机会，因此对于个人搜索者而言，仍存在许多未被发掘的盈利空间。
MEV  最大可提取价值  短尾MEV  长尾MEV  Alpha  套利 
  • mteam88
  • 发布于 2023-05-12
  • 阅读 ( 101 )

NFTScan: 蓝筹 NFT 跌幅严重，如何保持竞争力?

从 NFTScan 的数据看，主流蓝筹NFT项目近期价格均出现较大幅度下跌，在一定程度上反映市场信心出现减弱，作为 NFT 市场的领头项目,蓝筹 NFT 的表现直接影响整体环境。
NFT  NFTScan 

【源码讲解】Ordinals Inscription铸造过程解析

我们直接从代码层面来看看一个OrdinalsInscription的交易过程是怎样的。首先我们需要明确一些概念:OutPoint比特币中的交易是基于UTXO（未花费的交易输出）模型构建的，这意味着每个交易输出都
Ordinals 
  • 团长
  • 发布于 2023-05-12
  • 阅读 ( 8785 )
  • ( 105 )

处理 ERC20 转账容易忽略的问题(一)

看起来很简单的ERC20转账，处理不好就有可能导致不可估量的损失
  • Ashton
  • 发布于 2023-05-12
  • 阅读 ( 2624 )
  • ( 12 )

Web3 极客日报 #1203

Web3 极客日报 #1203
  • rebase
  • 发布于 2023-05-11
  • 阅读 ( 1544 )

什么是 “Fedimint”？

本文介绍了Fedimint，一种基于Chaumian eCash的实现，由多位守护者组成的联盟托管资金，并原生支持比特币闪电网络。Fedimint旨在提供类似于托管式闪电钱包的用户体验，但具有更强的隐私性和原生备份机制，允许用户从联盟处找回资金。文章还介绍了 fedimint 的架构，参与者，以及各个参与者的功能。
Fedimint  Chaumian eCash  闪电网络  联盟  守护者  HBBFT 

Espresso Systems简介

高耗费和和低隐私是Web3用户当今主要的痛点，也是未来的采用和创新的最大障碍。Espresso Systems正在创造的扩容隐私方案能为Web3应用带来崭新可能。
以太坊  零知识证明 

以太坊协议奖学金：第三期回顾

以太坊协议奖学金（EPF）第三期成功结束，该计划旨在帮助开发者更容易地参与到以太坊核心开发中。该计划为期四个月，参与者可以选择自己感兴趣的领域，提出项目并进行开发，并从以太坊核心开发者那里获得反馈，同时成为社区的一员。EPF第四期即将开始，感兴趣的开发者可以关注申请。
以太坊协议奖学金  核心开发  EIP-4844  Lighthouse  Teku  Prysm 

Gelato Web3 Functions Beta 2.0 介绍：增强的性能、安全性和可用性

Gelato 发布了 Web3 Functions Beta 2.0，该版本在性能、安全性和可用性方面进行了增强。新版本引入了多链 RPC 提供商、批量执行调用默认支持、任务特定密钥管理、Hardhat 插件和模板、改进的 DevX 以及安全和审计改进等关键特性，旨在简化跨链通信，降低 gas 成本，并优化开发流程。
Web3 Functions  Gelato  多链  RPC  Hardhat  密钥管理 
  • gelato
  • 发布于 2023-05-11
  • 阅读 ( 341 )

Goerli ETH（GOR）水龙头枯竭后，还有三个其他渠道领测试币

Goerli从2018年启动以来，一直备受关注。它拥有安全性高、交易速度快、低成本、可靠性高、易于部署等优势，主要目的是让开发者在测试阶段可以进行各种实验和测试，以便更好地发现和解决潜在问题。
测试币 

zkSync Era部署合约代币最全教程，安装本地环境

zksyncera部署合约和ETH等网络不同，不能直接使用remix进行部署，官方出的解决方案是使用hardhat插件

从0到1：Web 3 社区建设的五大关键步骤

在Web3领域，社区建设是项目成功的关键之一。
Web3 

Hardhat 开发框架 - Solidity开发教程连载

Decert.me 连载教程 《Solidity开发教程》 -- 工具篇
Hardhat  DeCert 
  • DeCert.me
  • 发布于 2023-05-11
  • 阅读 ( 6468 )
  • ( 116 )

Web3 极客日报 #1202

### 提升安全意识，拒绝五元榔头 https://cointelegraph.com/news/5-wrench-attacks-appear-to-be-on-the-rise-in-the-crypto-community **Frozen**: 介绍5刀榔头以及在Crypto圈发...
  • rebase
  • 发布于 2023-05-10
  • 阅读 ( 1525 )

DevNets 如何加速本地智能合约开发

Tenderly DevNets 提供了一个零设置的受管环境，加速了智能合约的开发，该环境与 Hardhat、Truffle 和 Foundry 等本地开发框架集成，可以使用生产数据测试智能合约，并提供调试工具。DevNets 具有隐私性、灵活性和协作功能，可以优化开发体验。
devnets  Hardhat  Truffle  Foundry  智能合约开发  调试