Cryptography

Towards Verifiable AI with Lightweight Cryptographic Proofs of Inference

Talk on lightweight cryptographic proofs for verifiable AI inference at SaTML 2026.

avatar
Pranay Anchuri
•

Speaker Randomizer

Web app for randomizing speaker order using Drand's distributed randomness beacons. Generates verifiably fair orderings that no single party can manipulate, with cryptographic …