引子AMM（Automated Market Maker）自动做市商，作为一种去中心化金融协议，通过智能合约和算法来执行交易和确定价格。目前常见的算法是来自 Uniswap 的“常量曲线”（CSMM & CPMM）。除此之外，还有 Curve Finance 提出的“稳定交易曲线”（StableSwap curve），它混合了常和 (CS) 和常积 (CP) 方程，以适应不同价格波...
Neo是一种社区驱动的开放源平台。其目的是“利用区块链技术的固有优势实现最优的未来数字世界”。于2016年推出的Neo（之前称之为“Antshares”）依靠一种独特的双代币模型——NEO代币和GAS代币。虽然NEO属于专用网络加密货币，但是可将GAS代币用于执行Neo区块链上的交易，并通过将NEO存在钱包中对其进行分配。Neo技术由dBFT...
Moonbeam是基于Polkadot Substrate框架开发的兼容以太坊智能合约平行链。Moonbeam面对多样化的公链架构，从链结构安全性的角度选择在波卡生态中构建以太坊开发环境，以降低主流开发者进入波卡生态的技术门槛。通过Substrate框架，Moonbeam将以太坊虚拟机（EVM）纳入其中。此外，还增加了各类Web3 RPC支持工具，打造出无缝的...
在区块链开发领域，智能合约的安全性和可靠性至关重要。鉴于区块链的不可变性，智能合约中的任何错误都可能导致不可逆转的后果，包括重大的财务损失。这凸显了彻底测试的关键重要性。Foundry 是一种 Solidity 测试框架，在这一领域中成为一个强大的工具，为开发人员提供了严格测试他们的智能合约的手段。本技术博文深入探讨...
本文由社区成员发布。作者为David Tarditi，一家Web3智能合约审计公司CertiK的工程副总裁。对智能合约进行形式化验证可避免它们出现错误、漏洞和其他不利的情况。在这个过程中，人类专家会将智能合约的逻辑转换为数学语句，然后通过自动化流程对照合约预期行为的模型检查实际逻辑。将形式化验证和人工审计相结合，我们就可以...
智能合约是Nick Szabo在1994年发明的。当时他写道:“在研究了从密码学到电子数据交换(EDI)再到商业实践等领域后，我最近集中在一个想法上，那就是智能合约的概念。我将智能合约定义为执行合约条款的计算机化交易协议。智能合约设计的总体目标是满足常见的合同条件(如支付条款、留置权、机密性，甚至执行)，最大限度地减少恶...
Shiden Network 是一个基于Kusama Network的多链去中心化应用层，是 一个为支持第2层解决方案而构建的智能合约平台。第2层解决方案是指构建在现有区块链上的二级框架，可提高网络的可扩展性和交易速度。Shiden 得以创建后作为 Kusama 上的平行链运行。平行链是自定义的、用户生成的区块链，与 Kusama 的中继链（主区块链及其...
ThunderCore 是一个兼容 EVM 的智能合约平台，可运行去中心化应用程序（dApp）和去中心化金融（DeFi）。该平台费用低廉，并且可与任何在以太坊上编写的应用程序互操作。ThunderCore 的每月活跃用户达400,000 多名，超过大多数区块链生态系统。由于它完全兼容 EVM，因此能实现闪电般的交易处理速度并提供低廉的 Gas 费用，同...
