Zero Knowledge

In this week's special episode, Anna pops over to EthCC - the Ethereum Community Conference - to find out what's on people's minds. Speaking with Boris Mann, Maria Paula Fernandez, Hudson Jameson, Sunny Aggarwal, Yalda Mousavinia, and Peter Mauric, these conversations centre around decision making in the decentralised space, the role of transparency, the different organisations and groups that have formed in Ethereum to help make decisions, how compensation can play a role, the code of conduct, the importance of signaling and much more. Here are some of the groups or initiatives or talks mentioned in the podcast:Fellowship of the Ethereum MagiciansEthereum Cat HerdersRick Dudley's talk at EthCCTennagraph Signaling SiteEthereum Community’s Code of ConductCosmos Protocol blogAutarkAragonDecredIf you are looking for some further context for this episode, you may want to check out some previous episodes about governance related topics: Hudson Jameson talks EIPs and Ethereum core decision-makingVlad and Gav go head-to-head on blockchain governancePath to an ERC StandardSpecial thanks to this week's sponsor: Trail of Bits Trail of Bits is looking for companies writing Ethereum smart contracts that could use their security help! If you would like to test out their continuous assurance system, fill out the signup form on crytic.ioIf you like what we do: Follow us on Twitter - @zeroknowledgefmJoin us on Telegram - https://t.me/joinchat/B_81tQ57-ThZg8yOSx5gjASupport our Gitcoin Grant - https://gitcoin.co/grants/38/zero-knowledge-podcastSupport us on Patreon - https://www.patreon.com/zeroknowledge Or directly here: ETH: 0xC0FFEE1B5083230a5154F55f253B6b6ae8F29B1aBTC: 1cafekGa3podM4fBxPSQc6RCEXQNTK8Zz

Martin Lundfall from Dapphub & MakerDAO joins to discuss formal verification, its complexities and importance in the blockchain industry. They explore the definition, challenges, and benefits of formal verification, especially in terms of security. They also delve into the collaboration and challenges in smart contract development, the work of a researcher in formal verification and smart contracts, and the application of formal verification in the security stack and smart contracts written in WASM.

In this week's episode, Anna and Fredrik chat with Danny Ryan from the Ethereum Foundation about the ETH2.0 project. We cover how ETH2.0 came to be, how it works, the new roadmap, and where the project is headed. Useful resources:Our last episode on ETH2.0 with Prysmatic LabsETH2.0 SpecsEthresearch ForumBarry Whitehat's Rollup ProjectCosmos' Game of StakesOur event, the Zero Knowledge Summit is happening on March 22 - if you are a dev, researcher or founder working on these topics and want to attend, please submit your application here: https://goo.gl/forms/e0DpeHO6kyPVMlIg2If you like what we do: Follow us on Twitter - @zeroknowledgefmJoin us on Telegram - https://t.me/joinchat/B_81tQ57-ThZg8yOSx5gjASupport our Gitcoin Grant - https://gitcoin.co/grants/38/zero-knowledge-podcastSupport us on Patreon - https://www.patreon.com/zeroknowledge Or directly here: ETH: 0xC0FFEE1B5083230a5154F55f253B6b6ae8F29B1aBTC: 1cafekGa3podM4fBxPSQc6RCEXQNTK8Zz

In this week’s episode, we sit down with Igor Barinov from POA Network and Austin Griffith from Gitcoin Labs to discuss bridges, xDai - the new side-chain where DAI is the native token - and Austin's super simple Burner Wallet.Bridges are a wide topic and with this conversation we try to give some insight into what they are and how they work. We look at xDai as one concrete example of such a bridged side-chain and Austin talks about his burner wallet that can provide a super snappy nice UX thanks to running on this faster side-chain.A few resources to check out: Burner Wallet website and Github RepoxDai WebsiteAs mentioned in the intro, the Zero Knowledge Summit is happening on March 22 - if you are a dev, researcher or founder working on these topics and want to attend, please submit your application here: https://goo.gl/forms/e0DpeHO6kyPVMlIg2)If you like what we do: Follow us on Twitter - @zeroknowledgefmJoin us on Telegram - https://t.me/joinchat/B_81tQ57-ThZg8yOSx5gjASupport our Gitcoin Grant - https://gitcoin.co/grants/38/zero-knowledge-podcastSupport us on Patreon - https://www.patreon.com/zeroknowledge Or directly here: ETH: 0xC0FFEE1B5083230a5154F55f253B6b6ae8F29B1aBTC: 1cafekGa3podM4fBxPSQc6RCEXQNTK8Zz

