找到约 15 条结果

文章 Solana SPL与以太坊ERC-20 - 深入探讨状态、可扩展性和架构

... 同质化代币构成现代区块链生态系统的基础——为去心化金融 (DeFi)、稳定币、NFT、游戏等提供支持。然而,一个链如何处理状态与代码的分离可以对状态增长、数据管理和可扩展性产生深远的影响。两个主要的代币标准...

文章 Web3 中的自动化安全:静态分析 vs. 动态分析 – ImmuneBytes

...正确性属性,确保合约执行与预期一致。 - 够进行安全证明,例如验证函数始终返回正确的值。 - 可用于建模和分析执行路径以检测意外行为。 示例: - 操作语义定义以太坊智合约如何在执行期间更新状态变量。 - 安全...

文章 闪电支付是比特币经济体的通用语言

...也不需要等待下一个区块被挖出。就算要花点时间,也[不过就几秒钟](https://x.com/Breez_Tech/status/1632387594486009859)。而且交易 —— 资金的流动 —— 正是让闪电网络有价值的东西。[天经地义](https://medium.com/breez-technology/lightning-is-a-l...

文章 GammaSwap 协议

> 一个无预言机的去心化波动率交易和免佣金代币交易平台 ![](https://img.learnblockchain.cn/2025/03/12/1GbWKuaSWrB6WhVpTQ-CAVg.jpeg) ## 引言 在上一篇[文章](https://medium.com/gammaswap-labs/uniswap-an-options-market-9093df37a648)中,我写到自动化做...

文章 区块链及其在贵金属验证中的作用

...域。通过利用区块链的固有属性,如不变性、透明性和去心化,贵金属市场正在经历一场变革,从而加强安全性、实现**加粗**部分所有权并简化投资流程。 ## 提高透明度和可追溯性 区块链技术在贵金属行业中最显著的优势...

文章 使用限制条款实现盲化合并挖矿

...特币,这些矿工会反过来为获得这些报酬而执行工作量证明挖矿。这就提高比特币区块链的总 PoW,也为比特币网络增加安全性。这是一种容易实现、容易挖矿的共识机制,只需要两条链(比特币和挖矿外包的链)的全节...

文章 案例研究:Lomads DApp 安全性审查 – ImmuneBytes

## **1. 介绍** Lomads 是一个去心化平台,方便创建和管理 DAO(去心化自治组织)。它独特的优势在于通过多重签名保险库、用于贡献跟踪的 SWEAT 积分和直观的用户界面等功来促进社区协作。然而,去心化应用程序固有的...

文章 告诉你DeFi是什么(二)——DeFi的发展之路

... 1,赚钱。 2,简单地赚钱。 而前面的这些相对于心化金融,哪一点都做不到。以上的所有功,无论是DAI,wBTC,还是DEX,实际上都是心化金融的劣化版。那么,对于安全或者去心化没有执念的普通用户自然是不会...

文章 账户抽象化(EIP-2938):为什么 & 如何做

...用 ENS(译者注:Ethereum Name Servic,ENS 是一个可读的、去心化且安全的域名系统)取代地址,支持元交易)。 Gnosis Safe 是一款多签智合约钱包,专注于团队资金管理,任何一笔交易都要得到团队中最低人数(n 个成员中的...

文章 闪电网络常见疑问与解答

...eg) 1\. **问:什么是闪电网络?** 答:闪电网络是一个去心化网络,旨在实现比特币所有权的实时链下转移,并且无需用户信任第三方。该系统目前还在开发中。(译者注:原文撰写于 2016 年;当前闪电网络已经有多个可用...

文章 初识R3-Corda,解析区块链结构

... 公证池是一组节点 - 通常是一组操作拜占庭容错一致性算法(byzantine fault-tolerant consensus algorithm)的相互不信任的节点 - 如果它不代表双重花费尝试,则只签署一个交易。 每笔交易都要求公证人签字才有效。 公证池中的节点...

视频 解释以太坊 POS 共识

...当行为的验证者。Gasper的设计旨在提高网络的安全性和去心化,同时确保共识过程的高效性。 **关键论据和信息:** 1. **权益证明的机制**:验证者需要将32个ETH发送到智合约,并通过其数字签名证明其权益。锁定权益的...

文章 Solidity语言 - 什么是Solidity?

...合约语言,Solidity 是一种强大的编程语言,用于创建去心化应用(dApps),服务于区块链行业中最大的开发者生态系统。 在本文中,我们将通过 Solidity 的历史、语言影响及其使用情况来介绍 Solidity。在最后,我们将提供...

文章 第一部分:布隆过滤器

...转发足够的区块信息(在默克尔区块中)供轻客户端重新计算块头中的默克尔根(Merkle root)。如果默克尔根匹配,轻客户端将检查交易是否包含在内。 这是轻客户端可以确定交易包含在此区块中的唯一方法。 缺乏对完整区块链...

文章 在 Uniswap v4 中证明偿付力:AMM 安全性的形式化验证

### 引言 Uniswap 这样的自动化做市商 (AMM) 是去心化金融 (DeFi) 的基础,实现无需信任的交易和流动性提供。流动性提供者 (LP) 的一个关键期望是他们始终可以提取资金,即使在银行挤兑这样的最坏情况下也是如此。但是...