StarkNet 上的 Defi#
- 這個活動將討論 StarkNet 上的 DeFi 開發。
- 介紹來自 Hashtag、ZKX、Nostra 的代表和他們所代表的協議。
- Hashtag 是一種 ZK 原生貨幣市場互擔抵押物協議，可容納 3 倍抵押金。
- ZKX 是一家為專業特工提供複雜金融工具的交易平台。
- Nostra 構建一個流動性層，包括 Nostra 貨幣市場、未償付的穩定幣和 Stablecoin DEX。
- 不足抵押貸款是可以在區塊鏈上實現的，以用戶押金 100 美元為例，可通過讓用戶在平台上部分投資 230 來提供激勵。
- 涉及到 kyc 和信用評分檢查的機構也可以從 Maple 處獲取支持。
StarkNet 發布之路#
- 小組相繼討論了項目生命周期中技術上和社會上的各種挑戰，以及如何克服這些挑戰的辦法。
- Fresh Pizza 談到，在有可用的測試網絡時，可以嘗試各種創新，但是到了正式網絡，開發者們只能開發簡單的應用。
- 朱利安談到，外部障礙主要包括，創建基於快速變化的協議，以及如何利用標準和文檔等方法對技術進行可視化。
- 埃利亞斯表示，有些地區的發展並不是完全可預見的，社區工作者也需要參與項目的維護。
- Abdel 總結道，為了讓項目成功上線，開發者們需要做出一切可能的努力，以便讓項目可以安全且高效的上線。
Starknet 社區更新#
- Tom Brand 感到興奮並激動，每次參加 StarkNet 活動，他感受到這比他自己更大。
- 三個月前在里斯本定下的優先事項：提高性能（特別是吞吐量），發布 Cairo1.0 Alpha 2 和為無縫 Regenesis 進行進展。
- Cairo1.0 Alpha 2 在兩周前發布，不是最穩定的版本，但開發的速度相當快。
AirScript（Ploygon Miden）零知識 DSL 語言#
・AirScript 是一種用來描述 AIR 約束的 DSL
・AIR 約束是將計算轉換成代數式語句或多項式表達式來描述
・Stark 證明生成過程中會用到 AIR 約束
・AIR 約束可以分為邊界約束、有效性約束和轉換約束
・以斐波那契數列為例，邊界約束用來指定輸入和輸出，轉換約束用來描述一行中兩列之間的關係
・AirScript 用來編寫以上 AIR 約束
・AirScript 編寫約束更為方便，可以非常簡單有效地完成證明任務
Aztec 隱私鏈#
・Aztec，專門利用零知識證明實現端到端加密的區塊鏈交易。
・本演講重點探討如何使用零知識證明來實現隱私保護的可編程區塊鏈架構，而不使用非對稱加密。
・區塊鏈可被視作狀態機，可以接收交易輸入、遵循預先定義的規則來更新狀態。
・但是有了隱私的狀態時，不僅僅需要加密，也必須考慮擁有者的問題。
・要確保網絡能被開發者而非密碼學家編程，需要支持合約能夠調用其他合約並且不需要理解抽象層面的概念。
・他們正在使用 Merkle 樹來儲存加密狀態，但這還需要考慮到保護用戶信息和防止有人監控交易等問題。
・為此，他們認為結合零知識證明和現有的傳統智能合約編程語義是最佳選擇。
Homomorphic Encryption 隱私智能合約#
・由技術加密學家 Pascal 提出，當前在區塊鏈上普及的全公開特性可能帶來負面影響；
・霍霍默費爾（Homomorphic Encryption）是一種加密技術，可以在加密狀態下處理數據而無需解密；
・在 Zama，技術團隊正在利用這種技術在區塊鏈上發揮作用，以緩解負面影響；
・通過利用 FH，可以加密區塊鏈數據以及狀態，並且不會使其公開；
・此技術可以用於建立一個加密的市場進行數據處理，保護本質數據；
・其他新模式，例如身份識別、認證和不可見競拍，也可以通過 FH 輕松實現；
・此外，FH 還可以創建一些遊戲，如撲克、電子競拍，而這些都不可能在無 FH 的情況下實現。
Lookup Protocols#
- 查找協議是用於證明給定值位於某個範圍之內的技術。
- 傳統的查找協議需要消耗 n＋1 次約束，而最近的研究可以將消耗降低到 m＋N 次約束。
- 如果查找的次數與表的大小相等，那麼就可以將每一次查找的消耗降到 1 次約束。
- 用於實現這些查找的技術稱為 CachedQuotients。
- CachedQuotients 基於 KZG 多項式承諾模式，它需要一個設置階段，即根據一個隱藏的隨機數 X 生成一串群元素。
- 由此，這種技術可以在給定表格後，以最少的約束消耗檢查元素是否位於該表中。
- 這一連串研究是非常有趣的，並可能改變未來的查找協議。
Sandstorm Cairo 證明器 消費級#
・Sandstorm 是一種 Cairo 證明器，旨在在消費類設備上快速運行。
・Cairo Runner 可以接受一些 Cairo 源代碼，輸入信息並產生輸出，同時生成 memory.bin 和 trace.bin 文件。
・批准過程中，Cairo 批准者從這兩個文件中提取值並將它們提升到巨大的表格中，這稱為執行跟踪，並為 generating Stark proof 所必需。
・該表格中也加載了 memory.bin，然後定義一組約束來映射相應 correct state transition。
・該表格越垂直堆疊，越耗費時間，但證據越小。
・Sandstorm 將該表格和一組約束傳遞給 Stark Brewer，以生成證據。
・通過源代碼，可以驗證該表格及其約束是否符合 Cairo 程序的正確執行。