Madars Virza

Enhancing the Privacy of a Digital Pound
Gabriela Torres Vives, Madars Virza, Reuben Youngblom, F. Christopher Calabia, Nick Vaughan, Zaki Said, Cinoj Mundakkal and Shantel Mullings
Bank of England and MIT Digital Currency Initiative [PDF]

PArSEC: Executing Smart Contracts in Parallel
James Lovejoy, Anders Brownworth, Madars Virza and Neha Narula
Federal Reserve Bank of Boston and MIT Digital Currency Initiative [PDF]

Hamilton: A High-Performance Transaction Processor for Central Bank Digital Currencies
James Lovejoy, Madars Virza, Cory Fields, Kevin Karwaski, Anders Brownworth and Neha Narula
NSDI 2023 (20th USENIX Symposium on Networked Systems Design and Implementation) [USENIX]

zkLedger: Privacy-Preserving Auditing for Distributed Ledgers
Neha Narula, Willy Vasquez and Madars Virza
NSDI 2018 (15th USENIX Symposium on Networked Systems Design and Implementation) [ePrint] [website]

Zerocash: Decentralized Anonymous Payments from Bitcoin
Eli Ben-Sasson, Alessandro Chiesa, Christina Garman, Matthew Green, Ian Miers, Eran Tromer and Madars Virza
IEEE S&P 2014 (IEEE Symposium on Security & Privacy) [ePrint]
IEEE Test of Time Award, 2024

Aurora: Transparent Succinct Arguments for R1CS
Eli Ben-Sasson, Alessandro Chiesa, Michael Riabzev, Nicholas Spooner, Madars Virza and Nicholas P. Ward
EUROCRYPT 2019 (38th Annual International Conference on the Theory and Applications of Cryptographic Techniques) [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 and Madars Virza
EUROCRYPT 2017 (36th Annual International Conference on the Theory and Applications of Cryptographic Techniques) [ePrint]

On deploying succinct zero-knowledge proofs
Madars Virza
Ph.D. thesis, Massachusetts Institute of Technology [PDF] [MIT]
George M. Sprowls Award for Best MIT Ph.D. Thesis in Computer Science

Quasi-Linear Size Zero Knowledge from Linear-Algebraic PCPs
Eli Ben-Sasson, Alessandro Chiesa, Ariel Gabizon and Madars Virza
TCC 2016-A (13th IACR Theory of Cryptography Conference) [ePrint] [ECCC] [doi]

Secure sampling of public parameters for succinct zero knowledge proofs
Eli Ben-Sasson, Alessandro Chiesa, Matthew Green, Eran Tromer and Madars Virza
IEEE S&P 2015 (IEEE Symposium on Security & Privacy) [doi]

Cluster computing in zero knowledge
Alessandro Chiesa, Eran Tromer and Madars Virza
EUROCRYPT 2015 (34th Annual International Conference on the Theory and Applications of Cryptographic Techniques) [ePrint] [doi]

Scalable Zero Knowledge via Cycles of Elliptic Curves
Eli Ben-Sasson, Alessandro Chiesa, Eran Tromer and Madars Virza
CRYPTO 2014 (34th International Cryptology Conference) [ePrint] [doi]

Succinct Non-Interactive Arguments for a von Neumann Architecture
Eli Ben-Sasson, Alessandro Chiesa, Eran Tromer and Madars Virza
USENIX Security 2014 (23rd USENIX Security Symposium) [ePrint] [conference version]

SNARKs for C: Verifying Program Executions Succinctly and in Zero Knowledge
Eli Ben-Sasson, Alessandro Chiesa, Daniel Genkin, Eran Tromer and Madars Virza
CRYPTO 2013 (33rd International Cryptology Conference) [ePrint] [doi] [talk @ YouTube/TheIACR]

TinyRAM architecture specification, v2.000
Eli Ben-Sasson, Alessandro Chiesa, Daniel Genkin, Eran Tromer and Madars Virza
Technical report [PDF]

Cryptanalysis of Curl-P and Other Attacks on the IOTA Cryptocurrency
Ethan Heilman, Neha Narula, Garrett Tanzer, James Lovejoy, Michael Colavita, Madars Virza and Tadge Dryja
ToSC 2020 (IACR Transactions on Symmetric Cryptology) [ToSC] [ePrint]

Interventions over Predictions: Reframing the Ethical Debate for Actuarial Risk Assessment
Chelsea Barabas, Madars Virza, Karthik Dinakar, Joi Ito and Jonathan Zittrain
FAT* 2018 (Conference on Fairness, Accountability and Transparency)

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, Joi Ito, Ronald L. Rivest, Madars Virza and Jonathan Zittrain
Berkman Klein Center for Internet & Society [PDF]

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

On symmetric nonlocal games
Andris Ambainis, Dmitry Kravchenko, Nikolajs Nahimovs, Aleksandrs Rivosh and Madars Virza
Theoretical Computer Science 494, 2013 [doi]

Worst case analysis of non-local games
Andris Ambainis, Artūrs Bačkurs, Kaspars Balodis, Agnis Škuškovniks, Juris Smotrovs and Madars Virza
SOFSEM 2013 (39th International Conference on Current Trends in Theory and Practice of Computer Science) [arXiv] [doi]

Advantage of Quantum Strategies in Random Symmetric XOR Games
Andris Ambainis, Jānis Iraids, Dmitry Kravchenko and Madars Virza
MEMICS 2012 (8th Doctoral Workshop on Mathematical and Engineering Methods) [doi]

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 and Madars Virza
ICALP 2012 (39th International Colloquium on Automata, Languages and Programming; earlier version presented at QIP 2012 poster session) [arXiv] [doi]

Sensitivity versus block sensitivity of Boolean functions
Madars Virza
Information Processing Letters 111(9), 2011 [arXiv] [doi]

Angļu-latviešu statistiskās mašīntulkošanas sistēmas izveide: metodes, resursi un pirmie rezultāti
Inguna Skadiņa, Madars Virza and Lauma Pretkalniņa
Baltistica (11th International Congress of Balticists) ■