Discover

Zero-knowledge proof systems and zkVMs: new SNARKs and STARKs, folding schemes, prover performance and deployments.

Research on training and running models without exposing data: differential privacy, federated learning, secure inference and multi-party computation for ML.

New fully homomorphic encryption research: schemes, bootstrapping, hardware acceleration and encrypted machine learning — with benchmarks, not just ideas.