This week, Anna (https://twitter.com/AnnaRRose) chats with Bobbin Threadbare (https://twitter.com/bobbinth) about his project Miden, a STARK-based roll-up which was recently purchased by Polygon. We recap the differences between STARKs and SNARKs and the increasingly blurred line between these two proving systems. We then map Bobbin’s journey to Miden VM (https://github.com/maticnetwork/miden) (now Polygon Miden), how it originated from his earlier project Distaff VM and now incorporates the Winterfell prover from his days at Facebook.
Here are some links for the episode:
* Episode 194: zkEVM with Jordi & David from Hermez (https://zeroknowledge.fm/episode-194-zkevm-with-jordi-david-from-hermez/)
* Blog Post: Polygon Announces Polygon Miden (https://blog.polygon.technology/polygon-announces-polygon-miden-a-stark-based-ethereum-compatible-rollup/)
* Miden repo (https://github.com/maticnetwork/miden)
* Introducing Distaff: a STARK-based VM written in Rust (https://ethresear.ch/t/introducing-distaff-a-stark-based-vm-written-in-rust/7318)
* Distaff VM repo (https://github.com/GuildOfWeavers/distaff)
* AirScript - a low-level language for zk-STARKs (https://ethresear.ch/t/airassembly-a-low-level-language-for-zk-starks/6419/1)
* AirScript: Arithmetization for zk-STARKs, with Bobbin (https://www.youtube.com/watch?v=P6-qPEpares)
* Blog Post: Open sourcing Winterfell: A STARK prover and verifier (https://engineering.fb.com/2021/08/04/open-source/winterfell/)
* Winterfell repo (https://github.com/novifinancial/winterfell)
* Vitalik’s write-up on STARKs, Part 1 of 3 (https://vitalik.ca/general/2017/11/09/starks_part_1.html)
Support ZK Podcast on Gitcoin - last couple days to get donations matched!
https://gitcoin.co/grants/329/zero-knowledge-podcast-2
ZK Tech Matching Round with Gitcoin (https://gitcoin.co/grants/explorer/?page=1&limit=12&me=false&sort_option=weighted_shuffle&collection_id=false&network=mainnet&state=active&profile=false&sub_round_slug=gr12-zktech&collections_page=1&grant_regions=&grant_types=&grant_tags=&tenants=&idle=false&featured=true&round_type=ecosystem&tab=grants&round_num=12&customer_name=zkTech)
If you’re interested in supporting ZK-focused tech or tools, including learning material or documentation then check out this Gitcoin matching round running until December 16th. This ZK tech side round is funded by the ZK Validator and some great teams in the ZK ecosystem. Join the push towards more ZK!
Today’s episode is sponsored by Aztec (https://aztec.network/).
Aztec aims to be the privacy layer for Ethereum. They believe that unlocking programmable privacy is the next frontier for blockchains. Aztec is the first zero knowledge rollup built from the ground up for anonymous payments and DeFi transactions.
Try our Aztec to send funds privately on zk.money (https://zk.money/).
If you like what we do:
Follow us on Twitter - @zeroknowledgefm (https://twitter.com/zeroknowledgefm)
Join us on Telegram (https://t.me/joinchat/TORo7aknkYNLHmCM)
Catch us on Youtube (https://www.youtube.com/channel/UCYWsYz5cKw4wZ9Mpe4kuM_g)
Read up on the r/ZKPodcast subreddit (https://www.reddit.com/r/zkpodcast)
Give us feedback! -https://forms.gle/iKMSrVtcAn6BByH6A
Support our Gitcoin Grant (https://gitcoin.co/grants/329/zero-knowledge-podcast-2)
Support us on the ZKPatreon (https://www.patreon.com/zeroknowledge)
Donate through coinbase.commerce (https://commerce.coinbase.com/checkout/f1e56274-c92b-4a99-802f-50727d651b38)