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

圣杯 - 形式化验证提升 DeFi 协议的安全性

本文讨论了Certora如何对Euler V2 Vault的关键属性进行形式验证，从而提高DeFi协议的安全性。具体介绍了形式验证如何帮助发现开发者未发现的罕见漏洞，以及如何确保用户账户的健康性和协议的偿付能力。作者提供了详细的实例和实现细节，强调了良好的规范设计在形式验证中的重要性。
形式验证  DeFiSecurity  Euler V2  贷款协议  账户健康  偿付能力 
  • Certora
  • 发布于 2024-08-23
  • 阅读 ( 298 )

从零开始：使用FunC编写TON智能合约之计数器篇

在区块链技术的广泛应用中，智能合约无疑是最具前景的领域之一。智能合约允许我们在去中心化的环境中执行可信的交易和协议。TON（TheOpenNetwork）作为新兴的区块链平台，以其高效、可扩展的特性吸引了众多开发者的关注。本文将带你入门TON智能合约的编写，通过实现一个简单的计数器合约，让你掌
TON  FunC 
  • King
  • 发布于 2024-08-22
  • 阅读 ( 2230 )
  • ( 68 )

Chainlink Oracle的基本使用

in  Learn about DeFi

区块链就像黑匣子一样是完全封闭的，无法与外部世界连通，智能合约本身也无法连接链下数据。对于现实世界中的例如：天气，比赛分数以及航班信息等都无法获取，这也是智能合约最大的痛点，极大程度上限制了智能合约开发者的创造力，那么有什么办法可以解决吗？
  • 0xSecYou
  • 发布于 2024-08-21
  • 阅读 ( 1377 )
  • ( 13 )

Telegram 支付机器人开发小记

Telegram 正迈向区块链&小程序时代，Telegram 内部已经与 TON 钱包做了集成，并为了应对平台监管需要上线了 Telegram Stars 作为支付方式。依托 Telegram 生态的数亿用户，存在着大量机遇，本文基于grammY框架分享支付机器人开发过程中的心得，助你成功。

DeFi 收益耕作：方法与风险

本文介绍了 DeFi 领域中流行的收益耕作（Yield Farming）方法，包括流动性池、借贷、质押和收益聚合器等，并详细探讨了每种方法的原理、优缺点以及相关的风险，如无常损失、智能合约风险、市场风险、监管风险和平台风险。旨在为那些对这种动态且可能有利可图的实践感兴趣的人提供全面的指南。
收益耕作  流动性池  DeFi  无常损失  智能合约  质押 

构建一个多链NFT分析应用

本文详细介绍了如何利用QuickNode的NFT API With Cached Metadata插件构建一个多链NFT分析应用，涵盖从设置开发环境到实际编码的全过程。
NFT  QuickNode  多链  API  区块链  react 

移动平均——去中心化金融数学：用例和脆弱性

本文深入探讨了移动平均线在去中心化金融（DeFi）中的应用及其潜在的风险和漏洞，包括在传统金融中的使用差异、具体用例以及防范措施。移动平均线不仅能平滑价格波动，还影响智能合约的功能，如自动化市场制造商和借贷协议，同时也存在被操纵的风险，作者提出了最佳实践以增强安全性。
移动平均线  去中心化金融  智能合约  价格预言机  风险管理  漏洞 
  • bloqarl
  • 发布于 2024-08-13
  • 阅读 ( 286 )

已签名数据广播页面

对于已签名的数据广播上链，可以借助各个链的区块链浏览器上的页面来进行广播。每个链往往有多个区块链浏览器，需要在各个区块链浏览器里查找，有的有，有的没有。日常要注意收集整理。
签名广播 
  • martin
  • 发布于 2024-08-12
  • 阅读 ( 930 )
  • ( 9 )

Zaps：应用一键解决方案

本文介绍了LI.FI推出的Zaps功能，旨在简化跨链用户体验。Zaps通过在后台处理复杂的桥接和交换流程，使用户能够一键完成跨链操作，如质押、添加流动性、购买NFT等，从而降低了用户与不同链上应用交互的门槛。文章还提供了Zaps的工作原理和应用场景示例，并展望了其在未来统一链上世界的潜力。
跨链  用户体验  桥接  DeFi  LI.FI  Zaps 
  • LI.FI
  • 发布于 2024-08-10
  • 阅读 ( 272 )

应用代币的现金流：一种新模型

本文详细探讨了应用代币的经济模型设计，强调了与基础设施代币相比，应用代币所面临的不同挑战，包括治理、价值分配和合规性。文章提出了通过现金流机制来解决这些挑战的方案，强调透明度和合规的重要性，并介绍了一种潜在的前端映射和费用分配机制，以确保代币持有者的利益。整个讨论涵盖了各种应用类型的特定考虑，提供了结构清晰、逻辑连贯的深度分析。
应用代币  经济模型  治理挑战  价值分配  合规性  现金流 

现代DeFi借贷协议 - Ajna 是如何构建的

in  现代 DeFi 借贷协议

