TCC 2023 Program

Distributed-Prover Interactive Proofs

Your Reputation's Safe with Me: Framing-Free Distributed Zero-Knowledge Proofs

Beyond MPC-in-the-Head: Black-Box Constructions of Short Zero-Knowledge Proofs

Rogue-Instance Security for Batch Knowledge Proofs

Locally Verifiable Distributed SNARGs

Holographic SNARGs for P and Batch-NP from (Polynomially Hard) Learning with Errors

Chainable Functional Commitments for Unbounded-Depth Circuits

Multilinear Schwartz-Zippel mod N with Applications to Succinct Arguments

Generalized Special-Sound Interactive Proofs and their Knowledge Soundness

From Polynomial IOP and Commitments to Non-malleable zkSNARKs

How to Compile Polynomial IOP into Simulation-Extractable SNARKs: A Modular Approach

Simplex Consensus: A Simple and Fast Consensus Protocol

Simplex Consensus | A Fast and Simple Consensus Protocol