原文：a16z推文
编译：Azuma
我们很高兴看到 crypto 社区出现了许多令人兴奋的新创意。在接下来的推文中，你将可以找到一些有助于你继续build的开发工具。
我们分享这些工具和概念证明的目的是向社区展示如何在开发、生产中使用那些最新的技术原语，并借更多开发者之手来加速这些技术原语的采用进程。
一、zk 文档（zkDocs）
zkDocs 可以被理解一个支持零知识证明的在线文档工具。它允许共同参与某项工作流中的各方集体共享并验证信息，在不暴露特定标准的前提下确保信息符合特定标准。
a16z crypto引入Lasso和Jolt工具来增强零知识证明:金色财经报道，风险投资公司 Andreessen Horowitz 的加密货币部门 a16z crypto 推出了 Lasso 和 Jolt，这是一对基于简洁非交互式知识论证（SNARK）的新工具。SNARK 是一种零知识证明，有可能促进第 2 层空间中的可扩展 ZK Rollup，这通常被视为计算密集型。Lasso 是 a16z 两篇研究论文的主要创新，它采用了“查找参数”机制，有利于更快的零知识证明。它将特定的输入与相应的输出相匹配，而不泄露额外的信息。该团队指出，Lasso 引入了一种简化的方法来验证 SNARK，通过对大量结构化表执行查找来避免繁琐的手动优化电路。[2023/8/11 16:18:58]
详细介绍：https://a 16 zcrypto.com/zkdocs-zero-knowledge-information-sharing/
a16z过去24小时向SolidLizard和Solidly V2两个协议注入资金:金色财经报道，据链上分析师/img/202315232306/2.jpg">
动态 | 前Coinbase首席政策官加入a16z:据彭博社报道，Coinbase首席政策管Michael Lempres已经辞去在Coinbase的职务，加入风险投资公司Andreessen Horowitz（a16z）。据悉，Lempres从今年9月开始就职于Coinbase，由于其职位涉及与全球各种监管机构的谈判，他的离职给Coinbase未来的发展方向带来了一定的不确定性。[2018/11/22]
详细介绍：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
一、ERC4626 性能检测器（ERC4626Property Tests）
这是一个用于检测 ERC4626 （一套用于代币化金库的标准）下合约可执行性的工具，可帮助金库构建者检测那些有可能造成破坏或导致漏洞的违反标准行为。
详细介绍：https://a 16 zcrypto.com/generalized-property-tests-for-erc 4626-vaults/
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
腾讯研究院
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。