Open-Source Tooling for the Crypto Ecosystem
This blog looks at open-source tooling released by @a16zcrypto's engineering team to serve developers, builders, and users in the crypto ecosystem. Read on to learn more!
![Author profile image](https://pbs.twimg.com/profile_images/1508326955602649088/h6WxMtQy_normal.jpg)
Eddy Lazzarin π π
CTO @a16zcrypto // banner: Plasticity by @p4stoboy
-
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 -
1/ Starting with our latest from @daejunpark:
— Eddy Lazzarin π π (@eddylazzarin) April 10, 2023
Halmos βΌοΈ, a symbolic testing tool for Ethereum smart contracts. With formal methods supporting other kinds of tests, we can make Ethereum safer.https://t.co/HVxXW4odMx -
2/ Helios βοΈ is a light client that significantly decreases the trust assumptions you make when using Ethereum without your own node. It's written in Rust, now with WASM support so it can be used anywhere, even a mobile browser.
— Eddy Lazzarin π π (@eddylazzarin) April 10, 2023
π @NoahCitron's work πhttps://t.co/oJOeR3G7oB -
3/ One underrated Solidity codebase in 2023 is @moodlezoup's Auction Zoo.
— Eddy Lazzarin π π (@eddylazzarin) April 10, 2023
So far, there are three sealed-bid auctions implemented, including the Sneaky auction: a totally new secret Vickrey auction using @aztecnetworkβs sadly retired π«‘ Aztec Connect.https://t.co/NsckZnwdxu -
4/ Recently updated with a ~50% faster proving time, @samrags_ brought us private airdrops on Ethereum. Compose zkdrops πͺ with a few other privacy systems and we could see a powerful new approach to controlling critical protocols on the web.https://t.co/FaaOkoyP15
— Eddy Lazzarin π π (@eddylazzarin) April 10, 2023 -
5/ Also from @samrags_:
— Eddy Lazzarin π π (@eddylazzarin) April 10, 2023
With zkDocs, users can securely share sensitive, verified facts in a structured way without exposing unnecessary information.
Imagine complex data workflows β like mortgage applications or college admissionsΒ β but private.https://t.co/1sGBwd6Mfa -
6/ In their Powers of Tau repo, @lera_banda and @samrags_ introduce a way to implement secure trusted setup ceremonies on Ethereum, eliminating the need for a centralized coordinator.
— Eddy Lazzarin π π (@eddylazzarin) April 10, 2023
Repo here: https://t.co/ms8JfL9UAS
Paper here: https://t.co/zVW32Eg1a6 -
7/ I hope you enjoy using and reading this code as much as we did writing it. If you want to collaborate with us, please reach out or join our Telegram groups.
— Eddy Lazzarin π π (@eddylazzarin) April 10, 2023
Halmos: https://t.co/OSSx27nZ36
Helios: https://t.co/XPYqpJFz6c -
8/ What other open source tooling do you think crypto would benefit from? We'd love to hear from you. https://t.co/oiYzNkpK5u
— Eddy Lazzarin π π (@eddylazzarin) April 10, 2023