CRYPT:a16z：熊市耕耘不易，這七個開發者工具可能幫到你_COM

來源：a16z?

編譯：星球日報

今日早間，a16z?Crypto通過官方推特分享了一些該機構自己構建的工具及概念證明，內容涉及零知識證明、合約安全、權力下放等多個領域。從對象上來看，這些工具及概念主要面向的是那些在漫長熊市期間仍不倦耕耘的開發者，感興趣的朋友們不妨上手一試。

以下為?a16z推特全文。

我們很高興看到crypto社區出現了許多令人興奮的新創意。在接下來的推文中，你將可以找到一些有助于你繼續?build的開發工具。

我們分享這些工具和概念證明的目的是向社區展示如何在開發、生產中使用那些最新的技術原語，并借更多開發者之手來加速這些技術原語的采用進程。

開發人員：a16z Crypto鏈上隱私投票系統Cicada“尚未對高風險現實世界用例做好準備”:5月28日消息，a16z Crypto本周宣布開源鏈上隱私投票系統Cicada，旨在以太坊區塊鏈上利用時間同步問題（time-lock puzzle）和零知識證明實現鏈上隱私投票，保證最小化信任假設。

a16z Crypto開發人員Michael Zhu在社交媒體表示，Cicada現有的鏈上投票功能“尚未對高風險現實世界用例做好準備”，同時引用以太坊聯合創始人Vitalik Buterin關于區塊鏈投票的文章稱“區塊鏈投票在不知情的人中被高估，但在知情人中被低估”，不過Michael Zhu認為相關問題未來可以得到解決。[2023/5/28 9:46:57]

零知識證明方面

福布斯公布2022年百大風投人：A16z的Chris Dixon與Ribbit Capital的Micky Malka包攬前二:4月15日消息，福布斯近日公布了2022年百大風投人名單，其中A16z的Chris Dixon與Ribbit Capital的Micky Malka分別位列第一第二。據了解，二人都因為早期對Coinbase的押注而在2021年的IPO中獲得巨額回報，其中Chris Dixon還曾投資過Avalanche與Uniswap等知名加密項目，而A16z和Ribbit Capital都因廣泛押注加密賽道著稱。[2022/4/15 14:25:35]

一、zk文檔

zkDocs可以被理解一個支持零知識證明的在線文檔工具。它允許共同參與某項工作流中的各方集體共享并驗證信息，在不暴露特定標準的前提下確保信息符合特定標準。

a16z普通合伙人Chris Dixon登頂《福布斯》2022年全球最佳風險投資家“Midas List”榜首:4月13日消息，Andreessen Horowitz（a16z）普通合伙人Chris Dixon榮登《福布斯》（Forbes）2022年全球最佳風險投資家“Midas List”榜首。據福布斯4月12日報道，Dixon將3.5億美元的加密基金I（Crypto Fund I）在2021年轉化為60億美元的已實現和未實現收益。據“了解該基金財務狀況的消息人士”稱，這相當于17.7倍的驚人收益。

相比之下，整個加密貨幣市場市值僅從2021年1月1日的7800億美元增長到同年12月底的2.3萬億美元，增幅為200%。（Cointelegraph）[2022/4/13 14:21:39]

元宇宙項目 Everyrealm 完成 6000 萬美元 A 輪融資，a16z領投:2月11日消息，元宇宙項目Everyrealm宣布完成6000萬美元A輪融資，由a16z領投， Coinbase、NGC Ventures、Dragonfly Capital、Hashed、Lightspeed、Griffin Gaming Partners、LibertyCity Ventures、Dapper Labs、Foresight Ventures、Animoca Brands等機構參投。

據悉，Everyrealm通過投資、管理和開發資產塑造元宇宙，包括 NFT、虛擬房地產、元宇宙平臺、游戲和基礎設施等。[2022/2/11 9:43:50]

詳細介紹：https://a?16?zcrypto.com/zkdocs-zero-knowledge-information-sharing/

德國電信子公司T-SystemsMMS已在Celo上運行驗證者，并獲a16z委托:在德國電信（DeutscheTelekom）戰略性購買開源支付網絡Celo代幣CELO后，德國電信子公司T-SystemsMMS已在Celo上運行驗證者，另外，風投基金AndreessenHorowitz（a16z）也將其CELO委托給T-SystemsMMS驗證者組。[2021/6/22 23:57:09]

Github傳送門：https://github.com/a?16?z/zkdocs

二、空投隱私保護工具

顧名思義，這是一個針對空投場景的隱私保護工具。我們創建該工具的目的是利用零知識證明來保護普通用戶，通過改進空投時的隱私暴漏狀況來提高安全性。

詳細介紹：https://a?16?z.com/2022/03/27/crypto-airdrop-privacy-tool-zero-knowledge-proofs/

Github傳送門：https://github.com/a?16?z/zkp-merkle-airdrop-contracts

合約安全方面

一、ERC?4626性能檢測器

這是一個用于檢測?ERC?4626下合約可執行性的工具，可幫助金庫構建者檢測那些有可能造成破壞或導致漏洞的違反標準行為。

詳細介紹：https://a?16?zcrypto.com/generalized-property-tests-for-erc?4626-vaults/

Github傳送門：https://github.com/a?16?z/erc?4626-tests

二、可更改型智能合約檢測器

這是一種用來檢測可更改型智能合約的工具，可抵御通過改變智能合約內容而發起的攻擊。

部分智能合約在部署之后依舊可被更改，意味著開發者可以隨時更改其中的代碼，這對用戶構成了嚴重威脅。本工具的作用就是允許任何人輕松檢測一個特定的智能合約是否存在更改可能。

工具鏈接：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

二、無需信任的鏈上拍賣

這是“維克瑞拍賣”的鏈上實現。所謂“維克瑞拍賣”，是指所有競拍者通過密封投標的方式競價，出價最高的競拍者獲得拍品，并支付第二高的報價。

這套工具的基礎原理是，以太坊的?CREATE?2操作碼允許將競價內容隱藏在區塊鏈活動中。

詳細信息：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

三：可信化設置

我們開源了一個代碼庫，允許任何人在以太坊鏈上實施Kate-Zaverucha-Goldberg和powers-of-tau?“儀式”。

詳細信息：https://a?16?zcrypto.com/on-chain-trusted-setup-ceremony/

Github傳送門：https://github.com/a?16?z/evm-powers-of-tau

Tags：CRYPTCOMCRYPTOHTTCryptoKnittiesCOMP價格CryptoGangstersCHTT幣

幣贏