Veritas 安全公司#
- 2022 年被宣布為有史以來最大的黑客活動年份,攻擊者攻擊了不同的生態系統;
- 芬里森安全公司提供最先進的區塊鏈安全服務;
- 為了防止攻擊,需要在開羅合約中發現和修復漏洞;
- 芬力安全提供 V 規範語言,以確定區塊鏈交易的狀態;
- Magi 是一個正式的驗證器,用於證明 Cairo 代碼的正確性;
- Orca 是一個用來檢測 Solidity 和 Cairo 合約漏洞的模糊測試框架;
- 芬里森安全公司提供的服務可以幫助 Cairo 程式設計師安全檢測他們的智能合約。
碳排放市場
・點擊 Guillaume 的視頻,探討區塊鏈是如何解決碳匯市場面臨的壓力的。
・隨著法律的支持,市場蓬勃發展,購買碳信用即等同於購買一噸二氧化碳的消除結果,目前的市場預計將達到 500 億美元。
・實現真正的碳中和仍然存在一些問題,例如缺乏可訪問性,綠色洗滌和缺乏工具以進行投資和管理投資。
・Carbonable 正在創建一個可以任何人使用的碳匯終極工具,允許個人和企業都可以參與到對抗氣候變化的偉大使命中。
・Guillaume 提出了投資現在的想法,因為未來的碳匯物價將會有劇烈波動,投資現在可以節省更多費用。
・Carbonable 將構建出更加可訪問性應用並且解決由綠色洗滌以及管理投資帶來問題
・他們試圖成為碳減排行動中的領導者,成為人們可以參與環保活動的完美平台。
Starknet 的索引 graph
・Jonathan Lei 是 zklend 的聯合創始人兼首席執行官,開發了一個基於 StarkNet 的 Rust SDK。
・存在幾個難題,包括處理鏈折疊;受限的可編程性;另外也有新的基礎設施要管理。
・The Graph 通過使用統一的遵守 GraphQL 標準的 API 和一個通用的、高性能的運行時環境,來解決這些問題。
・用戶可以通過應用發送交易給智能合約;智能合約將產生事件,被 Graph Node 接收,查詢對應的索引邏輯,並被執行。
・應用通過 GraphQL API 向 Graph Node 獲取數據。
・可以使用任何編譯為 WASM 的語言來編寫索引邏輯。
・The Graph 減少了單點故障的風險,實現了可編程性和數據查詢的高性能化。
shutter Network,L2 的 MEV
- shutter 網絡提供的前所未有的解決方案,以應對包括公共區塊鏈上市場的前瞻性和審查制度在內的威脅。
- shutter 正在嘗試將虛擬加密注入基礎層中立性,以對抗抢先交易和審查。
- 他們使用加密技術來在用戶層面加密交易,並讓區塊生產者簽署和確認交易的包含和順序,而這些交易仍然是加密的,區塊生產者甚至看不清交易中包含的內容,這樣他們也就無法審查和前瞻了。
- 他們的目標是防止惡意移動,這通常會與前瞻行為有關。
- 他們希望將基礎層中性借助虛擬加密來改善質量,以防止前瞻和審查制度。
- Shadow 是一種模塊化的 L2 部分,L2 或側鏈可以將其作為插件使用,以增強抗前瞻和審查的能力。
- 他們還認為一些清算處理屬於正常的 Mev,但他們更加關注的是防止惡意的 Mev 發生。
ECNTT 算法 ingonyama
- ingonyama 公司在零知識計算性能提升方面的硬件基礎結構。
- 舊的 MSM 和 NTT 算法已經有著許多實現,現在正在嘗試一種新的叫做 ECNTT 的變種。
- ECNTT 的基本操作是橢圓曲線加法,而不是模乘法。計算量更大,但可預計算。
- Elio 的區塊鏈應用是 ECNTT 的一個例子,它允許隱私用戶對私人數據進行操作。
- 在硬件上實現 ECNTT 帶來的挑戰,因為它增加了基本計算單元和訪問內存的複雜性。
- 未來可能會出現一些 ECNTT 的硬件實現。
Stark 與傳統機構金融結合
・Dave Engel 是 StarkWare 的商業發展總監,他將討論 StarkWare 和機構金融的未來。
・機構金融是否需要區塊鏈?引用 JP Morgan 摩根銀行行長 Jamie Dimon 的話來說,加密貨幣沒有內在價值,但區塊鏈是真實的。
・目前市場上看到的機構金融中使用區塊鏈的例子有哪些?
・Starkex 是 Starkware 最受歡迎的平台之一,它可以為機構金融提供未來作用。
・我們正在採用 Starkware 技術,以作為機構金融基礎設施的支柱,從而實現可擴展性,可見性和彈性。
Visa 在 starknet 上建立了一個支付 POC,所以希望你們所有人都來看 Kai 昨天的演講,這可能是最深入的技術 Visa 創造了一個在 starknet 上使用帳戶阻塞的定期付款 POC。
・Starkware 的最終目標是連接和尊重複雜的企業客戶,機器和金融領域,以便創造強大的可擴展財務鏈條。