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 …