English
Related papers

Related papers: Verifiable Split Learning via zk-SNARKs

200 papers

Machine learning algorithms learn from data and use data from databases that are mutable; therefore, the data and the results of machine learning cannot be fully trusted. Also, the machine learning process is often difficult to automate. A…

Machine Learning · Computer Science 2019-08-19 Tao Wang , Xinmin Wu , Taiping He

As the demand for exercising the "right to be forgotten" grows, the need for verifiable machine unlearning has become increasingly evident to ensure both transparency and accountability. We present {\em zkUnlearner}, the first…

Cryptography and Security · Computer Science 2025-09-10 Nan Wang , Nan Wu , Xiangyu Hui , Jiafan Wang , Xin Yuan

Split learning (SL) is a privacy-preserving distributed deep learning method used to train a collaborative model without the need for sharing of patient's raw data between clients. In split learning, an additional privacy-preserving…

Machine Learning · Computer Science 2021-03-29 Harshit Madaan , Manish Gawali , Viraj Kulkarni , Aniruddha Pant

Split learning enables efficient and privacy-aware training of a deep neural network by splitting a neural network so that the clients (data holders) compute the first layers and only share the intermediate output with the central…

Machine Learning · Computer Science 2024-07-09 Ege Erdogan , Unat Teksen , Mehmet Salih Celiktenyildiz , Alptekin Kupcu , A. Ercument Cicek

The increasing use of deep neural networks for safety-critical applications, such as autonomous driving and flight control, raises concerns about their safety and reliability. Formal verification can address these concerns by guaranteeing…

Artificial Intelligence · Computer Science 2018-02-06 Lindsey Kuper , Guy Katz , Justin Gottschlich , Kyle Julian , Clark Barrett , Mykel Kochenderfer

State-of-the-art neural network verifiers operate by encoding neural network verification as constraint satisfaction problems. When dealing with standard piecewise-linear activation functions, such as ReLUs, verifiers typically employ…

Logic in Computer Science · Computer Science 2025-12-12 Maya Swisa , Guy Katz

Split learning (SL) is a new collaborative learning technique that allows participants, e.g. a client and a server, to train machine learning models without the client sharing raw data. In this setting, the client initially applies its part…

Cryptography and Security · Computer Science 2023-09-19 Tanveer Khan , Khoa Nguyen , Antonis Michalas

Split Computing (SC), where a Deep Neural Network (DNN) is intelligently split with a part of it deployed on an edge device and the rest on a remote server is emerging as a promising approach. It allows the power of DNNs to be leveraged for…

Machine Learning · Computer Science 2024-07-09 Luigi Capogrosso , Enrico Fraccaroli , Samarjit Chakraborty , Franco Fummi , Marco Cristani

The recent success of deep learning applications has coincided with those widely available powerful computational resources for training sophisticated machine learning models with huge datasets. Nonetheless, training large models such as…

Machine Learning · Computer Science 2022-01-03 Farley Lai , Asim Kadav , Erik Kruus

This paper proposes a new algorithmic framework, predictor-verifier training, to train neural networks that are verifiable, i.e., networks that provably satisfy some desired input-output properties. The key idea is to simultaneously train…

Federated learning (FL) is a distributed machine learning (ML) technique that enables collaborative training in which devices perform learning using a local dataset while preserving their privacy. This technique ensures privacy,…

Cryptography and Security · Computer Science 2022-01-28 Hajar Moudoud , Soumaya Cherkaoui , Lyes Khoukhi

Blockchain is an essentially distributed database recording all transactions or digital events among participating parties. Each transaction in the records is approved and verified by consensus of the participants in the system that…

Distributed, Parallel, and Cluster Computing · Computer Science 2023-07-07 Jie You

Split learning is a distributed training paradigm where a neural network is partitioned between clients and a server, which allows data to remain at the client while only intermediate activations are shared. Traditional split learning…

Machine Learning · Computer Science 2026-02-10 Anower Zihad , Felix Owino , Ming Tang , Chao Huang

Split learning is a collaborative learning design that allows several participants (clients) to train a shared model while keeping their datasets private. Recent studies demonstrate that collaborative learning models, specifically federated…

Cryptography and Security · Computer Science 2023-05-29 Behrad Tajalli , Oguzhan Ersoy , Stjepan Picek

The Bitcoin white paper introduced blockchain technology, enabling trustful transactions without intermediaries. Smart contracts emerged with Ethereum and blockchains expanded beyond cryptocurrency, applying to auctions, crowdfunding and…

Cryptography and Security · Computer Science 2025-01-08 Aldenio Burgos , Eduardo Alchieri

As ML models have increased in capabilities and accuracy, so has the complexity of their deployments. Increasingly, ML model consumers are turning to service providers to serve the ML models in the ML-as-a-service (MLaaS) paradigm. As MLaaS…

Cryptography and Security · Computer Science 2022-10-18 Daniel Kang , Tatsunori Hashimoto , Ion Stoica , Yi Sun

Over recent decades, machine learning has significantly advanced network communication, enabling improved decision-making, user behavior analysis, and fault detection. Decentralized approaches, where participants exchange computation…

Machine Learning · Computer Science 2025-04-22 Zhibo Xing , Zijian Zhang , Ziang Zhang , Zhen Li , Meng Li , Jiamou Liu , Zongyang Zhang , Yi Zhao , Qi Sun , Liehuang Zhu , Giovanni Russello

Split Learning (SL) is a distributed deep learning approach enabling multiple clients and a server to collaboratively train and infer on a shared deep neural network (DNN) without requiring clients to share their private local data. The DNN…

Cryptography and Security · Computer Science 2025-02-25 Phillip Rieger , Alessandro Pegoraro , Kavita Kumari , Tigist Abera , Jonathan Knauer , Ahmad-Reza Sadeghi

Split learning emerges as a promising paradigm for collaborative distributed model training, akin to federated learning, by partitioning neural networks between clients and a server without raw data exchange. However, sequential split…

Machine Learning · Computer Science 2025-11-25 Mengdi Wang , Efe Bozkir , Enkelejda Kasneci

Split learning is a distributed training framework that allows multiple parties to jointly train a machine learning model over vertically partitioned data (partitioned by attributes). The idea is that only intermediate computation results,…

Machine Learning · Computer Science 2022-03-07 Xin Yang , Jiankai Sun , Yuanshun Yao , Junyuan Xie , Chong Wang