4 taraflı dürüst çoğunluk için akışkan çok taraflı hesaplamalarda karma aritmetik-ikili devreler ve yarı-dürüst saldırganlara karşı uygulamaları

---

Tezin Türü: Yüksek Lisans

Tezin Yürütüldüğü Kurum: Orta Doğu Teknik Üniversitesi, Uygulamalı Matematik Enstitüsü, Kriptografi Anabilim Dalı, Türkiye

Tezin Onay Tarihi: 2025

Tezin Dili: İngilizce

Öğrenci: FURKAN KERİM ÇABAŞ

Danışman: OĞUZ YAYLA

Açık Arşiv Koleksiyonu: AVESİS Açık Erişim Koleksiyonu

Özet:

Aritmetik ve ikili veri türleri arasında dönüşümü mümkün kılan güvenli çok taraflı hesaplama (MPC) protokolleri, Rotaru ve arkadaşlarının daBits çalışması ile başlatılmış, Escudero ve arkadaşlarının edaBits yaklaşımı ile genişletilmiştir, MPC verimliliğini artırmak amacıyla, ön işleme aşamasında aritmetik payları bunların bit düzeyindeki ayrışımlarıyla birlikte sağlar. Choudhuri ve arkadaşlarının fluid MPC modeli ise, hesaplamanın tamamı boyunca çevrim içi kalmaları gerekmeyen dinamik tarafları desteklemekte; ancak yine de pratik uygulama için geleneksel MPC tekniklerinin uyarlanmasını gerektirmektedir. Bu çalışmada, dört taraf arasında dürüst çoğunluk varsayımı altında, fluid MPC ortamına uyarlanmış bir edaBits protokolü öneriyoruz. Geleneksel "cut-and-choose" yaklaşımından kısmen farklı, dürüst çoğunluğa karşı güvenlik sağlayan özgün bir prosedür sunuyoruz. Ayrıca, Rachuri'nin çalışmasından esinlenilen ancak ikili paylara uyarlanmış yeni prosedürler öneriyoruz. Son olarak, yarı-dürüst saldırgan modelinde, fluid MPC ortamında edaBits kullanan iki uygulamayı ortaya koyuyoruz.