Potrebbero piacerti
Just submitted my Master's thesis at EPFL, marking the end of my studies. 🎓 In the thesis I explore simulation security for arguments in the pure random oracle model, exploring sufficient and necessary properties to construct signatures and IND-CCA encryptions from arguments.
A shoutout to @jedodinh from the @ligero_inc team. Our goal is to scale ZK so you can prove anything from a device in your pocket, which crucially requires memory efficiency for the prover. Jérémi from our team pushed an update to plonky3 that helps exactly with that. Hash-based…
There has been FUD around how the recent amazing proximity gaps results affect current implementations of ZK. STARKs and Ligero use proximity gap theorems. At @ligero_inc, we have *NOT* relied on any unproven conjectures on proximity gaps. Google's ZK implementation by @abhvious…
[ZK Whiteboard Sessions - S3M5: The Ligero Proof System, w/ @mvenkita] 1/12 Diving into the Ligero ZK system, which is elegantly built on the "MPC-in-the-Head" paradigm. This thread breaks down its core concepts, from theory to practical implementation. 🧵
Great to see our CEO @mvenkita and @GuilleAngeris unpack the Ligero proof system in the new @__zkhack__ module. A detailed walkthrough of the theory & design behind client-side proving, covering MPC-in-the-head, zero-knowledge, & memory efficiency. Thanks @BainCapCrypto for…
Module 5 is live! We’re diving into The Ligero Proof System with @mvenkita and @GuilleAngeris Thanks to @BainCapCrypto for the support. Full access to all module resources zkhack.dev/whiteboard/s3m…
Module 5 is live! We’re diving into The Ligero Proof System with @mvenkita and @GuilleAngeris Thanks to @BainCapCrypto for the support. Full access to all module resources zkhack.dev/whiteboard/s3m…
🎙️This week @AnnaRRose and @GuilleAngeris chat with Muthu from @ligero_inc about the evolution of Ligero, client-side proving, and programmable compliance. zeroknowledge.fm/podcast/369/
zeroknowledge.fm
Ligero for Memory-Efficient ZK with Muthu
🪄✨ And for our next trick, choose a code, any code! Introducing WARP 🌀, the first linear-time accumulation scheme. Brought to you by @benediktbuenz, Alessandro Chiesa, @kleptographic and myself. 📚: ia.cr/2025/753 🧑💻: (soon)
1/ New benchmark in zero-knowledge proofs? Meet WHIR — a cryptographic protocol for super-fast proximity testing over Reed–Solomon codes. It enables SNARG verification in hundreds of microseconds, without blowing up proof size or prover cost. A deep dive 🧵👇
At least they left morning sunlight off the ballot.
You can feel the benefits of deleting Instagram from your phone almost immediately.
one interesting thing is that when you start deeply studying something, at that point everything is hard, but once you acquire some battle scars in that one corner of the world, it tends to translate and make many more areas much easier as a result
The Touring Award is a distinction for well-traveled compouter scientists, given annually by the International Society of Overzealous Spelling Correctors.
The guns have fallen silent. The stars have aligned. The great wait is over. Come see. It will not be televised.
I thought X Premium would remove ads. You're telling me I need Premium+!? What is this...
United States Tendenze
- 1. Lando 416K posts
- 2. Pearl Harbor 38.6K posts
- 3. #AskFFT N/A
- 4. Roman Wilson N/A
- 5. Tulane 20.8K posts
- 6. McLaren 118K posts
- 7. Oscar 193K posts
- 8. Go Bills 5,201 posts
- 9. Harry Wilson 1,178 posts
- 10. #CFBPlayoff 4,229 posts
- 11. #sundayvibes 6,954 posts
- 12. Full PPR 1,176 posts
- 13. #AbuDhabiGP 313K posts
- 14. Yuki 133K posts
- 15. Neal 3,906 posts
- 16. Good Sunday 80.3K posts
- 17. Duke 65.3K posts
- 18. Kincaid 1,796 posts
- 19. Cuellar 6,407 posts
- 20. #23yearsOfHOONmoon 51.6K posts
Something went wrong.
Something went wrong.