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

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

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

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

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

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

本文深入探讨了谨慎日志合约（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
  • 阅读 ( 704 )

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

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

形式验证的三大误解

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

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

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

BNO事件代码复现

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

Web3 极客日报 #1268

Web3 极客日报 #1268
  • rebase
  • 发布于 2023-07-19
  • 阅读 ( 1470 )
  • ( 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  交易数据 

Dapp vs. 比特币交易：2014 年的 OP_Return 之争

为什么 Dapp（去中心化应用）一般都建立在以太坊上而不是比特币上
比特币  DApp 

比特币中的限制条款：用于评审的分类学

in  BTCStudy 精选
限制条款（covenant） 是一种允许内省（introspection）的构造：一个交易的输出，可以为接下来花费它的交易设置条件（超越具体的 “必须提供它自己以及某一个公钥的有效签名”条件）。
比特币 

NFTScan 正式上线 Linea NFTScan 浏览器和 NFT API 数据服务

2023年7月19号，NFTScan团队正式对外发布了LineaNFTScan浏览器，成为Linea主网上线首发NFT数据基础设施合作伙伴。

Fuel: 专注模块化的执行层

本文接收了什么是模块化执行层，Fuel 如何通过 UTXO 的设计来实现快速平行的执行层。
Fuel  Celestia  模块化区块链 

Solana - DAO动态： - Pineanalytics

本文深入探讨了 Marinade Finance 及其原生代币 MNDE，重点分析了 mSOL 流动性质押代币的运作机制、市场表现以及在 Solana DeFi 生态系统中的作用。文章还考察了 MNDE 的代币经济学，强调 DAO 治理在代币分配和价值获取方面的重要性，并展望了 Marinade 在 Solana 生态系统中增长的潜力。
Solana  DeFi  流动性质押代币  mSOL  MNDE  DAO治理 

Web3 极客日报 #1267

Web3 极客日报 #1267
  • rebase
  • 发布于 2023-07-18
  • 阅读 ( 1408 )
  • ( 5 )

Web3 极客日报 #1266

Web3 极客日报 #1266
  • rebase
  • 发布于 2023-07-18
  • 阅读 ( 1562 )
  • ( 4 )

Gnosis Pay介绍：加密货币支付的未来已来临

Gnosis Pay是一个去中心化支付网络，旨在通过将web3技术与Visa等传统支付系统集成，彻底改变金融交易。它使用户可以在任何接受Visa的地方使用加密货币进行支付，从而提供无缝和高效的交易。Gelato Relay在Gnosis Pay系统中发挥着核心作用，通过充当用户和商家之间的关键桥梁，确保交易的顺利和安全。
Gnosis Pay  Gelato Relay  Visa  去中心化支付  gasless交易  Web3 
  • gelato
  • 发布于 2023-07-18
  • 阅读 ( 526 )

SharkTeam：BNO攻击事件原理分析

in  智能合约安全
北京时间2023年7月18日，OceanBNO遭受闪电贷攻击，攻击者已获利约50万美元。SharkTeam对此事件第一时间进行了技术分析，并总结了安全防范手段，希望后续项目可以引以为戒，共筑区块链行业的安全防线。一、事件分析攻击者地址：0xa6566574edc60d7b2adbac
  • SharkTeam
  • 发布于 2023-07-18
  • 阅读 ( 2790 )
  • ( 4 )