Original: a16z tweet
Compiled by: Azuma
We’re excited to see many exciting new ideas coming out of the crypto community. In the following posts, you’ll find some development tools to help you continue building.
Our goal in sharing these tools and proofs of concepts is to show the community how to use the latest technical primitives in development and production, and to accelerate the adoption of these technical primitives by getting more developers in the hands of more developers.
Zero-knowledge proof
1. zkDocs
zkDocs can be understood as an online documentation tool that supports zero-knowledge proofs. It allows all parties involved in a workflow to collectively share and verify information, ensuring that the information complies with specific standards without exposing specific standards.
Detailed introduction: https://a 16 zcrypto.com/zkdocs-zero-knowledge-information-sharing/
Github Portal: https://github.com/a 16 z/zkdocs
2. Privacy-protecting Airdrops
As the name suggests, this is a privacy protection tool for airdrop scenarios. We created this tool to protect ordinary users using zero-knowledge proofs and improve security by improving privacy exposure during airdrops.
Detailed introduction: https://a 16 z.com/2022/03/27/crypto-airdrop-privacy-tool-zero-knowledge-proofs/
Github Portal: https://github.com/a 16 z/zkp-merkle-airdrop-contracts
Contract security
1. ERC4626 Property Tests
This is a tool for checking the enforceability of contracts under ERC4626 (a set of standards for tokenized vaults), helping vault builders detect violations of the standards that could cause damage or lead to vulnerabilities.
Detailed introduction: https://a 16 zcrypto.com/generalized-property-tests-for-erc 4626-vaults/
Github Portal: https://github.com/a 16 z/erc 4626-tests
2. Metamorphic Smart Contract Detector
This is a tool for detecting modifiable smart contracts and defending against attacks launched by changing the content of smart contracts.
Some smart contracts can still be modified after deployment, which means that developers can change the code at any time, which poses a serious threat to users. The purpose of this tool is to allow anyone to easily detect whether a specific smart contract is likely to be modified.
Tool link: https://metamorphic.a 16 zcrypto.com/
Decentralization & Decentralization
1. Ethereum Light Client Helios
This is a Rust-based Ethereum light client that helps further promote the decentralization of Ethereum. Helios provides completely trustless access to the Ethereum blockchain without storing historical transaction information, and data access can be completed in just 2 seconds when needed.
More information: https://a 16 zcrypto.com/building-helios-ethereum-light-client/
Github Portal: https://github.com/a 16 z/helios
2. Trustless, on-chain Auctions
This is an on-chain implementation of the Vickrey auction, in which all bidders bid in sealed bids, and the highest bidder wins the item and pays the second highest bid.
The tool is based on the fact that Ethereum’s CREATE2 opcode allows bids to be hidden in blockchain activity.
More information: https://a 16 zcrypto.com/hidden-in-plain-sight-a-sneaky-solidity-implementation-of-a-sealed-bid-auction/
Github Portal: https://github.com/a 16 z/auction-zoo
3. Trusted Setups
We have open-sourced a code base that allows anyone to implement Kate-Zaverucha-Goldberg (KZG) and powers-of-tau "rituals" on the Ethereum chain (Odaily Planet Daily Note: that is, to initialize the parameters required for the data availability proof scheme in a trusted manner).
More information: https://a 16 zcrypto.com/on-chain-trusted-setup-ceremony/
Github Portal: https://github.com/a 16 z/evm-powers-of-tau
