Last updated 1 year ago
TCKT'de Wesoloski ’leri kullanılır.
N = pq olarak seçilir, p,q yu kimse görmez.
g: VDF’in girdisinden seçilmiş asal sayı
VDF hesaplama:
y = g^(2^t) mod N
t kere kare alarak O(t) zamanda hesaplanır
t
O(t)
Sorgu üretimi:
Onaylayıcı taraf rastgele bir L seçerek bir sorgu üretir.
L
Fiat-Shamir çıkarımı sayesinde kanıtlayıcı
L = sha(g, y) seçebilir.
L = sha(g, y)
Kanıt hesaplama:
Sorgu sayısı L seçilir.
π = g^(⌊2^t / L⌋)
Onaylama
y = π^L g^(2^t mod L) olmalı.
y = π^L g^(2^t mod L)
Hash-to-prime için Sieve ve Miller-Rabin testi kullanıyoruz.
