ZK-News - 7th-13th October '24

✨ ZK-Newsflash! ✨
Here are the highlights of what happened in the ZK space last week, 7th - 13th October.
Last week we had the pleasure of connecting with Alignors in Istanbul! 🎉
The event was spectacular. We're thrilled to have interacted with you and discussed what's possible with Aligned.
An amazing experience. Thank you to everyone who attended.
We're teaming up with @node_101 to bring hacker alignment to Istanbul.
— Aligned (@alignedlayer) October 10, 2024
Join us at Moda Palas on Saturday, October 12.
Meet our team and share ideas with other innovators in “Camp Fire Circles” by the stunning Bosphorus.
Don’t miss this chance to explore what’s possible with… pic.twitter.com/VI4jTbXXdW
StarkWare shows advancements of STARKs on Bitcoin. Are they closer than ever? ⚡️
It's fantastic to see this progress, truly driving innovation for Bitcoin.
Congratulations on this incredible work, Weikeng Chen!
Read on to learn more.
Is STARK on Bitcoin closer than ever? 👀@weikengchen just implemented a new verifier in Bitcoin script (with OP_CAT enabled) using the innovative "Circle Plonk" technique. This makes verifying arithmetic circuits exponentially faster and cheaper than direct computation!
— StarkWare 🐺🐱 (@StarkWareLtd) October 9, 2024
You… pic.twitter.com/9yV5mQbXU1
'Why you should pay attention to Real Complex STARKs', by Omer Shlomovits, CEO of Ingonyama. ⭐️
It is an excellent article which first of all offers a very interesting way to get into research.
The author describes his take on how the Circle STARK Paper came to be and the contributions presented in @Yuval_Domb's paper on “Really Complex Codes with Application to STARKs”.
You won't want to miss it. Great article. Thanks Ingonyama for sharing.
— Ingonyama (@Ingo_zk) October 11, 2024
Attention devs! Kakarot Testnet has moved to Starknet Sepolia! 🥕
This move, previously announced by the team, has been successfully completed.
They remind us that the Former testnet is deprecated.
Congrats to Kakarot and its community!
🥕Today’s the Day: Kakarot Testnet has officially moved to Starknet Sepolia! 🚀
— Kakarot ZK-EVM (@KakarotZkEvm) October 10, 2024
💪We’re thrilled to power up @Starknet with EVM provability!
🎉 Starknet is already one of the most performant and affordable L2s. Thanks to their Kakarot powered MultiVM, EVM dApps can easily… pic.twitter.com/SNPYFzgQUk
Amazing The Rollup podcast: Ethereum's ZK & Formal Verification Endgame with Alexander Hicks from the Ethereum Foundation. 📢
The conversation is very interesting and covers a wide range of topics including the importance of Formal Verification in Blockchain, the security of ZKVMs, even the debate between Cryptographic vs. Crypto-Economic Security, and many more.
Excellent episode.
SPECIAL: Ethereum's ZK & Formal Verification Endgame with Alexander Hicks of The Ethereum Foundation
— The Rollup (@therollupco) October 8, 2024
Following our recent podcast with @drakefjustin about Ethereum's roadmap, we set out to understand a few key components of that discussion in further detail: Real-time proving,… pic.twitter.com/0GbyUWLYUB
Blaze is here! A new and highly efficient multilinear polynomial commitment scheme over binary fields. 🚀
It has an extremely efficient prover, both asymptotically and concretely.
The work was presented jointly by Ron Rothblum, Binyi Chen, Ben Fisch, Hadas Zeilberger, Martijn Brehm, and Nicolas Resch.
This is fantastic work.
Excited by a new work , called Blaze, with Martijn Brehm, @Charles_Chen533, @benafisch, Nic Resch and @idocryptography.
— Ron Rothblum (@ronrothblum) October 11, 2024
Blaze is a multi linear PCS for binary fields, with an extremely fast prover both asymptotically and concretely.https://t.co/JAQYbnVaQx
Introducing WHIR: A new IOP of proximity that offers small query complexity and exceptionally fast verification time. ⚡️
The paper is co-authored by Giacomo Fenzi, Gal Arnon, Alessandro Chiesa, and Eylon Yogev.
Read on to learn more.
Congratulations to the co-authors!
WHIR 🌪️: a IOP of proximity and multilinear polynomial commitment scheme with exceptionally fast verification time.
— Giacomo Fenzi (@GiacomoFenzi) October 8, 2024
Joint work with @GalArnon42, Alessandro Chiesa and Eylon Yogev.
📚: https://t.co/fABAMldmOY
📄: https://t.co/PPUAwmqqBi
🧑🏻💻: https://t.co/9qwHbPWRgd pic.twitter.com/YKK93tICAc
Stay tuned: 🐦 Twitter | 🗨️ Telegram | 👾 Discord | 🌐 Website | 📝 Manifesto