本次 Staking 之星對話行業領袖第 5 期迎來的大咖 —— CasperLsbs CEO Mrinal Manohar
Staking 之星對話行業領袖活動的目的是希望透過區塊鏈行業內不同角色，不同位置的行業領袖能夠從不同的角度給大家帶來思考。
AMA 分享回顧
主持人開場
張涵橋：大家好，我們今天邀請來的又是一位行業領袖，簡單介紹一下他的背景：Mrinal Manohar 他是 CasperLabs 的 CEO，他是擁有約 10 億美元的長期對沖基金的負責人，具體投資技術、媒體、電信等領域，還曾任波士頓貝恩資本的私募股權合夥人。他還擁有美國傳統名校卡內基梅隆的理學碩士學位。Mrinal 今天分享的主題是 Casper Labs 專案，一個完全去中心、真正可擴充套件的區塊鏈，我們熱烈歡迎。
嘉賓分享
Mrinal Manohar：歡迎大家！我很榮幸有機會談談我們的專案。我要感謝標準共識組織這次活動！
我是 Mrinal Manohar，CasperLabs 的創始人之一。我一直對程式設計很著迷，從 11 歲起就開始寫程式。這讓我最終學習了計算機專業，並於2007年從卡內基梅隆大學獲得了碩士學位。
我先後在甲骨文公司和微軟公司實習，但我的全職工作是從華爾街開始的。我在貝恩公司工作 2 年半，在貝恩資本工作了 2 年半，主要從事科技領域的私募股權投資，最後在一家 12 億美元的對沖基金擔任科技、媒體和電信部門主管 5 年。自 2017 年以來，我一直專注於區塊鏈。然而，我與去中心化計算的旅程始於 2002年，當時我為 BitTorrent 應用程式做出了開源貢獻。
我從 2012 年開始購買比特幣，併成為該領域的天使投資人，投資的專案包括預售的以太坊，Blockstack, Basis, Maker, Filecoin 等等。我對這個行業充滿熱情，我很高興能和一個優秀的團隊一起為這個行業帶來一些有趣的東西。
在我看來，大多數試圖規模化區塊鏈的嘗試都伴隨著不可接受的去中心化和安全的妥協。大多數PoS協議都選擇了集中化(限制驗證者、dPoS);或者有某種形式的許可。此外，它們有時具有具有不同許可權的不同驗證者層。這些都是為了規模而犧牲信任。區塊鏈的主要價值主張是一個真正分散的價值交換環境。某些協議利用了Optimistic 共識，它們一般不進行錯誤檢查或距安全閾值較低。
這些都是為了規模而犧牲信任和安全的例子。
我們認為，大規模採用區塊鏈面臨的問題主要歸結於 A.效能 B.安全性 C.價格和 D.工具。我們將在接下來的幻燈片中討論這些主題。
我們來先談談採用限制的問題。首先，專有程式語言的存在。程式設計師習慣用 Rust，Java，c++， Python 等等。要求程式設計師學習一門新的程式語言來使用區塊鏈會造成入門障礙。此外，價格飆升和協議升級的不確定性只會增加企業在其系統中使用區塊鏈的風險。這就是為什麼許多企業選擇使用私有鏈而不是公共鏈。但是，私有鏈並不安全，也違背了去中心化共識的全部目的。
我之前所說的區塊鏈缺乏大規模應用的原因與來自商界的反饋完全一致。上圖顯示了普華永道對 1000 多家公司進行的調查結果。
首先，企業表示，高成本和缺乏成本可預測性是區塊鏈沒有被採用的首要原因。
其次，由於專有程式語言和不熟悉的工具的存在，他們不知道如何輕鬆地開始使用區塊鏈。
第三，缺乏清晰的升級路徑。
前三個原因都是可修復的，並且在協議設計者的控制範圍內。我會分析每一個問題，並告知大家我們計劃如何解決。
左邊的圖表顯示，在過去 8 年裡，亞馬遜利用規模經濟的優勢，42 次降低 AWS 服務的價格。右邊的圖表顯示，區塊鏈基礎設施的情況正好相反;隨著以太坊的發展，它的使用成本越來越高。這與經濟體系中通常發生的情況相反。隨著需求的增加，向基於區塊鏈的應用程式新增容量變得更加困難。
這是規模問題的要點所在。對企業來說，採用區塊鏈風險太大，因為他們知道有可能採用峰時價格。
我們最初是透過將交易費用與法定匯率掛鉤來解決這一問題的。隨著時間的推移，我們的目標是繼續研究，並找到使價格可預測性更好的方法。
現在讓我們談談程式設計標準。左邊的圖表顯示，雖然 Solidity 是目前使用最多的智慧收縮語言，大約有 1 萬名開發人員，但這個數字遠遠小於 2600 萬名開發人員。
右邊的圖表顯示，Rust 在程式語言中擁有最高的支援率(來自 Stack overflows 調查，該調查有超過 90,000 個應答者)
這告訴我們，區塊鏈的成功需要迎合所有的開發人員，而這些開發人員已經明確表示了他們對廣泛使用和良好支援的程式語言的偏好。正是這種想法使我們完全接受了開放程式設計標準。我們已經完全支援 Rust 和 Assemblyscript，隨著時間的推移，我們(或社羣)可以支援任何編譯成 WASM 位元組碼的程式語言。這是我們幫助所有開發人員建立區塊鏈的方式，並消除了另一個進入障礙。
像 Salesforce 和微軟這樣被廣泛使用的平臺已經升級了好幾次。即使是像 Linux 這樣的開源專案，只要貢獻者分散，也能多次升級。
能夠升級的應用程式和平臺是必需的。圍繞協議分支的不確定性，加上不可更改的鏈上合約，給合約作者留下了如何支援其終端使用者的挑戰。企業必須為客戶提供 bug 修復和新特性。這意味著升級對他們來說很容易。因此，我們需要一個易於升級並確保向後相容的區塊鏈。那麼，我們做了哪些努力來實現這一點。
我們的平臺有三個關鍵的東西可以升級。
首先，抽象化。網際網路是一個很好的抽象化研究案例。在網際網路上建立的應用程式不需要了解網際網路是如何運作的;它只需要知道與它通訊的格式。即，在美國，網際網路並不關心應用程式的內容，只要通訊格式一致，它仍然可以為應用程式提供服務。同樣，我們也將設計的所有元件儘可能抽象化。
我給你們舉個例子。我們的 Casper 協議是高度抽象的一致協議，因為它的行為不依賴於區塊的內容。因此，可以更有效地升級它，同時確保向後相容。我們將同樣的方法引入到我們的執行引擎和構建的其他核心元件中。
其次，模組化。我們系統的每個部分都是單獨編碼的。因此，如果我們需要升級執行引擎，我們不需要升級編譯器或一致方法。透過以高度模組化的方式構建，我們可以升級單個元件，而不需要進行復雜的系統範圍內的徹底檢修。
最後，我們希望實現基於智慧合約的升級。換句話說，升級可以作為一個智慧合約來部署。一旦驗證者(以確保權力下放)達成共識，它就會以自動化的方式應用。這將使這個過程看起來比我們今天的簡單得多。升級就像你現在使用的行動電話和個人電腦一樣簡單。
這真的很重要，因為技術總是在進化。
在下一組幻燈片中，我們將探索一些更深層次的技術和架構特性，這些特性有助於使 CasperLabs 成為真正的「構建者的區塊鏈」。
區塊鏈最大的價值在於它的安全性，我們在交付時不會妥協。我們不會為了效能而犧牲安全性。
構建者需要一些基本的特性，以及一組易於開發的工具和標準。此外，使用者需要得到隨著技術的發展，平臺將繼續滿足他們的需求這樣的保證。
該圖表總結了平臺能夠被主流採用的關鍵因素。我們已經介紹了其中一些內容。接下來的幾張幻燈片將主要探討我們的共識演算法如何工作，從而在保持完全去中心化的同時提供速度和效率。
CBC-Casper 是脫胎於以太坊研究的 PoS 協議，此後我們進行了大幅擴充套件（稍後會詳細介紹）。具有以下特點：全面的故障檢測，可以識別和限制不良行為高度抽象的，因此是未來的證明。此外，僅在最重的區塊上達成共識，而不是在交易順序上達成共識。這將啟用併發和分片。
無需加入網路即可獲得增加的許可權能源效率是純粹的 PoS 證明。那就是消除了 PoW 浪費在生成雜湊上的 90％以上的計算禁止進行歸還，因此具有很高的安全性。
Casper 及其變體試圖展示經典的中本聰共識的安全性，但具有更高的效率和一些根本性的變化。重要的是要從中本聰共識中的堅實基礎開始，然後將其擴充套件得更好。這些在上面的幻燈片中都已列出，但是，我想談一談這種設計的重要含義。
CBC Casper2017 年的研究論文準確來說並不是一個完整的協議。它提供了安全證明，完成客戶端屬性和分叉選擇規則。完整的協議必須有效且安全才能生效。活躍意味著協議總是在鏈的下一個末端達成共識，而安全則指不可逆的決策。
我們在 2018 年 11 月至 2019 年 9 月之間進行了深入研究，以建立「Highway」，這是我們對 CBC-Casper 協議的擴充套件。Highway 協議是 CBC Casper 的第一個可證明是實時且安全的實現。公路協議與 Casper FFG 的不同之處還在於，它完全消除了 PoW。
這是一個技術上比較繁重的話題。以下幻燈片將佈局實現此目標的核心設計原則。我建議閱讀數學論文@
https://github.com/CasperLabs/highway/releases/download/v1.0/highway.pdf
瞭解更多詳細資訊。
讓我們討論一些關鍵詞來解釋其工作原理。這些關鍵詞是
刻度
每毫秒是一個刻度
每個刻度線都分配了一個領導者（驗證者之一）
回合
一回合持續2 ^ n個刻度（對於n點，我們將回到此步）
分配給每個回合的第一個刻度的領導者是回合領導者
在驗證程式中，如果滿足以下條件，則v將建立一個塊：
他們是這一回合的領導者，在這一回合還沒有產生任何阻礙
他們不是回合領袖，但已經收到了回合領袖的封鎖
這是整個回合的⅔（無論是否已經產生一個區塊）
這張幻燈片顯示瞭如何在實際中工作的實際示例。
您可以在此處觀察到類似扼流點的內容。這是領導者同步網路的一個示例。如果一個節點連續兩輪未傳送訊息，則網路將忽略該節點（假設正在發起活動攻擊）
您也可以在這裡觀察峰會，以及每一輪的協議層次
這來自我們的實時區塊瀏覽器，今天可以進行測試
這張幻燈片顯示瞭如何在實際中工作的實際示例。您可以在此處觀察到類似扼流點的內容。這是領導者同步網路的一個示例。如果一個節點連續兩輪未傳送訊息，則網路將忽略該節點（假設正在發起活動攻擊），您也可以在這裡觀察峰會，以及每一輪的協議層次。這來自我們的實時區塊瀏覽器，今天可以進行測試。
讓我們研究一下此設計的另一項功能，該功能有助於顯著降低孤立率，從而減少廢棄交易。對於應用程式開發人員，我們認為孤立是一個真正的問題。當交易成為孤立交易時，它無法處理，必須重新提交給區塊鏈。在這裡，您可以看到多個父節點，其中一個節點同時處理了 3 個塊，然後建立了一個新的塊，其中所有這 3 個塊均作為其父節點。在序列區塊鏈中，這 3 個區塊中的 2 個必定需要孤立，但在 CL 鏈中，我們可以包含它們並最終完成這些交易。固有地併發有助於此。
首先，我們提供具有 VM 執行時環境的完整 SDK，並帶有測試框架。這意味著開發人員可以使用自己選擇的 IDE，並在其 Continuous Integration 環境中輕鬆執行其合約。
其次，我們的帳戶管理支援帳戶恢復以及易於理解的名稱。我將在下一張幻燈片中介紹一些關鍵帳戶管理功能的更多詳細資訊。
最後，合約可以用 Rust 或 AssemblyScript 編寫，隨著時間的推移，可以使用任何 WebAssembly 相容語言編寫。這意味著約 95％以上的開發人員無需培訓或只需很少的培訓即可編寫區塊鏈應用程式。
我們還在研究的一個獨特特性是如何處理使用該系統的付款。鑑於智慧合約語言已經圖靈完備，我們認為使支付系統可程式設計並且圖靈完整是有意義的。
這將允許簡單而強大的交易結構，使企業能夠滿足複雜的付款要求。
這已被最終客戶確定為一個巨大的痛點。這將在建立系統方面帶來很多創新。例如，可以建立特殊的支付功能，例如推薦獎金，借記卡和其他有趣的支付方式。您還可以建立有趣的債務形式。
這使企業可以根據需要更改合同的付款方式。
現在，我們將介紹如何透過新增加權金鑰來擴充套件多重簽名。本質上，我們可以為多重簽名系統的每個金鑰分配權重。然後指定執行特定操作所需的自定義權重。例如，當一家公司想要轉讓大量代幣時，他們可能以至少一些高階主管批准的方式分配這些權重。但對於較小的轉帳，可能只需要最少的籤核。
這創造了一套全面的可能性。從理論上講，您可以使用我們的平臺在鏈上進行全面的股東代理投票，這在其他任何地方都是不可能的。該概念可以擴充套件到諸如對合約和部署的授權之類的事情。鑑於該系統是完全可程式設計的並且圖靈完整的，則可以始終透過程式碼來更新規則。
我們已經按時交付了 14 個版本，第 15 個版本即將釋出。我們將在接下來的一週左右推出 alpha 測試網，並在 2020 年第二或第三季度過渡到成熟的激勵測試網。我們擁有一個由 27 個人組成的龐大且極具天賦的工程和研究團隊，他們為了交付一個強大的系統付出了極大的努力。
我們很幸運擁有一個世界級的工程團隊，他們為世界上一些最大的平臺合作伙伴工作。此外，我們有幾個行業合作伙伴，如（韓國）現代，和其他幾個目前是保密的，但期待在未來的公告。
我們很幸運地獲得了成功的A輪融資，得到了非常有聲望的投資者的支援，他們中許多人來自傳統投資領域。在A輪融資中，我們沒有出售任何代幣，而是選擇了一輪純粹的股權融資。
這是我們 34 人全職團隊的部分成員。但是，如果沒有合作伙伴和顧問的大力幫助和支援，我們將永遠無法做出這些決定。我們有超過 45 位顧問，他們擁有數十年的經驗。我們非常依賴他們的意見，以確保我們始終將最好的產品推向市場。我們非常感謝他們的所有投入。
主持人提問
張涵橋：Ethereum 將使用 Casper 協議來擴大容量，預計將在 7 月左右上線。與 Ethereum 2.0 相比，CasperLabs 專案有什麼優勢?
Mrinal Manohar：相比之下，CasperLabs Highway 協議根本沒有使用 PoW。能夠更頻繁地提供區塊。此外，我們的協議支援區塊鏈級別的併發性，以及部分同步——這意味著我們的孤塊率比PoW低得多，這使我們能夠擁有更大的區塊大小。同樣，這可以提高整個系統的吞吐量。CasperLabs 正在構建的不僅僅是 Ethereum 2.0，而是 Ethereum 3.0。一個純 PoS 的 CBC Casper 協議與線上智慧合約。我們預計今年上線。
此外，我們還採取了一些重要的舉措，我們對開發者非常友好。正如我在演講中所提到的，我們支援開放標準以及透過 WebAssembly 支援所有主要程式語言的能力。從 Solidity 轉向類似於我們的架構在 Ethereum 的路線圖上，但是具體的時間是不確定的。這與我們對世界範圍內的開發者的承諾相結合，使用區塊鏈的可預測定價以及固有的升級能力讓 CasperLabs 的產品獨一無二。
張涵橋：眾所周知，Casper 協議作為區塊鏈領域中一個特別創新的共識機制，是非常難以發展的。我們不如談談商業或應用方面，例如與 HDAC 的合作?
Mrinal Manohar：是的，建立一個可實現的 Casper 版本，同時也可以證明是實時的(例如，我們可以從數學上證明，這個系統最終總會達成一致)一直是一個重要的研究重點。我們非常幸運地擁有著名的數學家凱恩博士。他的簡歷可以在這裡找到：
https://en.wikipedia.org/wiki/Daniel_Kane_(數學家)
幫助我們建立一個實時證明的協議規範。
數學證明可以在這裡找到:
https://github.com/CasperLabs/highway/releases/download/v1.0/highway.pdf。
它技術含量很高，但絕對值得一讀。
我們從企業那裡得到的反饋非常積極。我們的團隊擁有大型 SaaS 公司的專業軟體工程背景，瞭解軟體公司在技術平臺上的需求。我們平臺上的許多功能都是基於企業的直接反饋以及團隊積累的知識而建立的。在我們與 HDAC 的合作中，我們正在使用 PoS 演算法開發新的區塊鏈技術。有幾個案例，包括供應鏈管理，我們很高興與這樣一個受人尊敬和前瞻性的工業集團合作。
我們也已開始與其他幾個公司進行對話，但目前仍處於保密狀態，但我們會適時宣佈這些訊息。
張涵橋：我們都知道公共區塊鏈的成功在於開發者的生態系統。CasperLabs 計劃如何吸引更多的開發者參與到它的生態系統建設中來?
Mrinal Manohar：我們希望為所有開發者提供更多的機會。我們正在與幾個關鍵的利益相關者密切合作，為開發者建立一個他們自己執行的去中心化的組織，此外還在平臺中構建重要的特性，幫助開發者使用區塊鏈技術。
具體來說，我們有一個三步走的戰略來真正幫助推動採用。首先，我們在企業應用方面有很大的興趣。我們已經和現代汽車進行談判，但我們與其他幾家大公司的合作已經進入後期階段。當我們在保密協議下，直到我們推出這些產品，我們才可以談論一些具體的案例，比如 a) 藝術家和詞曲作者版權管理 b) 專利管理 c) 醫療記錄和臨床研究 d) 兼職就業和勞動力管理。我們非常幸運，在這些領域有一群非常有遠見的合作伙伴，我們會盡快釋出合作公告。
其次，我們與世界領先的加速器合作，如「plug and play」(一個早期投資者和企業創新平臺)，以及瑞士的 CVVC。我們對開放標準和多種程式語言的使這些夥伴關係更加真實。這些加速器通常會避免使用那些不支援開放和開發者友好標準的平臺。
第三，我們正在與幾家軟體開發公司合作。他們與埃森哲(Accenture)、德勤(Deloitte)等公司類似，可以轉售和安裝定製軟體，以滿足客戶的需求。作為A輪融資的一部分，我們有幸擁有幾家這樣的公司，並正在發展持久的合作伙伴關係。
總之，所有這些都是可能的，因為我們已經完全接受了開源和開放程式設計標準。我們做出了艱難而昂貴的選擇，以確保開放獲取和參與是我們平臺的核心。如果沒有這些關鍵的架構決策，我們將無法建立一個支援大規模採用的環境。
張涵橋：您能分享一些關於 CasperLabs 的代幣經濟和驗證節點的資訊嗎?
Mrinal Manohar：這是一個很好的問題。讓我們首先討論代幣的分配情況。
在某些情況下，我們嚴格避免了代幣的真正集中。這就是我們在首輪融資 1450 萬美元時沒有賣出一枚代幣的原因；甚至在最初階段就在 60 多個出資人那裡籌集了資金。我們認為代幣去中心化是非常重要的，畢竟這是區塊鏈技術的承諾。
因此，我們堅持確保在我們開始時沒有任何個人或實體擁有超過 1%的代幣。看到克雷格·賴特(Craig Wright)博士的情況，以及比特幣的巨鯨們，會明白這為什麼會成為一個問題。
因此，代幣的具體分發如下：
該團隊只保留了 8%的代幣。考慮到這是由 40 多個個人分享的，在個人層面上有非常有限的集中，它在 3 年的兌現時間表上釋放。
我們為開發者和社羣提供了 16%的獎勵。這將是一個類似於亞馬遜 AWS 的積分系統的組合，以幫助企業在網路上構建，並激勵開發者幫助升級和擴充該系統。我們希望這是透過一個開發者資料訪問物件，這個我們正在構建的過程中，並將在主網啟動時完成。我們的想法是至少在 5 年內部署它。
我們已經為顧問和戰略伙伴分配了 6%。這將類似於開發者和社羣的激勵，並將在長期內進行分配。
只有 10%的代幣將由 CasperLabs network 持有;任何和所有的發行將與公開發行相稱。
剩下的 60%將透過我們的交易所節點輪發行(EVO)和正在進行的公共銷售向公眾分發。
對於問題的第二部分，驗證節點將獲得如下獎勵。
Staking 獎勵:
CasperLabs 協議的目標是在釋出後的第一年實現 15%的質押收益率，在未來幾年 CLX 發行完成後降低到 6-7%。得出的質押收益率將使用以下公式計算:質押收益率=鑄幣稅*(質押量/總供應量)，並且將是低個位數。這意味著掛在 CasperLabs 網路上的 CLX 代幣將為代幣持有者生成被動收益，以換取參與各種協商一致機制。
交易費用獎勵:
CasperLabs 驗證節點將根據在網路上收取的交易費用獲得代幣獎勵。
所有三種型別的驗證節點代幣獎勵將在驗證結束時支付到一個單獨的獎勵錢包地址，該地址需要在創世區塊生成之前提供。獎勵是根據兩個不同的(「短期」和「長期」)標準以及平臺上的整體活躍度條件與所提議的區塊的最終確定相關聯的。
觀眾提問
觀眾提問：這個幣總共發行多少，團隊和社羣的幣，怎麼釋放？
Mrinal Manohar：我們沒有出售任何代幣作為初始資金。我們透過純股權融資 1450 萬美元。
只有 8%給團隊，3 年以上兌現
16%用於鼓勵社羣和開發者在幾年內進行分配
6%給顧問團隊
10%給公司
剩下的 60%將透過驗證節點和其他銷售方式出售給公眾。我們將在適當的時候圍繞這些發表宣告。
總供應量是 100 億，我們在啟動主網之前不會發售代幣，那意味著我們不做 ERC20。
觀眾提問：會有空投嗎？
Mrinal Manohar：由於最近的規定，空投在許多司法管轄區(包括我們所在的瑞士)被視為不符合規定，因此，除非法律改變，否則我們將無法進行空投。但是我們為開發者和社羣提供了 16%的獎勵，我們有一定的靈活性來獎勵那些為網路和社羣做出貢獻的人。
觀眾提問：之後的市場，哪個共識演算法會成為重點呢？
Mrinal Manohar：我們將繼續擴大和升級「highway協議」，這是我們可證明的實時版本的 CBC Casper。我們希望保留純粹的去中心化和非許可制度（即公鏈）。
