Madars Virza

Cryptocurrency and privacy

Zerocash: Decentralized Anonymous Payments from Bitcoin

Eli Ben-Sasson, Alessandro Chiesa, Christina Garman, Matthew Green, Ian Miers, Eran Tromer, Madars Virza
IEEE S&P 2014 (35th IEEE Symposium on Security & Privacy)
PDF · extended version PDF · ePrint · slides · site
IEEE Test of Time Award, 2024

zkLedger: Privacy-Preserving Auditing for Distributed Ledgers

Neha Narula, Willy Vasquez, Madars Virza
NSDI 2018 (15th USENIX Symposium on Networked Systems Design and Implementation)
PDF · ePrint · slides · talk · code

Hamilton: A High-Performance Transaction Processor for Central Bank Digital Currencies

James Lovejoy, Madars Virza, Cory Fields, Kevin Karwaski, Anders Brownworth, Neha Narula
NSDI 2023 (20th USENIX Symposium on Networked Systems Design and Implementation)
PDF · talk

Zero-knowledge proof systems

SNARKs for C: Verifying Program Executions Succinctly and in Zero Knowledge

Eli Ben-Sasson, Alessandro Chiesa, Daniel Genkin, Eran Tromer, Madars Virza
CRYPTO 2013 (33rd International Cryptology Conference)
PDF · ePrint · talk

TinyRAM architecture specification, v2.000

Eli Ben-Sasson, Alessandro Chiesa, Daniel Genkin, Eran Tromer, Madars Virza
Technical report
PDF

Succinct Non-Interactive Arguments for a von Neumann Architecture

Eli Ben-Sasson, Alessandro Chiesa, Eran Tromer, Madars Virza
USENIX Security 2014 (23rd USENIX Security Symposium)
PDF · extended version PDF · ePrint · slides · talk

Scalable Zero Knowledge via Cycles of Elliptic Curves

Eli Ben-Sasson, Alessandro Chiesa, Eran Tromer, Madars Virza
CRYPTO 2014 (34th International Cryptology Conference)
PDF · ePrint
Invited to a special issue of Algorithmica

Cluster computing in zero knowledge

Alessandro Chiesa, Eran Tromer, Madars Virza
EUROCRYPT 2015 (34th Annual International Conference on the Theory and Applications of Cryptographic Techniques)
PDF · ePrint

Secure sampling of public parameters for succinct zero knowledge proofs

Eli Ben-Sasson, Alessandro Chiesa, Matthew Green, Eran Tromer, Madars Virza
IEEE S&P 2015 (36th IEEE Symposium on Security & Privacy)
PDF

Quasi-Linear Size Zero Knowledge from Linear-Algebraic PCPs

Eli Ben-Sasson, Alessandro Chiesa, Ariel Gabizon, Madars Virza
TCC 2016-A (13th International Conference on Theory of Cryptography)
PDF · ePrint

Computational integrity with a public random string from quasi-linear PCPs

Eli Ben-Sasson, Iddo Bentov, Alessandro Chiesa, Ariel Gabizon, Daniel Genkin, Matan Hamilis, Evgenya Pergament, Michael Riabzev, Mark Silberstein, Eran Tromer, Madars Virza
EUROCRYPT 2017 (36th Annual International Conference on the Theory and Applications of Cryptographic Techniques)
PDF · ePrint

On deploying succinct zero-knowledge proofs

Madars Virza
Ph.D. thesis, Massachusetts Institute of Technology
thesis page
George M. Sprowls Award for Best MIT Ph.D. Thesis in Computer Science

Aurora: Transparent Succinct Arguments for R1CS

Eli Ben-Sasson, Alessandro Chiesa, Michael Riabzev, Nicholas Spooner, Madars Virza, Nicholas P. Ward
EUROCRYPT 2019 (38th Annual International Conference on the Theory and Applications of Cryptographic Techniques)
PDF · ePrint

Cryptanalysis

Cryptanalysis of Curl-P and Other Attacks on the IOTA Cryptocurrency

Ethan Heilman, Neha Narula, Garrett Tanzer, James Lovejoy, Michael Colavita, Madars Virza, Tadge Dryja
ToSC 2020 (IACR Transactions on Symmetric Cryptology)
PDF · ePrint · talk

AI ethics & election security

Software Independence Revisited

Ronald L. Rivest, Madars Virza
Real-World Electronic Voting: Design, Analysis and Deployment (F. Hao and P. Y. A. Ryan, eds.), CRC Press, 2016
PDF

An Open Letter to the Members of the Massachusetts Legislature Regarding the Adoption of Actuarial Risk Assessment Tools in the Criminal Justice System

Chelsea Barabas, Christopher Bavitz, Ryan Budish, Karthik Dinakar, Cynthia Dwork, Urs Gasser, Kira Hessekiel, Joichi Ito, Ronald L. Rivest, Madars Virza, Jonathan Zittrain
Berkman Klein Center for Internet & Society
PDF · site

Interventions over Predictions: Reframing the Ethical Debate for Actuarial Risk Assessment

Chelsea Barabas, Madars Virza, Karthik Dinakar, Joichi Ito, Jonathan Zittrain
FAT* 2018 (1st Conference on Fairness, Accountability and Transparency)
PDF

Quantum computation & complexity

Sensitivity versus block sensitivity of Boolean functions

Madars Virza
Information Processing Letters 111(9), 2011
PDF · arXiv

Advantage of Quantum Strategies in Random Symmetric XOR Games

Andris Ambainis, Jānis Iraids, Dmitry Kravchenko, Madars Virza
MEMICS 2012 (8th Doctoral Workshop on Mathematical and Engineering Methods)
PDF · Springer PDF

Quantum strategies are better than classical in almost any XOR game

Andris Ambainis, Artūrs Bačkurs, Kaspars Balodis, Dmitry Kravchenko, Raitis Ozols, Juris Smotrovs, Madars Virza
ICALP 2012 (39th International Colloquium on Automata, Languages and Programming; earlier version presented at QIP 2012 poster session)
PDF · Springer PDF · arXiv

On symmetric nonlocal games

Andris Ambainis, Dmitry Kravchenko, Nikolay Nahimov, Alexander Rivosh, Madars Virza
Theoretical Computer Science 494, 2013
Elsevier

Worst case analysis of non-local games

Andris Ambainis, Artūrs Bačkurs, Kaspars Balodis, Agnis Škuškovniks, Juris Smotrovs, Madars Virza
SOFSEM 2013 (39th International Conference on Current Trends in Theory and Practice of Computer Science)
PDF · Springer PDF · arXiv

Computational linguistics

Angļu-latviešu statistiskās mašīntulkošanas sistēmas izveide: metodes, resursi un pirmie rezultāti

Inguna Skadiņa, Madars Virza, Lauma Pretkalniņa
Baltistica (11th International Congress of Balticists)
PDF ■