In this week’s episode, Anna sits down with Jenna Zenk, the CTO of Melonport, to discuss her background, the path to the melon protocol, the challenges of building sophisticated smart contracts and what it means to release a decentralised protocol into the wild. This was recorded soon after the M1 conference in Zug. A few resources to check out: Melonomics Blog postsThe Melon Governance explainedTechCrunch writes about Melon's technical council Thanks again to this week's sponsor Neufund. If you’re interested in how Neufund has linked legal documents with smart contracts, check their GitHub profile at github.com/neufund or join Neufund on their Telegram channel.If you like what we do: Follow us on Twitter - @zeroknowledgefmJoin us on Telegram - https://t.me/joinchat/B_81tQ57-ThZg8yOSx5gjASupport our Gitcoin Grant - https://gitcoin.co/grants/38/zero-knowledge-podcastSupport us on Patreon - https://www.patreon.com/zeroknowledge Or directly here: ETH: 0xC0FFEE1B5083230a5154F55f253B6b6ae8F29B1aBTC: 1cafekGa3podM4fBxPSQc6RCEXQNTK8Zz

In this episode, we sit down with Bogdan Opanchuk and John "Tux" Pacific from NuCypher to chat about their threshold proxy-encryption technology, how the project aims to provide privacy infrastructure, dig into their nuFHE scheme and explore far along FHE research, the cryptographic "holy grail", really is.Here are some papers we mention in the podcast: Matt Green’s blog post “Wonk post: Circular security“BBS98A FULLY HOMOMORPHIC ENCRYPTION SCHEME - Gentry 2009 https://crypto.stanford.edu/craig/craig-thesis.pdfIf you are interested in applying for the Zero Knowledge Summit, you can do so here: https://goo.gl/forms/QDuvwivUOzAH5P6h1Just keep in mind, the event has limited spots and we are expecting a highly technical audience. If you like what we do: Follow us on Twitter - @zeroknowledgefmJoin us on Telegram - https://t.me/joinchat/B_81tQ57-ThZg8yOSx5gjASupport our Gitcoin Grant - https://gitcoin.co/grants/38/zero-knowledge-podcastSupport us on Patreon - https://www.patreon.com/zeroknowledge Or directly here: ETH: 0xC0FFEE1B5083230a5154F55f253B6b6ae8F29B1aBTC: 1cafekGa3podM4fBxPSQc6RCEXQNTK8Zz

In this episode, we discuss tokens, token standards and the sometimes confusing ERC process. We cover some of the most popular token standards and discuss what it takes to design a standard and get this accepted by the community. We also have a chat with Matt Lockyer about his experience submitting ERC998 To see the full list of ERCs in draft and final state, check out https://eips.ethereum.org/ercCatch up with Matt Lockyer on Twitter or Medium Thank you to our sponsor Least Authority. If you would be interested in using P4 - the Private Periodic Payment Protocol - for subscription payments with your token or blockchain GDPR-compliant, reach out to Least Authority P4@leastauthority.com. A more detailed specification can be found here —> P4 paper If you like what we do: Follow us on Twitter - @zeroknowledgefmJoin us on Telegram - https://t.me/joinchat/B_81tQ57-ThZg8yOSx5gjASupport our Gitcoin Grant - https://gitcoin.co/grants/38/zero-knowledge-podcastSupport us on Patreon - https://www.patreon.com/zeroknowledge Or directly here: ETH: 0xC0FFEE1B5083230a5154F55f253B6b6ae8F29B1aBTC: 1cafekGa3podM4fBxPSQc6RCEXQNTK8Zz

