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

等待确认（七）：网络资源

本文是Gloria Zhao在Optech Newsletter上编写的“交易池”系列周刊的第七篇，主要讨论了网络范围内的资源概念，这些概念对于比特币的可扩展性、可升级性以及维护全节点的可访问性至关重要。文章还探讨了交易池规则如何通过限制区块链增长、UTXO集大小以及定义标准交易等方式来保护共享网络资源，从而维护网络的特性并为未来的协议开发保持开放性。
交易池  UTXO集  网络资源  比特币  共识规则  挖矿 

友好的零知识证明介绍

在本文中，作者用一个形象的例子"沃尔多在哪里"给我们介绍零知识证明的概念、进而说明为什么要关注ZKP以及它们何时有用。我们还了解了它们的工作原理，以及它们为我们提供了哪些属性。并探讨了一些当前和未来可能应用
零知识证明 

NFTScan 与 Purelist 达成战略合作伙伴，双方在 NFT 一级发售方面展开合作

NFT数据基础设施NFTScan与NFT预售平台Purelist达成战略合作伙伴关系，双方将在NFT一级发售层面展开深度合作。

Tokenomics：实用概述

本文深入探讨了 Tokenomics（代币经济学）的概念，它是加密货币领域中代币发行、分配和管理的关键系统。
Tokenomics  代币经济学  加密货币  区块链  代币  RWA 

Web3 极客日报 #1269

Web3 极客日报 #1269
  • rebase
  • 发布于 2023-07-20
  • 阅读 ( 1920 )
  • ( 8 )

ERC-20 vs BEP-20 vs TRC-20：什么是加密代币标准？

ERC-20、BEP-20和TRC-20
  • Tokenview
  • 发布于 2023-07-20
  • 阅读 ( 3706 )
  • ( 4 )

如何使用 NFTScan SDK 工具构建 NFT Explorer Dapp

NFTScan SDK 库提供了对智能合约的无缝部署和通过 NFTScan API 调用常见合约定义的方法和功能
NFT 

ApeDao事件代码复现

ApeDao事件代码复现
安全事件分析 
  • Archime
  • 发布于 2023-07-20
  • 阅读 ( 3366 )
  • ( 5 )

智能合约安全审计入门篇 —— 签名重放

了解一个经典的智能合约漏洞 —— 签名重放。
智能合约安全  安全审计  智能合约 

智能合约安全审计入门篇 —— 抢跑

了解一个非常常见的攻击手法 —— 抢跑。
智能合约安全  安全审计  抢跑  智能合约 

Cobo 密码知识讲堂｜第三讲：ECDSA 门限签名典型算法介绍

in  Cobo 密码知识讲堂
本文是 Cobo 密码知识讲堂的第三讲，主要介绍了 ECDSA 门限签名算法。
ECDSA  门限签名  密码学  多方计算  同态加密  零知识证明 
  • Cobo
  • 发布于 2023-07-20
  • 阅读 ( 322 )

基于断言机的条件式支付背后的密码学

本文深入探讨了谨慎日志合约（DLC）的密码学原理，从使用私钥作为签名解密密钥的方法开始，逐步介绍了适配器签名、断言机见证消息的定义，并分析了三种主要的DLC协议提议，包括Dryja的初始提议、结合适配器签名的当前提议以及ObC支付。文章还探讨了断言机的密钥派生，以及不同DLC提议的现状和未来发展。
谨慎日志合约  适配器签名  Schnorr签名  ECDSA  BLS签名  断言机 

人工智能如何驱动令人惊叹的NFT创作

本文探讨了人工智能（AI）与非同质化代币（NFT）的融合，重点介绍了AI在NFT创作中的力量，例如通过分析大数据集生成独特的数字资产，以及在艺术创作中释放无限的创造性可能，包括生成艺术、技术驱动的收藏品、AI辅助认证、AI驱动定价和AI驱动市场。同时讨论了AI辅助艺术家，分析了Midjourney、DALL-E 2等平台，最后讨论了AI生成NFT的挑战与局限性，例如缺乏原创性、伦理考量等。
人工智能  NFT  生成艺术  算法  数字资产  区块链 
  • orbis86
  • 发布于 2023-07-20
  • 阅读 ( 654 )

学习 ZK 如何入门 - 学习路线 by Taiko.eth 🥁

以下是ZK入门包内容的解读
ZKP  学习路线 

形式验证的三大误解

本文揭示了有关智能合约形式验证（FV）的三大常见误解，并介绍了Certora开发的形式验证语言CVL如何有效打破这些误区。文章通过示例展示了CVL的易用性和强大能力，强调了形式验证在检查合约安全性和发现复杂漏洞中的重要性，以及Certora Prover工具的实际应用。
形式验证  智能合约  CVL  Certora Prover  安全性  Solidity 
  • Certora
  • 发布于 2023-07-20
  • 阅读 ( 524 )

Python、Solidity 和 EVM 中的双线性配对(Bilinear Pairings)

in  零知识证明之书
这篇文章深入探讨了双线性映射（bilinear pairings）的原理及其在密码学中的应用，特别是在验证乘积的离散对数时。
双线性映射  离散对数  椭圆曲线  以太坊预编译  G1  G2 

BNO事件代码复现

BNO事件代码复现
安全事件分析 
  • Archime
  • 发布于 2023-07-20
  • 阅读 ( 3325 )
  • ( 3 )

Web3 极客日报 #1268

Web3 极客日报 #1268
  • rebase
  • 发布于 2023-07-19
  • 阅读 ( 1447 )
  • ( 3 )

Mantle 代币和桥审计

OpenZeppelin 对 Mantle Network 的 Mantle token 合约和桥合约进行了安全审计，发现了一些低风险问题和需要注意的点，包括误导性的注释、桥合约可以被重新初始化、以及一些代码上的优化空间。审计建议 Mantle 团队关注治理行为和资产转移，以确保系统的安全。
智能合约安全  ERC-20  OpenZeppelin  安全审计  Mantle Token  跨链桥 

Validity(ZK) Rollup 在上傳資料類型上的選擇

本文介绍了Validity Rollup可以选择上传State Diff而不是完整的交易数据，解释了State Diff的概念，即状态的改变，可以是多笔交易抵消或叠加的结果。相比上传完整交易数据，State Diff可以节省成本，并且节点能更快同步到最新状态，但是state diff 不包含历史交易数据，需要通过其他方式如p2p网络同步。
Validity Rollup  State Diff  资料可用性  交易成本  节点同步  STARK  交易数据