z-tech.github.io/index.html at main · z-tech/z-tech.github.io · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
<!DOCTYPE html>
<html lang="en">
<head>
  <meta charset="UTF-8" />
  <meta name="viewport" content="width=device-width, initial-scale=1.0" />
  <meta name="google-site-verification" content="uAHUZcX4jr5_H01QjqfsV4J1MMhHjySFH5-y-d3w8Lg" />
  <title>Andrew Zitek-Estrada</title>
  <meta name="description" content="Personal website of Andrew Zitek-Estrada.">
  <link rel="canonical" href="https://andrewzitek.xyz">
  <link rel="stylesheet" href="style.css" />
  <link rel="apple-touch-icon" sizes="180x180" href="/images/favicon/apple-touch-icon.png">
  <link rel="icon" type="image/png" sizes="32x32" href="/images/favicon/favicon-32x32.png">
  <link rel="icon" type="image/png" sizes="16x16" href="/images/favicon/favicon-16x16.png">
  <link rel="manifest" href="/site.webmanifest">
  <style>
    .about-wrapper {
      display: flex;
      flex-direction: column;
      align-items: flex-start;
      max-width: 900px;
      padding: 0;
      gap: 1.5rem;
    }

    .about-photo {
      width: 160px;
      height: auto;
      object-fit: cover;
      box-shadow: 0 4px 12px rgba(0, 0, 0, 0.1);
    }

    .about-text {
      max-width: 600px;
      margin-top: 0rem;
      margin-bottom: 0rem;
    }

    @media (min-width: 768px) {
      .about-wrapper {
        flex-direction: row;
        align-items: flex-start;
      }
      .about-text {
        margin-top: 2rem;
        margin-bottom: 0rem;
      }
    }
  </style>
  <script type="application/ld+json">
  {
    "@context": "https://schema.org",
    "@type": "Person",
    "name": "Andrew Zitek-Estrada",
    "url": "https://z-tech.github.io",
    "sameAs": [
      "https://github.com/z-tech",
      "https://www.linkedin.com/in/andrewzitek/",
      "https://compsec.epfl.ch/"
    ],
    "jobTitle": "Cryptography Engineer",
    "worksFor": {
      "@type": "Organization",
      "name": "Laboratory for Computation Security, EPFL"
    }
  }
  </script>
</head>
<body>

<div class="about-wrapper">
    <img src="/images/Andrew-Zitek-Estrada-pic.webp" alt="Andrew Zitek-Estrada" class="about-photo" />

    <section class="about-text">
        <h1>Andrew Zitek-Estrada</h1>

        <p>Cryptography Engineer</p>

        <p>École Polytechnique Fédérale de Lausanne</p>

        <p>andrew.zitek [at] epfl [dot] ch</p>
    </section>
  </div>

<section>
    <h2>About Me</h2>
    <p>
      I am a cryptography engineer at
      <a href="https://www.epfl.ch" target="_blank" rel="noopener noreferrer">EPFL</a>, working in the
      <a href="https://compsec.epfl.ch" target="_blank" rel="noopener noreferrer">Laboratory for Computation Security</a> led by
      <a href="https://ic-people.epfl.ch/~achiesa" target="_blank" rel="noopener noreferrer">Alessandro Chiesa</a>.
    </p>
    <p>
      Previously, I was a research assistant at
      <a href="https://www.nyu.edu" target="_blank" rel="noopener noreferrer">NYU</a> with
      <a href="https://jbonneau.com" target="_blank" rel="noopener noreferrer">Joseph Bonneau</a> and also a software engineer at
      <a href="https://www.ibm.com/us-en" target="_blank" rel="noopener noreferrer">IBM</a>.
    </p>
</section>

<section>
    <h2>Publications <span style="font-size: 1rem; font-weight: normal;">(<a href="https://scholar.google.com/citations?user=epbxE9EAAAAJ" target="_blank" rel="noopener noreferrer">Scholar</a>)</span></h2>
    <p>
        <a href="https://www.ndss-symposium.org/wp-content/uploads/2026-f1465-paper.pdf" target="_blank" rel="noopener noreferrer">SoK: Cryptographic Authenticated Dictionaries</a>
        <br />
        Harjasleen Malvai, Francesca Falzon, Andrew Zitek-Estrada, Sarah Meiklejohn, Joseph Bonneau
        <br />
        NDSS 2026 (2026 Network and Distributed Systems Security Symposium)
    </p>
    <br />
    <p>
        <a href="https://eprint.iacr.org/2025/1473" target="_blank" rel="noopener noreferrer">Time-Space Trade-Offs for Sumcheck</a>
        <br />
        Anubhav Baweja, Alessandro Chiesa, Elisabetta Fedele, Giacomo Fenzi, Pratyush Mishra, Tushar Mopuri, Andrew Zitek-Estrada
        <br />
        TCC 2025 (23rd Theory of Cryptography Conference)
    </p>
    <br />
    <p>
        <a href="https://eprint.iacr.org/2024/524" target="_blank" rel="noopener noreferrer">A Time-Space Tradeoff for the Sumcheck Prover</a>
        <br />
        Alessandro Chiesa, Elisabetta Fedele, Giacomo Fenzi, Andrew Zitek-Estrada
        <br />
        Cryptology ePrint Archive, Report 2024/524
    </p>
    <br />
    <p>
        <a href="https://dl.acm.org/doi/abs/10.1145/3548606.3560605" target="_blank" rel="noopener noreferrer">VeRSA: Verifiable Registries with Efficient Client Audits from RSA Authenticated Dictionaries</a>
        <br />
        Nirvan Tyagi, Ben Fisch, Andrew Zitek, Joseph Bonneau, Stefano Tessaro
        <br />
        CCS 2022 (29th ACM Conference on Computer and Communications Security)
    </p>
