Zero Knowledge

In this episode, we will be exploring StarkWare and DeversiFi’s collaboration - a Layer 2 STARK-powered exchange for Ethereum assets. Guests Tom Brand, product manager at Starkware, and Will Harborne, co-founder of DeversiFi, discuss the project, how it works under the hood and give us a glimpse into what they have planned for the future. We also look at how Validium, that is Layer-2 scaling solutions in which the validity of all transactions is enforced using zero-knowledge proofs, while data availability is kept off-chain, differ from other layer 2 scaling solutions like Plasma, Optimistic Rollup and zkRollup, and discuss the axioms used to quantify these differences.Here is some of additional material:Matter Labs Blog post defining ValidiumDeversifi Blog post about the collaborationStarkware's STARKEx explained At the beginning of the episode, Anna and Will also discussed their joint project ZKValidator which works on Cosmos, Polkadot and Kusama. If you like what we do: Follow us on Twitter - @zeroknowledgefmJoin us on TelegramCatch us on YoutubeGive us feedback! https://forms.gle/iKMSrVtcAn6BByH6A Support our Gitcoin GrantSupport us on the ZKPatreonOr directly here: ETH: 0xC0FFEE1B5083230a5154F55f253B6b6ae8F29B1aBTC: 1cafekGa3podM4fBxPSQc6RCEXQNTK8ZzZEC: t1R2bujRF3Hzte9ALHpMJvY8t5kb9ut9SpQ

Roman Semanov & Roman Storm from Tornado Cash discuss the largest trusted setup in May 2020 with 1000+ participants. The podcast explores the process and planning of the ceremony, the automation and browser compatibility of Tornado Cash's setup, and the design and simplicity of the ceremony, making it accessible for regular users. It emphasizes the open-source nature of the project and the success of the trusted setup.

This week, Anna and guest host Tarun Chitra chat with Yan X Zhang, professor at SJSU, about math competitions, math education, how crypto is like alchemy and the Gasper paper - work Yan and his students collaborated on with the Ethereum Foundation. “Gasper” is a proof-of-stake-based consensus protocol, which is an idealized version of the proposed Ethereum 2.0 beacon chain. The protocol combines Casper FFG, a finality tool, with LMD GHOST, a fork-choice rule.Here are a few episodes and papers that we mention: Consensus Algorithms & HotStuff with Ittai AbrahamCombining GHOST and CasperAli Rahimi - NIPS 2017 Test-of-Time Award presentationAs mentioned in the intro, we looking for some help on the organisational front with some of the zk related projects - this Zero Knowledge Podcast, zkStudyClub, zkSummit and the zkValidator.If you are looking to connect with the ecosystem, learn more and work on zk research AND if you are very organised and have worked producing either events, content or generally organising people in the past, these roles might be interesting for you. Here are the 2 roles: 1) zkPodcast Support: Work with Anna & Fredrik on our zk-related projects (excluding the zkValidator) on a part-time basis. This would primarily involve coordinating podcast guest, scheduling and coordinating studyclub sessions, help organise events like the zkSummit, writing blog posts and managing social channels. This would be 5-8 hours per week to start, and could be a student job. If this is interesting, please email a brief CV (a short email describing your experience is also fine) to hello@zeroknowledge.fm or tweet at Anna -> @AnnaRRose2) Project Manager at the zkValidator. In this role, you would be working with Anna and Will Harborne to connect with members of the networks the zkValidator operates on - that is Cosmos, Kusama, Polkadot and more as we add them. The role would entail writing reports, doing research, managing network partners, scheduling workshops, working with zk engineers and cryptographers and more. This would be 15 hours per week to start, and we are looking for someone with at least 3 years of work experience. If this is interesting, please send us a summarised CV and/or LinkedIn profile to hello@zkValidator.com If you like what we do: Follow us on Twitter - @zeroknowledgefmJoin us on TelegramGive us feedback! https://forms.gle/iKMSrVtcAn6BByH6A Support our Gitcoin GrantSupport us on the ZKPatreonOr directly here: ETH: 0xC0FFEE1B5083230a5154F55f253B6b6ae8F29B1aBTC: 1cafekGa3podM4fBxPSQc6RCEXQNTK8ZzZEC: t1R2bujRF3Hzte9ALHpMJvY8t5kb9ut9SpQ

This week, Anna and guest host Georgios Konstantopoulos chat with Anatoly Yakovenko from Solana network. They learn about this system and discuss the innovations that allow them to achieve high performance without sharding.For more on Solana check out their website - https://solana.com/We also mention this episode on VDF's with Joseph Bonneau. Here is a further explanation of the differences. Want to help support the show? Check out our grant on Gitcoin and please donate today! CLR Matching is happening now! Link is here -->> https://gitcoin.co/grants/329/zero-knowledge-podcast-2If you like what we do: Follow us on Twitter - @zeroknowledgefmJoin us on TelegramGive us feedback! https://forms.gle/iKMSrVtcAn6BByH6A Support our Gitcoin GrantSupport us on the ZKPatreonOr directly here: ETH: 0xC0FFEE1B5083230a5154F55f253B6b6ae8F29B1aBTC: 1cafekGa3podM4fBxPSQc6RCEXQNTK8ZzZEC: t1R2bujRF3Hzte9ALHpMJvY8t5kb9ut9SpQ

