Zerocash: Decentralized Anonymous Payments from Bitcoin
Eli Ben-Sasson, Alessandro Chiesa, Christina Garman, Matthew Green, Ian Miers, Eran Tromer, Madars Virza
IEEE S&P (35th IEEE Symposium on Security & Privacy)
Madars Virza
Cryptocurrency and privacy
zkLedger: Privacy-Preserving Auditing for Distributed Ledgers
Neha Narula, Willy Vasquez, Madars Virza
NSDI (15th USENIX Symposium on Networked Systems Design and Implementation)
Hamilton: A High-Performance Transaction Processor for Central Bank Digital Currencies
James Lovejoy, Madars Virza, Cory Fields, Kevin Karwaski, Anders Brownworth, Neha Narula
NSDI (20th USENIX Symposium on Networked Systems Design and Implementation)
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 (33rd International Cryptology Conference)
TinyRAM architecture specification, v2.000
Eli Ben-Sasson, Alessandro Chiesa, Daniel Genkin, Eran Tromer, Madars Virza
Technical report
Succinct Non-Interactive Arguments for a von Neumann Architecture
Eli Ben-Sasson, Alessandro Chiesa, Eran Tromer, Madars Virza
USENIX Security (23rd USENIX Security Symposium)
Scalable Zero Knowledge via Cycles of Elliptic Curves
Eli Ben-Sasson, Alessandro Chiesa, Eran Tromer, Madars Virza
CRYPTO (34th International Cryptology Conference)
Cluster computing in zero knowledge
Alessandro Chiesa, Eran Tromer, Madars Virza
EUROCRYPT (34th Annual International Conference on the Theory and Applications of Cryptographic Techniques)
Secure sampling of public parameters for succinct zero knowledge proofs
Eli Ben-Sasson, Alessandro Chiesa, Matthew Green, Eran Tromer, Madars Virza
IEEE S&P (36th IEEE Symposium on Security & Privacy)
Quasi-Linear Size Zero Knowledge from Linear-Algebraic PCPs
Eli Ben-Sasson, Alessandro Chiesa, Ariel Gabizon, Madars Virza
TCC -A (13th International Conference on Theory of Cryptography)
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 (36th Annual International Conference on the Theory and Applications of Cryptographic Techniques)
On deploying succinct zero-knowledge proofs
Madars Virza
Ph.D. thesis, Massachusetts Institute of Technology
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 (38th Annual International Conference on the Theory and Applications of Cryptographic Techniques)
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 (IACR Transactions on Symmetric Cryptology)
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,
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
Interventions over Predictions: Reframing the Ethical Debate for Actuarial Risk Assessment
Chelsea Barabas, Madars Virza, Karthik Dinakar, Joichi Ito, Jonathan Zittrain
FAT* (1st Conference on Fairness, Accountability and Transparency)
Quantum computation & complexity
Sensitivity versus block sensitivity of Boolean functions
Madars Virza
Information Processing Letters 111(9),
Advantage of Quantum Strategies in Random Symmetric XOR Games
Andris Ambainis, Jānis Iraids, Dmitry Kravchenko, Madars Virza
MEMICS (8th Doctoral Workshop on Mathematical and Engineering Methods)
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 (39th International Colloquium on Automata, Languages and Programming; earlier version presented at QIP 2012 poster session)
On symmetric nonlocal games
Andris Ambainis, Dmitry Kravchenko, Nikolay Nahimov, Alexander Rivosh, Madars Virza
Theoretical Computer Science 494,
Worst case analysis of non-local games
Andris Ambainis, Artūrs Bačkurs, Kaspars Balodis, Agnis Škuškovniks, Juris Smotrovs, Madars Virza
SOFSEM (39th International Conference on Current Trends in Theory and Practice of Computer Science)
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)