作者：扎克-赫斯， Zack Hess
Zack Hess #
阿爾戈蘭評論 #
Algorand是一個PoS區塊鏈共識協議。以下是描述其設計的論文https://algorandcom.cdn.prismic.io/algorandcom%2Fece77f38-75b3-44de-bc7f-805f0e53a8d9_theoretical.pdf
我曾試圖證明股權證明是不可能的 權益證明
因此，本文的目標是利用我所學到的關於PoS的知識，看看Algorand是否是我的結論的一個反例，或者我是否能證明Algorand是不安全的。
阿爾戈蘭的論文中的一些引文 #
“Algorand可以就應付一個非常強大的對手（他可以在任何時候瞬間腐蝕他想要的任何用戶），只要在一個無許可的環境中，系統中2/3的錢屬於誠實的用戶。”
“PKr：在r-1輪結束時和r輪開始時的公鑰集。”
“誠實的大多數用戶的假設。每個PKr中的2/3以上的用戶是誠實的”。
根據白皮書的這些引文，似乎攻擊者只需要說服1/3以上的資金持有者參與他的攻擊。
因此，如果我們能證明有可能廉價地賄賂超過1/3的資金持有者來參與攻擊，那麼這意味着Algorand是不安全的。
但是，我們要走得更遠。我們將試圖證明，賄賂>2/3的資金持有者是很便宜的。這樣一來，攻擊者不僅僅是導致Algorand凍結，攻擊者可以改變定義Algorand的任何規則。他們可以偷任何錢。他們可以把它換成PoW區塊鏈。
賄賂很便宜。 #
賄賂用戶參與攻擊是非常便宜的。
讓我們用一個2x2的博弈論廣場來計算到底需要多大的賄賂才能摧毀一個像Algorand這樣的區塊鏈。
B = 賄賂
R = 阻止
D = 攻擊成功造成的傷害
P = 攻擊成功的可能性有多大，如果你參與
結果： 成功 失敗
你攻擊: B+R-(D*P) B+R
你不攻擊: R R
由於B>0，我們知道B+R>R。
爲了知道我們需要多大的賄賂才能使攻擊成功，我們需要計算B，使B+R-(D*P)>R->B>(D*P)。
因此，如果我願意支付比D*P更大的賄賂，那麼他們應該願意參與審查攻擊。
因此，讓我們插入一些數字來估計這次攻擊的成本。10億用戶擁有大約相等的股份。市值爲1萬億美元。
讓我們假設這是一個最壞的情況下的攻擊，所以它將破壞區塊鏈上100%的價值。
讓我們估計P=1/（用戶數）。
賄賂總額=D*P=（10億美元）*（1/（10億驗證者））。*（2/3的驗證者）=666美元。
因此，總成本爲666美元的賄賂，可以摧毀一個1美元的四億區塊鏈。
軟分叉 #
軟分叉是一種更新區塊鏈的方式，不會破壞任何現有規則。它只是增加了新的規則來審查以前被認爲有效的某些種類的區塊。
對共識機制規則的任何改變都可以用軟分叉來完成。所以軟分叉攻擊是非常危險的。他們可以重新分配資金，或改變區塊鏈使用PoW的安全，或任何他們想要的東西。
攻擊 #
攻擊者會發佈一個替代版本的algorand軟件，向任何使用新軟件參與賭注的人支付額外的獎勵。 一旦超過2/3的資金持有者使用新版本的軟件，那麼軟分叉就會激活，就不可能再做我們都同意審查的舊版本的txs。
Algorand - Onurerkinsucu | Bitses #
- 研究員。 Onur Erkin Sucu
- 分數：0
- 日期。 2018年6月23日
分析報告 #
- 創始人是Silvio Micali（圖靈獎得主科學家。）
- 團隊由許多博士組成，大部分來自麻省理工學院，其餘來自斯坦福大學、伯克利大學、布朗大學等。
- Alessandro Chiesa（starkware的創始人）（zk-proofs的專家）是顧問。
- 納瓦爾-拉維坎特（metastable capital的創始人）是顧問。
- 總體而言，全明星團隊和顧問。
- 全面和技術性的WP。
- 解決了可擴展性問題，但並不清楚哪種協議會在最後獲勝。
- 種子輪時從Pillar和Union Square Ventures獲得了400萬美元的資金。
- 沒有關於ICO的信息，可能不可能作爲普通投資者獲得分配。
- 他們正在爲10%的代幣籌集5000萬美金。
- 200萬美元是最低投資額（需要覈實）。
- 目前沒有炒作
我關注的問題。哪種協議會贏？(Avalanche, algorand等)5億美元的估值有點過高。最低投資額太高，他們只想讓鯨魚投資。
總結 #
他們可以解決可擴展性問題，並在與其他協議的競爭中獲勝，但現在的成功率還不清楚，而且估值太高，所以在這個階段投資風險太大，不可能（最低200萬美元）。