</section>

<section>
    <h2>Open-Source Projects</h2>
    <p>
    <a href="https://github.com/z-tech/sumcheck-lean4" target="_blank" rel="noopener noreferrer">Formalization of the Sumcheck Protocol</a>
    <p>A computable implementation of the Sumcheck protocol in Lean 4 with machine-checked completeness and soundness.</p>
    </p>
    <br />

    <p>
    <a href="/images/small_fp_slides.pdf" target="_blank" rel="noopener noreferrer">Small Fields for Arkworks</a>
    <p>In this project we build a path toward vectorization for finite fields in Arkworks and in the process get a performance boost in serial.</p>
    </p>
    <br />

    <p>
    <a href="https://github.com/compsec-epfl/space-efficient-sumcheck" target="_blank" rel="noopener noreferrer">Efficient Sumcheck</a>
    <p>An efficient, streaming friendly sumcheck library with Fiat-Shamir support via <a href="https://github.com/arkworks-rs/spongefish" target="_blank" rel="noopener noreferrer">SpongeFish</a>.</p>
    </p>
</section>

<section>
    <h2>Students 📢👩🏻‍🔬</h2>
    <p>
      For students interested in projects related to optimization, formalization and benchmarking for proving systems 👉 please send me an email 👈 w/ your CV.
    </p>
</section>

<section>
    <h2>Short Bio</h2>
    <p>
        I joined the <a href="https://compsec.epfl.ch" target="_blank" rel="noopener noreferrer">Laboratory for Computation Security</a> at <a href="https://www.epfl.ch" target="_blank" rel="noopener noreferrer">EPFL</a> as a cryptography engineer in fall of 2023; my work is advised by <a href="https://ic-people.epfl.ch/~achiesa" target="_blank" rel="noopener noreferrer">Alessandro Chiesa</a>.
    </p>
    <p>
        Before that, I completed graduate coursework in computer science at <a href="https://www.nyu.edu" target="_blank" rel="noopener noreferrer">NYU</a> and was a research assistant for <a href="https://jbonneau.com" target="_blank" rel="noopener noreferrer">Joseph Bonneau</a>.
    </p>
    <p>
        During this time, I was also a software engineer at <a href="https://www.ibm.com/us-en" target="_blank" rel="noopener noreferrer">IBM</a> in New York City.
    </p>
    <p>
        For two amazing winters, I lived in the <a href="https://g.co/kgs/yB1Fzef" target="_blank" rel="noopener noreferrer">Eastern Sierra</a> of California between <a href="https://g.co/kgs/yUphB9r" target="_blank" rel="noopener noreferrer">Mammoth Lakes</a> and <a href="https://g.co/kgs/oPYfvGG" target="_blank" rel="noopener noreferrer">Bishop</a>.
    </p>
    <p>
        Before that, I was a software engineer at the telehealth startup <a href="https://www.talkspace.com" target="_blank" rel="noopener noreferrer">Talkspace</a>.
    </p>
    <p>
        I earned my B.A. in <a href="https://cs.nyu.edu/home/index.html" target="_blank" rel="noopener noreferrer">Computer Science</a> from NYU in 2013. Outside of class, I ran for the varsity <a href="https://gonyuathletics.com/sports/mens-cross-country" target="_blank" rel="noopener noreferrer">cross country</a> and track teams</a> at NYU.
    </p>
    <p>
        Before NYC, I grew up in <a href="https://g.co/kgs/8YPkJxf" target="_blank" rel="noopener noreferrer">Ventura</a>, California, where I was born in 1990. I attended Foothill Technology High School.
    </p>
    <p>
        I enjoy skiing and <a href="/images/kalymYES.jpg" target="_blank" rel="noopener noreferrer">📷 rock climbing</a> very much. I also enjoy cooking shows and guitar.
    </p>
</section>

  <footer>
    <p>&copy; <span id="year"></span> Andrew Zitek-Estrada</p>
  </footer>
  <script>
    document.getElementById("year").textContent = new Date().getFullYear();
  </script>
</body>
</html>