ZK-News - 5th-11th August '24
✨ ZK-Newsflash! ✨
Here are the highlights of what happened in the ZK space last week, 5th - 11th August.
ZK Hack Montreal was a huge success! 🎉
The event took place from August 9th to 11th.
We are very happy to have met a lot of Aligned attendees in Montreal.
ZK is becoming mainstream! 💚
ZK Hack Montreal begins tomorrow, and so does our bounty program!
— Aligned (@alignedlayer) August 8, 2024
Aligned is contributing to the $53,000 prize pool, and we'll be rewarding the best projects that use Aligned to verify proofs.
Find some of our ideas here, but you can build anything!https://t.co/smdz8gQI31
🧵
The guide you've been waiting for.
How to integrate Aligned into your application. ✨
Follow these simple three steps to achieve it:
✅ Generate your ZK Proof.
✅ Write your smart contract.
✅ And submit and verify the proof to Aligned.
Read on to learn more.
Integrating Aligned into your Application:
— Aligned (@alignedlayer) August 6, 2024
It only takes three simple steps to integrate Aligned into your application, enabling fast and cheap verification for all of the ZK proofs generated inside your system. ✅
Let's check the docs and find out how! pic.twitter.com/Q9ZiO8mDo4
Eli Ben-Sasson chatted with The Rollup. 📢
They talked about scaling Bitcoin, the exploration of integrating Bitcoin with Ethereum, and more.
Will Starknet be able to settle transactions across both chains simultaneously? 👀
Stay tuned for updates.
Bitcoin's biggest scaling breakthrough in recent memory has been achieved in the last few months.
— The Rollup (@therollupco) August 6, 2024
Native STARK verifiers onchain are coming to Bitcoin, assuming a successful passing of OP_CAT.
For today's pod we sat down with @EliBenSasson of @StarkWareLtd to discuss the topic… pic.twitter.com/d3ZE7kJaXn
The StarkWare Scholar Summit was amazing. 🥳
It's great to see this kind of initiative. Topics discussed included: FRI protocol, Circle STARK, cryptoeconomic security, and much more.
If you missed it, you can watch it again on this playlist.
The first-ever StarkWare Scholar Summit was a huge success, paving the way for even more such events 👨🍳
— StarkWare 🐺🐱 (@StarkWareLtd) August 8, 2024
A big thank you to everyone who participated!
If you want to dive deeper into circle STARKs with @EliBenSasson, the power of algebra, cryptoeconomic security, transaction fee… pic.twitter.com/7puTX79M52
Kakarot announced Kakarot SEED: A 6-week hackathon to cultivate your most innovative ideas! 🥕
Build your project on Kakarot to get mentorship and marketing support.
🔹 Consumer dApps.
🔹 DeFi dApps.
🔹 Whatever you want.!
The only limit is your imagination. 🧠
🥕🧺 HELPING THE SEEDS OF ETHEREUM GROW
— Kakarot ZK-EVM (@KakarotZkEvm) August 6, 2024
Announcing Kakarot SEED (Scouting Emerging Ethereum Developers) — a 6-week hackathon to cultivate your most innovative ideas!
As excited as we are? Let’s go 🧵👇 pic.twitter.com/kJHLvmzdWm
Lita hosted an amazing event, "The Next Frontier of Proving Systems and zkVMs." 📢
Discussions focused on innovative approaches that are shaping the next generation of cryptographic proofs.
Speakers included: Daniel Lubarov, Daniel Dore, Wei Dai, and more.
Interested in Lattice-based folding, Uni vs. Multilinear STARKs, New PCS, Advancements in binary field cryptography?
— Ventali (@ventali_) August 7, 2024
Join our roundtable tonight with Daniel Lubarov @dlubarov, Daniel Dore @thesecretdore (Valida zkVM), Adrian Hamelink, @_weidai!
8-11PM, NYC https://t.co/JxGPofcML2
Big announcement from the Succinct Labs team: SP1's official production release! 🖥️
By simply writing Rust, any developer can create real-world ZKP applications.
This is a huge step forward for the adoption of ZK technology.
Congratulations to the Succinct Labs team! 🎉
SP1 is live and ready for production use.
— Succinct (@SuccinctLabs) August 6, 2024
Our blazing fast zkVM enables any developer to create real-world ZKP applications by simply writing Rust.
Let's make ZKPs MAINSTREAM. pic.twitter.com/c8QbwYmSNB
A paper on two new SNARKs, Pari and Garuda, was published by Pratyush Mishra, Alireza Shirzad, and Michel Dellepere.
The authors claim that:
✅ Pari is the smallest known SNARK.
✅ And Garuda reduces proof generation time by supporting arbitrary “custom” gates and free linear gates.
Excited to share our work on two new SNARKs: Pari and Garuda.
— Pratyush Mishra (@zkproofs) August 8, 2024
Pari is the smallest known SNARK (just 1280 bits), while Garuda achieves a very fast prover by supporting "free" addition gates *and* custom gates together.
Joint work with my great coauthors @alrshirzad and Michel pic.twitter.com/GEcPxdKx7t
Zircuit announced that their Mainnet Phase 1 is Live! ⚡️
This is a major milestone in their pursuit of a secure and efficient platform for decentralized applications.
We're excited to see what the future holds for this project.
We’re excited to share that Mainnet Phase 1 is officially LIVE!
— Zircuit (@ZircuitL2) August 5, 2024
Along with Mainnet we are announcing several new programs, including the Season 1 Airdrop Claim and Gas Mining.
Launch thread below 🧵 pic.twitter.com/tqPyNpU3Z1
Stay tuned: 🐦 Twitter | 🗨️ Telegram | 👾 Discord | 🌐 Website | 📝 Manifesto
