Open-Source Tooling for the Crypto Ecosystem

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:

- Symbolic testing
- Light clients
- Auction design
- Private airdrops
- New social networks
- Trusted setups

— Eddy Lazzarin 🟠🔭 (@eddylazzarin) April 10, 2023

1/ Starting with our latest from @daejunpark:

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

— Eddy Lazzarin 🟠🔭 (@eddylazzarin) April 10, 2023

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.

👉 @NoahCitron's work 👈https://t.co/oJOeR3G7oB

— Eddy Lazzarin 🟠🔭 (@eddylazzarin) April 10, 2023

3/ One underrated Solidity codebase in 2023 is @moodlezoup's Auction Zoo.

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

— Eddy Lazzarin 🟠🔭 (@eddylazzarin) April 10, 2023

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_:

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

— Eddy Lazzarin 🟠🔭 (@eddylazzarin) April 10, 2023

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.

Repo here: https://t.co/ms8JfL9UAS
Paper here: https://t.co/zVW32Eg1a6

— Eddy Lazzarin 🟠🔭 (@eddylazzarin) April 10, 2023

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.

Halmos: https://t.co/OSSx27nZ36
Helios: https://t.co/XPYqpJFz6c

— Eddy Lazzarin 🟠🔭 (@eddylazzarin) April 10, 2023