TY  - CPAPER 
AU  - Balbás, David
AU  - Fiore, Dario
AU  - González Vasco, María Isabel
AU  - Robissout, Damien
AU  - Soriente, Claudio
PY  - 2023
UR  - http://hdl.handle.net/20.500.12020/1460
AB  - Cryptographic proof systems provide integrity, fairness, and privacy in applications that outsource data processing tasks. However, general-purpose proof systems do not scale well to large inputs. At the same time, ad-hoc solutions for concrete...
LA  - en
PB  - ACM
TI  - Modular Sumcheck Proofs with Applications to Machine Learning and Image Processing
DO  - https://doi.org/10.1145/3576915.3623160
KW  - Proof Systems
KW  - Verifiable Computation
KW  - Zero-Knowledge Proofs
KW  - Machine Learning
KW  - Convolutional Neural Networks
ER  -