ZK-News - 22nd-28th July '24

β¨ ZK-Newsflash! β¨
Here are the highlights of what happened in the ZK space last week, 22nd - 28th July.
Interested in TEEs and ZK? We co-hosted this Space with Automata Network to discuss the topic in more detail. π
Speakers from:
β Ten Protocol.
β Phala Network.
β Gwyneth.
β Vanishree Rao.
β And more.
If you missed it, you can listen to the recording here:
It's ZK-TEE time!
β Aligned (@alignedlayer) July 22, 2024
Join us on July 24th at 5PM CEST for an in-depth discussion on TEEs vs ZK.
Don't miss out on this chance to learn from @AutomataNetwork, @vanishree_rao, @gwyneth_taiko, @PhalaNetwork, @tenprotocol and ask your questions live!
π ππ» https://t.co/9hpr4outRY pic.twitter.com/Gb6agXDSJ1
Our podcast with Bitcoin Suisse is now available! π’
Two of our co-founders, Roberto CatalΓ‘n and Diego Kingston, discuss Aligned's mission and explain the technical details needed to reach our goal.
You can watch it on YouTube or listen to it on Spotify and Apple Podcasts.
Uncut Gems x @alignedlayer
β Bitcoin Suisse (@BitcoinSuisseAG) July 24, 2024
Bitcoin Suisse Head of Research @Dominic_Weibel and Crypto Protocol Specialist @w4vitale sat down with @thisisrj and @zkdiegokingston, co-founders of @alignedlayer.#Aligned seeks to accelerate the roadmap of #Ethereum by making proof verification⦠pic.twitter.com/5IXr7xCKYv
βExploring circle STARKsβ by Vitalik Buterin. βοΈ
Vitalik shared an insightful article where he explains this amazing concept in detail.
If you are looking for educational material, this article is for you.
A true delight for math enthusiasts. π
Exploring circle STARKshttps://t.co/WoVeucLXS6
β vitalik.eth (@VitalikButerin) July 23, 2024
Thank you to @StarkwareLtd friends for the kind support in understanding these concepts!
See also my implementation at https://t.co/qJP3lnaS8m
βAn introduction to circle STARKsβ by our co-founder, Diego Kingston. π
This article will help you understand not only the work of Shahar Papini, David Levit, and Ulrich HabΓΆck on circle STARKs, but also several cryptographic concepts in general.
Amazing work! π«‘
A short intro to circle STARKs https://t.co/oP6eXTHl1M. Luckily, the circle is isomorphic to the projective line, so it's @alignedlayer
β Diego_Kingstonπ© (@zkdiegokingston) July 25, 2024
Another day, another milestone for StarkWare. β‘οΈ
This time, an interesting material about STARK over Bitcoin was provided: The path to general computation on Bitcoin?
Bitcoin and ZK are getting closer very fast!
Dive into the details here:
Our first research paper on STARK over Bitcoin is here β¨
β StarkWare πΊπ± (@StarkWareLtd) July 24, 2024
This paper is the most practical covenant-rollup research ever published.
So sit back and discover how the combination of STARK technology and OP_CAT can unlock unlimited use cases for Bitcoin, paving the way for its⦠pic.twitter.com/on7Le4UnMs
βhttpzβ or βhttpsβ? That is the question: Mina responds. π
Mina shared an interesting article introducing βhttpzβ: The Internet you can trust, uncovering its enormous potential.
Spoiler: It comes with meme material π
httpz is about building an internet of true things where users can create, share, and verify proofs of information independent of any third parties. pic.twitter.com/zD9YvZonvf
β Mina Protocol (httpz) πͺΆ (@MinaProtocol) July 22, 2024
Elias Tazartes, co-founder and co-CTO/CEO of Kakarot, explained exciting plans for the future of the project. π₯
β Biggest challenges?
β Long-term vision?
All of this and more in this Q&A with StarkWare.
We are very proud to be a partner of this amazing team! π«
Kakarot plans to make Starknet the first-ever DualVM ZK rollup, supporting both EVM and Cairo VM.
β Starknet πΊπ± (@Starknet) July 26, 2024
And this is happening this year: @KakarotZkEvm will launch on the Starknet mainnet Q4 2024.
This is huge: learn why in this Q&A by none other than @ETazou πβ¦ pic.twitter.com/qW3lThlkuS
Big news from Polygon and Irreducible: they are building a zkVM based on Towers of Binary Fields! π€―
This explosive combination joins Polygon Labs' expertise in designing ZK-powered L2s with Irreducible's mathematical expertise as the team behind Binius.
Irreducible has joined the list of contributors developing the AggLayer π
β Polygon | Aggregated (@0xPolygon) July 23, 2024
Polygon Labs and @IrreducibleHW are building a production-grade zkVM based on Binius, bringing the breakthrough properties of binary fields to the problem of verifiable, offchain computing. pic.twitter.com/0kWvlPndOO
BitcoinOS has announced they have verified a ZK-proof on Bitcoin Mainnet! β‘οΈ
ZK is spreading everywhere.
Congratulations to BitcoinOS team.
More details below.
We have done it! For the first time ever a ZK-proof has been verified on Bitcoin Mainnet by BitcoinOS.
β BitcoinOS (@BTC_OS) July 24, 2024
The final verification was confirmed in block 853626.
A historic moment and a historic block.
A new era has begun for Bitcoin enabling unlimited scaling and functionality -β¦ pic.twitter.com/x8akim4SJh
The Elastic Chain in a nutshell! β
In just three tweets, ZKsync explains to us what it is, why it is βElasticβ and the features it allows for.
Pretty interesting material regarding the evolution of ZKsync.
Discover it all here:
The Elastic Chain, summarized in three tweets, featuring @gluk64 at @ETHCC ππ½
β ZKsync (β, β) (@zksync) July 23, 2024
1οΈβ£ The Elastic Chain is an ever-expanding network of ZK rollups, secured by math and natively interoperable under a uniform, intuitive UX. pic.twitter.com/5UsOU9kpZU
Stay tuned: π¦ Twitter | π¨οΈ Telegram | πΎ Discord | π Website | π Manifesto