(1) For the first AI neural network, see
SNARC.
(2) (
Succinct
Non-interactive
ARgument of
Knowledge) An algorithmic method for validating a result without divulging the inputs. A SNARK is typically very computation intensive. See
zero-knowledge proof.