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

一文讲清-DeFI王者AAVE最新的稳定币GHO提案

Aave 社群发布征求意见(ARC) 提案，向其DAO组织提议”引入与美元挂钩的原生去中心化、超额抵押的稳定币GHO“，此提案已经在7.31以99%的支持率通过。
稳定币  GHo 
  • 十四君
  • 发布于 2022-08-06
  • 阅读 ( 3273 )
  • ( 10 )

闪电贷技术详解-Part 3

in  智能合约安全

熊市就像一块试金石，Defi的各核心业态，哪些能够穿越周期，更好的发展？在周期中又暴露了哪些问题，值得后来者借鉴？SharkTeam合约安全系列课程之【DeFi安全】和您一起讨论和深入。第三课【闪电贷技术详解】。
闪电贷 
  • SharkTeam
  • 发布于 2022-08-05
  • 阅读 ( 6315 )
  • ( 16 )

闪电贷技术详解-Part 2

in  智能合约安全

熊市就像一块试金石，Defi的各核心业态，哪些能够穿越周期，更好的发展？在周期中又暴露了哪些问题，值得后来者借鉴？SharkTeam合约安全系列课程之【DeFi安全】和您一起讨论和深入。第二课【闪电贷技术详解】。
闪电贷 
  • SharkTeam
  • 发布于 2022-08-05
  • 阅读 ( 5346 )
  • ( 12 )

闪电贷技术详解-Part 1

in  智能合约安全

熊市就像一块试金石，Defi的各核心业态，哪些能够穿越周期，更好的发展？在周期中又暴露了哪些问题，值得后来者借鉴？SharkTeam合约安全系列课程之【DeFi安全】和您一起讨论和深入。第一课【闪电贷技术详解】。
闪电贷 
  • SharkTeam
  • 发布于 2022-08-05
  • 阅读 ( 9583 )
  • ( 49 )

原生资产与非原生资产

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

具有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
  • 阅读 ( 7439 )
  • ( 6 )

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

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

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

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

zkSnark教程：从方程到验证

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

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

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

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

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

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

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

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

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

一道Uni V2的组LP题目分享

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