ZK-News - 1st-7th July '24
✨ ZK-Newsflash! ✨
Here are the highlights of what happened in the ZK space last week, 1st - 7th July.
We’re thrilled to have announced our partnership with Mina! ✅
Aligned will help Mina verify Ethereum proofs more efficiently, making the ‘Proof of Everything’ more accessible. This is a big step forward for both protocols!
Mina 🤝 Aligned.
#AlignedPartnerships: 019
— Aligned (@alignedlayer) July 4, 2024
We’re excited to announce the alignment of the ‘Proof of Everything’.
Yes, @MinaProtocol will verify their Ethereum proofs with Aligned!
We need an internet full of true and verifiable information.
Aligned and Mina are building this. ✅ pic.twitter.com/5xEuxGcO9q
Excited to share our agenda for EthCC 2024 in Brussels! 📅
Join us for in-depth technical discussions and a vibrant hacking atmosphere.
ZK enthusiasts, get ready to connect and explore the latest advancements! We're looking forward to seeing you there. Details below.
Looking for Alignment?
— Aligned (@alignedlayer) July 5, 2024
Find us in Brussels during @EthCCweek.
Here’s Aligned’s @EthCC 2024 agenda: pic.twitter.com/pEmoQDGYIP
Very Aligned podcast with The Rollup! 📢
Two of our co-founders, Roberto Catalán & Mauro Toscano, spread the word about Aligned, explaining technical details about our architecture, the challenges we face, and commenting on the progress of ZK technology, and much more!
The era of affordable and speedy ZK proof verification is here.
— The Rollup (@therollupco) July 1, 2024
After our recent interviews with teams building with a focus on verifiable computation, we fully believe the modular stack will be 'eaten' by ZK.
In today's interview, we discussed this & more with @thisisrj and… pic.twitter.com/REo7p3nFpl
A great paper by Ingonyama, jointly with Justin Thaler was posted! 🔎
Building upon Justin Thaler's work on optimizing the sumcheck prover for small fields, they have created a new algorithm that offers substantial improvements in both computational efficiency and memory usage.
🥁New paper🥁
— Ingonyama (@Ingo_zk) July 2, 2024
The Sum-Check Protocol over Fields of Small Characteristic, Joint with @SuccinctJT, links below.
Paper: https://t.co/lW7gUnvCLR
Blog: Sumcheck and Open-Binius: https://t.co/efTL5a4qOh
Code: Smallfield-super-sumcheck: https://t.co/IzSXWsNlv9 pic.twitter.com/WMd5M8AGQK
Kakarot Public Testnet Phase is Live! 🥕
The team invites builders to deploy smart contracts and build unique dApps. They also encourage users to experiment with existing dApps.
Visit the faucet to claim your first drip and join the network.
Behold, frens: today marks a milestone for Kakarot: Public Testnet Phase is live! 🥕
— Kakarot ZK-EVM (@KakarotZkEvm) July 3, 2024
No whitelist needed! Head out to our faucet: https://t.co/PNjkfBRQbO to claim your first drip and join the network. 👇🧵 pic.twitter.com/OovCOmmXtZ
Ventali Tan, co-founder of Lita, provided an excellent resource discussing zkVM design. 📗
Custom or general-purpose Instruction Set Architecture (ISA)?
Find out Lita’s approach in this thread!
1/ Big debate in zkVM design: Custom vs general-purpose ISA?
— Ventali (@ventali_) July 3, 2024
General ISAs are versatile, hardware-friendly, but NOT designed for zkVM's specific needs.
Short 🧵 + Link to full article 👇 pic.twitter.com/aj9hnGttcM
To advance its mission to coordinate a decentralized rollup economy, Radius launched Loggia Testnet, its third Testnet with Radius AVS built on EigenLayer. ✨
It's designed to ensure sequencing liveness and block safety required for decentralized sequencing in rollups.
We've spent the last couple of months building our 3rd testnet Loggia, powered by Radius AVS on @eigenlayer.
— Rádius (@radius_xyz) July 2, 2024
Introducing Loggia.
Decentralized sequencing backed by the economic security of Ethereum. pic.twitter.com/gWgL0eXxPP
Herodotus announced the beta release of Herodotus Data Processor (HDP). ✅
It enables the delegation of intensive computations over authenticated on-chain data to an off chain service.
It is built on the CairoVM and the underlying STARK proof system.
Exciting news! We're thrilled to announce the beta release of Herodotus Data Processor (HDP) - a powerful solution for defining extensive sets of on-chain data and running complex computations over them in a fully sound and proven environment using STARKs and Storage Proofs 🛰️ pic.twitter.com/hohJsvJFxV
— Herodotus 🛰 (@HerodotusDev) July 6, 2024
ZKsync unveils the Elastic Chain. ⛓️
The elastic chain is an infinitely extensible network of ZK Chains, seamlessly interoperable with a uniform intuitive UX.
This upgrade enables native, trustless, low-cost interoperability between chains powered by ZK Stack.
Today, ZKsync unveils the Elastic Chain — an ever-expanding network of ZK rollups, secured by math and natively interoperable under a uniform, intuitive UX.
— ZKsync (∎, ∆) (@zksync) July 2, 2024
Full post: https://t.co/GnbsErZKOZ pic.twitter.com/g9uScjAisa
StarkWare sets new proving record: 💻
They shattered the proving record with over 500,000 hashes proved per second on a commodity quad-core CPU.
This implies that more efficient proving technology can be used to reduce proving costs.
Oops!... We did it again: Another breakthrough in scaling 💅
— StarkWare 🐺🐱 (@StarkWareLtd) July 4, 2024
This time, we set a new proving record with our brand-new prover, Stwo.
With Stwo, we measured a proving throughput of over:
💠 500,000 Poseidon hashes per second on an Intel i7 CPU with 4 cores 🤯
💠 600,000 per… pic.twitter.com/CVt5A2EHNA
Another ZK Podcast is out! 📢
In this episode Anna Rose and Guillermo Angeris chat with Ying Tong and Bryan Gillespie.
They discuss their recent work, 'SoK: Programmable Privacy in Distributed Systems'.
Listen to it here:
🎙️This week, @AnnaRRose + @GuilleAngeris chat with @therealyingtong + @bryan_gillespie about their latest work ‘SoK: Programmable Privacy in Distributed Systems’. They explore the classifications + frameworks being introduced plus much more. https://t.co/Q5zZOD2SML
— Zero Knowledge Podcast (@zeroknowledgefm) July 3, 2024
Stay tuned: 🐦 Twitter | 🗨️ Telegram | 👾 Discord | 🌐 Website | 📝 Manifesto
