Vu Vo
@vuvoth
Followers
326
Following
3K
Media
161
Statuses
720
studying to become cryptographer, 😴, milk coffee, memes maker. debucmunity
Earth404
Joined December 2019
On Virgo++, by @FlyingNobita! Virgo++ ( https://t.co/j1UrjqXo27) is an extension of GKR proposed by @jiahengzhang96, @Mooncak91924642, Weijie Wang, Yinuo Zhang, @dawnsongtweets, @xxiang_xie, @yupengzhang7
https://t.co/MmZsiqb3ZE
Just published: Introduction to Virgo++ 📘 A significant limitation of GKR is it only works with layered arithmetic circuits. While any computation can be represented as a layered circuit, this leads to blowup in circuit size and prover time. Virgo++ extends GKR to work with
0
2
4
Thrilled to join @CosmoverseHQ — the legendary conference shaping the #InternetOfBlockchains 🌐 From day one, I’ve never missed a Cosmoverse, and this year is no exception. I will present @goNativeCC analytics about Bitcoin Yield and how we enable it with our Zero Trust
28
10
79
Back to actual research… We present a family of space-efficient sumcheck algorithms, and show that they are optimal! 🍹 Joint work with Anubhav, Ale, @efedele16, @zkproofs, @TusharMopuri and @andrewztech 📚: https://t.co/GtWk6MoU0o 🧑🏻💻: https://t.co/3OL9BoDKGl
3
12
93
1/ 🧵diving deeper into our new work on zkGPT: Proving LLM inference fast with Zero-Knowledge Proofs. Why? Service providers might deploy a smaller/cheaper model than promised. ZK lets them prove correctness without revealing model parameters. 📄
eprint.iacr.org
Large Language Models (LLMs) are widely employed for their ability to generate human-like text. However, service providers may deploy smaller models to reduce costs, potentially deceiving users....
97
15
55
New fastest shortest-path algorithm in 41 years! Tsinghua researchers broke Dijkstra’s 1984 “sorting barrier,” achieving O(m log^(2/3) n) time. This means faster route planning, less traffic, cheaper deliveries, and more efficient networks - and a CS curriculum revamp =)
344
3K
30K
[Revised] Scalable Collaborative zk-SNARK and Its Application to Fully Distributed Proof Delegation (Xuanming Liu and Zhelei Zhou and Yinghao Wang and Yanxin Pang and Jinye He and Bingsheng Zhang and Xiaohu Yang and Jiaheng Zhang)
0
1
3
🎙️This week @AnnaRRose talks with @daniel_d_kang, professor at UIUC and founding technical advisor at VAIL for an update on ZKML, which parts of ML proofs are generated on, and his new project ZKTorch. https://t.co/J7HhWPApfo
0
4
16
🎙️This week @AnnaRRose and @GuilleAngeris chat with Muthu from @ligero_inc about the evolution of Ligero, client-side proving, and programmable compliance. https://t.co/wSk6L18rZo
0
9
34
Zero-Knowledge Proofs verify information without revealing the underlying data. They reduce risk, protect privacy, and require no trusted third party.
6
19
101
[New] Gdel in Cryptography: Effectively Zero-Knowledge Proofs for NP with No Interaction, No Setup, and Perfect Soundness (Rahul Ilango)
1
19
59
[New] Evaluating Larger Lookup Tables using CKKS (Jules Dumezy and Andreea Alexandru and Yuriy Polyakov and Pierre-Emmanuel Clet and Olive Chakraborty and Aymen Boudguiga)
eprint.iacr.org
The Cheon-Kim-Kim-Song (CKKS) scheme is a fully homomorphic encryption scheme that traditionally supports only the evaluation of smooth functions. Recent works have enabled the evaluation of arbitr...
0
1
5
🎙️This week @AnnaRRose and @nico_mnbl talk with Dan and @sinu_eth from @tlsnotary about the project's evolution into a core PSE protocol, and how it enables cryptographically verifiable web data today. https://t.co/odF8dNWJrl
1
7
36
Big milestone for us — Valida is now open-source! One of the fastest and most user-friendly zkVMs, now ready for the world to build on.
Congrats @0xLita for open-sourcing Valida VM 🎉 Only Valida and Miden target Ethproofs in 2025 with custom zk-friendly ISAs—high risk, high reward 💪
9
11
93
Recommend checking out this interview with Victor Miller https://t.co/PXJ45R6hSu I knew he was the first to give efficient pairings, but I didn't know he was also one of the first two people (independent works of him and Neal Koblitz) in 85 to suggest using elliptic curves for
open.spotify.com
ASecuritySite Podcast · Episode
1
6
35
🎙️This week @AnnaRRose and @nico_mnbl chat with @goblinoats from @TonkLabs and @grjte from @BainCapCrypto about local first architecture. They discuss CRDTs, data sovereignty, sync servers, and how ZK shows up in local-first systems. https://t.co/1tlULhAxVU
4
6
32
🎙️This week @AnnaRRose and @tarunchitra speak with @kostascrypto from @Mysten_Labs. They discuss updates on zkLogin, quantum-ready blockchains, ZK Tunnels, and the Greek stock market going on-chain. https://t.co/AqlR3WxUTI
1
2
13
Today, @RealTomPurdon from @brincvc joins @joaofernandeszk and @RobertZarembaIT to dive into: → The SuiHub accelerator story → The Cetus hack → What’s next for builders on Sui. Set a reminder ↴ 4PM UTC https://t.co/83KloL5hlA
35
44
125
We've collected as many examples as we could remember into a Move code quality checklist. I bet your code doesn't check all items in this list, and if it does, I owe you a review This is how we write code today, tell everyone! https://t.co/2wiCUFDIVI
59
21
82