EOS 相关问题
石墨烯（graphene，读作gurafin，没有尾音 i）技术本身是由 cryptonomex 开发的一个库，目前已经有国内的开发者开始使用它来开发公有链相关的基础设施。BM-丹尼尔•拉里默（Dan Larimer）是 cryptonomex 的创始人。
EOS 声称自己具有以下几个优点：
- 不易分叉
- 高 TPS
- 可以平滑升级
EOS 的365天众筹模式可以让 EOS 团队负成本的操盘。EOS 总量是无限的，（据说）增发的部分只是给矿工创造价值。
All articles on this blog are licensed under CC BY-NC-SA 4.0 unless otherwise stated.
Related Articles
2026-10-05
区块链（00）：从中心化订单基线开始
一笔订单的“已完成”究竟由谁宣布？先不建链。把合成订单 synthetic-001（面额 70）保存在单台数据库，支付、交付凭证和结算分开记。假设卖家已提交交付凭证；服务收到结算请求，把订单从 DELIVERED 变成 SETTLED，同时给卖家记 70。若数据库提交成功而响应在网络中丢失，客户端会重试。结算次数与收到响应的次数并不相同。 这一篇的先修是字节、哈希表、SQL 事务和 HTTP 重试。不熟悉字节编码可先做下面的自测，不必先掌握密码学。旧文思考区块链和学习区块链的基础资料保留为历史问题入口；这里的目标是把“需要链吗”变成可以检验的工程问题，而不是替旧文重写结论。 模型：谁说了算 单台 SQLite 是唯一排序者和记账权威。服务、数据库与客户端在同一管理域；客户端可超时和重复请求，不允许服务信任客户端宣称“上次一定失败”。安全目标是一个订单只结算一次，活性目标是在数据库可用且请求持续重试时返回持久化后的结果。数据库损坏、管理员篡改、跨机构不共享权威、现实交付真伪不属于这段测试的保证。 sequenceDiagram participant C as 客户端 pa...
2026-10-05
区块链（29）：预言机能提交数据，不能把现实交付变成定理
卖家给托管合约一个签名过的交付凭证，链上能验证凭证格式、签名和有效期，仍不能从这些字节推导包裹真的抵达。区块链（28）：索引器怎样在断线与重组后重算订单解决观察可靠性，本篇要说明“观察的到底是不是外部事实”。预言机将外部数据带入合约；其数据采集、发布权限、时间窗口与争议处理构成另一层信任。 flowchart LR F[链外交付或报价来源] --> C[采集与多源核对] C --> O[预言机报告: 值/时间/签名] O --> V[合约: 身份、序号、时效和范围] V --> D[托管释放或拒绝/暂停] A[作假、延迟或数据源故障] --> C “多签名报告”不是“多个独立事实来源”：若签名节点都读同一错误 API，汇聚仍不正确。超时策略要区分“没有新数据，冻结领取”与“使用最后一次旧数据”；用旧价结算时必须定义最大可接受陈旧时长、极端波动或冲突报告如何处理。对于订单交付，链外争议机制可比自动放款更诚实；不要把真实世界结果简单命名 verifiedDelivery 就当作已核验。 将“交付”拆成可判的几条谓词 一份报告可以包含订...
2026-10-05
区块链（10）：交易池与 P2P 为什么不能当共识账本
一笔合法但费用不足以符合某节点转发策略的交易，可以不出现在它的交易池里；另一节点可能有不同策略或不同视角。区块有效性与交易池接纳不是同一个谓词。区块链（09）：为何最长链未必有最多累计工作选候选链时必须先检查区块有效，不能把“曾出现在某个节点的池里”当作验证证据。 P2P 节点发现、连接、传输清单或请求原始字节以后，本地检查区分语法/共识约束、已经花费的输入、节点政策和依赖未确认祖先的交易。网络可以延迟、隔离、重复或丢弃消息，诚实节点之间的交易池也不要求逐秒一致。广播 RPC 返还交易标识只能说明受请求节点的当时处理结果；其他节点能否接收、矿工是否选入候选块、候选块能否成为规范链，都需要额外检查。 sequenceDiagram participant W as 钱包 participant N1 as 节点 A participant N2 as 节点 B participant M as 候选区块生产者 W->>N1: 原始交易 N1->>N1: 共识前置与本地池策略 N1-->>W: 接收标识或拒绝 N1-...
2018-03-08
UTXO 与 account balance 模型
UTXO 简介 UTXO 的全称的 unspent transaction output，就是没有被人用过的可用资金。 这个模型是比特币首创的，被其他货币所模仿。以太坊天然的模型不是 UTXO 而是 account balance。 UTXO 必须配平，UTXO 的输入者必须上一个 UTXO 的输出者： 这就把一个一个账户型数据库，转成了链式的交易数据库，交易要靠 merge 整个数据库的相关节点。 UTXO 的好处是： 更加好的隐私模型 更加强的并发范型（因为不会触发间隙锁了吗？） ZCash 的 UTXO ZCash 也一样有 UTXO，但它的 UTXO 是加密过的，而且每个矿工那里还有一个专门的 UTXO 作废数据库。具体情况见《不是程序员也能看懂的ZCash零知识证明》。 ##以太坊中的 account 模型## 以太坊没有使用 UTXO 模型，而使用 account balance 模型，他们把 account balance 模型称为 world state。account balance 模型比 UTXO 模型更加容易实现智能合约，...
2026-10-05
区块链（E08）：有限模型、fuzz 与形式化证明的边界
区块链（24）：fuzz 和 invariant 要围住哪笔资产给托管提出了“债权不超过资产”。把它写进有限模型时，需要列出订单状态、买卖角色、金额区间和动作集合。可达状态检查能穷举给定上界内的动作序列，找到重复领取等短反例；无法据此证明任意大金额、任意多订单、真实 EVM gas 或链外配送都正确。随机 fuzz 扩大输入探索但不承诺覆盖所有状态；形式化证明也仅证明规格陈述与工具假设之下的性质。 flowchart LR SPEC[明确规格: 单次结算/资产义务] --> MODEL[状态与有限上界] MODEL --> SEARCH[枚举/模型检查] SEARCH -->|违反| TRACE[最短反例: 状态/动作] SEARCH -->|无反例| BOUND[仅对此边界安全] SPEC --> IMPL[Solidity/客户端实现] IMPL --> GAP[还需实现符合规格的对应关系] 例如在只有 1 笔订单、2 个角色、金额取 {1,2} 的模型里，若状态是 FUNDED→CLAIMABL...
2018-02-20
闪电网络、侧链、隔离见证与大区块扩容问题
闪电网络 闪电网络的原理 闪电网络就是在链外专门设置一个通道（channel），所有的交易都在链上进行，只有最终结算在链上进行。这就好像我们的计算机体系结构里面加入的一个工作内存和主内存的 hiarachy。 过程描述如下： 假设我和你，咱俩人经常交易，于是就在闪电网络上开个通道，容量是2BTC； 通道里面AB在总量不超过2BTC的情况下随便相互收发，所有操作送到一个具有AB多重签名的地址，每次操作签名就好； 通道里面的操作没有手续费，因为真实的BTC在链上其实没动过，通道里面的操作本质上是只是对俩人那两个BTC份额所有权的交易； 等啥时候AB不想交易了，把隧道关闭，去真实的比特币主链上兑换一下自己在那两个BTC里的份额就好； 高手续费只发生在打开，或是关闭一个通道的时候。 为什么闪电网络会不安全 这种侧链的出现，必然会导致庞大的中间人出现： 网络上会演化出一些大的中间人节点，这些节点有足够多的BTC，足够的流动性，和足够多的通道数量，所以你再也不用担心高额的手续费，自己去找中间人等等一系列麻烦。 然而这些节点，和矿工不一样，他们并不和你直接交易BTC，他们更像是一种“第...
