請問三種都是硬分叉嗎?
- 分叉是擴容的必要條件嗎？
- 為什麼沒出現軟分叉？
在邏輯學中，當命題「若A則B」為真時，A稱為B的充分條件，B稱為A的必要條件。[1]
在 @chenthj38 的問題
分叉是擴容的必要條件嗎？
裡，B 是「分叉」，A是「擴容」。
讓我們來看看：若「A則B」是否為真。
也就是：若「擴容」則「分叉」是否為真。
擴容是一種比特幣的規則改變，而且改成比較大（2MB），所以原來比較小（1MB）容量規則下，不會接受大的區塊，也就是新的、大的區塊規則不被舊規則所接受，亦即「不相容」於舊規則。
當不相容於舊規則的新規則上路時，區塊錬會產生分叉，而且是硬分叉。所謂硬分叉，就是暗指新規則不全相容於舊規則的分叉 [2]。
所以，若「擴容」則「硬分叉」為真。
因此，硬分叉是擴容的必要條件。
至於軟分叉是比較常有的，因為軟分叉不會持久，通常只會有其中一個分叉「存活」下來，不會產生新幣種，所以終端用戶通常無感。
之前的 Segwit 升級[3]就是軟分叉的代表作。
[1] https://zh.wikipedia.org/wiki/充分必要条件
[2] 什麼是「分叉」，又什麼是「硬分叉」？
[3] 比特幣的Segwit
1個讚