In this episode, we chat with Tarun Chitra about a broad range on topics, from his work on early non-blockchain ASICs, to making models in high frequency trading, and the nuances of statistical modeling of PoS systems in blockchain.Tarun's new company Gauntlet is building a simulation platform for crypto networks to help developers understand how decisions about security, governance and consensus mechanisms are likely to affect network activity and asset value.Here are a few of the articles that we discuss: On Bitcoin and Red BalloonsSecure High-Transaction Rate Processing in BitcoinWe also mention a previous episode with Axel Ericsson from Vest that you can find here --> https://www.zeroknowledge.fm/49For a bit more about Tarun, follow him on Twitter, or check out this Vice Article about his past work at D.E. Shaw Research creating simulation models of glass molecules. Special thanks to this week's sponsor: Trail of Bits. If you want to find out more about JP Smith's extreme security challenge we mentioned at the beginning of this episode, you can find his write-up on the Trail of Bits blog here --> What do La Croix, octonions, and Second Life have in common? If you like what we do: Follow us on Twitter - @zeroknowledgefmJoin us on Telegram - https://t.me/joinchat/B_81tQ57-ThZg8yOSx5gjASupport us on Patreon - https://www.patreon.com/zeroknowledge Or directly here: ETH: 0xC0FFEE1B5083230a5154F55f253B6b6ae8F29B1aBTC: 1cafekGa3podM4fBxPSQc6RCEXQNTK8Zz

In this week's episode, Anna and Fredrik give a general introduction to MPCs, go over a few examples of MPCs in action, compare them with other cryptographic concepts, try to pronounce "fully homomorphic encryption" properly, and more! Here are some of the material that we reference: Andrew Yao's paper on Protocols for Secure Computations"How to play ANY mental game" publication - MPCs first introduced Goldreich-Micali-Wigderson (GMW)Very basic intro to Shamir Secret Sharing and MPCs Video Series from a Prof at Chalmers First widely used MPC in DenmarkMulti-Party Computation: From Theory to Practice. Nigel P. Smart speaking at Google Rob Habermeier's Shamir Secret Sharing libraryA course by Zvika Brakerski on Fully Homomorphic EncryptionThanks again to this week's sponsor Aragon. To find out more about Aracon, the first Aragon community conference happening on January 29-30th in Berlin visit aracon.oneTo the listeners of Zero Knowledge Podcast, if you like what we do: Follow us on Twitter - @zeroknowledgefmJoin us on Telegram - https://t.me/joinchat/B_81tQ57-ThZg8yOSx5gjASupport us on Patreon - https://www.patreon.com/zeroknowledge Or directly here: ETH: 0xC0FFEE1B5083230a5154F55f253B6b6ae8F29B1aBTC: 1cafekGa3podM4fBxPSQc6RCEXQNTK8Zz

In this week's episode, we catch up with Eli Ben-Sasson and Alessandro Chiesa from StarkWare Industries. We talk about their longstanding academic work in theoretic & applied cryptography, how StarkWare came to be, the emergence of zkSNARKs and zkSTARKs, some of the differences between these different zero knowledge systems, dive into the specific features of STARKs (!) and what's coming next in the space. For some background on the topics we cover in this episode, please check out the other episodes in our ZK SeriesHere are a few papers we mentioned in the talk: Zero coin: http://zerocoin.org/media/pdf/ZerocoinOakland.pdfZero cash: http://zerocash-project.org/paperFollow Eli on Twitter: https://twitter.com/elibensasson?lang=enTo find out about our ZK Study Club, join the Zero Knowledge telegram group: https://t.me/joinchat/B_81tQ57-ThZg8yOSx5gjASpecial thanks to POA Network for being our sponsor on this episode. To learn more about threshold cryptography and how to use it, check out the latest POA Network Medium post : https://medium.com/poa-network/tagged/hbbftIf you like what we do:Follow us on Twitter - @zeroknowledgefmSupport us on Patreon - https://www.patreon.com/zeroknowledge Or directly here: ETH: 0xC0FFEE1B5083230a5154F55f253B6b6ae8F29B1aBTC: 1cafekGa3podM4fBxPSQc6RCEXQNTK8Zz