Academic papers - Alin Tomescu
DekartProof: Efficient Vector Range Proofs and Their Applications, Dan Boneh, Trisha Datta, Rex Fernando, Kamilla Nazirkhanova, Alin Tomescu, in Cryptology ePrint Archive, PDF Distributed Randomness using Weighted VRFs, by Sourav Das and Benny Pinkas and Alin Tomescu and Zhuolun Xiang, EUROCRYPT’25, PDF Verifiable Secret Sharing Simplified, Sourav Das, Zhuolun Xiang, Alin Tomescu, Alexander Spiegelman, Benny Pinkas, Ling Ren, IEEE S&P’25, PDF UTT: Decentralized Ecash with Accountable Privacy, Alin Tomescu, Adithya Bhat, Benny Applebaum, Ittai Abraham, Guy Gueta, Benny Pinkas, Avishay Yanai, in Cryptology ePrint Archive, PDF, Code, SBC’23 slides, a16z slides, Yale slides Hyperproofs: Aggregating and Maintaining Proofs in Vector Commitments, Shravan Srinivasan, Alex Chepurnoy, Charalampos Papamanthou, Alin Tomescu, Yupeng Zhang, USENIX Security 2022, PDF, Code, USENIX presentation No-Commit Proofs: Defeating Livelock in BFT, Neil Giridharan, Heidi Howard, Ittai Abraham, Natacha Crooks, a
Vibe-code a “Posts”-like page but with clean separation between authors, venue, year, extra links, etc. Maybe have a large picture preview too. DekartProof: Efficient Vector Range Proofs and Their Applications , Dan Boneh, Trisha Datta, Rex Fernando, Kamilla Nazirkhanova, Alin Tomescu, in Cryptology ePrint Archive , PDF , SBC’25 talk Distributed Randomness using Weighted VRFs , by Sourav Das and Benny Pinkas and Alin Tomescu and Zhuolun Xiang, EUROCRYPT’25 , PDF Verifiable Secret Sharing Simplified , Sourav Das, Zhuolun Xiang, Alin Tomescu, Alexander Spiegelman, Benny Pinkas, Ling Ren, IEEE S&
related reading
- ProofsArgsAndZK.pdfpeople.cs.georgetown.edu
- Zero Knowledge Proofs: An illustrated primer – A Few Thoughts on Cryptographic Engineeringblog.cryptographyengineering.com
- Zero-knowledge proof - Wikipediaen.wikipedia.org
- Bulletproofs: Short Proofs for Confidential Transactions and Moreeprint.iacr.org
- Binius: highly efficient proofs over binary fieldsvitalik.eth.limo
- 370.pdfeprint.iacr.org
- BABE: Verifying Proofs on Bitcoin Made 1000x Cheapereprint.iacr.org
- STARK-paper.pdfstarkware.co
- DIZK: A Distributed Zero Knowledge Proof Systemusenix.org
- Collaborative zkSNARKseprint.iacr.org
- zknewsnews.zksecurity.xyz
- thesis.pdfaayushg.com