ENS 在 Starknet#
- Ethereum Name Service(ENS)是一種將字符名稱映射到以太坊地址的服務,以便更方便地發送以太坊代幣。
- ENS 還可以用來創建去中心化的網絡,用於放置 JPEG 圖像和 NFT,還可以使用 IPFS 的內容 hash 確保不受審查,可以把文本記錄放到 ENS 中,比如 Twitter 地址,NFT 信息,還可以把 ENS 看作 website 3.0 的用戶名。
- ENS 上的鎖定網絡允許用戶控制 ENS 名稱,將鎖定資金轉移到 StarkNet,從而為用戶提供跨鏈轉換的可能性。
- 通過智能合同,RGN ENS 允許用戶在 StarkNet 上擁有 ENS 名稱,包括他們的以太坊 ERC20 代幣,NFT 和其他類型的資產。
- 這對於智能合約開發者來說非常有用,因為他們現在可以將兩個以太坊網絡的資產連接起來。
- 這已經有助於降低了跨鏈事務的成本,以及提供安全的去中心化身份系統。
- 通過 ENS,開發者可以創建新網絡、新聯盟和更可擴展的去中心化應用。
座談會:區塊鏈,數據和報告#
- David Myhal 以數據探索區塊鏈而進入該領域,同時運營 Crypto fees 等網站。
Patrick McCory 是一名研究員,主要負責為 DOPS 和如 MetaMask 等錢包提供數據。
- Bartek 是 L2Beat 和 MakerDao 的研究員,並共同創立了數據分析公司 TokenFlow。
Larry Cermak 是 The Block 的 VP of Research,負責本次討論會的主持。
- 數據能夠揭開市場推廣等浮雲,以更深入的理解當下的區塊鏈情況。
- Adam Fiora 負責將區塊鏈數據轉換為用戶可理解的格式。
- 討論合約如何運作以及支持每筆交易所需的 gas 是重要內容。
- Alameda 背後存在的潛在風險以及數字貨幣黑客可能情況要求我們學會更好的閱讀鏈上數據,以提升數據基礎設施建設。
座談會:StarkWare 與企業財務的未來#
- David Levecki,CEO 和聯合創始人,引入真實的金融世界到區塊鏈,使用第二層,以實現數字貨幣 CBD 和現實世界資產項目,提高隱私性、降低成本和提高速度;
- I,開發公司 Applied Blockchain 的創始人和 CEO。他們於 2015 年成立,研發各種區塊鏈應用;前三年專注於企業,有 20 年的電信、銀行和保險工作經驗;之後三年投資於加密,如 NFT 市場、D5 協議、橋接協議、智能合約等;
- Louis,Starknets 和 Rebuilding Maker 成員,也是大金融企業的區塊鏈策略指導者;
- 將傳統的 panel 形式做出改變,促使台上的嘉賓擁有更強烈的觀點,彼此也可以進行討論;
- 第一個問題 “企業區塊鏈是否有效?”,如果把企業定義為用私密區塊鏈建立私有核心和私有局域網,比不上私用數據庫,不失有效;
- 允許觀眾提出問題,但問題要求簡短,主持人有權利拒絕或否決問題;
- 台上嘉賓均有高超的技術背景,他們認為 Starck Ware 能夠為區塊鏈發展提供很多可能性。
Sorare 卡片遊戲#
・Sorare 是一款擁有許可收藏品的虛擬遊戲,玩家可以直接從遊戲中購買或者交易使用 nfts;
・現在遊戲正在快速發展,每週活躍用戶超過 100 萬,每天有大約 3 萬張卡片可以交易,每週大約有 700 萬美元的交易;
・拍賣市場是英文拍賣的形式,價格的發現是由市場決定的,這也能夠符合許可協議,並且是一款好玩的遊戲;
・用戶對於拍賣市場的要求是快速響應,他們希望付款得到立即反饋;
・Sorare 使用 Starkx 進行遷移,2021 年進行了遷移;
・用戶可以在每週結束時得到獎勵,包括 nfts 以及實物獎勵,例如比賽門票、衣服以及特殊體驗;
・拍賣市場遊戲是一款策略性遊戲,最後一分鐘將很有懸念,同時也非常有趣。
Visa 談話#
- 戴維・恩格爾(David Engel)和 Cuy Sheffield 談論了 Visa 對 Web3 的興趣。
- Cuy Sheffield 是 Visa 的加密主管,他在 2015 年從 Trial Pay 獲得了 Visa 的收購,他對支付技術有著濃厚的興趣。
- Visa 視區塊鏈為全球,24/7 運營並且有權限的技術,他們希望成為網絡中的網絡,以滿足不同客戶移動價值的需求。
- 在 Visa 內部,區塊鏈被看作是一種機會,他們關注的是如何利用區塊鏈網絡,將其連接到現有產品,並在其上構建嶄新的品牌。
- Cuy Sheffield 說,他們在每週的過去幾年裡,一直努力了解區塊鏈知識。
- Visa 提供的解決方案可以改善消費者、商家和 B2B 之間的交易類型。
- Visa 內部的員工大多關注支付技術,他們被充滿激情地致力於將區塊鏈和支付技術相結合。
Cairo 1.0 嘗試#
・Cairo 1 是一種高級、圖靈完備的語言,用於創建可證明代碼
・Cairo 1 基於 Qazim,它增加了安全性和簡潔性
・這種語言與 Rust 非常相似
・Cairo 1 有用戶、常數、枚舉、函數、變量等
・Cairo 1 擁有與 Rust 非常相似的基本語法
・Cairo 1 添加了特徵,即使失敗,運行也可以被證明
通用 ZK 計算層 RISC ZERO#
・戴倫・雷得福(Brian Redford)在 StarkWare 上研發了新的區塊鏈 Bonsai 網絡,它可以用作通用的 ZK 計算加速器,可以讓應用開發者利用其創造力發揮到極致;
・第一個產品是 Stark 基 ZK VM,可以實現安全虛擬機且具有可靠的物理指令集;
・該平台可以被應用於浩斯蒙古(Matchbox 神盒遊戲)或是其他複雜的一類遊戲,例如:Doom;
・Bonsai 可以把全球狀態和包括 Starknet 在內的各個鏈上運行的編程語言結合在一起;
・Bonsai 可以提供各種證明程序,比如 Doom 的執行證明,這些證明可以被合併並通過默克爾樹來查找;
・通過 ZK 再歸納,可以把大量計算縮減到獨一無二、可以被智能合約參考的可驗證狀態路由上;
・Bonsai 致力於減少程序遞歸時間,使時間低於 1 秒,從而實現無限的可擴展性。
zkEVM 上下文中的遞歸 STARK Polygon ZKEVM#
・Jordan 是 Polygon ZK EVM 的技術負責人,今天將解釋如何聚合多個區塊到一個證明中
・原始的 ZK EVM 電路非常龐大,是一個使用 Deluxe Brain Field 的 Stark 電路
・輸入數據類似於區塊鏈,哈希值會形成鏈條,以區塊(端點)之間的證明為特徵
・為了將多個區塊聚合到證明中,需要用另一種電路(開發語言 circum)進行驗證
・這種電路是一個大約 2MB 的 Stark 電路,在引入一定的放大因素之後,它的寬度超過 1000 列
・該技術利用遞歸 STARK 證明將多個區塊聚合到一個小證明中,並將其驗證
・STARK 證明能夠將全球交易從每個區塊轉換為一個經過驗證的證明,從而使交易更加快速和有效。
FRI 的健全性#
- 首先說明了演示會涉及幾何學深度數學,然後重點關注 FRI proof 的可信度
- naive attack 就是替換原函數為 degree 小於特定點數的插值曲線,會受到每一次查詢會偏離設定點的概率(raw)的影響
- 最後一輪的防範則是為概率 1 的獨特的概率,以此和函數值比較,將其轉換為一個最大允許點
- naive attack 提供一個低估解決方案
- 其安全性估計由函數和指定曲線的擬合度決定
- 擬合度隨著查詢量的增加而下降
- 在實踐中,最有效的是達到查詢量大小的曲線。
FRIs 和其他美味佳餚#
- 首先說明了校驗計算的總體概念:將強大的計算機(即 “雲”)與弱勢的驗證者互相交互,希望將一些計算工作外包給雲端。
- 其次,介紹了幾個證明機制:顯示工作(需要做和處理者一樣多的工作),可隨機檢查的證明(要求可以通過少量的查詢幫助驗證者驗證工作),以及可接近的交互式 Oracle 證明(要求驗證者驗證工作時在線性時間內能得到正確答案)。
- 接著提到了幾種檢查多項式低度的協議,包括普通的 “FRI”、DEEP FRI、以及椭圆曲线 FRI。
- 本次演講的重點是討論將計算外包給雲端,如何確認這些計算是否正確。
- 提示:其中的主要解決方案是證明你的工作,同時提供一些提示,以便驗證者有能力通過少量的查詢進行驗證。
- 最後,指出了在線性時間內完成驗證工作是 IOPP 模型中應該達到的最終目標。
哈希函數的安全邊界#
- succinct arguments 是加密學上的計算完整性證明;
- 證明的組成由概率證明和加密提交組成,其中概率證明負責證明的計算,而加密提交則決定了證明的加密成本、抗量子性等品質特徵;
- 今天將重點討論概率證明加上哈希函數的安全性界限,著重在 PCPs 及其哈希函數上;
- 概率證明有 interactive、PCP、iota 等類型,能夠賦予 verifier 不同的權力,如多個 provers 同時互動權;
- 概率證明對 Oracle access 也劃分為 point query、polynomial query 和 linear query 等類型;
- starkware 使用的技術是 PCPs 加上哈希函數;
- 概率證明和加密提交的安全性決定了證明的安全性。
StarkTank:創業推介#
- 每次投資項目大概兩分半鐘,活動投資者可查看各投資項目有關信息,並及時反饋;
- Alliance 與投資項目領導共同分享,幫助投資者把握機會,建立起投資項目之間的橋樑;
- 由 Joey 擔任主持,向大家介紹這次創業峰會的主要內容;
- 投資項目發言時間不能超過 2 分半鐘,否則會隱匿進入下樓觀眾席;
- Jocelyn 加入會議,擔任 MC;
- 第一个投资项目是 Atlantis,是一个不透明,不流动,只提供给高净资产人士的中心化私人债券市场,市场容量高达 1.5 万亿美元。
- RedStone Oracle
- Giza 等等项目
如何不構建編譯器#
- Bob 想要為 Bob 語言構建一個編譯器
- 編譯器由語法分析器,類型檢查器和編譯器組成
- Bob 決定構建一個無法犯錯的分析器,永遠都會返回語法樹,並累積錯誤
- Bob 添加了語言服務器,以支持自動補全
- Bob 的編譯器變成了一個 API 庫,提供語法和類型信息
- 每當 Bob 使用自動補全時,他都需要等待幾分鐘
- Bob 構建了一個自動補全等功能完備的語言服務器,他非常高興