In this episode, we chat with Matt Luongo, CEO of Thesis, founder of Keep Network, and project lead of tBTC. We cover the need for BTC to ETH bridges, what the challenges are in building bridges with BTC, tBTC and how it is setup, what went down with the initial tBTC release - an event the team now refers to as "release candidate 0", and where we might be seeing tBTC go next. Here are some useful links: Introduction to tBTCDetails of the tBTC Deposit Pause on May 18, 2020Want to help support the show? Check out our grant on Gitcoin and please donate today! CLR Matching is happening now! Link is here -->> https://gitcoin.co/grants/329/zero-knowledge-podcast-2If you like what we do: Follow us on Twitter - @zeroknowledgefmJoin us on TelegramGive us feedback! https://forms.gle/iKMSrVtcAn6BByH6A Support our Gitcoin GrantSupport us on the ZKPatreonOr directly here: ETH: 0xC0FFEE1B5083230a5154F55f253B6b6ae8F29B1aBTC: 1cafekGa3podM4fBxPSQc6RCEXQNTK8ZzZEC: t1R2bujRF3Hzte9ALHpMJvY8t5kb9ut9SpQ

In this week's episode, Anna explores the state of trusted setups with 4 of the people who have recently coordinated and run trusted setups for different SNARK systems. She interviews Koh Wei Jie from the Ethereum Foundation, Thomas Walton-Pocock from Aztec Protocol, Brecht Devos from Loopring and Kobi Gurkan from the EF and cLabs. This episode covers the new generation of trusted setups and how the teams working on these are learning from each other and at times, even sharing parts of the trusted set up itself. As a primer, Trusted Setups are those events or ceremonies that one needs to perform to generate the parameters that can kick off SNARK based systems. It is an MPC - or multiparty computation - that involves a number of participants sequentially downloading software, running a computation that includes some randomness that they generate and re-uploading their result to be folded into the next participants computation. At the end of this process, there is a hidden parameter that is used to create the keys that are used to create proofs for private transactions, and to verify those proofs. These keys prove that a transaction is correct. Here are some helpful links about all the various trusted setups we mention:Zcash's Trusted Setupshttps://www.zeroknowledge.fm/50 - Zooko speaks about the trusted set up at timecode 17:45https://www.wnycstudios.org/podcasts/radiolab/articles/ceremonyhttps://z.cash/technology/paramgen/EF's Perpetual Powers of Tauhttps://github.com/weijiekoh/perpetualpowersoftauSemaphoreSemaphore blog postSemaphore Phase 2 Multi-Party Trusted Setup Participant Guide MACI (upcoming) https://github.com/appliedzkp/maciAztec Protocolhttps://www.aztecprotocol.com/ignition/https://ignition.aztecprotocol.com/Loopringhttps://loopring.org/#/post/loopring-starts-trusted-setup-multi-party-computation-ceremonyTornado Cashhttps://medium.com/@tornado.cash/the-biggest-trusted-setup-ceremony-in-the-world-3c6ab9c8fffahttps://ceremony.tornado.cash/cLabs (upcoming)https://github.com/celo-org/snark-setupCheck out the Zero Knowledge Youtube Channel and be sure to subscribe to get the latest videos from the Podcast, zkSummit and zkStudyClub!Signup for zkMesh Newsletter - a monthly newsletter focused on sharing resources about decentralised privacy-preserving technologies, privacy protocol development and zero knowledge systems research.Signup to get this delivered directly into your inbox -->> https://zkmesh.substack.com/ If you like what we do: Follow us on Twitter - @zeroknowledgefmJoin us on TelegramGive us feedback! https://forms.gle/iKMSrVtcAn6BByH6A Support our Gitcoin GrantSupport us on the ZKPatreonOr directly here: ETH: 0xC0FFEE1B5083230a5154F55f253B6b6ae8F29B1aBTC: 1cafekGa3podM4fBxPSQc6RCEXQNTK8ZzZEC: t1R2bujRF3Hzte9ALHpMJvY8t5kb9ut9SpQ

