<?xml version="1.0" encoding="utf-8" standalone="yes"?><rss version="2.0" xmlns:atom="http://www.w3.org/2005/Atom"><channel><title>PoS on Time Friend</title><link>https://time-friend.com/zh/tags/pos/</link><description>Recent content in PoS on Time Friend</description><generator>Hugo</generator><language>zh-CN</language><lastBuildDate>Tue, 20 Jan 2026 10:00:00 +0000</lastBuildDate><atom:link href="https://time-friend.com/zh/tags/pos/index.xml" rel="self" type="application/rss+xml"/><item><title>Cardano 为什么这么慢? 因为它的安全是论文证明出来的</title><link>https://time-friend.com/zh/archive/cardano-ouroboros-provable-security/</link><pubDate>Tue, 20 Jan 2026 10:00:00 +0000</pubDate><guid>https://time-friend.com/zh/archive/cardano-ouroboros-provable-security/</guid><description>&lt;p&gt;我第一次接触 Cardano 的第一印象是: 慢。别的链天天喊扩容、喊生态, 它十年了还在讲&amp;quot;我们的共识论文又过了一轮同行评审&amp;quot;。我也跟着给它贴过&amp;quot;学术链&amp;quot;的标签, 判断是: 这么慢, 不行。&lt;/p&gt;
&lt;p&gt;但真正深入研究之后, 我反而觉得&amp;quot;慢&amp;quot;这个标签, 恰恰是它最值钱的地方。这篇先从底层讲清楚: Cardano 到底怎么记账, 为什么敢把&amp;quot;安全&amp;quot;写进论文, 跟以太坊比, 差在哪。&lt;/p&gt;
&lt;h2 id="账本是-utxo-不是账户"&gt;账本是 UTXO, 不是账户&lt;/h2&gt;
&lt;p&gt;Cardano 的账本模型和比特币一脉相承, 叫 UTXO(Unspent Transaction Output)。链上不存&amp;quot;某某账户余额多少&amp;quot;, 只记录&amp;quot;哪些未花费的输出被谁花掉了&amp;quot;。&lt;/p&gt;
&lt;p&gt;这个细节在讲智能合约时是决定性的, 先记下。以太坊用的是账户模型——每个人一个余额变量, 交易改的是这些变量; 而 Cardano 记账靠&amp;quot;花掉旧的输出, 造出新的输出&amp;quot;, 状态不靠修改, 靠销毁和创建。&lt;/p&gt;
&lt;h2 id="共识分叉-pow-vs-pos"&gt;共识分叉: PoW vs PoS&lt;/h2&gt;
&lt;p&gt;Cardano 跟以太坊的第一个大分叉在共识。以太坊 2022 年转 PoS 之前用工作量证明(PoW), 拼算力, 谁先解出难题谁出块。Cardano 从主网开始就是权益证明(PoS), 谁质押的 ADA 多, 谁更有机会被选为 &lt;strong&gt;block producer&lt;/strong&gt;（出块者）。&lt;/p&gt;
&lt;p&gt;这背后是 Ouroboros, 历史上第一个带严格安全证明的 PoS 协议(2017 年发表在密码学顶会 CRYPTO)。&amp;ldquo;第一个有证明&amp;quot;这件事, 后面会讲它为什么重要。&lt;/p&gt;
&lt;h2 id="一个-epoch-是怎么走的"&gt;一个 epoch 是怎么走的&lt;/h2&gt;
&lt;p&gt;Cardano 的时间被切成两层: 一个 epoch(约 5 天)再切成 432,000 个 slot, 每个 slot 一秒, 每个 slot 最多出一个区块。&lt;/p&gt;</description></item></channel></rss>