Ajna Protocol是一个去中心化、无需治理或外部价格源的借贷和交易系统，利用桶的设计允许用户以不同的风险比例进行借贷。协议通过称为Fenwick树的数据结构有效地管理多个借贷池，使其能够动态追踪市场价格。Ajna还允许使用ERC721 NFTs作为抵押品，解决了传统借贷机制中价格操控的问题，从而提高了安全性和效率。
Ajna Protocol  去中心化借贷  Fenwick树  ERC721  流动性  马尔可夫链 

关于如何考虑 Token 薪酬

本文探讨了加密公司如何将 Token 纳入薪酬体系，以激励行为、协调利益相关者和吸引人才。内容涵盖 Token 作为薪酬的优势与挑战、如何平衡现金与 Token 薪酬、Token 的归属时间表、锁定期设置以及 Token 授权的结构。文章强调了在设计 Token 薪酬策略时应遵循透明、公平和激励的原则，并建议公司与法律和税务团队合作，以制定最佳方案。
Token  薪酬  激励  归属时间表  锁定期  Token 授权 

TON链NFT交互指南：揭秘合约部署与交易流程，助你轻松上手

历经无数个日夜的辛勤努力，我终于在这个关键时刻，成功地完成了TON链交易流程的部署上线工作。这个过程对我来说，既是一次技术的挑战，也是一次自我成长的磨砺。在此期间，我深刻体会到了区块链技术的魅力与潜力。众所周知，TON链的交易流程相当复杂，涉及到的技术细节繁多。为了让更多还在摸索中的朋友们少走弯路
TON  FunC  NFT 
  • King
  • 发布于 2024-08-08
  • 阅读 ( 1817 )
  • ( 45 )

实现Uniswap V4 兑换与避免关键错误

本文深入分析了Uniswap V4的四种交换类型，包括zeroToOne与oneToZero，以及exactInputForOutput与exactOutputForInput的实现和应用。通过详细的代码示例和潜在问题的讨论，为开发者提供了在DeFi应用中构建高效安全交换的实用指南。
Uniswap  token swap  exactInput  exactOutput  Smart Contract  DeFi 
  • bloqarl
  • 发布于 2024-08-06
  • 阅读 ( 318 )

全面指南：构建与部署以太坊多签钱包（MultiSigWallet）智能合约的最佳实践

in  Web3

全面指南：构建与部署以太坊多签钱包（MultiSigWallet）智能合约的最佳实践MultiSigWallet介绍这是一个基于以太坊智能合约的简单多签钱包实现。多签钱包允许多个签名者共同控制钱包资金，以增加安全性和透明度。功能实现⼀个简单的多签合约钱包，合约包含的功能：创建多签钱包时，
多签钱包  Web3  Contract  Solidity  Foundry  solidity 编程 

质押收益分红模型 stake rewards

质押收益分红复利模型
  • b1wl7cH
  • 发布于 2024-08-03
  • 阅读 ( 2314 )
  • ( 47 )

手把手教你从0到1构建UniswapV2：part2

in  手把手带你实现Uniswap

本篇文章，我们将向我们自己的UniswapV2源码中添加核心的功能——swapping。Uniswap创建的目的就是能够实现去中心化的代币交换，我们一起来看看它是如何完成的。我们会依然专注于核心的配对合约，我们还没开始构建可用的前端交互界面，也并不会进行价格计算。
Uniswap V2 
  • Louis
  • 发布于 2024-08-01
  • 阅读 ( 2432 )
  • ( 23 )

深入解析 Uniswap V2 的手续费计算：公式推导与代码详解

in  Web3

深入解析UniswapV2的手续费计算：公式推导与代码详解UniswapV2的手续费计算
Uniswap  Uniswap V2  DEX  手续费  Web3  源码分析 

Uniswap的Q64.96解读：Hook开发者的基本安全提示

本文深入探讨了Uniswap中Q64.96数字的概念及其在智能合约中的应用，强调了其在流动性管理与安全编码中的重要性。作者详细阐述了Q64.96数字的定义、工作原理、常见陷阱和安全隐患，并提供了最佳实践与测试策略以确保安全性，有助于开发者更好地理解和使用这一高级技术。
Q64.96  Uniswap  流动性池  智能合约  精确计算  安全性 
  • bloqarl
  • 发布于 2024-07-31
  • 阅读 ( 349 )

我们为什么要代币化现实世界资产(RWA)？

本文探讨了现实世界资产（RWA）代币化的兴起及其对金融体系的影响。文章解释了 RWA 的概念，区分了数字商品、数字资产和 RWA，并探讨了 RWA 如何通过消除中间人、改善市场动态和创建“任何资产换任何资产”的市场来改变金融格局。此外，文章还介绍了 RWA 在加密领域的应用，以及传统金融工具和有形资产的代币化项目。
现实世界资产  RWA  代币化  DeFi  区块链  数字资产 
  • LI.FI
  • 发布于 2024-07-30
  • 阅读 ( 392 )