Ruoxi BNB
10.3k 貼文
Ruoxi BNB
舉報
封鎖用戶
實盤交易
中頻交易者
10.9 個月
1.4K+ 關注
21.3K+ 粉絲
6.5K+ 點讚數
貼文
投資組合
全部
引用
直播
置頂
·
--
看漲
@Dusk_Foundation
起初我以爲 Dusk 的緊急模式主要只是卡住的出塊流程的備份。但越看越覺得有個小細節很突出：開放式迭代可以在同一時間繼續進行。新的迭代會在達到最大步驟超時時間後啓動，而更早的迭代會保持存活，直到它們實際湊齊法定人數（quorum）。這意味着協議接受暫時的並行嘗試，而不是強迫網絡在某條卡住的路徑上等待。顯而易見的代價是：最終可能會有多個候選者到達共識，從而產生一個分叉（fork），然後必須通過選擇最低的迭代來解決。我覺得這種權衡比“緊急模式”這個標籤本身更有意思。Dusk 本質上是在用一些短期的不確定性來換取更好的機會：當提供者（provisioners）缺失或彼此隔離時，至少有一條路徑能夠推進。也許這是一種合理的失敗模式，但它確實把複雜度從“等待”轉移到了“分叉解決”。
這讓我想知道：韌性（resilience）有時是否並不在於避免混亂狀態，而在於確保混亂能有一個確定性的出路？
@Dusk_Foundation #dusk $DUSK
{spot}(DUSKUSDT)
@Dusk
起初我以爲 Dusk 的緊急模式主要只是卡住的出塊流程的備份。但越看越覺得有個小細節很突出：開放式迭代可以在同一時間繼續進行。新的迭代會在達到最大步驟超時時間後啓動，而更早的迭代會保持存活，直到它們實際湊齊法定人數（quorum）。這意味着協議接受暫時的並行嘗試，而不是強迫網絡在某條卡住的路徑上等待。顯而易見的代價是：最終可能會有多個候選者到達共識，從而產生一個分叉（fork），然後必須通過選擇最低的迭代來解決。我覺得這種權衡比“緊急模式”這個標籤本身更有意思。Dusk 本質上是在用一些短期的不確定性來換取更好的機會：當提供者（provisioners）缺失或彼此隔離時，至少有一條路徑能夠推進。也許這是一種合理的失敗模式，但它確實把複雜度從“等待”轉移到了“分叉解決”。
這讓我想知道：韌性（resilience）有時是否並不在於避免混亂狀態，而在於確保混亂能有一個確定性的出路？
@Dusk #dusk $DUSK
起初我以爲 Dusk 的緊急模式主要只是卡住的出塊流程的備份。但越看越覺得有個小細節很突出：開放式迭代可以在同一時間繼續進行。新的迭代會在達到最大步驟超時時間後啓動，而更早的迭代會保持存活，直到它們實際湊齊法定人數（quorum）。這意味着協議接受暫時的並行嘗試，而不是強迫網絡在某條卡住的路徑上等待。顯而易見的代價是：最終可能會有多個候選者到達共識，從而產生一個分叉（fork），然後必須通過選擇最低的迭代來解決。我覺得這種權衡比“緊急模式”這個標籤本身更有意思。Dusk 本質上是在用一些短期的不確定性來換取更好的機會：當提供者（provisioners）缺失或彼此隔離時，至少有一條路徑能夠推進。也許這是一種合理的失敗模式，但它確實把複雜度從“等待”轉移到了“分叉解決”。
這讓我想知道：韌性（resilience）有時是否並不在於避免混亂狀態，而在於確保混亂能有一個確定性的出路？
@Dusk #dusk $DUSK
3
4
145
置頂
·
--
看漲
@Dusk_Foundation
起初我以爲 Dusk 的 BLS 聚合主要是一個帶寬技巧。但我看得越多，越覺得附在聚合簽名上的位集比壓縮本身更重要。每個委員會成員都有一個索引，而位集精確記錄哪些成員貢獻了他們的簽名。這意味着網絡可以攜帶一個緊湊的簽名，同時仍然保留其背後選民的身份。我覺得這種區分很有意思，因爲聚合通常會讓我想到要移除細節。而在這裏，消息格式中的一些細節被移除了，但協議保留了足夠的結構來重建究竟是誰參與了。這很關鍵，因爲委員會投票會按積分加權，後續的獎勵與懲罰也取決於瞭解相關選民。因此，緊湊的證明仍然需要在旁邊有一份精確的成員記錄。或許，聚合有用的部分並不僅僅是讓共識消息變得更小，而是決定哪些信息可以安全地壓縮，哪些不可以。
這讓我想知道：一個共識證明最多能有多“簡潔”（succinctness），在責任追究開始丟失之前？
@Dusk_Foundation #dusk $DUSK
{spot}(DUSKUSDT)
@Dusk
起初我以爲 Dusk 的 BLS 聚合主要是一個帶寬技巧。但我看得越多，越覺得附在聚合簽名上的位集比壓縮本身更重要。每個委員會成員都有一個索引，而位集精確記錄哪些成員貢獻了他們的簽名。這意味着網絡可以攜帶一個緊湊的簽名，同時仍然保留其背後選民的身份。我覺得這種區分很有意思，因爲聚合通常會讓我想到要移除細節。而在這裏，消息格式中的一些細節被移除了，但協議保留了足夠的結構來重建究竟是誰參與了。這很關鍵，因爲委員會投票會按積分加權，後續的獎勵與懲罰也取決於瞭解相關選民。因此，緊湊的證明仍然需要在旁邊有一份精確的成員記錄。或許，聚合有用的部分並不僅僅是讓共識消息變得更小，而是決定哪些信息可以安全地壓縮，哪些不可以。
這讓我想知道：一個共識證明最多能有多“簡潔”（succinctness），在責任追究開始丟失之前？
@Dusk #dusk $DUSK
起初我以爲 Dusk 的 BLS 聚合主要是一個帶寬技巧。但我看得越多，越覺得附在聚合簽名上的位集比壓縮本身更重要。每個委員會成員都有一個索引，而位集精確記錄哪些成員貢獻了他們的簽名。這意味着網絡可以攜帶一個緊湊的簽名，同時仍然保留其背後選民的身份。我覺得這種區分很有意思，因爲聚合通常會讓我想到要移除細節。而在這裏，消息格式中的一些細節被移除了，但協議保留了足夠的結構來重建究竟是誰參與了。這很關鍵，因爲委員會投票會按積分加權，後續的獎勵與懲罰也取決於瞭解相關選民。因此，緊湊的證明仍然需要在旁邊有一份精確的成員記錄。或許，聚合有用的部分並不僅僅是讓共識消息變得更小，而是決定哪些信息可以安全地壓縮，哪些不可以。
這讓我想知道：一個共識證明最多能有多“簡潔”（succinctness），在責任追究開始丟失之前？
@Dusk #dusk $DUSK
20
11
207
·
--
看漲
@Dusk_Foundation
起初我以爲，Dusk 的投票流程主要是爲了在超時之前湊夠法定人數（quorum）。但我越看，越注意到對“缺失法定人數”的處理。若驗證步驟無法在規定時間內收集到足夠的投票，它並不會簡單地宣佈該區塊無效。相反，它會產生一個 NoQuorum 結果，然後將該結果帶入後續的確認（ratification）階段。下一個委員會對這個結果進行投票，而不是立刻重新啓動整個流程。這樣就形成了“區塊失敗”與“網絡無法做出決定”之間的一個細微差別。在供應方（provisioners）可能離線或消息延遲的情況下，這兩種情形尤其不同。協議會在決定這次迭代是否應失敗之前，再保留這份不確定性一步。與其說我更在意超時本身，不如說我更感興趣的是這種設計。它暗示沉默被當作一種信息，但不一定等同於拒絕。
所以，也許更安靜的問題是：一個共識系統在最終把缺乏一致性轉化爲失敗之前，應該保留多少不確定性？
@Dusk_Foundation #dusk $DUSK
{spot}(DUSKUSDT)
@Dusk
起初我以爲，Dusk 的投票流程主要是爲了在超時之前湊夠法定人數（quorum）。但我越看，越注意到對“缺失法定人數”的處理。若驗證步驟無法在規定時間內收集到足夠的投票，它並不會簡單地宣佈該區塊無效。相反，它會產生一個 NoQuorum 結果，然後將該結果帶入後續的確認（ratification）階段。下一個委員會對這個結果進行投票，而不是立刻重新啓動整個流程。這樣就形成了“區塊失敗”與“網絡無法做出決定”之間的一個細微差別。在供應方（provisioners）可能離線或消息延遲的情況下，這兩種情形尤其不同。協議會在決定這次迭代是否應失敗之前，再保留這份不確定性一步。與其說我更在意超時本身，不如說我更感興趣的是這種設計。它暗示沉默被當作一種信息，但不一定等同於拒絕。
所以，也許更安靜的問題是：一個共識系統在最終把缺乏一致性轉化爲失敗之前，應該保留多少不確定性？
@Dusk #dusk $DUSK
起初我以爲，Dusk 的投票流程主要是爲了在超時之前湊夠法定人數（quorum）。但我越看，越注意到對“缺失法定人數”的處理。若驗證步驟無法在規定時間內收集到足夠的投票，它並不會簡單地宣佈該區塊無效。相反，它會產生一個 NoQuorum 結果，然後將該結果帶入後續的確認（ratification）階段。下一個委員會對這個結果進行投票，而不是立刻重新啓動整個流程。這樣就形成了“區塊失敗”與“網絡無法做出決定”之間的一個細微差別。在供應方（provisioners）可能離線或消息延遲的情況下，這兩種情形尤其不同。協議會在決定這次迭代是否應失敗之前，再保留這份不確定性一步。與其說我更在意超時本身，不如說我更感興趣的是這種設計。它暗示沉默被當作一種信息，但不一定等同於拒絕。
所以，也許更安靜的問題是：一個共識系統在最終把缺乏一致性轉化爲失敗之前，應該保留多少不確定性？
@Dusk #dusk $DUSK
20
13
152
·
--
看漲
@Dusk_Foundation
起初我以爲，Dusk 的認證主要是用一種緊湊的方式來證明：足夠的提供者已經達成一致。可是我看得越多，越有一個細節引人注目：如果在超過法定人數（quorum）的情況下收到了投票，那麼對於同一次迭代，就可能存在不止一個有效的認證。於是，Dusk 進一步加入了一個區塊證書：它從前一個區塊的認證中，固定出一組唯一的投票者集合。這樣的設計感覺起來不像純粹的“壓縮細節”，更像是在確保後續記賬不會變得含糊不清。獎勵與懲罰需要明確的投票者集合，即使底層共識步驟可能已經產生了若干個可行的法定人數證明。協議將“足夠的投票確實發生了”與“哪些投票將對後續的結果產生影響”這兩件事分開。讀共識流程時，這一區別很容易被忽略，但它會在達成一致之後劃出一個小的信任邊界。共識可以容忍額外的有效證據，而激勵機制仍然需要一份被明確定義的記錄。
這讓我想知道：最終性（finality）僅僅是爲了決定該區塊，還是也在於決定系統會把哪些參與者記錄爲已做出該決定？
@Dusk_Foundation #dusk $DUSK
{spot}(DUSKUSDT)
@Dusk
起初我以爲，Dusk 的認證主要是用一種緊湊的方式來證明：足夠的提供者已經達成一致。可是我看得越多，越有一個細節引人注目：如果在超過法定人數（quorum）的情況下收到了投票，那麼對於同一次迭代，就可能存在不止一個有效的認證。於是，Dusk 進一步加入了一個區塊證書：它從前一個區塊的認證中，固定出一組唯一的投票者集合。這樣的設計感覺起來不像純粹的“壓縮細節”，更像是在確保後續記賬不會變得含糊不清。獎勵與懲罰需要明確的投票者集合，即使底層共識步驟可能已經產生了若干個可行的法定人數證明。協議將“足夠的投票確實發生了”與“哪些投票將對後續的結果產生影響”這兩件事分開。讀共識流程時，這一區別很容易被忽略，但它會在達成一致之後劃出一個小的信任邊界。共識可以容忍額外的有效證據，而激勵機制仍然需要一份被明確定義的記錄。
這讓我想知道：最終性（finality）僅僅是爲了決定該區塊，還是也在於決定系統會把哪些參與者記錄爲已做出該決定？
@Dusk #dusk $DUSK
起初我以爲，Dusk 的認證主要是用一種緊湊的方式來證明：足夠的提供者已經達成一致。可是我看得越多，越有一個細節引人注目：如果在超過法定人數（quorum）的情況下收到了投票，那麼對於同一次迭代，就可能存在不止一個有效的認證。於是，Dusk 進一步加入了一個區塊證書：它從前一個區塊的認證中，固定出一組唯一的投票者集合。這樣的設計感覺起來不像純粹的“壓縮細節”，更像是在確保後續記賬不會變得含糊不清。獎勵與懲罰需要明確的投票者集合，即使底層共識步驟可能已經產生了若干個可行的法定人數證明。協議將“足夠的投票確實發生了”與“哪些投票將對後續的結果產生影響”這兩件事分開。讀共識流程時，這一區別很容易被忽略，但它會在達成一致之後劃出一個小的信任邊界。共識可以容忍額外的有效證據，而激勵機制仍然需要一份被明確定義的記錄。
這讓我想知道：最終性（finality）僅僅是爲了決定該區塊，還是也在於決定系統會把哪些參與者記錄爲已做出該決定？
@Dusk #dusk $DUSK
35
18
224
·
--
看漲
@Dusk_Foundation
起初我以爲 Dusk 的質押到期成熟規則主要只是一個等待期，用來阻止某人過快加入共識。但看得越多，我越覺得時機本身更像是刻意安排的。新的質押並不會立刻具備資格，也不會在任意一個區塊時突然變爲具備資格。白皮書將資格界定爲：當剩餘的當前紀元部分加上再完整一個紀元都過去之後，在下一個紀元開始時才具備資格。讓我注意到的關鍵點在於，這條規則實際上讓新的提供者以批次進入共識，而不是持續不斷地進入。這就帶來了一種更安靜的依賴關係：活躍驗證者集合的形成不僅取決於誰進行了質押，也部分取決於紀元的日曆安排。它還意味着，一筆新鎖定的質押在能夠影響確定性抽選（deterministic sortition）之前，必須等待一個可預測的時間段。也許這會讓委員會變更更容易推理，但同時也會延遲新參與者對系統產生影響的速度。
所以或許問題不在於爲什麼質押會有延遲，而在於這段延遲到底在保護什麼？
@Dusk_Foundation #dusk $DUSK
{spot}(DUSKUSDT)
@Dusk
起初我以爲 Dusk 的質押到期成熟規則主要只是一個等待期，用來阻止某人過快加入共識。但看得越多，我越覺得時機本身更像是刻意安排的。新的質押並不會立刻具備資格，也不會在任意一個區塊時突然變爲具備資格。白皮書將資格界定爲：當剩餘的當前紀元部分加上再完整一個紀元都過去之後，在下一個紀元開始時才具備資格。讓我注意到的關鍵點在於，這條規則實際上讓新的提供者以批次進入共識，而不是持續不斷地進入。這就帶來了一種更安靜的依賴關係：活躍驗證者集合的形成不僅取決於誰進行了質押，也部分取決於紀元的日曆安排。它還意味着，一筆新鎖定的質押在能夠影響確定性抽選（deterministic sortition）之前，必須等待一個可預測的時間段。也許這會讓委員會變更更容易推理，但同時也會延遲新參與者對系統產生影響的速度。
所以或許問題不在於爲什麼質押會有延遲，而在於這段延遲到底在保護什麼？
@Dusk #dusk $DUSK
起初我以爲 Dusk 的質押到期成熟規則主要只是一個等待期，用來阻止某人過快加入共識。但看得越多，我越覺得時機本身更像是刻意安排的。新的質押並不會立刻具備資格，也不會在任意一個區塊時突然變爲具備資格。白皮書將資格界定爲：當剩餘的當前紀元部分加上再完整一個紀元都過去之後，在下一個紀元開始時才具備資格。讓我注意到的關鍵點在於，這條規則實際上讓新的提供者以批次進入共識，而不是持續不斷地進入。這就帶來了一種更安靜的依賴關係：活躍驗證者集合的形成不僅取決於誰進行了質押，也部分取決於紀元的日曆安排。它還意味着，一筆新鎖定的質押在能夠影響確定性抽選（deterministic sortition）之前，必須等待一個可預測的時間段。也許這會讓委員會變更更容易推理，但同時也會延遲新參與者對系統產生影響的速度。
所以或許問題不在於爲什麼質押會有延遲，而在於這段延遲到底在保護什麼？
@Dusk #dusk $DUSK
22
10
169
·
--
看漲
@Dusk_Foundation
起初我以爲 Dusk 的後備規則主要是用來清理因網絡延遲導致的分叉。但我看得越多，就越覺得這個規則不尋常。如果在同一輪中兩個區塊達成了共識，Dusk 甚至可以在更高迭代的區塊已經在本地被接受之後，用較低迭代中的區塊替換更高迭代的區塊。也就是說，被接受的區塊未必是已塵埃落定的區塊。更有意思的是：協議並不會把每一次成功的共識結果都視爲同等強度。投票結束後，迭代編號仍然具有含義。來自迭代 0 的區塊不能被來自更低迭代的另一塊區塊替換，而後續迭代仍會暴露在後備機制之下。這意味着“如何達成共識”的歷史本身也構成了區塊穩定性的一部分。這個細節很小，但它改變了我對這種設計中“達成一致”的思考方式。所以也許問題不在於共識是否發生，而在於仍有多少歷史可能去改變這份“協議”所代表的一致性含義？
@Dusk_Foundation #dusk $DUSK
{spot}(DUSKUSDT)
@Dusk
起初我以爲 Dusk 的後備規則主要是用來清理因網絡延遲導致的分叉。但我看得越多，就越覺得這個規則不尋常。如果在同一輪中兩個區塊達成了共識，Dusk 甚至可以在更高迭代的區塊已經在本地被接受之後，用較低迭代中的區塊替換更高迭代的區塊。也就是說，被接受的區塊未必是已塵埃落定的區塊。更有意思的是：協議並不會把每一次成功的共識結果都視爲同等強度。投票結束後，迭代編號仍然具有含義。來自迭代 0 的區塊不能被來自更低迭代的另一塊區塊替換，而後續迭代仍會暴露在後備機制之下。這意味着“如何達成共識”的歷史本身也構成了區塊穩定性的一部分。這個細節很小，但它改變了我對這種設計中“達成一致”的思考方式。所以也許問題不在於共識是否發生，而在於仍有多少歷史可能去改變這份“協議”所代表的一致性含義？
@Dusk #dusk $DUSK
起初我以爲 Dusk 的後備規則主要是用來清理因網絡延遲導致的分叉。但我看得越多，就越覺得這個規則不尋常。如果在同一輪中兩個區塊達成了共識，Dusk 甚至可以在更高迭代的區塊已經在本地被接受之後，用較低迭代中的區塊替換更高迭代的區塊。也就是說，被接受的區塊未必是已塵埃落定的區塊。更有意思的是：協議並不會把每一次成功的共識結果都視爲同等強度。投票結束後，迭代編號仍然具有含義。來自迭代 0 的區塊不能被來自更低迭代的另一塊區塊替換，而後續迭代仍會暴露在後備機制之下。這意味着“如何達成共識”的歷史本身也構成了區塊穩定性的一部分。這個細節很小，但它改變了我對這種設計中“達成一致”的思考方式。所以也許問題不在於共識是否發生，而在於仍有多少歷史可能去改變這份“協議”所代表的一致性含義？
@Dusk #dusk $DUSK
25
11
164
·
--
看漲
@Dusk_Foundation
起初我以為，Dusk 的網路效率主要來自於降低節點必須處理的資料量。但我越研究 Kadcast，留在我腦海中的小細節就越清晰：它使用 XOR 距離來決定訊息應該傳往哪裡。節點並不只是把一個區塊單純地轉送給所有附近的同儕；它會在路由結構中，朝著特定的同儕、並以逐步增加的距離來傳送。這能減少重複傳輸，但也意味著，訊息的擴散效果取決於路由表是否有用且維持得夠新。若同儕消失或變得不可靠，網路就必須在這些結構化路徑失效前先把它們替換掉。我很容易忽略這種取捨，因為結果會表現為更少的訊息數；但負擔其實部分轉移到維護那張用來判斷訊息要送往哪裡的結構上。這讓我想到更一般的金融網路問題：效率常常來自於知道哪些東西不該送出去。於是就留下更安靜的問題：在一個網路必須為了維護地圖而付出這份協調成本之前，它可以避免多少協調呢？
@Dusk_Foundation #dusk $DUSK
{spot}(DUSKUSDT)
@Dusk
起初我以為，Dusk 的網路效率主要來自於降低節點必須處理的資料量。但我越研究 Kadcast，留在我腦海中的小細節就越清晰：它使用 XOR 距離來決定訊息應該傳往哪裡。節點並不只是把一個區塊單純地轉送給所有附近的同儕；它會在路由結構中，朝著特定的同儕、並以逐步增加的距離來傳送。這能減少重複傳輸，但也意味著，訊息的擴散效果取決於路由表是否有用且維持得夠新。若同儕消失或變得不可靠，網路就必須在這些結構化路徑失效前先把它們替換掉。我很容易忽略這種取捨，因為結果會表現為更少的訊息數；但負擔其實部分轉移到維護那張用來判斷訊息要送往哪裡的結構上。這讓我想到更一般的金融網路問題：效率常常來自於知道哪些東西不該送出去。於是就留下更安靜的問題：在一個網路必須為了維護地圖而付出這份協調成本之前，它可以避免多少協調呢？
@Dusk #dusk $DUSK
起初我以為，Dusk 的網路效率主要來自於降低節點必須處理的資料量。但我越研究 Kadcast，留在我腦海中的小細節就越清晰：它使用 XOR 距離來決定訊息應該傳往哪裡。節點並不只是把一個區塊單純地轉送給所有附近的同儕；它會在路由結構中，朝著特定的同儕、並以逐步增加的距離來傳送。這能減少重複傳輸，但也意味著，訊息的擴散效果取決於路由表是否有用且維持得夠新。若同儕消失或變得不可靠，網路就必須在這些結構化路徑失效前先把它們替換掉。我很容易忽略這種取捨，因為結果會表現為更少的訊息數；但負擔其實部分轉移到維護那張用來判斷訊息要送往哪裡的結構上。這讓我想到更一般的金融網路問題：效率常常來自於知道哪些東西不該送出去。於是就留下更安靜的問題：在一個網路必須為了維護地圖而付出這份協調成本之前，它可以避免多少協調呢？
@Dusk #dusk $DUSK
43
19
168
·
--
看漲
真實
@Dusk_Foundation
起初我以爲，更快的最終性主要來自讓共識更高效。但我越深入研究 Dusk 的滾動最終性規則，越發現一個有趣的細節：一個區塊的狀態可能取決於先前有多少次迭代未能得到確定結果。在後續迭代中被接受的區塊，並不會被當作來自迭代零的區塊來處理。如果之前仍存在未解決的嘗試，協議會等待額外的已證實或已確認的後繼者，之後纔會把該區塊視爲已確認。
吸引我注意的是，不確定性會以一種“鏈條繼續攜帶下去”的方式存在。它並不是簡單地說：“這個區塊通過了，繼續往下。” 之前的不確定性歷史仍會影響之後需要多少證據。這樣的權衡似乎是合理的，但這也意味着，最終性在某種程度上會被區塊本身之前發生的事情所塑造。
在金融系統中，信心的運作方式也常常類似：一個結果可以被接受，同時仍保留一些尚未解決的上下文。
這讓我開始思考：最終性也許不那麼取決於某一個瞬間的確定，而更取決於不確定性如何被逐步移除。
@Dusk_Foundation #dusk $DUSK
{spot}(DUSKUSDT)
@Dusk
起初我以爲，更快的最終性主要來自讓共識更高效。但我越深入研究 Dusk 的滾動最終性規則，越發現一個有趣的細節：一個區塊的狀態可能取決於先前有多少次迭代未能得到確定結果。在後續迭代中被接受的區塊，並不會被當作來自迭代零的區塊來處理。如果之前仍存在未解決的嘗試，協議會等待額外的已證實或已確認的後繼者，之後纔會把該區塊視爲已確認。
吸引我注意的是，不確定性會以一種“鏈條繼續攜帶下去”的方式存在。它並不是簡單地說：“這個區塊通過了，繼續往下。” 之前的不確定性歷史仍會影響之後需要多少證據。這樣的權衡似乎是合理的，但這也意味着，最終性在某種程度上會被區塊本身之前發生的事情所塑造。
在金融系統中，信心的運作方式也常常類似：一個結果可以被接受，同時仍保留一些尚未解決的上下文。
這讓我開始思考：最終性也許不那麼取決於某一個瞬間的確定，而更取決於不確定性如何被逐步移除。
@Dusk #dusk $DUSK
起初我以爲，更快的最終性主要來自讓共識更高效。但我越深入研究 Dusk 的滾動最終性規則，越發現一個有趣的細節：一個區塊的狀態可能取決於先前有多少次迭代未能得到確定結果。在後續迭代中被接受的區塊，並不會被當作來自迭代零的區塊來處理。如果之前仍存在未解決的嘗試，協議會等待額外的已證實或已確認的後繼者，之後纔會把該區塊視爲已確認。
吸引我注意的是，不確定性會以一種“鏈條繼續攜帶下去”的方式存在。它並不是簡單地說：“這個區塊通過了，繼續往下。” 之前的不確定性歷史仍會影響之後需要多少證據。這樣的權衡似乎是合理的，但這也意味着，最終性在某種程度上會被區塊本身之前發生的事情所塑造。
在金融系統中，信心的運作方式也常常類似：一個結果可以被接受，同時仍保留一些尚未解決的上下文。
這讓我開始思考：最終性也許不那麼取決於某一個瞬間的確定，而更取決於不確定性如何被逐步移除。
@Dusk #dusk $DUSK
70
20
371
·
--
看漲
@Dusk_Foundation
起初我以爲，隱私系統大多會試圖抹除過去活動留下的痕跡。
但我看得越多，越注意到在 Phoenix 中，已用過的備註從不會從默克爾樹（Merkle tree）裏移除。它們會永久留在那裏——即使它們的價值已經在別處被使用過。雙重支付通過空投標識（nullifiers）來防止，而不是通過刪除舊記錄。
真正吸引我的是，這種設計把通常被綁定在一起的兩個概念分開了：證明某樣東西曾經存在，以及證明它是否仍可被消費。網絡會把第一部分永久保留，並在別處追蹤第二部分。
也許這只是私密記賬的成本。一種能夠隱藏交易之間關係的系統，可能仍需要不斷增長的“記憶”，記錄所有曾經發生過的事情，即便其中大部分內容在經濟上不再具有活躍性。
這也讓我想到：隱私往往並不是消除信息。它只是改變信息存在的位置，以及誰能夠把信息連接起來。
所以也許問題不在於一個私密系統會暴露多少數據，而在於它必須保存多少歷史，才能維持私密性。
@Dusk_Foundation #dusk $DUSK
{spot}(DUSKUSDT)
@Dusk
起初我以爲，隱私系統大多會試圖抹除過去活動留下的痕跡。
但我看得越多，越注意到在 Phoenix 中，已用過的備註從不會從默克爾樹（Merkle tree）裏移除。它們會永久留在那裏——即使它們的價值已經在別處被使用過。雙重支付通過空投標識（nullifiers）來防止，而不是通過刪除舊記錄。
真正吸引我的是，這種設計把通常被綁定在一起的兩個概念分開了：證明某樣東西曾經存在，以及證明它是否仍可被消費。網絡會把第一部分永久保留，並在別處追蹤第二部分。
也許這只是私密記賬的成本。一種能夠隱藏交易之間關係的系統，可能仍需要不斷增長的“記憶”，記錄所有曾經發生過的事情，即便其中大部分內容在經濟上不再具有活躍性。
這也讓我想到：隱私往往並不是消除信息。它只是改變信息存在的位置，以及誰能夠把信息連接起來。
所以也許問題不在於一個私密系統會暴露多少數據，而在於它必須保存多少歷史，才能維持私密性。
@Dusk #dusk $DUSK
起初我以爲，隱私系統大多會試圖抹除過去活動留下的痕跡。
但我看得越多，越注意到在 Phoenix 中，已用過的備註從不會從默克爾樹（Merkle tree）裏移除。它們會永久留在那裏——即使它們的價值已經在別處被使用過。雙重支付通過空投標識（nullifiers）來防止，而不是通過刪除舊記錄。
真正吸引我的是，這種設計把通常被綁定在一起的兩個概念分開了：證明某樣東西曾經存在，以及證明它是否仍可被消費。網絡會把第一部分永久保留，並在別處追蹤第二部分。
也許這只是私密記賬的成本。一種能夠隱藏交易之間關係的系統，可能仍需要不斷增長的“記憶”，記錄所有曾經發生過的事情，即便其中大部分內容在經濟上不再具有活躍性。
這也讓我想到：隱私往往並不是消除信息。它只是改變信息存在的位置，以及誰能夠把信息連接起來。
所以也許問題不在於一個私密系統會暴露多少數據，而在於它必須保存多少歷史，才能維持私密性。
@Dusk #dusk $DUSK
43
23
174
·
--
看漲
@Dusk_Foundation
起初我以爲投票委員會主要取決於誰被選中。讓我在 Dusk 的設計中真正感興趣的是：選中之後會發生什麼。每個委員會都有一固定的積分池，且分配方（provisioner）可以不止一次地獲得積分。 這些積分會變成投票權，因此同一個分配方的投票可能會被有效地計算多次。 但同樣的積分分配也會用於獎勵，這意味着委員會的影響力和補償與同一小單位綁定。 這就產生了一種有趣的依賴關係。 更大的投入可能帶來更多積分、更多投票權，以及更大比例的投票者獎勵。 然而，該系統並不是簡單地重複最初的投入分佈，因爲“選擇”本身正是通過這些離散的積分來運作。 我覺得這點比“按投入加權的委員會”這一頭條式概念更有意思。 它使委員會不像一個由相同選民組成的列表，而更像是對影響力的一種臨時分配。 所以也許問題並不在於誰獲得席位，而是每個席位在悄無聲息中究竟攜帶了多少影響力？
@Dusk_Foundation #dusk $DUSK
{spot}(DUSKUSDT)
@Dusk
起初我以爲投票委員會主要取決於誰被選中。讓我在 Dusk 的設計中真正感興趣的是：選中之後會發生什麼。每個委員會都有一固定的積分池，且分配方（provisioner）可以不止一次地獲得積分。 這些積分會變成投票權，因此同一個分配方的投票可能會被有效地計算多次。 但同樣的積分分配也會用於獎勵，這意味着委員會的影響力和補償與同一小單位綁定。 這就產生了一種有趣的依賴關係。 更大的投入可能帶來更多積分、更多投票權，以及更大比例的投票者獎勵。 然而，該系統並不是簡單地重複最初的投入分佈，因爲“選擇”本身正是通過這些離散的積分來運作。 我覺得這點比“按投入加權的委員會”這一頭條式概念更有意思。 它使委員會不像一個由相同選民組成的列表，而更像是對影響力的一種臨時分配。 所以也許問題並不在於誰獲得席位，而是每個席位在悄無聲息中究竟攜帶了多少影響力？
@Dusk #dusk $DUSK
起初我以爲投票委員會主要取決於誰被選中。讓我在 Dusk 的設計中真正感興趣的是：選中之後會發生什麼。每個委員會都有一固定的積分池，且分配方（provisioner）可以不止一次地獲得積分。 這些積分會變成投票權，因此同一個分配方的投票可能會被有效地計算多次。 但同樣的積分分配也會用於獎勵，這意味着委員會的影響力和補償與同一小單位綁定。 這就產生了一種有趣的依賴關係。 更大的投入可能帶來更多積分、更多投票權，以及更大比例的投票者獎勵。 然而，該系統並不是簡單地重複最初的投入分佈，因爲“選擇”本身正是通過這些離散的積分來運作。 我覺得這點比“按投入加權的委員會”這一頭條式概念更有意思。 它使委員會不像一個由相同選民組成的列表，而更像是對影響力的一種臨時分配。 所以也許問題並不在於誰獲得席位，而是每個席位在悄無聲息中究竟攜帶了多少影響力？
@Dusk #dusk $DUSK
60
20
168
·
--
看漲
@Dusk_Foundation
一開始我以爲 Dusk 的 Phoenix 模型主要是把交易細節隱藏起來。但我看得越多，委託模型就越有意思。用戶可以把查看密鑰（view key）交給第三方，讓對方在網絡中掃描那些發給自己的筆記（notes），而第三方仍然無法花費這些筆記，因爲它缺少完整的祕密密鑰。類似的分離也出現在證明生成上：簽名可以讓別人來處理繁重的 ZK 計算，而不必把對交易本身的授權交給對方。吸引我注意的是，這會建立起清晰的信任邊界。隱私並不意味着每一項任務都必須始終由用戶親自完成。有些工作可以外包，但“花費”的能力仍然是獨立的。這樣感覺是在私密系統與現實之間做了一個可行的折中——現實是計算經常會被委託出去。它也引出了一個更安靜的問題：用戶願意把“部分信任”放到哪裏。因此，也許問題不在於委託是否安全，而在於人們願意把多少權限從工作本身中分離出來？
@Dusk_Foundation #dusk $DUSK
{spot}(DUSKUSDT)
@Dusk
一開始我以爲 Dusk 的 Phoenix 模型主要是把交易細節隱藏起來。但我看得越多，委託模型就越有意思。用戶可以把查看密鑰（view key）交給第三方，讓對方在網絡中掃描那些發給自己的筆記（notes），而第三方仍然無法花費這些筆記，因爲它缺少完整的祕密密鑰。類似的分離也出現在證明生成上：簽名可以讓別人來處理繁重的 ZK 計算，而不必把對交易本身的授權交給對方。吸引我注意的是，這會建立起清晰的信任邊界。隱私並不意味着每一項任務都必須始終由用戶親自完成。有些工作可以外包，但“花費”的能力仍然是獨立的。這樣感覺是在私密系統與現實之間做了一個可行的折中——現實是計算經常會被委託出去。它也引出了一個更安靜的問題：用戶願意把“部分信任”放到哪裏。因此，也許問題不在於委託是否安全，而在於人們願意把多少權限從工作本身中分離出來？
@Dusk #dusk $DUSK
一開始我以爲 Dusk 的 Phoenix 模型主要是把交易細節隱藏起來。但我看得越多，委託模型就越有意思。用戶可以把查看密鑰（view key）交給第三方，讓對方在網絡中掃描那些發給自己的筆記（notes），而第三方仍然無法花費這些筆記，因爲它缺少完整的祕密密鑰。類似的分離也出現在證明生成上：簽名可以讓別人來處理繁重的 ZK 計算，而不必把對交易本身的授權交給對方。吸引我注意的是，這會建立起清晰的信任邊界。隱私並不意味着每一項任務都必須始終由用戶親自完成。有些工作可以外包，但“花費”的能力仍然是獨立的。這樣感覺是在私密系統與現實之間做了一個可行的折中——現實是計算經常會被委託出去。它也引出了一個更安靜的問題：用戶願意把“部分信任”放到哪裏。因此，也許問題不在於委託是否安全，而在於人們願意把多少權限從工作本身中分離出來？
@Dusk #dusk $DUSK
85
28
382
·
--
看漲
部分真實
@Dusk_Foundation
起初我以爲 Dusk 的確定性抽籤主要是爲了讓委員會的選拔與質押規模成比例。但我看得越多，越注意到一個更細節的地方：當提供者收到一筆信用（credit）後，它在該次抽選中的權重會減少 1 個 DUSK。這個想法很簡單，但它意味着選拔過程不僅僅是在同一種質押分佈上反覆抽樣。擁有更多質押的提供者依然會獲得更多機會，而每一次成功的抽選都會讓它再次獲得另一筆信用的概率略微降低。這似乎是在“按質押加權的影響力”和“在委員會內部反覆偏袒同一批參與者”之間的一種務實折中。它也意味着這裏的質押承擔了兩項工作：先決定最初是否具備被抽選的資格，然後在信用被分配之後逐步失去權重。我覺得這一點比“按比例抽選”的基本說法更有意思。也許這並不是單純討論孤立情境下的公平性，而是在討論：同一筆質押在被重複施加影響時，影響應當延續到什麼程度。因此更安靜的問題是：按比例的影響力應該在何處停止？
@Dusk_Foundation #dusk $DUSK
{spot}(DUSKUSDT)
@Dusk
起初我以爲 Dusk 的確定性抽籤主要是爲了讓委員會的選拔與質押規模成比例。但我看得越多，越注意到一個更細節的地方：當提供者收到一筆信用（credit）後，它在該次抽選中的權重會減少 1 個 DUSK。這個想法很簡單，但它意味着選拔過程不僅僅是在同一種質押分佈上反覆抽樣。擁有更多質押的提供者依然會獲得更多機會，而每一次成功的抽選都會讓它再次獲得另一筆信用的概率略微降低。這似乎是在“按質押加權的影響力”和“在委員會內部反覆偏袒同一批參與者”之間的一種務實折中。它也意味着這裏的質押承擔了兩項工作：先決定最初是否具備被抽選的資格，然後在信用被分配之後逐步失去權重。我覺得這一點比“按比例抽選”的基本說法更有意思。也許這並不是單純討論孤立情境下的公平性，而是在討論：同一筆質押在被重複施加影響時，影響應當延續到什麼程度。因此更安靜的問題是：按比例的影響力應該在何處停止？
@Dusk #dusk $DUSK
起初我以爲 Dusk 的確定性抽籤主要是爲了讓委員會的選拔與質押規模成比例。但我看得越多，越注意到一個更細節的地方：當提供者收到一筆信用（credit）後，它在該次抽選中的權重會減少 1 個 DUSK。這個想法很簡單，但它意味着選拔過程不僅僅是在同一種質押分佈上反覆抽樣。擁有更多質押的提供者依然會獲得更多機會，而每一次成功的抽選都會讓它再次獲得另一筆信用的概率略微降低。這似乎是在“按質押加權的影響力”和“在委員會內部反覆偏袒同一批參與者”之間的一種務實折中。它也意味着這裏的質押承擔了兩項工作：先決定最初是否具備被抽選的資格，然後在信用被分配之後逐步失去權重。我覺得這一點比“按比例抽選”的基本說法更有意思。也許這並不是單純討論孤立情境下的公平性，而是在討論：同一筆質押在被重複施加影響時，影響應當延續到什麼程度。因此更安靜的問題是：按比例的影響力應該在何處停止？
@Dusk #dusk $DUSK
51
13
353
·
--
@Dusk_Foundation
起初我以爲，Dusk 的共識輪次主要不過是等待足夠多的投票。但我看得越深入，越讓我在意的是迭代結構裏那部分內容：一次失敗的嘗試並不會就此消失。如果驗證或批准失敗，協議會進入另一次迭代，並啓用新的生成器，同時通過確定性分選選出新的委員會。這就形成了一個小但有趣的依賴關係：後續的嘗試在某種程度上會被先前發生的事情所塑造。白皮書甚至把一輪最多限制爲 50 次迭代，這表明失敗並不是那種可以被忽略的“例外情況”。它必須被納入一個有界的流程之中。我覺得這比通常所說的“快速終局”（fast finality）描述更有意思。在這裏，共識似乎不僅包含成功協調本身，也包含對“未能達成協調”的管理。也許當網絡參與並不總是完美可靠時，這一點是不可避免的。於是就留下了更安靜的問題：一個共識系統應如何在堅持（持久性）與反覆嘗試達成一致的成本之間取得平衡？ #dusk $DUSK @Dusk_Foundation $DUSK
{spot}(DUSKUSDT)
@Dusk
起初我以爲，Dusk 的共識輪次主要不過是等待足夠多的投票。但我看得越深入，越讓我在意的是迭代結構裏那部分內容：一次失敗的嘗試並不會就此消失。如果驗證或批准失敗，協議會進入另一次迭代，並啓用新的生成器，同時通過確定性分選選出新的委員會。這就形成了一個小但有趣的依賴關係：後續的嘗試在某種程度上會被先前發生的事情所塑造。白皮書甚至把一輪最多限制爲 50 次迭代，這表明失敗並不是那種可以被忽略的“例外情況”。它必須被納入一個有界的流程之中。我覺得這比通常所說的“快速終局”（fast finality）描述更有意思。在這裏，共識似乎不僅包含成功協調本身，也包含對“未能達成協調”的管理。也許當網絡參與並不總是完美可靠時，這一點是不可避免的。於是就留下了更安靜的問題：一個共識系統應如何在堅持（持久性）與反覆嘗試達成一致的成本之間取得平衡？ #dusk $DUSK @Dusk $DUSK
起初我以爲，Dusk 的共識輪次主要不過是等待足夠多的投票。但我看得越深入，越讓我在意的是迭代結構裏那部分內容：一次失敗的嘗試並不會就此消失。如果驗證或批准失敗，協議會進入另一次迭代，並啓用新的生成器，同時通過確定性分選選出新的委員會。這就形成了一個小但有趣的依賴關係：後續的嘗試在某種程度上會被先前發生的事情所塑造。白皮書甚至把一輪最多限制爲 50 次迭代，這表明失敗並不是那種可以被忽略的“例外情況”。它必須被納入一個有界的流程之中。我覺得這比通常所說的“快速終局”（fast finality）描述更有意思。在這裏，共識似乎不僅包含成功協調本身，也包含對“未能達成協調”的管理。也許當網絡參與並不總是完美可靠時，這一點是不可避免的。於是就留下了更安靜的問題：一個共識系統應如何在堅持（持久性）與反覆嘗試達成一致的成本之間取得平衡？ #dusk $DUSK @Dusk $DUSK
41
16
168
·
--
看漲
真實
@Dusk_Foundation
起初，我以爲“黃昏（Dusk）”的確定性排序抽籤主要是爲了讓委員會選拔更加公平。但我看得越多，越引起我注意的是：在同一輪次內知道生成器順序所帶來的問題。後續的生成器可能有動機讓更早的迭代失敗，希望從而收集區塊獎勵。白皮書把這視爲一種激勵問題，而不是簡單假設參與者會誠實。選民會獲得單獨的獎勵，生成器的獎勵中有一部分取決於是否包含已知的投票，而且下一輪迭代的生成器會被排除在投票之外。此外，還有一個迭代次數的硬性上限，用來限制在同一輪中最多會存在多少個未來的生成器。讓我覺得有意思的是：共識設計中有相當一部分最終都在於防止有人從協議本身提供給他們的信息中獲益。排序可以是確定性的，但圍繞這種排序的行爲仍需要被管控。所以，也許問題並不在於排序抽籤是否公平，而在於它所揭示的信息是否仍可能被用來對抗流程？
@Dusk_Foundation #dusk $DUSK
{spot}(DUSKUSDT)
@Dusk
起初，我以爲“黃昏（Dusk）”的確定性排序抽籤主要是爲了讓委員會選拔更加公平。但我看得越多，越引起我注意的是：在同一輪次內知道生成器順序所帶來的問題。後續的生成器可能有動機讓更早的迭代失敗，希望從而收集區塊獎勵。白皮書把這視爲一種激勵問題，而不是簡單假設參與者會誠實。選民會獲得單獨的獎勵，生成器的獎勵中有一部分取決於是否包含已知的投票，而且下一輪迭代的生成器會被排除在投票之外。此外，還有一個迭代次數的硬性上限，用來限制在同一輪中最多會存在多少個未來的生成器。讓我覺得有意思的是：共識設計中有相當一部分最終都在於防止有人從協議本身提供給他們的信息中獲益。排序可以是確定性的，但圍繞這種排序的行爲仍需要被管控。所以，也許問題並不在於排序抽籤是否公平，而在於它所揭示的信息是否仍可能被用來對抗流程？
@Dusk #dusk $DUSK
起初，我以爲“黃昏（Dusk）”的確定性排序抽籤主要是爲了讓委員會選拔更加公平。但我看得越多，越引起我注意的是：在同一輪次內知道生成器順序所帶來的問題。後續的生成器可能有動機讓更早的迭代失敗，希望從而收集區塊獎勵。白皮書把這視爲一種激勵問題，而不是簡單假設參與者會誠實。選民會獲得單獨的獎勵，生成器的獎勵中有一部分取決於是否包含已知的投票，而且下一輪迭代的生成器會被排除在投票之外。此外，還有一個迭代次數的硬性上限，用來限制在同一輪中最多會存在多少個未來的生成器。讓我覺得有意思的是：共識設計中有相當一部分最終都在於防止有人從協議本身提供給他們的信息中獲益。排序可以是確定性的，但圍繞這種排序的行爲仍需要被管控。所以，也許問題並不在於排序抽籤是否公平，而在於它所揭示的信息是否仍可能被用來對抗流程？
@Dusk #dusk $DUSK
44
14
315
登入以探索更多內容
加入幣安廣場中的全球加密貨幣用戶
⚡️ 獲取加密貨幣的最新和實用資訊。
💬 受到全球最大加密貨幣交易所的信任。
👍 發掘來自經過驗證創作者的真實見解。
電子郵件 / 電話號碼
熱門話題
美联储加息是否已成定局
479,635 次瀏覽
1,447 討論中
快問快答！參與發佈熱門話題贏流量
✨本期話題： 美聯儲利率決議發佈在即，加息已成定局？
👉參與方式：
發佈短文或是長文並帶主話題 #美联储加息是否已成定局
內容正文建議包含你對熱門話題的個人觀點或分析，如：
- 簡單聊下：8月核心CPI環比升0.3%，市場對本週加息25個基點的押注逼近九成，你認爲美聯儲會在本週宣佈加息麼？是一次加息還是多次加息的起點？
- 加息一旦落地，將如何影響BTC、科技股和黃金的後續走勢？你是看多還是看空？
- 你將如何調整你的交易/持倉策略？請使用曬單卡片曬出你的BTC、科技股、黃金交易/持倉。
⏰本期開放投稿時間：
- 2026年9月15日 19:00 - 2026年9月17日11:00 （東八區時間）
🎁活動獎勵：
- 流量扶持：符合活動要求且被評選上的優質內容，隨機獲得500 - 3000流量扶持激勵（最少發佈100字，按以上方向發佈的帖文被選上的機會更大哦, 獲得流量激勵的帖文作者將收到小祕書通知）
- 官方曝光：評選上的優質內容將有機會被官方賬號推薦
獲取內容發佈靈感，請參考話題頁#美联储加息是否已成定局 或廣場内容流量诊断清单
币安广场
·178 人按讚
·325.5k 次瀏覽
比特币跌至7.6万美元
100,832 次瀏覽
253 討論中
Strategy市值超越福特
27,650 次瀏覽
116 討論中