原文:a16z推文
編譯:Azuma
我們很高興看到 crypto 社區出現了許多令人興奮的新創意。在接下來的推文中,你將可以找到一些有助于你繼續build的開發工具。
我們分享這些工具和概念證明的目的是向社區展示如何在開發、生產中使用那些最新的技術原語,并借更多開發者之手來加速這些技術原語的采用進程。
一、zk 文檔(zkDocs)
zkDocs 可以被理解一個支持零知識證明的在線文檔工具。它允許共同參與某項工作流中的各方集體共享并驗證信息,在不暴露特定標準的前提下確保信息符合特定標準。
a16z Crypto已開源鏈上隱私投票系統Cicada:5月25日消息,a16z Crypto 已開源 Solidity 庫 Cicada,它利用時間同步問題(time-lock puzzle)和零知識證明實現鏈上隱私投票,保證了最小化信任假設,并且可以在以太坊主網上使用,隨后 Cicada 正式證明也即將推出。[2023/5/25 10:38:58]
詳細介紹:https://a 16 zcrypto.com/zkdocs-zero-knowledge-information-sharing/
Github 傳送門:https://github.com/a 16 z/zkdocs
二、空投隱私保護工具(Privacy-protecting Airdrops)
顧名思義,這是一個針對空投場景的隱私保護工具。我們創建該工具的目的是利用零知識證明來保護普通用戶,通過改進空投時的隱私暴漏狀況來提高安全性。
a16z領投Golden完成4000萬美元B輪融資:金色財經報道,加密貨幣公司Golden完成4000萬美元的B輪融資,迄今為止融資總額已達到6000萬美元。本輪融資由a16z領投,Solana聯合創始人Raj Gokal、Dropbox聯合創始人Arash Ferdowsi、Postmates創始人Bastian Lehmann和Muse主唱Matt Bellamy等參投。新資金將用于構建一個Web3數據平臺,目前該平臺正處于測試網絡階段,預計將于2023年第二季度上線主網。(The Block)[2022/10/4 18:39:06]
詳細介紹:https://a 16 z.com/2022/03/27/crypto-airdrop-privacy-tool-zero-knowledge-proofs/
a16z聘請瑞生國際律師事務所合伙人擔任加密投資總法律顧問:9月3日消息,風險投資巨頭a16z已聘請瑞生國際律師事務所(Latham & Watkins)合伙人Miles Jennings擔任加密投資總法律顧問,他將幫助a16z投資的公司應對法律和監管挑戰,并努力推進和改進適用于加密公司的監管。Jennings將與前聯邦檢察官Kathryn Haun合作,后者是a16z價值22億美元的加密投資基金的負責人之一。Jennings在瑞生期間曾與ConsenSys合作推出一種自動可轉換票據,為加密初創公司提供融資等幫助。他還曾擔任Uniswap和Avalanche等去中心化金融協議的外部顧問。針對行業面臨的監管壓力,Jennings表示,確保企業家有足夠的自由去投資和開發有望改變世界的技術,同時保護投資者,并非易事。他贊揚美國監管機構試圖找到適當的平衡點,但也指出持續的模糊性給去中心化平臺造成了挑戰。他說:“仍然存在大量抑制創新的不確定性。但該行業無疑將從監管機構和業內專家攜手制定的明確框架中受益。”(彭博社)[2021/9/3 22:56:50]
Github 傳送門:https://github.com/a 16 z/zkp-merkle-airdrop-contracts
a16z已投資至少32個加密初創公司和相關協議:2月2日,The Block發文更新硅谷頂級風投a16z的加密投資版圖。根據其披露,截至目前,a16z的活躍投資組合包括至少32個加密初創公司和協議,橫跨11個垂直領域。[2021/2/2 18:42:49]
一、ERC4626 性能檢測器(ERC4626Property Tests)
這是一個用于檢測 ERC4626 (一套用于代幣化金庫的標準)下合約可執行性的工具,可幫助金庫構建者檢測那些有可能造成破壞或導致漏洞的違反標準行為。
詳細介紹:https://a 16 zcrypto.com/generalized-property-tests-for-erc 4626-vaults/
Coinbase CEO:FinCEN擬議規則若通過,將加入a16z在法庭上提出異議:1月5日,對于FinCEN擬議的加密錢包規則,Coinbase CEO?Brian Armstrong發推表示,這是不明智的,也沒有遵循正確的程序。如果FinCEN仍想在這一領域有所作為,那么它應該在新一屆政府中重新審視,與行業接觸。順便說一句,甚至不清楚他們是否應該這么做。與其他方法相比,反洗錢風險可以忽略不計,而且這里的監管很有可能損害美國,包括可能長期失去我們作為金融中心的地位。Coinbase打算與a16z一起在法庭上挑戰這一提議,如果該提議獲得通過的話。[2021/1/5 16:29:18]
Github 傳送門:https://github.com/a 16 z/erc 4626-tests
二、可更改型智能合約檢測器(Metamorphic Smart Contract Detector)
這是一種用來檢測可更改型智能合約的工具,可抵御通過改變智能合約內容而發起的攻擊。
部分智能合約在部署之后依舊可被更改,意味著開發者可以隨時更改其中的代碼,這對用戶構成了嚴重威脅。本工具的作用就是允許任何人輕松檢測一個特定的智能合約是否存在更改可能。
工具鏈接:https://metamorphic.a 16 zcrypto.com/
一、以太坊輕客戶端 Helios
這是一個基于 rust 語言的以太坊輕客戶端,有助于進一步推動以太坊的去中心化。Helios 提供了對以太坊區塊鏈的完全無信任訪問,且無需存儲歷史交易信息,需要時僅需2 秒即可完成數據訪問。
詳細信息:https://a 16 zcrypto.com/building-helios-ethereum-light-client/
Github 傳送門:https://github.com/a 16 z/helios
二、無需信任的鏈上拍賣(Trustless, on-chain Auctions)
這是“維克瑞拍賣(Vickreyauction)”的鏈上實現。所謂“維克瑞拍賣”,是指所有競拍者通過密封投標的方式競價,出價最高的競拍者獲得拍品,并支付第二高的報價。
這套工具的基礎原理是,以太坊的CREATE2 操作碼允許將競價內容隱藏在區塊鏈活動中。
詳細信息:https://a 16 zcrypto.com/hidden-in-plain-sight-a-sneaky-solidity-implementation-of-a-sealed-bid-auction/
Github 傳送門:https://github.com/a 16 z/auction-zoo
三:可信化設置(Trusted Setups)
我們開源了一個代碼庫,允許任何人在以太坊鏈上實施 Kate-Zaverucha-Goldberg(KZG)和 powers-of-tau“儀式”(Odaily 星球日報注:即以可信任的方式對數據可用性證明方案所需要的參數進行初始化)。
詳細信息:https://a 16 zcrypto.com/on-chain-trusted-setup-ceremony/
Github 傳送門:https://github.com/a 16 z/evm-powers-of-tau
Odaily星球日報
媒體專欄
閱讀更多
金色早8點
金色財經
去中心化金融社區
CertiK中文社區
虎嗅科技
區塊律動BlockBeats
念青
深潮TechFlow
騰訊研究院
之前我們發現了一個Aptos Move VM的嚴重漏洞,經過深入研究,我們發現了另外一個新的整數溢出漏洞,這次一的漏洞觸發過程相對更有趣一點, 下面是對這個漏洞的深入分析過程.
1900/1/1 0:00:00原文作者:Lao Bai今天來說說 Layer2 的 OP 與 ZK 之爭問題 短期 OP,長期 ZK? 這句話因為 V 神說過,所以被很多人認為是「金科玉律」.
1900/1/1 0:00:00原文:《Counterparty vs RGB vs TARO》by Mandel duck我最近參加了一個古董 NFT 節(Historical NFT festival).
1900/1/1 0:00:00加密銀行Silvergate Bank和加密行業各大中心化交易機構如FTX、Coinbase、Crypto.com、Circle等有著極其緊密的聯系.
1900/1/1 0:00:00吳說作者:吳卓鋮 此前,ETH 開發者 Tim Beiko 發文稱希望 ETH L1 能夠實現隱私功能,而非依托 Tornado Cash 等第三方應用或 zkMoney 等 L2 應用.
1900/1/1 0:00:00FTX事件堪稱加密世界的“雷曼時刻”。事件的發展速度和影響范圍已經遠遠超出了此前的想象。不論是從傳統的中心化交易所(CEX),還是各類投資基金,均受到了此次FTX事件的連續暴擊,危機已經開始蔓延.
1900/1/1 0:00:00