2 papers
math.LO2026
Schmidt's Game and Vitali Sets
James Atchley, Lior Fishman, Stephen Jackson +2
While many types of non-measurable sets are never -winning in the sense of Schmidt's game, we show that this is not the case for certain Vitali sets. Our main theorems sh…
cs.PL2025
zkStruDul: Programming zkSNARKs with Structural Duality
Rahul Krishnan, Ashley Samuelson, Emily Yao +1
Non-Interactive Zero Knowledge (NIZK) proofs, such as zkSNARKS, let one prove knowledge of private data without revealing it or interacting with a verifier. While existing tooling…