- 話題
35k 熱度
914 熱度
7k 熱度
527 熱度
3k 熱度
29k 熱度
15k 熱度
21k 熱度
3k 熱度
2k 熱度
- 置頂
- 加密現在已經不是選配，而是標配了。
- 🎉【Gate 3000萬紀念】曬出我的Gate時刻，解鎖限量好禮！
Gate用戶突破3000萬！這不僅是數字，更是我們共同的故事。
還記得第一次開通帳號的激動，搶購成功的喜悅，或陪伴你的Gate週邊嗎？
📸 參與 #我的Gate时刻# ，在Gate廣場曬出你的故事，一起見證下一個3000萬！
✅ 參與方式：
1️⃣ 帶話題 #我的Gate时刻# ，發布包含Gate元素的照片或視頻
2️⃣ 搭配你的Gate故事、祝福或感言更佳
3️⃣ 分享至Twitter（X）可參與瀏覽量前10額外獎勵
推特回鏈請填表單：https://www.gate.com/questionnaire/6872
🎁 獨家獎勵：
🏆 創意大獎（3名）：Gate × F1紅牛聯名賽車模型一輛
👕 共創紀念獎（10名）: 國際米蘭同款球員衛衣
🥇 參與獎（50名）：Gate 品牌抱枕
📣 分享獎（10名）：Twitter前10瀏覽量，送Gate × 國米小夜燈！
*海外用戶紅牛聯名賽車折合爲 $200 合約體驗券，國米同款球衣折合爲 $50 合約體驗券，國米小夜燈折合爲 $30 合約體驗券，品牌抱枕折合爲 $20 合約體驗券發放
🧠 創意提示：不限元素內容風格，曬圖帶有如Gate logo、Gate色彩、週邊產品、GT圖案、活動紀念品、活動現場圖等均可參與！
活動截止於7月25日 24:00 UTC+8
3
- 📢 #Gate观点任务# 第一期精彩啓程！調研 Palio (PAL) 項目，在Gate廣場發布您的看法觀點，瓜分 $300 PAL！
💰️ 選取15名優質發帖用戶，每人輕鬆贏取 $20 PAL！
👉 參與方式：
1. 調研$PAL項目，發表你對項目的見解。
2. 帶上$PAL交易連結。
3. 推廣$PAL生態周系列活動：
爲慶祝PAL上線Gate交易，平台特推出HODLer Airdrop、CandyDrop、VIP Airdrop、Alpha及餘幣寶等多項PAL專屬活動，回饋廣大用戶。請在帖文中積極宣傳本次系列活動，詳情：https://www.gate.com/announcements/article/45976
建議項目調研的主題：
🔹 Palio 是什麼？
🔹 $PAL 代幣經濟模型如何運作？
🔹 如何參與 $PAL生態周系列活動？
您可以選擇以上一個或多個方向發表看法，也可以跳出框架，分享主題以外的獨到見解。
注意：帖子不得包含除 #Gate观点任务# 和 #PAL# 之外的其他標籤，並確保你的帖子至少有 60 字，並獲得至少 3 個點讚，否則將無法獲得獎勵。
⚠️ 重復內容的帖子將不會被選取，請分享屬於你獨特的觀點。
⏰ 活動時間：截止至 2025年7月11日 24:00（UTC+8）
- 📢 #Gate广场征文活动第一期# 正式啓動！
分享你對 CROSS 項目的獨特觀點， $500 等值 CROSS 獎勵等你來贏！
💰 獎勵：
一等獎（1名）： $150 等值 CROSS
二等獎（3名）： 每人 $50 等值 CROSS
三等獎（10名）： 每人 $20 等值 CROSS
👉 參與方式：
1.在 Gate廣場發布你對 CROSS 項目的獨到見解貼文
2.在貼文中添加標籤： #Gate广场征文活动第一期# ，貼文字數不低於300字
3.將你的文章或觀點同步到X，加上標籤：Gate Square 和 CROSS
4.徵文內容涵蓋但不限於以下創作方向：
CROSS 項目概述：作爲鏈遊領域的專屬公鏈，它帶來了哪些創新？
解析 CROSS 的模塊化基礎設施，如何推動鏈遊開發？
CROSS 的代幣經濟模型：如何實現長期價值？
玩家/開發者如何看待 CROSS 的使用體驗？
參與 Gate 的 Gate Alpha CROSS 活動：交易體驗和 Alpha 積分機制如何幫助用戶？
你也可以選擇其他方向，提出獨到見解。
⚠️ 活動要求：
原創內容，至少 300 字
必須使用標籤： #Gate广场征文活动第一期#
每篇文章必須獲得 至少3個點讚，否則無法獲得獎勵
鼓勵圖文並茂、深度分析，觀點獨到。
⏰ 活動時間：2025年7月7日 17:00 - 2025年7月11日 23:59
Binius STARKs: 深入剖析新一代高效零知識證明技術
Binius STARKs原理解析及優化思考
1. 引言
STARKs效率低下的一個主要原因是實際程序中的大多數數值都較小，但爲了確保基於Merkle樹證明的安全性，使用Reed-Solomon編碼對數據進行擴展時，許多額外的冗餘值會佔據整個域。爲解決該問題，降低域的大小成爲了關鍵策略。
第1代STARKs編碼位寬爲252bit，第2代爲64bit，第3代爲32bit，但32bit編碼位寬仍然存在大量的浪費空間。相較而言，二進制域允許直接對位進行操作，編碼緊湊高效而無任意浪費空間，即第4代STARKs。
Binius所使用的二進制域，需完全依賴擴域來保證其安全性和實際可用性。大多數Prover計算中涉及的多項式無需進入擴域，而只需在基域下操作，從而在小域中實現了高效率。然而，隨機點檢查和FRI計算仍需深入到更大的擴域中，以確保所需的安全性。
Binius提出了一種創新的解決方案:首先，使用多變量（具體是多線性）多項式代替單變量多項式，通過其在"超立方體"（hypercubes）上的取值來表示整個計算軌跡；其次，由於超立方體每個維度的長度均爲2，因此無法像STARKs那樣進行標準的Reed-Solomon擴展，但可以將超立方體視爲方形（square），基於該方形進行Reed-Solomon擴展。
2. 原理解析
Binius包括五項關鍵技術:
2.1 有限域:基於towers of binary fields的算術化
塔式二進制域的優勢:
二進制域優勢:
2.2 PIOP:改編版HyperPlonk Product和PermutationCheck
Binius PIOP核心檢查機制:
Binius對HyperPlonk的改進:
2.3 PIOP:新的multilinear shift argument
關鍵方法:
2.4 PIOP:改編版Lasso lookup argument
Lasso協議組成:
Binius對Lasso的改編:
2.5 PCS:改編版Brakedown PCS
核心思想:packing
兩種基於二進制域的Brakedown多項式承諾方案:
主要技術:
3. 優化思考
四個關鍵優化點:
3.1 GKR-based PIOP:基於GKR的二進制域乘法
相比Binius lookup方案的優勢:
3.2 ZeroCheck PIOP優化:Prover與Verifier計算開銷權衡
優化方法:
3.3 Sumcheck PIOP優化:基於小域的Sumcheck協議
關鍵點:
3.4 PCS優化:FRI-Binius降低Binius proof size
FRI-Binius四個創新:
FRI-Binius PCS過程:
4. 小結
Binius的價值主張:
FRI-Binius方案:
當前進展: