Lattice Functional Commitment Secures Post-Quantum Verifiable Computation
A new lattice-based functional commitment for circuits enables post-quantum secure, succinct, and general-purpose private verifiable computation.
