| CARVIEW |
Select Language
HTTP/2 200
server: GitHub.com
content-type: text/html; charset=utf-8
last-modified: Thu, 25 Dec 2025 09:03:24 GMT
access-control-allow-origin: *
etag: W/"694cfddc-258f"
expires: Tue, 30 Dec 2025 14:19:54 GMT
cache-control: max-age=600
content-encoding: gzip
x-proxy-cache: MISS
x-github-request-id: 5FEE:21D6A4:A3B680:B7ADC3:6953DD32
accept-ranges: bytes
age: 0
date: Tue, 30 Dec 2025 14:09:54 GMT
via: 1.1 varnish
x-served-by: cache-bom-vanm7210051-BOM
x-cache: MISS
x-cache-hits: 0
x-timer: S1767103795.676283,VS0,VE221
vary: Accept-Encoding
x-fastly-request-id: 9b3f99076857b1487279f8f919114981165ed0d3
content-length: 3454
Giacomo's Blog
My research is on cryptography and theoretical computer science, focusing on proof systems.
Interaction and randomness allow to trustlessly outsource computation and check its correctness with resources exponentially smaller than the original computation. In conjunction with cryptography, these proof systems lead to protocols called zkSNARKs, which play a central role in a number of applications, such as blockchain L2-rollups, anonymous credentials, signatures and more.
I study how to make zkSNARKs that are theoretically and concretely efficient, from post-quantum cryptographic primitives.
Giacomo Fenzi
I am a PhD student in the COMPSEC Lab @EPFL.My research is on cryptography and theoretical computer science, focusing on proof systems.
Interaction and randomness allow to trustlessly outsource computation and check its correctness with resources exponentially smaller than the original computation. In conjunction with cryptography, these proof systems lead to protocols called zkSNARKs, which play a central role in a number of applications, such as blockchain L2-rollups, anonymous credentials, signatures and more.
I study how to make zkSNARKs that are theoretically and concretely efficient, from post-quantum cryptographic primitives.