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

原生资产与非原生资产

本文介绍了区块链领域中原生资产和非原生资产的区别，原生资产是由区块链网络或智能合约直接发行的代币，如ETH和AAVE。非原生资产是需要第三方包装或验证的代币，如wBTC。文章还讨论了如何通过规范桥、原子交换和LI.FI等方式实现原生资产的跨链转移，并强调了持有原生资产通常比持有非原生资产更安全且流动性更好。
原生资产  非原生资产  跨链桥  原子交换  封装代币  LI.FI 
  • lifi__
  • 发布于 2022-07-30
  • 阅读 ( 371 )

具有DDH假设的ZKP

网络安全的唯一方向是零信任模式。阻止敏感信息数据泄露的一种方法不是储存这些秘密，而是用随机的预言机代替它们。
零知识证明 

从 Python 调用智能合约

以太坊带来了智能合约的进步，其是可公开验证的代码。如果我们改变合约状态，我们将花费一些gas。现在，让我们创建一个Python程序，它可以在以太坊上调用智能合约。
Python 

[DEX系列] 1. 不同价值资产的交易

本文讨论了去中心化交易所（DEX）的背景及其内部机制，尤其是自动化市场制造商（AMM）的发展及其在不同DEX（如Bancor，Uniswap和Balancer）中的应用。文章详细阐述了AMM模型的数学原理，流动性管理以及不同项目在解决市场流动性问题及用户体验方面的创新和改进。
DEX  AMM  Uniswap  Bancor  Balancer  流动性 

Web3中的质押选择

本文概述了现存的三种主要的质押形式，以及介绍了构建者应如何使用它们以更好地与核心产品 KPI 保持一致。
Web3  质押 

如何改进可租赁的NFT (ERC-4907)

NFT不仅是图像所有权的加密保证。在相同的技术支持下，事情会根据我们如何工作、互动而改变。说到实用NFT，在某些情况下，所有者和用户并不总是相同的的。NFT的所有者可以将它租给用户一段时间。在此期间，用户暂时获得了NFT给予的特权，但不能转让其所有权。
NFT 

教程：Cloud中的加密密钥（使用 Golang 和 CLI）

随着我们越来越多地转向公共云，加密密钥的使用也变得越来越重要。这包括加密数据和数字签名。
加密密钥 

AAVE v3 技术说明

Aave v3的tech paper，主要讲了在此次迭代中四个方面的老缺陷与新提升，包括资本效率，安全，权限管理和用户体验
DeFi  Aave  技术 
  • Alvan
  • 发布于 2022-07-17
  • 阅读 ( 8110 )
  • ( 6 )

一个DeFi纵价攻击事件背后的数学原理分析

攻击步骤描述,深入分析
纵价攻击  DeFi 

区块链开发人员的 7 项必备技能

本文将探讨区块链开发人员必须掌握的7项重要的行业标准技能。
区块链开发  入门  区块链入门 

zkSnark教程：从方程到验证

使用zkSnark（一种非交互的自适应知识论证），我们就可以向一个或多个验证者提供一个简短的证明，证明我们对某些私人数据和函数(f)有特定的知识。
zkSNARK 

Uniswap-V3的流动性挖矿原理介绍

为了能够提升协议的资金利用率，Uniswap-V3在流动性管理这块允许用户在提供流动性的时候指定特定的价格区间，这一特性同时也导致了基于用户头寸衍生的一些业务场景的计算模型无法复用V2时代的计算模型。

Solidity：使用 Ethers.js 的 Solidity 存储变量

存储树中的智能合约数据表示合约的持久状态，可以通过更新全局状态的交易进行更改。在一个Solidity的智能合约中，动态变量被存在持久化的存储中。内存中初始化的任何变量都是临时的，将在执行下一次外部函数调用之前被删除。此外，无法修改的常量变量不使用存储空间，因此，使用更少的gas。
以太坊  Solidity  ethers.js 

2023年Web3开发者最佳DAO

本文介绍了Web3开发者应该了解的DAO，即去中心化自治组织。文章列举了包括Developer DAO、LearnWeb3DAO等在内的多个优秀的DAO，并对它们的成员、使命、特点以及参与方式进行了详细介绍，旨在帮助Web3开发者能够更好地理解和参与DAO，从而在Web3领域取得成功。
DAO  Web3  去中心化自治组织  开发者  治理代币  以太坊 
  • Alchemy
  • 发布于 2022-07-07
  • 阅读 ( 291 )

最近写了个bsc上的闪电贷dex套利，但是监控了一天没有发现套利的机会，欢迎大家一起交流

闪电贷

教程：创建由以太坊支持的 Web3 聊天

在本文中，我们将学习如何将以太坊智能合约连接到React应用程序，并使用户能够与之交互。
Web3  以太坊 

在Compound V3中通过形式化规范检测边缘情况

本文介绍了Compound新协议Comet的一个有趣的正确性规则，以及在早期开发过程中如何利用Certora Prover进行形式化验证，以消除代码中的bug。通过形式化规范和验证，团队成功发现并修复了一个导致用户抵押资产状态错误的bug，从而提高了协议的安全性。
形式化验证  智能合约  安全性  Compund  Comet  Certora Prover 

一道Uni V2的组LP题目分享

一道Uni V2的组LP题目分享
Uniswap V2 

技术：如何设计zkVM电路

在设计zkvm电路时，由于需要确定很多自定义门，所以引入了很多二进制选择器（binary selector）。
zkVM  技术 

CheapSwap 协议的诞生

CheapSwap 协议的诞生
binance 
  • 33357
  • 发布于 2022-06-28
  • 阅读 ( 2215 )
  • ( 4 )