Proof of Solvency with Kostas Chalkias
This week, https://twitter.com/annarrose (Anna) explores the topic of proof of solvency with https://twitter.com/kostascrypto (Kostas Chalkias), co-founder and chief of Cryptography at https://github.com/MystenLabs (MystenLabs). They cover Kostas’ background in Cryptography and explore his work on Proof of Reserves, otherwise known as Proof of Solvency. They review past Proof of Solvency models using ZKPs and look at the protocols that major centralized exchanges are currently using. Then they dive into the security vulnerabilities, privacy issues, and general bugs that Kostas and his collaborators have identified in these protocols and their recommendations on how to better build Proof of Solvency systems. Here are some additional links for this episode: https://zeroknowledge.fm/228-2/ (Episode 227: Move and Sui with Sam Blackshear from Mysten Labs) https://about.fb.com/news/2018/03/hard-questions-cambridge-analytica/ (Hard Questions: Update on Cambridge Analytica) https://jbonneau.com/doc/DBBCB15-CCS-provisions.pdf (Provisions: Privacy-preserving proofs of solvency for Bitcoin exchanges By Dagher, Bünz, Bonneau, Clark and Boneh) https://eprint.iacr.org/2022/043.pdf (Broken Proofs of Solvency in Blockchain Custodial Wallets and Exchanges By Chalkias, Chatzigiannis and Ji) https://www.youtube.com/watch?v=gQCCdJvszDA&list=PLOEty2U8Y69ULDD8YxqQ8kWg8Qn7N8XHZ&index=6 (Groth16 still lives: exploring tradeoffs of modern ZKProof systems - François Garillot Mysten Labs) Join the ZK HACK III - https://zkhack.dev/zkhackIII/ (final sessions here) Join the https://discord.com/invite/tHXyEbEqVN (ZK HACK Discord) Today’s episode is sponsored by https://www.aleo.org (Aleo) Aleo is a new Layer-1 blockchain that achieves the programmability of Ethereum, the privacy of Zcash, and the scalability of a rollup. If you’re interested in building private applications then check out Aleo’s programming language called Leo. Visit https://leo-lang.org/ (leo-lang.org) to start building. You can also join Aleo’s incentivized testnet3 by downloading and running a snarkOS node. No sign-up is necessary to participate. For questions, join their Discord at https://www.aleo.org/discord (aleo.org/discord). If you like what we do: Find all our links here! https://linktr.ee/zeroknowledge (@ZeroKnowledge | Linktree) Subscribe to our https://zeroknowledge.substack.com (podcast newsletter) Follow us on Twitter https://twitter.com/zeroknowledgefm (@zeroknowledgefm) Join us on https://zeroknowledge.fm/telegram (Telegram) Catch us on https://zeroknowledge.fm/ (Youtube) Head to the https://community.zeroknowledge.fm/ (ZK Community Forum) Support our https://zeroknowledge.fm/gitcoin-grant-329-zkp-2 (Gitcoin Grant)