PANews 4月11日消息，a16z Crypto 首席技術官發推稱其工程團隊發布了開源工具，為加密生態系統中的開發人員、構建者和用戶提供服務。其最新的六個庫涉及： - 符號測試（Halmos） - 輕客戶端（Helios） - 拍賣設計（Auction Zoo） - 私人空投（zkdrops） - 新社交網絡（zkDocs） - 可信設置（evm-powers- of-tau）。
a16z Crypto的工程團隊發布Halmos、Helios等開源工具
PA一线
｜2023-04-11 21:55
評論
推薦閱讀
深潮TechFlow2024-09-30解讀AminoChain：a16z首涉DeSci並領投500萬美金，病患貢獻生物樣本取得效益
一周精选2024-09-28一週精選丨Meme炒作再度來襲，動物幣成熱點；CZ提前獲釋；宏觀利好下，比特幣突破6.5萬美元
- PA一线2024-09-27
去中心化3D地圖計畫MeshMap完成400萬美元融資，a16z CSX等參投
Techub News2024-09-26解讀Story Protocol：IP與區塊鏈的潛力與障礙
Foresight News2024-09-26割了a16z兩次、被美司法部逮捕，加密創業家Al-Naji是何許人？
陀螺财经2024-09-25趙長鵬出獄倒數計時，幣安要力挽狂瀾？
APP 