In this episode, we chat with Mark Tyneway who is a contributor on the Handshake project - an experimental peer-to-peer root naming system. We learn about this decentralised, foundation-free project, the issues of DNS, how Handshake plans on fixing this, how it differs from ENS, their unique airdrop process, what an Urkel Trie is, and more. Here are a few useful links: Handshake WhitepaperAn airdrop that preserves recipient privacy - https://fc20.ifca.ai/preproceedings/54.pdfReadyLayerOne Presentation & Slides Developer Protocol SummaryMessari ProfileSignup for zkMesh Newsletter - a monthly newsletter focused on sharing resources about decentralised privacy-preserving technologies, privacy protocol development and zero knowledge systems research.Signup to get this delivered directly into your inbox -->> https://zkmesh.substack.com/ If you like what we do: Follow us on Twitter - @zeroknowledgefmJoin us on TelegramGive us feedback! https://forms.gle/iKMSrVtcAn6BByH6A Support our Gitcoin GrantSupport us on the ZKPatreonOr directly here: ETH: 0xC0FFEE1B5083230a5154F55f253B6b6ae8F29B1aBTC: 1cafekGa3podM4fBxPSQc6RCEXQNTK8ZzZEC: t1R2bujRF3Hzte9ALHpMJvY8t5kb9ut9SpQ

In this week's episode, Anna and guest host Tarun Chitra chat with Akis Kattis, a PhD student at NYU & the co-author of Proof of Necessary Work: Succinct State Verification with Fairness Guarantees - a paper he co-wrote with Joseph Bonneau. They discuss the challenge of Proof of Useful Work, the unique properties that SNARKs have, such as puzzle hardness, that allow for PoNW to overcome these challenges, PoS SNARK systems, elastic block construction, and more. Here are a few of the articles we mention in the interview: Proof of Necessary Work: Succinct State Verification with Fairness Guarantees Stabilizing Congestion in Decentralized Record-Keepers Check out the Zero Knowledge Youtube Channel and be sure to subscribe to get the latest videos from the Podcast, zkSummit and zkStudyClub!If you like what we do: Follow us on Twitter - @zeroknowledgefmJoin us on TelegramGive us feedback! https://forms.gle/iKMSrVtcAn6BByH6A Support our Gitcoin GrantSupport us on the ZKPatreonOr directly here: ETH: 0xC0FFEE1B5083230a5154F55f253B6b6ae8F29B1aBTC: 1cafekGa3podM4fBxPSQc6RCEXQNTK8ZzZEC: t1R2bujRF3Hzte9ALHpMJvY8t5kb9ut9SpQ

In this week's episode, Anna interviews three people from the Tezos community: Jacob Arluck (co-founders TQ ), Marc Beunardeau and Marco Stronati (both from Nomadic Labs). They chat about the Tezos origin story, the development of the PoS system, the governance of Tezos, and how they are incorporating zk proofs - and specifically Sapling from Zcash - into their system. Here is some additional info related to the interview: Nomadic blog post about the Sapling integrationTezos implementation of SaplingWired article about early Tezos issuesTransparent Polynomial Delegation and Its Applications to Zero Knowledge ProofThank you to this week's sponsor - Trail of Bits. Trail of Bits has partnered with Johns Hopkins University to supply vulnerability researchers with software that can produce ZK proofs of exploitability. This is part of a larger effort funded by DARPA, called SIEVE, to push forward the state of the art in zero-knowledge proofs. For more info check out their blog!https://blog.trailofbits.com/2020/05/21/reinventing-vulnerability-disclosure-using-zero-knowledge-proofs/.If you like what we do: Follow us on Twitter - @zeroknowledgefmJoin us on TelegramGive us feedback! https://forms.gle/iKMSrVtcAn6BByH6A Support our Gitcoin GrantSupport us on the ZKPatreonOr directly here: ETH: 0xC0FFEE1B5083230a5154F55f253B6b6ae8F29B1aBTC: 1cafekGa3podM4fBxPSQc6RCEXQNTK8ZzZEC: t1R2bujRF3Hzte9ALHpMJvY8t5kb9ut9SpQ

In this episode, we chat with Molly Mackinlay, Project Lead for the InterPlanetary File System (IPFS) at Protocol Labs. We talk about her journey to Protocol Labs, as well as take a deeper view into IPFS, LibP2P, Bitswap, Testground, the use cases and projects working with these tools, and the specific upgrades they have made with the recent 0.5 IPFS release. We cover:the importance of distributed testing infra to facilitate enterprise adoptionhow UX and simple tooling plays into the developer upgrade paththe path to decentralisation and the importance of building bridges to the Web2 worldIn preparation for this ep, it might be useful to check out our episode last fall with Juan Benet as well. If you like what we do: Follow us on Twitter - @zeroknowledgefmJoin us on TelegramGive us feedback! https://forms.gle/iKMSrVtcAn6BByH6A Support our Gitcoin GrantSupport us on the ZKPatreonOr directly here: ETH: 0xC0FFEE1B5083230a5154F55f253B6b6ae8F29B1aBTC: 1cafekGa3podM4fBxPSQc6RCEXQNTK8ZzZEC: t1R2bujRF3Hzte9ALHpMJvY8t5kb9ut9SpQ