找到约 6 条结果

文章 ZK约束系统的形式化验证

...做了很多其他的 FV 工作，包括在 Yul、Solidity、以太坊和比特币上。Kestrel Institute 拥有用于从使用 APT 工具包的正式规范中正确构建代码合成的工具，以及使用 Axe 工具包的事后验证，以将二进制文件、字节码和 R1CS 提升到逻辑中...

文章 dYdX (DYDX)：dYdX 加密货币 Cosmos 去中心化交易所

...x-launches-btc-perpetual-contract-market-68f59b193f7e)，该项目推出了比特币 (BTC) 的永续合约市场，以太 (ETH) 和 Chainlink (LINK) 紧随其后。 首次涉足永续合约的决定是受到 Bitmex 交易量呈指数级增长的推动，Bitmex 最近在交易量上超过了 Bitfinex...

文章 NFT 全景解析｜历史、当下和未来

...排列组成一个系列的套卡，Hal Finney （第一个收到中本聪比特币的资深密码学专家，比特币先驱）将其定义为加密卡。 **2012 年：Colored Coin （彩色币）** 2012 年第一个类似 NFT 的通证 Colored Coin （彩色币）诞生。彩色币由小面...

文章 详解以太坊2.0信标链

...关键细节。 阅读本文之前，我们假设读者对以太坊和比特币有不错的基础知识，并对权益证明 (Proof of Stake) 这一共识机制有一定了解。 现在进入正题，让我们一起深入探讨信标链的各个部分，诸如分片（shards）、质押验证...

文章 韩国稳定币立法框架

...正式支持稳定币而非中央银行数字货币（CBDC），并宣布比特币等加密资产将被视为战略储备）标志着一个重要的转折点。预计这些发展将加速稳定币在全球数字资产生态系统中的采用和使用。 鉴于这些国际趋势，迫切需要就...

文章 Sui 共识协议设计逻辑之 Narwhal 交易池

...交易顺序的共识已经包含在了区块的共识过程当中，比如比特币就是挖到矿的矿工才有权打包交易并决定顺序，收到该区块的节点直接同步交易并无条件的认可该顺序。再比如 HotStuff 中，Leader 根据自己的规则决定提案中交易的...