The engineering team at a16z crypto has released a set of open-source tools for developers, builders, and users in the crypto ecosystem. The six new libraries include Symbolic testing, Light clients, Auction design, Private airdrops, New social networks, and Trusted setups. Halmos, a symbolic testing tool for Ethereum smart contracts, is among the latest releases. Helios, a light client written in Rust with WASM support, can be used on any platform, including mobile browsers.
Other tools include Auction Zoo, a Solidity codebase for sealed-bid auctions, private airdrops on Ethereum with zkdrops, and zkDocs for secure sharing of sensitive, verified facts. The Powers of Tau repo introduces a way to implement secure trusted setup ceremonies on Ethereum, eliminating the need for a centralized coordinator. The release of these tools is expected to make Ethereum safer and help solve real-life problems in the crypto ecosystem.
Paper here:
https://eprint.iacr.org/2022/1592.pdf
0/ @a16zcrypto's engineering team has released open-source tooling to serve devs, builders, and users in the crypto ecosystem. Six of our freshest libraries relate to:
— Eddy Lazzarin 🟠🔭 (@eddylazzarin) April 10, 2023
- Symbolic testing
- Light clients
- Auction design
- Private airdrops
- New social networks
- Trusted setups
All Comments