TON DeFi缺失：原子交换与PixelSwap解决方案
答案：LayerPixel通过PixelSwap在TON上实现了原子交换，解决了异步区块链DeFi组合性的挑战。LayerPixel通过PixelSwap在TON区块链上引入了一种分布式事务框架，解决了异步区块链上DeFi组合性的复杂挑战，实现了原子交换，使得复杂且可组合的DeFi应用成为可能。
撰文：layerpixel
编译：白话区块链
过去几个月，TON 生态系统经历了爆炸式的增长，包括 Notcoin、Dogs、Hamster Kombat 和 Catizen 在币安的上线。据说，这为各大交易平台带来了数百万新的 KYC 用户。无论我们是否愿意承认，这实际上是近年来区块链最大规模的应用。但接下来呢？我们该怎么走？
虽然用户数量庞大，但 TON 的锁仓总价值（TVL）仍然相对较低，而且我们并没有看到许多 DeFi 协议的涌现。这引发了人们对 TON 链上用户价值低及其基础设施尚不完善的担忧和争论。
然而，在这篇文章中，我们想简要讨论 DeFi 背后的一个重要概念——「原子交换」以及 LayerPixel（PixelSwap）正在解决的问题。一方面，DeFi 的最初成功可以追溯到以太坊，它成为了 DeFi 应用和智能合约的基石。另一方面，异步区块链的兴起，如 TON，也为 DeFi 应用带来了新的机遇和挑战，尤其是在可组合性方面。
DeFi 的简要历史
DeFi 生态系统在「DeFi Summer」期间蓬勃发展，主要集中在以太坊上。开发人员利用了以太坊生态系统，智能合约作为基础构建块，可以像乐高积木一样组合在一起。这种组合性为去中心化金融应用和服务的迅速蔓延提供了必要的网络效应。
以太坊的组合性范式使各种 DeFi 协议以创新方式相互交互。原子交换、闪电贷款、再抵押和借代平台等关键金融基元展示了不同应用如何可以相互叠加在一起，创造复杂、多功能的金融产品。
随着 DeFi 的成熟，以太坊同步模型的局限性 — 主要是关于可扩展性和高交易费用 — 变得越来越明显。这激发了对探索新区块链架构的兴趣，比如异步区块链，它承诺解决一些这些固有限制。
异步区块链：一个新的范式
以太坊传统模型是同步的，维护一个单体状态，在这里每个交易都按顺序处理。另一方面，像 TON 这样的异步区块链采用了一种 actor 模型方法。这种转变导致了几个基本结构上的差异：
以太坊 — 同步区块链（单体状态）：
原子操作：直接的原子交易是可能的，因为每个交易（即使修改了多个智能合约的状态）都可以被视为单一单元操作。以太坊虚拟机（EVM）例如，安全地对交易中的所有步骤进行隔离，确保要么全部执行，要么完全不执行。
顺序处理：每个交易必须等待前一个完成，这自然限制了吞吐量和可扩展性。
全局状态：所有交易都在一个共享的全局状态上操作，简化了状态管理，但加剧了争用。
TON — 异步区块链（Actor 模型）：
并行处理：交易可以跨多个 actor 或智能合约并发处理，增强了整体可扩展性和吞吐量。例如，TON 上的智能合约是可以独立运行的单元或 actor，可以使用单向消息在 actor 之间更新状态。
分布状态：不同的 actor 持有隔离的状态，它们可以与其他 actor 交互，但不共享单一全局状态。
协调复杂性：在这种模型中实现原子操作是复杂的，因为它的分布式性质。
尽管异步区块链在可扩展性方面具有相当重要的意义（从理论上讲），但缺乏原子交换使得 TON 在 DeFi 发展上变得相当困难，无论 FunC/Tact 语言使用的难度如何。想想看，没有原子操作和顺序处理，借代协议的流动性就会变得非常困难，无论 DeFi 乐高有多具挑战性。
在 LayerPixel 和 PixelSwap（PixelSwap 正在使用 LayerPixel 的基础设施，并作为 LayerPixel 的一部分），我们提出了一种解决这个问题的新方法，使原子交换成为可能，并努力为交换和 DeFi 提供更安全、更好的解决方案。
异步区块链上 DeFi 组合性的挑战
对于 DeFi 应用程序来说，在异步区块链上保持组合性引入了复杂的挑战，主要是由于分布式状态和并行性的特性：
交易协调：
同步化：协调多个 actor 在特定时间点达成一致状态是复杂的。与简化原子操作的同步全局状态不同，确保多个独立 actor 能够同步操作存在巨大障碍。
一致性模型：异步系统通常依赖于较弱的一致性模型，比如最终一致性。确保所有相关的 actor 在不分歧的情况下达到共同状态变成一项后勤工作。
状态一致性：
并发控制：在分布式环境中，如果多个交易尝试更新重叠状态，则可能出现竞争条件。这需要复杂的机制来确保交易被正确串行化，而不会成为系统的瓶颈。
状态调和：需要调和 actor 之间的不同状态，并且回滚机制（如果交易的某部分失败）必须足够强大，以便在不产生不一致性的情况下优雅地撤销更改。
失败处理：
原子性：在状态分布且操作默认为非原子的环境中，保证交易的所有部分要么成功，要么全部失败是具有挑战性的。
回滚机制：高效地回滚部分交易状态更改，而不留下残留的不一致性，需要高级技术。
Pixelswap: 架起组合性鸿沟
Pixelswap 的创新设计通过引入一个专为 TON 区块链设计的分布式事务框架来解决这些挑战。该架构遵循 BASE 原则（BASE: 一种 ACID 替代方案），包括两个主要组件：事务管理器和多个事务执行器。
Saga 事务管理器
Saga 事务管理器编排复杂的多步事务，通过应用 Saga 模式克服了 2PC 的限制，适用于长时间运行的分布式事务：
生命周期管理：管理整个事务生命周期，将其分解为一系列较小、可独立执行的步骤，每个步骤在失败时都有自己的补偿操作。
任务分配：将主要事务分解为离散的、隔离的任务，并委派给适当的事务执行器。
补偿操作：确保每个 saga 都有相应的补偿事务，可以触发以撤消部分更改，保持一致性。
事务执行器
事务执行器负责在事务生命周期内执行分配的任务：
并行处理：执行器同时操作，最大化吞吐量并平衡系统负载。
功能扩展的模块化设计：每个事务执行器都设计为模块化，允许实现各种功能。这些功能可以包括不同的交换曲线、闪电贷款、借代协议等各种金融操作。这种模块化确保这些功能可以与 Saga 事务管理器无缝协调，保持 DeFi 组合性的核心原则。
最终一致性：确保执行器的本地状态与事务的整体分布状态保持同步和调和。
通过这些特性，Pixelswap 的事务执行器确保了强大、可扩展和异步的事务执行，从而使得可以在 TON 上创建复杂且可组合的 DeFi 应用成为可能。
结论
总之，DeFi 的未来需要适应从同步到异步区块链的转变范式，同时保持和增强像组合性这样的关键原则。Pixelswap 出现在 TON 区块链上，将稳健性、可扩展性和组合性优雅地结合在一起，成为开创性的解决方案。通过确保无缝的交互能力和强大的事务管理，Pixelswap 为更具动态性、可扩展性和创新性的 DeFi 生态系统铺平道路。
IntelliJ IDEA 是 JetBrains 推出的专业集成开发环境，重点服务于 Java、Kotlin 与 JVM 项目开发。软件集成代码补全、静态检查、重构、调试、测试、版本控制及构建工具，并可借助插件扩展语言和框架支持。
JetBrains PyCharm 是面向 Python 开发者的集成开发环境，提供智能补全、代码检查、重构、调试、测试、版本控制及虚拟环境管理功能。Mac 版兼容 Intel 与 Apple 芯片，核心功能可免费使用。
JetBrains WebStorm 是面向 JavaScript、TypeScript 和现代 Web 技术的专业集成开发环境，可智能理解项目结构，提供代码补全、重构、错误检查、运行调试、测试及 Git 工具。
Adobe After Effects 是面向动态图形、影视特效与视频合成的专业创作软件。它提供关键帧动画、遮罩抠像、运动跟踪、三维空间、文字动画和表达式等工具，并可与 Premiere Pro、Photoshop、Illustrator
Adobe Audition 是面向播客、影视后期、音乐制作及内容创作者的专业音频工作站，提供波形精修、多轨录制与混音、频谱编辑、降噪修复、响度匹配和效果处理工具，并可与 Adobe Premiere 协同完成视频声音制作。
Adobe Bridge 是面向摄影师、设计师及内容团队的免费数字资产管理工具，可集中预览照片、视频和 Adobe 项目文件，并利用评级、标签、关键词、元数据、筛选与收藏集完成分类检索。它还支持批量重命名、格式导出、相机导入及 Camera
Adobe Illustrator 是 Adobe 推出的专业矢量图形设计软件，适合在 Mac 上制作标志、图标、插画、包装、信息图及印刷版面。它以路径和锚点构建可无损缩放的图形，并提供钢笔、形状、文字、图像描摹、渐变、画板及生成式功能。
Adobe InDesign 是面向印刷品与数字出版物的专业版面设计软件，可在 Mac 上制作书籍、杂志、宣传册、海报、报告及交互式文档。它提供精细的文字样式、网格、母版、长文档管理和印前输出能力。
Adobe Lightroom Classic 是面向桌面摄影工作流的照片管理与后期处理软件，可将原始照片保存在本地硬盘，通过目录、关键词、评分和收藏夹高效整理图库，并提供 RAW 冲印、蒙版、镜头校正、批量同步及多格式导出等功能。
Adobe Media Encoder 是 Adobe 推出的专业音视频编码与转码工具，可通过队列、预设和监视文件夹批量完成格式转换、代理文件创建及多平台成片输出，并与 Premiere Pro、After Effects 等软件紧密协作。
Adobe Photoshop 是面向摄影师、设计师和内容创作者的专业图像处理软件，提供图层、蒙版、选区、修复、调色、文字排版、智能对象及生成式编辑等能力。Mac 版支持 Intel 与 Apple Silicon 处理器。
Adobe Premiere Pro 是面向专业视频制作的非线性剪辑软件，提供多轨时间线、调色、音频处理、字幕、代理工作流和多格式输出能力，并可与 After Effects、Audition、Photoshop 及 Frame.io 协同
JetBrains IntelliJ IDEA 是以 Java、Kotlin 和 JVM 项目为核心的专业集成开发环境，提供智能补全、代码检查、安全重构、调试、测试、版本控制及构建工具集成。统一发行版的核心功能可免费用于商业和非商业项目，
PhpStorm 是 JetBrains 面向 PHP 与现代 Web 开发打造的专业集成开发环境，提供代码补全、静态检查、重构、调试、测试、数据库、版本控制及前端语言支持。Windows 用户可直接下载安装程序，
PyCharm 是 JetBrains 推出的 Python 集成开发环境，提供智能代码补全、错误检查、重构、调试、测试、Git、终端及 Jupyter Notebook 支持。统一版安装后可体验 30 天 Pro 功能，
WebStorm 是 JetBrains 面向 JavaScript、TypeScript 和现代 Web 技术打造的集成开发环境。它提供项目级代码分析、智能补全、安全重构、导航搜索，并集成调试、测试、终端、Git 与常用前端工具，
Adobe Photoshop 是面向摄影师、设计师和内容创作者的专业图像处理工具，可在 Windows 上完成照片修饰、选区抠图、图层合成、文字排版、绘画及生成式编辑。软件采用订阅授权，由 Creative Cloud 管理安装、更新与许
Adobe InDesign 是面向印刷与数字出版的专业页面排版工具，可制作书籍、杂志、宣传册、海报、交互式 PDF 和电子书。它提供精细的文字样式、多页面管理、印前检查及多格式输出能力，并能与 Photoshop、Illustrator
Adobe Illustrator 是用于绘制矢量图形、插画、图标、徽标和版式的专业设计工具。它以路径和锚点为核心，作品放大后仍能保持清晰，并提供画板、文字、渐变、图像描摹及精确变换等功能，适合品牌视觉、印刷物料、数字界面和商业插画创作。
Adobe Bridge 是 Adobe 推出的创意资产管理工具，可集中预览、分类和查找照片、视频、PDF及多种设计文件，并支持元数据、关键词、评级、批量重命名和格式导出。它可与 Photoshop、Illustrator 等应用衔接，
Adobe Lightroom Classic 是面向 Windows 桌面摄影工作流的照片管理与无损编辑工具，可通过目录集中整理大型图库，并完成 RAW 显影、局部蒙版、批量调整、打印和多格式导出。它强调本地文件管理与精细控制，
Adobe Acrobat Pro 是面向专业 PDF 工作的综合解决方案，可在 Windows 中创建、编辑、转换、比较、整理和保护文档，并支持表单、电子签名、扫描件文字识别及敏感信息永久遮盖。订阅还包含网页、移动服务和云端协作能力，
Adobe After Effects 是面向动态图形、动画与影视视觉特效制作的专业工具，可完成关键帧动画、图层合成、遮罩跟踪、抠像、文字动画和二维三维元素整合。Windows 版通过 Adobe Creative Cloud 安装及更新，
Adobe Media Encoder 是 Adobe 面向视频与音频制作流程提供的专业编码和转码工具，可批量处理媒体文件、创建代理、套用输出预设并监控文件夹自动执行任务。它与 Premiere、After Effects、Audition