Zcash 新隱私池 Ironwood 將採用形式化驗證，擬根除無法檢測的增發漏洞
By: rootdata|2026/07/07 12:42:08
0
分享
ChainCatcher 消息，Zcash 開發團隊宣布計劃透過即將推出的新隱私池 Ironwood 引入形式化驗證，以數學證明方式消除「無法檢測的增發漏洞」風險。
此前消息，Orchard 屏蔽池存在的漏洞雖已完成修復且暫無證據顯示遭利用，但由於理論上無法透過鏈上歷史確認是否曾發生隱蔽增發，因此社區決定推出全新的 Ironwood 屏蔽池，並對其協議進行全面形式化驗證。
猜你喜歡
上線 30 天，幣安股票業務搞得如何？
新興市場買盤撐起了第一波需求
早報｜SK 海力士正式啟動美股上市行銷推介流程；中央網信辦公布整治 AI 應用亂象首階段成果，累計處置超過 1.4 萬款違規產品
7 月 6 日 市場重要事件一覽
Open USD 能支撐 Stripe 的野心嗎？
Stripe 攜手多方推出 OUSD，不僅挑戰 USDC 霸主地位，更暴露其從「支付接口」邁向「下一代資金結算網絡」的萬億級野心
Blockchain Capital 合夥人：AI 正在重寫勞動的基本單位
AI 的崛起，正在把勞動的基本單位從"崗位"和"公司"改寫成"任務"。當可編程勞動力遇上可編程貨幣，一條沒有公司、沒有薪酬體系、沒有 HR 的生產流水線第一次成為可能。
加密行業已是傳統行業
對於還留在這個行業裡的創業者和散戶，要不就去擁抱當下的變化，要不就去探索加密裡下一個充滿隨機性的領域。
芯片狂歡降溫？大摩 Wilson：資金正轉向微軟、亞馬遜等 AI 超算巨頭
大摩首席股票策略師 Wilson 指出，半導體板塊動能衰竭，費城半導體指數較高點已跌近 14%，資金正轉向微軟、亞馬遜、Meta 等 AI 超算巨頭及消費、生物科技等板塊；標普 500 年底目標價維持8000 點，仍有約 7% 空間，但短期承壓，輪動邏輯獲摩根大通策略師呼應。
早報｜Vitalik 發文概述以太坊長期路線圖，Lean Ethereum 將成第三次重大迭代；SK 海力士尋求透過在美上市，以吸引更多 AI 投資者
7 月 5 日 市場重要事件一覽
特朗普，最會炒股的美國總統
特朗普幾乎把總統身份開發成了一門生意，並在最大程度上將總統影響力轉化為商業收益。
從字節跳動到財務自由："字節哥"Leto 逆襲 3000 萬的投資判斷力是怎麼練出來的？
用數據和信號說話，用 A/B test 驗證判斷，用有限的風險敞口去博取不對稱的收益。
虧損 5500 萬美元也要賣幣，Strategy 的信仰到了付息日
信仰被證券化的那一刻，比特幣就成了帳單。
OUSD 假合作風波？穩定幣與巨頭背書的信用遊戲
穩定幣成功與否，不是靠拉來一幫聯盟成員幫忙行銷，而是取決於它有沒有真實的使用場景與真實的用戶。
Q-Day 倒計時：量子計算會終結加密貨幣嗎？
面對被量子算力掠奪的休眠幣，是死守「代碼即法律」的不可篡改底線，還是通過軟分叉強制凍結遺留資產？
空中雲匯的十年：從街角咖啡到全球金融基建
一家匯款公司怎麼長成了一套能替代 SWIFT 的金融基建；當它真的長到這個體量，穩定幣對它而言又如何定位；以及 AI 在這套基建上能嫁接出什麼。
OUSD 對 Circle、Tether 與 Paxos 的影響：並非單一利空，而是更複雜的競爭重塑
OUSD 不會是最後一個新競爭者，Circle 需要在產品、分發和生態合作上更積極應對。
李飛飛最新長文：當視頻生成、機器人和 NVIDIA 都自稱世界模型，我們需要一個分類法
語言給了機器一種談論這個世界的方式。世界模型，則是機器最終得以理解、想像、推理並與之互動的途徑。
將幣圈的荒涼歸咎為 AI 興起是一種思維上的懶惰
巨頭化意味業態成熟，雖然會減少投機空間，但也有足夠的容錯空間，可以不斷點化出新興勢力。
Strategy 創始人：比特幣的下一個 10 年
未來十年比特幣最大的進化，恰恰是「以不變應萬變」。四年週期正讓位於 ETF、企業與主權儲備、銀行信貸等資本流動，數位信用和數位貨幣會在比特幣之上層層生長。而比特幣的任務不是變成一切，是成為那個不會改變的東西。
福布斯特稿：穩定幣跨境支付更快了，但還沒更便宜
穩定幣跨境支付正在快速擴張，帶來了速度和可觸及性，但由於機構流動性不足，目前還無法兌現它承諾的成本節約。技術已經過驗證、監管也在改善，但這個行業還沒能積累起足夠的深度流動性，去大幅壓低傳統外匯經紀商的費用。採用路上的一大障礙，是要跨過客戶與現有經紀商之間已經建立的信任關係，因為對企業來說，可靠和準確比單純的快更重要。
上線 30 天，幣安股票業務搞得如何？
新興市場買盤撐起了第一波需求
早報｜SK 海力士正式啟動美股上市行銷推介流程；中央網信辦公布整治 AI 應用亂象首階段成果，累計處置超過 1.4 萬款違規產品
7 月 6 日 市場重要事件一覽
Open USD 能支撐 Stripe 的野心嗎？
Stripe 攜手多方推出 OUSD，不僅挑戰 USDC 霸主地位，更暴露其從「支付接口」邁向「下一代資金結算網絡」的萬億級野心
Blockchain Capital 合夥人：AI 正在重寫勞動的基本單位
AI 的崛起，正在把勞動的基本單位從"崗位"和"公司"改寫成"任務"。當可編程勞動力遇上可編程貨幣，一條沒有公司、沒有薪酬體系、沒有 HR 的生產流水線第一次成為可能。
加密行業已是傳統行業
對於還留在這個行業裡的創業者和散戶，要不就去擁抱當下的變化，要不就去探索加密裡下一個充滿隨機性的領域。
芯片狂歡降溫？大摩 Wilson：資金正轉向微軟、亞馬遜等 AI 超算巨頭
大摩首席股票策略師 Wilson 指出，半導體板塊動能衰竭，費城半導體指數較高點已跌近 14%，資金正轉向微軟、亞馬遜、Meta 等 AI 超算巨頭及消費、生物科技等板塊；標普 500 年底目標價維持8000 點，仍有約 7% 空間，但短期承壓，輪動邏輯獲摩根大通策略師呼應。
