ZK-News - 13th-18th November '24

β¨ ZK-Newsflash! β¨
Here are the highlights of what happened in the ZK space from 13th to 18th November '24.
Aligned Devcon Recap! π
Alignoors, we all agree that this must have been the best Devcon so far.
We are delighted to see so much excitement around the activities and being so close to our community. It was amazing.
In the linked tweet you can see a recap of our activities. We hope you enjoy it.
Yes, this was the best Devcon ever.
β Aligned (@alignedlayer) November 18, 2024
Thrilled to have been part of Devcon and to contribute to the future of Ethereum! We connected with incredible people, shared inspiring ideas, and are excited to push the ZK ecosystem forward.
Here's how we did it:
Lita team announced that Valida now supports Rust. π
Great news from the Lita team.
Read the announcement in this article for full updates. It features some examples.
We are so happy to partner with such an amazing team. Congrats!
Valida now supports Rust. pic.twitter.com/oD4rtW6yGg
β Lita (@0xLita) November 13, 2024
Introducing Kailua, by RISC Zero. π»
Kailua is a hybrid architecture for optimistic rollups.
It brings 1-hour finality to optimistic rollup chains without the cost of constant ZK proving.
Impressive work!
Read the full announcement here.
Introducing Kailua: A hybrid architecture that gives OP chains 1-hour finality without the higher cost of constant ZK proving. pic.twitter.com/b3APSlGqwD
β RISC Zero π‘ (@RiscZero) November 15, 2024
ZK Hack presented an amazing ZK Whiteboard Session: Risc-V ZKVMs with Uma Roy. β‘
You can't miss this session by Uma Roy from Succinct Labs.
The explanation includes the description of the core components of ZKVMs, how lookups are used, use cases and tradeoffs, and much more.
Definitely worth a watch. Check it out:
ππ ππ‘π’ππππ¨ππ«π πππ¬π¬π’π¨π§π¬ ππππ¬π¨π§ πβ¦
β ZK Hack (@__zkhack__) November 13, 2024
Module 4: Risc-V ZKVMs w/ @pumatheuma and host @devloper_xyz is OUT NOW!https://t.co/yuOD3E2s2w
A fantastic paper has been posted: A Zero-Knowledge PCP Theorem. π€―
The work has been presented by Tom Gur, Jack OβConnor, and Nicholas Spooner.
In the linked tweet you will find a short description by Tom Gur, and an article posted by Quanta Magazine explaining the process.
This is an amazing result. Congratulations to the authors.
Excited to share this new paper with Jack O'Connor and @_nickspoon! We improve our ZK-PCP construction to cover all of NEXP (with exponential proofs), scale it to NP with polynomial proofs, and obtain O(1)-locality via composition--yielding a ZK analogue of the PCP theorem. 1/3 pic.twitter.com/xb1wfgJZGz
β Tom Gur (@TomGur) November 13, 2024
Stay tuned: π¦ Twitter | π¨οΈ Telegram | πΎ Discord | π Website | π Manifesto