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

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

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

开发者如何使用 Ceramic 开发 DApp

开发者如何使用 Ceramic 开发 DApp
Ceramic  DApp 

Web3系列教程之新手篇---Level 4：加密钱包

绝对初学者友好的课程，用于开始使用web3、设置开发环境和构建最初的DAPP。
Web3  区块链  加密钱包  以太坊 
  • 李留白
  • 发布于 2022-06-30
  • 阅读 ( 7249 )
  • ( 3 )

一道Uni V2的组LP题目分享

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

发布NFT到电子钱包

这是本系列的最后一篇文章，会实现我们最终目标，发布NFT到电子钱包中。
NFT  钱包 
  • zhengyq
  • 发布于 2022-06-29
  • 阅读 ( 3599 )
  • ( 23 )

Web3系列教程之新手篇---Level 3：什么是ETH？

绝对初学者友好的课程，用于开始使用web3、设置开发环境和构建最初的DAPP。
Web3  区块链  以太坊 
  • 李留白
  • 发布于 2022-06-29
  • 阅读 ( 3533 )
  • ( 2 )

创建一个像Opensea一样的NFT市场

如何创建一个像Opensea一样的NFT市场：包含 NFT 及NFT 买卖市场合约的编写、以及相应的前端页面。
NFT  react  ethers.js 

技术：如何设计zkVM电路

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

NFT流动性协议的安全困局—NFT借贷协议XCarnival被黑事件分析

in  智能合约安全
6月24日，NFT抵押借贷协议XCarnival遭受到黑客攻击，黑客获利3087 ETH，大约380万美元。
NFT 
  • SharkTeam
  • 发布于 2022-06-28
  • 阅读 ( 3008 )
  • ( 2 )

CheapSwap 协议的诞生

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

Web3系列教程之新手篇---Level 2：什么是Web3?

绝对初学者友好的课程，用于开始使用web3、设置开发环境和构建最初的DAPP。
Web3  区块链  以太坊 
  • 李留白
  • 发布于 2022-06-28
  • 阅读 ( 4562 )
  • ( 6 )

Meebits mint随机算法

在mint时随机指定tokenId，可以实现一定程度的随机分配图片，Meebits只用了一个数组且是O(1)的时间复杂度就实现了随机分配tokenId。
meebits 
  • frank
  • 发布于 2022-06-27
  • 阅读 ( 2354 )
  • ( 9 )

TWAP预言机 vs. Chainlink喂价：比较分析

本文深入比较了TWAP预言机和Chainlink喂价，指出TWAP在价格精度、安全优化、市场覆盖、安全扩展和信息源多样性方面存在局限性，不适用于大多数DeFi场景。Chainlink通过VWAP提供准确实时的市场数据，具有更强的抗篡改性和更广泛的市场覆盖，并提供灵活的安全扩展方式，是更优越的预言机解决方案。
TWAP  Chainlink  预言机  DeFi  价格喂价  VWAP 

使用 Sorbet Finance 在 Uniswap V3 (Polygon) 上设置 Range Orders

本文介绍了如何使用 Sorbet Finance 在 Polygon 上的 Uniswap V3 上设置 Range Orders。Range Orders 允许用户以单边资产的形式提供流动性，并在达到用户指定的价格范围时，将一种资产兑换成另一种资产。通过 Gelato 机器人监控价格并自动执行订单，用户可以在等待订单成交的同时赚取费用。
Range Orders  Uniswap V3  Polygon  Sorbet Finance  Gelato  自动化交易 

Aave-V2 gas优化策略学习

在翻阅Aave-V2的白皮书的时候，有一章节在讲gas优化的，其中的一些思路值得效仿学习一下
Aave 

聚焦：ZK-SNARK 技术

这篇文章将关注ZK-SNARK如何适应现有的应用程序，有哪些例子说明它们能做什么，不能做什么，以及有哪些通用的指导方针来判断ZK-SNARK是否适合某些特定的应用程序。
zkSNARK  技术 

解密 Solidity：添加 PAYABLE 关键字真的可以节省 GAS 吗？

在函数中添加不必要的Payable关键字只是为了节省gas可能是一个糟糕的决定。
Solidity  payable 

将IBC引入NEAR：我们的NEAR <> Polkadot桥梁

本文探讨了实现NEAR协议与Polkadot生态系统之间的无信任桥接的挑战与解决方案，强调了跨链互操作性在DeFi增长中的重要性。文章详细介绍了当前的技术难题，如签名验证和缺失有效证明，并提出了多项改进建议，以实现架构的优化和用户体验的提升。
cross-chain  Trustless Bridging  NEAR Protocol  Polkadot  IBC  Composable Finance 

没有合适的DAO，不如自己造

4大关键环节 Let's DAO！
DAO  工具 

避免治理地狱 - 寻找治理天堂

本文探讨了DeFi治理的现状，分析了DeFi治理的优缺点以及近期治理系统的失败案例，并探讨了DeFi治理的未来发展方向，包括新的治理模式（如二次投票和Futarchy）以及在协议中逐步实施治理最小化的例子（如MakerDAO、Reflexer和Babylon Finance），最终提出了一个无需治理的DeFi终局设想，并强调模块化和隔离是加速治理最小化的重要因素。
DeFi治理  DAO  二次投票  Futarchy  治理最小化  链上治理  Makerdao 
  • quantum
  • 发布于 2022-06-15
  • 阅读 ( 335 )