Egzersizler
Egzersizler
Kimliği Doğrulanmış Veri Yapıları. Kimliği doğrulanmış bir çevrimiçi dosya deposu olan SecureBox tasarlıyorsunuzsistemi. Basit olması için sadece tek bir klasör vardır. Kullanıcılar ekleyebilmeli, düzenleyebilmeli, ilebilmeli veosyaları alma ve klasör içeriğini listeleme. Bir kullanıcı bir dosyayı aldığında, SecureBoxdosyanın son güncellemesinden bu yana kurcalanmadığının kanıtı. Belirtilen ada sahip bir dosyamevcut değilse, sunucu bunu bir kanıtla bildirmelidir.Bu kanıtların boyutunu, bunları doğrulamanın zaman karmaşıklığını vekullanıcının işlemler arasında saklaması gereken özet. (Doğal olarak, kanıtları doğrulayabilmek için kullanıcılarher zaman klasör içeriğinden türetilen sıfır olmayan bir miktarda durum depolamalıdır. Ondan başkabu özet kullanıcının eklediği dosyaların içeriğini hatırlamaz.) İşte saf bir yaklaşım. Kullanıcının özeti, tüm klasör içeriğinin bir karmasıdır ve kanıtlartüm klasör içeriğinin kopyaları. Bu, küçük bir özet ile büyük kanıtlar ve uzun doğrulama sağlar.zamanlar. Ayrıca, ekleme / silme / düzenleme işlemlerini gerçekleştirmeden önce kullanıcının tüm klasörü alması gerekirböylece özeti yeniden hesaplayabilsin.Alternatif olarak özet, her dosya için ayrı bir karmadan oluşabilir ve her dosya kendi kanıt. Bu yaklaşımın dezavantajı, sayısında doğrusal olan sindirim boşluğu gerektirmesidir.sistemdeki dosyalar.İspat boyutu, doğrulama süresi ve özet boyutunun alt doğrusal olduğu bir protokol tasarlayabilir misiniz? Sen kullanıcının kullanabilmesi için bir miktar iki yönlü iletişim içeren bir alt protokole ihtiyaç duyabilir.yürüttüğünde özünü güncelleyebilir ve ekleyebilir, silebilir veya düzenleyebilir.İpucu: Bölüm 1.2'deki Merkle ağacı fikrini kullanın.2. Doğum Günü Saldırısı. H bir n-bit çıktı üreten ideal bir hash fonksiyonu olsun. İdeal olarak, kastediyoruzanlayabildiğimiz kadarıyla, her bir karma değerin bağımsız olması ve {0,1}n. Önemsiz bir şekilde,92'den geçebilirizn + 1 farklı değer ve bir çarpışma bulmamız garanti. Eğer bizalan için kısıtlanmışsa sadece 1 giriş-çıkış çiftini saklayabilir veyine aynı çıktı. Bu zaman karmaşıklığına sahiptir O (2 n), ancak O (1) uzay karmaşıklığına sahiptir. Alternatif olarak, O (2) değerinin karmasını hesaplayabilirizn / 2) farklı girişleri ve tüm giriş-çıkış çiftlerini saklar. Gibimetinde gördük, bu çıktılardan bazılarının çarpışması için iyi bir şans var (paradoks”). Bu, zaman-uzayı değiştirebileceğimizi gösterir: O (2n / 2) zaman ve O (2n / 2 ) Uzay.1. (Kolay) Zaman uzayı değiş tokuşunun parametrelendirilebilir olduğunu gösterin: herhangi bir alanı elde edebilirizO (1) ve O (2) arasındaki karmaşıklıkn / 2) zaman karmaşıklığında karşılık gelen bir azalma ile.2. (Çok zor) Zaman ve mekan karmaşıklığının çarpımının o olduğu bir saldırı var mı?n)?[Küçük notasyonu hatırlayın.]3. Karma fonksiyon özellikleri (tekrar). H hem gizleme hem de bulmaca dostu bir hash fonksiyonu olsun.G (z) = H (z) ǁ zlast'ı dikkate alın, burada zlast z'nin son bitini temsil eder. G'nin bulmaca dostu olduğunu göster saklanma.4. Rasgelelik. ScroogeCoin'de, Mallory'nin gizli anahtarına kadar (sk, pk) çiftleri oluşturmaya çalıştığını varsayalımbaşkasınınkiyle eşleşir. Ne yapabilir? Başarılı olmadan önce ne kadar sürecekortalama? Alice’in rasgele sayı üretecinin bir hatası ve anahtar oluşturma prosedürü varsa ne olur?sadece 1000 farklı çift üretir?

Leave a Reply

Your email address will not be published. Required fields are marked *