Episode 126: Crypto libraries, Zcash’s Zebra and contact tracing with Henry de Valence

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:
The Zcash Foundation's 2020 Q1 Report
Cosmos Zcash Pegzone research
Desired characteristics and assumptions of a contact tracing system
DP3T protocol


Thank you to this week's sponsor Trail of Bits

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.

For more about all these new features check out the blog all about it here: https://blog.trailofbits.com/2020/03/30/an-echidna-for-all-seasons/

Thanks again Trail of Bits.


If you like what we do:
Follow us on Twitter – @zeroknowledgefm
Join us on Telegram
Give us feedback! https://forms.gle/iKMSrVtcAn6BByH6A
Support our Gitcoin Grant
Support us on the ZKPatreon

Or directly here:
ETH: 0xC0FFEE1B5083230a5154F55f253B6b6ae8F29B1a
BTC: 1cafekGa3podM4fBxPSQc6RCEXQNTK8Zz
ZEC: t1R2bujRF3Hzte9ALHpMJvY8t5kb9ut9SpQ

Previous Episodes

Episode 319: The Past & Present of the L2 Landscape with Jordi Baylina

In this week’s episode, Anna catches up with Jordi Baylina, OG Ethereum contributor and Polygon zkEVM Technical Lead. They cover what Jordi has been working on since he was last on the show in 2021. Back then, zkEVMs were still just an idea. Now that many of these systems have launched, they have a chance to look at how these fit into the general L2 landscape.

They cover Jordi’s view on engineering decentralized systems and how these are rolled out, and the recent research from Polygon, including their AggLayer proposal. They wrap up on what inspires him to keep contributing in the space.

Episode 318: Threshold Signature Schemes & FROST with Chelsea Komlo

In this week’s episode, Anna and Nico chat with Chelsea Komlo, Chief Scientist for the Zcash Foundation and member of the Cryptography, Security, and Privacy lab at the University of Waterloo.

They discuss what sparked Chelsea’s interest in cryptography research, starting with her work contributing to Tor, to her move to Zcash and her PhD work on Threshold Signature Schemes. They define some important terms around different signature schemes and discuss possible optimizations that can be used to make these more performant. They then dive into her work on the FROST Threshold Signature Scheme plus some new upcoming work.

Episode 317: Enhancing On-Chain Intelligence with Ritual

This week, Anna and Tarun chat with Niraj Pant and Anish Agnihotri from Ritual. They kick off by revisiting the AIxCrypto intersection before diving into the Ritual product and its goals around developing open access AI infrastructure. They explore the opportunities that open up when you bring ML to smart contracts.

Bonus: zkSummit11 reminder!

Quick reminder about our upcoming zkSummit 11 event. Happening in Athens on April 10th, we once again bring together the top researchers and engineers working in zk to share their latest research and new findings.

Episode 316: Alin Tomescu on Distributed On-chain Randomness and Keyless Accounts

In this week’s episode, Anna and Nico chat with Alin Tomescu, founding team member and Head of Cryptography at Aptos Labs. They discuss Alin’s journey to Aptos and his work on distributed on-chain randomness as well as the new Aptos Keyless project. They cover the Keyless accounts architecture, how the flow works for the user and some of the subtleties in the approach they have taken.

Episode 315: ZK Hack Ecosystem & Winners of ZK Hack IV

This week’s episode is a little different from the usual and is split into two parts with Anna and Kobi exploring the history of ZK Hack, its origins and how the event has evolved into what it is today, including current activity in the ZK Hack ecosystem. The second half of the show splits off into Anna and Nico chatting the top 3 hackers from ZK Hack IV Online, which wrapped back in February. Each mini interview catches up with one of the winners and dives into what it was like to hack on the puzzles, which their favourites were and how they can be improved in the future.

Episode 314: Succinct’s Platform, Prover Network and SP1

In this week’s episode, Anna and Tarun catch up with Uma Roy, CEO and cofounder of Succinct. They dive into Succinct’s developments over the last year ranging from the work they did on the ZK bridge infrastructure to the Succinct platform, the Succinct prover network and their most recent release of SP1. They discuss connections between these products, how their development evolved, the competitive landscape, the future for the project and much more.

Zk white

Subscribe

Subscribe to Zero Knowledge podcast on these links:

Join the conversation:

Newsletters:

Support: