# Madars Virza

**Publications**/

N. Narula, W. Vasquez and M. Virza
**zkLedger: Privacy-Preserving Auditing for Distributed Ledgers**
// In proceedings of 15th USENIX Symposium on Networked Systems Design and Implementation (NSDI 18)
[ePrint] [website]

E. Ben-Sasson, I. Bentov, A. Chiesa, A. Gabizon, D. Genkin,
M. Hamilis, E.Pergament, M. Riabzev, M. Silberstein, E. Tromer
and M. Virza
**Computational integrity with a public random string from
quasi-linear PCPs** // In proceedings of
the 36th Annual International Conference on the Theory and
Applications of Cryptographic Techniques (EUROCRYPT 2017)
[ePrint]

E. Ben-Sasson, A. Chiesa, A. Gabizon, M. Virza
**Quasi-Linear Size Zero Knowledge from Linear-Algebraic
PCPs** // In proceedings of 13th IACR Theory of
Cryptography Conference (TCC 2016-A)
[ePrint]
[ECCC]
[doi]

E. Ben-Sasson, A. Chiesa, M. Green, E. Tromer, M.Virza
**Secure sampling of public parameters for succinct zero
knowledge proofs** // In proceedings of the IEEE
Symposium on Security & Privacy (Oakland) 2015
[doi]

A. Chiesa, E. Tromer and M. Virza.
**Cluster computing in zero knowledge** // In proceedings of
the 34th Annual International Conference on the Theory and
Applications of Cryptographic Techniques (EUROCRYPT 2015)
[ePrint]
[doi]

E. Ben-Sasson, A. Chiesa, E. Tromer and M. Virza.
**Scalable Zero Knowledge via Cycles of Elliptic Curves** // In
proceedings of the 34th International Cryptology Conference (CRYPTO 2014)
[ePrint]
[doi]

E. Ben-Sasson, A. Chiesa, E. Tromer and M. Virza.
**Succinct Non-Interactive Arguments for a von Neumann
Architecture** // In proceedings of the 23rd USENIX
Security Symposium (USENIX Security 2014)
[ePrint]
[conference version]

E. Ben-Sasson, A. Chiesa, C. Garman, M. Green, I. Miers,
E. Tromer and M. Virza.
**Zerocash: Decentralized Anonymous Payments from Bitcoin** // In proceedings of the IEEE Symposium on Security & Privacy (Oakland)
2014
[ePrint]

E. Ben-Sasson, A. Chiesa, D. Genkin, E. Tromer and M. Virza.
**SNARKs for C: Verifying Program Executions Succinctly and in
Zero Knowledge** // In proceedings of the 33rd International
Cryptology Conference (CRYPTO 2013)
[ePrint]
[doi]
[talk @ YouTube/TheIACR]

A. Ambainis, D. Kravchenko, N. Nahimov, A. Rivosh and M. Virza.
**On symmetric nonlocal games** // Theoretical Computer
Science **494** (2013), pp. 36–48.
[doi]

A. Ambainis, A. Bačkurs, K. Balodis, A. Škuškovniks, J. Smotrovs
and M. Virza. **Worst case analysis of non-local games** //
In proceedings of the 39th International Conference on Current
Trends in Theory and Practice of Computer Science (SOFSEM 2013)
[arXiv]
[doi]

A. Ambainis, J. Iraids, D. Kravchenko and M. Virza. **Advantage
of Quantum Strategies in Random Symmetric XOR Games** // In
proceedings of the 8th Doctoral Workshop on Mathematical and
Engineering Methods (MEMICS 2012)
[doi]

A. Ambainis, A. Bačkurs, K. Balodis, D. Kravchenko, R. Ozols,
J. Smotrovs and M. Virza. **Quantum strategies are better than
classical in almost any XOR game** // In proceedings of the
39th International Colloquium on Automata, Languages and
Programming (ICALP 2012); earlier version presented at QIP 2012
poster session
[arXiv]
[doi]

M. Virza. **Sensitivity versus block sensitivity of Boolean
functions** // Information Processing Letters **111**, 9
(2011), pp. 433–435.
[arXiv]
[doi]

•