Building Trustworthy AI Systems: AI Inference Verification with Blockchain and Zero-Knowledge Proofs. - Patrizio Germani; Michelangelo Amoruso Manzari; Riccardo Magni; Paolo Dibitonto; Fabio Previtali; Emanuele D'Agostini (BRAINS, 2024)