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

新手指南：什么是加密收益耕作？我可以在Cardano上的哪里进行？

本文介绍了DeFi中的收益耕作（Yield Farming）概念，解释了加密收益的含义，以及年化百分比率（APR）的计算方式。
DeFi  收益耕作  APR  流动性池  WingRiders  收益提升 

Uniswap v4: DeFi 五月花号再次启程

无疑，当下的加密市场处于深熊阶段，流动性萎缩叠加 SEC 监管升级都如同乌云笼罩在整个市场上空。与此同时，Uniswap 的交易量已经连续四个月超过 Coinbase，在监管压力之下，优秀的 DeFi 产品愈发证明其价值。时至今日，我们依然可以毫不吝啬地说，Uniswap 是以太坊上最伟大的用例之一
uniswap v4 
  • Midaswap
  • 发布于 2023-06-17
  • 阅读 ( 3795 )
  • ( 10 )

Web3 极客日报 #1237

Web3 极客日报 #1237
  • rebase
  • 发布于 2023-06-17
  • 阅读 ( 1824 )
  • ( 3 )

web3学习资源整理（自用）

探索区块链技术的无限可能性，在这篇博客中，我整理了我在学习区块链技术过程中接触到的一些非常有价值的资源。这些资源按照我接触到的时间顺序排列，涵盖了各种主题，包括智能合约、DeFi、安全等，来自于全球各地的专家和爱好者们的贡献。无论你是区块链初学者，还是已经有一定经验的开发者，你都可以在这里找到有价值
Web3  学习资源  入门 
  • yekong
  • 发布于 2023-06-17
  • 阅读 ( 7635 )
  • ( 11 )

Create2 创建合约、预测合约地址，看这一篇就够了

本文使用create2创建合约、预测合约地址
CREATE2  Solidity 

STARKs 系列第二部分 - 预处理的 AIR 的算术化

本文是“STARKs中的算术化”系列的第二部分，详细探讨了预处理AIR（PAIR）的概念，该方法通过将多个不相交的约束合并为一个更大的约束来提高计算完整性。文章介绍了执行跟踪的定义，结合示例说明了如何使用选择器列进行约束的组合，并分析了该方法对后续低阶邻近测试的影响及其复杂性。适合有一定基础的读者，持续深入该领域的理解。
STARKs  算术化  预处理AIR  计算完整性  低阶邻近测试  约束 

L2 Sequencer 与过时预言机价格漏洞

本文介绍了在Layer-2网络中使用Chainlink预言机价格时，可能由于Sequencer宕机导致的价格过时漏洞。文章详细解释了Optimistic Rollup，Sequencer和Delayed Inbox的概念，以及漏洞产生的原理。最后，文章提供了一个简单的解决方案：在获取预言机数据之前，实施Sequencer Uptime检查。
Layer-2  Chainlink预言机  sequencer  Optimistic Rollup  Delayed Inbox  预言机价格 

Silo Finance逻辑错误漏洞修复评审

该文章详细介绍了Silo Finance中的一个严重逻辑错误漏洞，该漏洞可能导致黑客盗取价值300万美元的资产。作者分析了该漏洞的原理、攻击步骤及影响，并介绍了Silo Finance团队如何迅速修复该问题，确保用户资金安全。文章中包含了相关代码块、漏洞分析及修复措施，内容丰富且具有较高的技术深度。
漏洞分析  Silo Finance  逻辑错误  以太坊  黑客攻击  修复措施 

Proto-danksharding 是什么以及它是如何工作的

以太坊的下一次升级主要是引入了EIP4844（Proto-danksharding）， 这篇文章介绍了Proto-danksharding 是如何降低大幅 Rollup 的成本， 以及他有哪些局限性。
EIP4844  以太坊  DA 

从零开始学习 Layer2 - zero-Merkle 树构建

本教程详细介绍了如何从零开始构建一个高效的零知识Merkle树（ZMT）实现，并讨论了如何构建仅需要O(log(n))存储的仅追加Merkle树。文章还探讨了如何生成和验证批量更新的Spiderman证明，并提供了TypeScript的实现代码。
Merkle树  ZMT  仅追加Merkle树  Spiderman证明  Typescript  零知识证明 

比特币NFTs: Ordinals NFT 图片怎么从rawTransaction原始交易中解析

