Crypto libraries, Zcash's Zebra and contact tracing with Henry de Valence
22.04.2020
SHARE
In this week’s episode, we chat with Henry de Valence from the Zcash Foundation. We discuss what makes for a strong crypto library, some of the work he has been doing at the ZF and he shares an update about the Zebra Zcash client. We also learn about the TCN Coalition, a group he is working with that aims to build and evaluate privacy-preserving contact tracing protocols – an important tool in the fight against the coronavirus pandemic.
Here are some useful links about things we discussed:
In a recent blog post, ToB announced some important updates to Echidna, their smart contract fuzzer. Echidna is one of the tools that the team at Trail of Bits uses the most in their smart contract audits – it has been used in almost 35% of their smart contract audits over the past two years. Including the audits they did for MakerDAO, 0x, and Balancer.
In this update to the fuzzer, they have streamlined integration with complex Truffle projects and the tool now support smart contracts written in Vyper. Thay have also removed the need to write Echidna-specific tests and can automatically fuzz assert statements in Solidity.
