- 話題
68575 熱度
8271 熱度
14769 熱度
7814 熱度
1028 熱度
- 置頂
- 📢 Gate廣場專屬 #WXTM创作大赛# 正式開啓！
聚焦 CandyDrop 第59期 —— MinoTari (WXTM)，總獎池 70,000 枚 WXTM 等你贏！
🎯 關於 MinoTari (WXTM)
Tari 是一個以數字資產爲核心的區塊鏈協議，由 Rust 構建，致力於爲創作者提供設計全新數字體驗的平台。
通過 Tari，數字稀缺資產（如收藏品、遊戲資產等）將成爲創作者拓展商業價值的新方式。
🎨 活動時間：
2025年8月7日 17:00 - 8月12日 24:00（UTC+8）
📌 參與方式：
在 Gate廣場發布與 WXTM 或相關活動（充值 / 交易 / CandyDrop）相關的原創內容
內容不少於 100 字，形式不限（觀點分析、教程分享、圖文創意等）
添加標籤： #WXTM创作大赛# 和 #WXTM#
附本人活動截圖（如充值記錄、交易頁面或 CandyDrop 報名圖）
🏆 獎勵設置（共計 70,000 枚 WXTM）：
一等獎（1名）：20,000 枚 WXTM
二等獎（3名）：10,000 枚 WXTM
三等獎（10名）：2,000 枚 WXTM
📋 評選標準：
內容質量（主題相關、邏輯清晰、有深度）
用戶互動熱度（點讚、評論）
附帶參與截圖者優先
📄 活動說明：
內容必須原創，禁止抄襲和小號刷量行爲
獲獎用戶需完成 Gate廣場實名 - 「沒有對手？我有話說！」Gate廣場挑戰賽——秀操作贏$2,000，百萬流量加持！
你是下一個明星交易員嗎？
想讓自己的名字閃耀廣場熱搜？想吸引數萬追隨者？百萬流量已就位，就等你來承接！
🎉 雙重豪禮，贏家通喫！
1️⃣ 曬單排行榜獎勵
收益率排名前10的用戶，瓜分 $1,500合約體驗券！巔峯對決等你來戰！
2️⃣ 曬單幸運獎
隨機抽取10位用戶，每人贈送 $50跟單包賠券！即使不是大神，也有機會躺贏！
🎮 參與方式超簡單！
✅ 在 Gate廣場 曬出你的交易戰績，並成爲帶單員！
✨ 發帖要求：
內容必須原創，並帶上 #CopyTrading# 或 #跟单# 標籤
附上 收益率截圖 或 交易卡片，並分享你的 獨家交易心得
嚴禁AI生成虛假交易，一經發現取消資格
觀點犀利、邏輯清晰，乾貨越多越吸粉！
⏰ 活動截止：8月15日 10:00（UTC+8）
【立即發帖】 展現你的王者操作，承接百萬流量，成爲下一個交易傳奇！
💬 還在等什麼？Gate廣場，等你來戰！ 💪 - Gate 鏈上賺幣：ETH 挖礦限時高收益！
✅ 年化收益近 5% + 額外獎勵單人額度 1000 ETH
💎 最低 0.00000001 ETH 起投，無贖回期，隨存隨取！
立即上車，穩賺鏈上收益：https://www.gate.com/staking/ETH - Gate 合約開倉激勵計劃火熱上線！零門檻瓜分 50,000 ERA
開倉即有獎，交易越多獎勵越多！
新用戶享 20% 加成！
立即參與：https://www.gate.com/campaigns/1692?pid=X&ch=NGhnNGTf
活動詳情：https://www.gate.com/announcements/article/46429
#Gate # #合约交易 # #ERA# - 👀 家人們，最近你們都攢了多少 Alpha 積分啦？
空投領到了沒？沒搶到也別急，廣場給你整點額外福利！
🎁 曬出你的 Alpha 收益，咱們就送你$200U代幣盲盒獎勵！
🥇 積分最高曬圖用戶 1 名 → $100 代幣盲盒
✨ 積分榜前五優質分享者 5 名 → 各得 $20 代幣盲盒
📍【怎麼玩】
1️⃣ 帶上話題 #晒出我的Alpha积分收益# 發廣場貼
2️⃣ 曬 Alpha 積分截圖 + 一句話總結：“我靠 Gate Alpha 賺了 ____，真的香！”
👉 還可以分享你的攢分技巧、兌換經驗、積分玩法，越乾貨越容易中獎！
📆【活動時間】
8月4日 18:00 - 8月10日 24:00 （UTC+8）
Binius STARKs:基於二進制域的高效率零知識證明創新
Binius STARKs原理解析及優化思考
1. 引言
STARKs效率低下的一個主要原因是實際程序中大多數數值較小，但爲確保基於Merkle樹證明的安全性，使用Reed-Solomon編碼對數據進行擴展時，許多額外的冗餘值會佔據整個域。降低域的大小成爲了關鍵策略。
第1代STARKs編碼位寬爲252bit，第2代爲64bit，第3代爲32bit，但32bit編碼位寬仍存在大量浪費空間。相比之下,二進制域允許直接對位操作，編碼緊湊高效而無任意浪費空間，即第4代STARKs。
Binius採用二進制域，需完全依賴擴域來保證其安全性和實際可用性。大多數Prover計算中涉及的多項式無需進入擴域，而只需在基域下操作，從而在小域中實現了高效率。然而，隨機點檢查和FRI計算仍需深入到更大的擴域中，以確保所需的安全性。
Binius提出了一種創新的解決方案:首先，使用多變量（具體是多線性）多項式代替單變量多項式，通過其在"超立方體"上的取值來表示整個計算軌跡；其次，將超立方體視爲方形，基於該方形進行Reed-Solomon擴展。這種方法在確保安全性的同時，極大提升了編碼效率與計算性能。
2. 原理解析
Binius包括五項關鍵技術:
2.1 有限域:基於towers of binary fields的算術化
塔式二進制域支持高度高效的算術操作，支持簡化的算術化過程。二進制域的元素具有唯一且直接的表示方式，可以靈活地在不同大小的域之間轉換和打包。
2.2 PIOP:改編版HyperPlonk Product和PermutationCheck
Binius採用了一系列核心檢查機制，包括GateCheck、PermutationCheck、LookupCheck、MultisetCheck、ProductCheck、ZeroCheck、SumCheck和BatchCheck。
相比HyperPlonk，Binius在以下方面做出改進:
2.3 PIOP:新的multilinear shift argument
Binius採用Packing和移位運算符兩個關鍵方法來處理虛擬多項式。
2.4 PIOP:改編版Lasso lookup argument
Lasso協議由三個組件構成:
Binius引入了乘法版本的Lasso協議，要求證明方和驗證方聯合遞增協議的"內存計數"操作，不是通過簡單的加1遞增，而是通過二進制域中的乘法生成元來遞增。
2.5 PCS:改編版Brakedown PCS
Binius多項式承諾主要使用:
3. 優化思考
3.1 GKR-based PIOP:基於GKR的二進制域乘法
基於GKR的整數乘法運算算法,通過將"檢查2個32-bit整數A和B是否滿足 A·B =? C",轉換爲"檢查中(gA)B =? gC 是否成立",借助GKR協議大幅減少承諾開銷。
3.2 ZeroCheck PIOP優化:Prover與Verifier計算開銷權衡
3.3 Sumcheck PIOP優化:基於小域的Sumcheck協議
3.4 PCS 優化:FRI-Binius降低Binius proof size
FRI-Binius實現了二進制域FRI折疊機制,帶來4個方面的創新:
4. 小結
Binius基本完全移除了Prover的commit承諾瓶頸,新的瓶頸在於Sumcheck協議。FRI-Binius方案爲FRI變體,可從域證明層中消除嵌入開銷。目前,Irreducible團隊正在開發其遞歸層,並與Polygon團隊合作構建Binius-based zkVM;JoltzkVM正從Lasso轉向Binius;Ingonyama團隊正在實現FPGA版本的Binius。