怎么从Ordinals NFT 铭文的原始交易数据解析出NFT图片？
Oridinals  NFT 
  • 石Tou
  • 发布于 2023-06-17
  • 阅读 ( 3711 )
  • ( 24 )

Cobo 密码知识讲堂｜第二讲：ECDSA 算法及其门限化设计介绍

in  Cobo 密码知识讲堂
本文是 Cobo 密码知识讲堂的第二讲，主要介绍了 ECDSA 签名算法及其门限化设计。文章详细阐述了 ECDSA 算法的产生背景、算法流程，以及 ECDSA 门限签名方案的研究现状、算法组成和关键设计，并从门限最优、低算法复杂度、可审计性和高安全性等方面给出了 ECDSA 门限签名算法的评价维度。
ECDSA  门限签名  数字签名  椭圆曲线  密码学  安全多方计算 
  • Cobo
  • 发布于 2023-06-16
  • 阅读 ( 841 )

Web3 极客日报 #1236

Web3 极客日报 #1236
  • rebase
  • 发布于 2023-06-16
  • 阅读 ( 1818 )
  • ( 2 )

介绍 [V] 规范语言

这篇文章介绍了 V 规范语言，主要用于形式验证以证明程序逻辑的正确性。文章详细阐述了 V 语言的核心构建块—— V 语句，以及如何使用它们来指定智能合约的属性、合约不变性、方法合约和行为规范，强调了这些规范在开发安全智能合约中的重要性。
规范语言  形式验证  智能合约  合约不变性  方法合约  行为规范 

Medjai：保护 Cairo 代码免受漏洞影响

本文详细介绍了Medjai，一种用于寻找Cairo程序中的错误的符号执行工具。文章从Cairo语言的背景出发，深入探讨了零知识证明、Cairo工作流程、符号执行技术及其在实际开发中的应用，特别是如何帮助开发者发现Bug并验证修复。文章结构清晰，内容丰富，适合对区块链智能合约开发和安全感兴趣的读者。
Cairo  Medjai  符号执行  零知识证明  区块链  智能合约 

以太坊的 101 关键知识点

以太坊的 101 关键知识点
以太坊 
  • 小小张
  • 发布于 2023-06-16
  • 阅读 ( 6043 )
  • ( 324 )

全盘解析零知识证明扩容方案的先行者 zkSync Era

本文将介绍第一个上线主网使用 zk-rollup 技术的二层网路 zkSync 从公链本身介绍到生态项目的发展，从基本面、数据面再到生态系做全盘的解析。
zkSync  零知识证明  扩容 

Polygon：首个出圈的以太坊扩容方案

Polygon是一个去中心化的以太坊扩展平台，使开发人员能够以低交易费用构建可扩展的用户友好 Dapp，而无需牺牲安全性。Polygon计划成为以太坊上首个 Layer2 解决方案聚合器，为以太坊建设一个模块化、通用、灵活的扩容框架。
以太坊  侧链  扩展解决方案 
  • GenesiSee
  • 发布于 2023-06-16
  • 阅读 ( 6278 )
  • ( 2 )

模块化框架与单体框架的差异以及与 Rollup 相关的问题

本文深入探讨了模块化区块链和单体区块链的差异、优缺点，并讨论了模块化区块链中的一些争议点。文章解释了单体区块链的独立性、兼容性和简单性优势，以及其在扩展性、治理和安全性方面的局限性。同时，文章分析了模块化区块链的可扩展性、灵活性和治理优势，以及其复杂性、依赖性和不兼容性劣势。最后总结了对模块化区块链的未来发展方向的展望。
模块化区块链  单体区块链  Rollup  Celestia  以太坊  数据可用性 

BIP 158 致密区块过滤器详解

本文详细介绍了比特币轻客户端中使用的致密区块过滤器（BIP158）的工作原理。文章对比了致密区块过滤器与布隆过滤器的优缺点，阐述了致密区块过滤器在隐私性、客户端-服务端负载均衡以及减少信任方面的优势。并通过一个在比特币测试网上构造过滤器的例子，深入解释了过滤器的构造过程，包括脚本公钥的收集、数字转换、差值计算以及Golomb-Rice编码的应用。
致密区块过滤器  布隆过滤器  比特币轻客户端  Golomb-Rice编码  脚本公钥  BIP158