2 papers
cs.CR2024
Folding Custom Gates with Verifier Input
Aard Vark, Yan X Zhang
In the context of interactive proofs, a "folding scheme" (popularized by Nova) is a way to combine multiple instances of a constraint system into a single instance, so the validity…
math.CO2023
On Isospectral Integral Circulant Graphs
Yan X Zhang
Understanding when two non-isomorphic graphs can have the same spectra is a classic problem that is still not completely understood, even for integral circulant graphs. We say that…