TCKT’de hangi VDF kullanılıyor?

TCKT'de Wesoloski VDF’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

Sorgu üretimi:

Onaylayıcı taraf rastgele bir L seçerek bir sorgu üretir.

Fiat-Shamir çıkarımı sayesinde kanıtlayıcı

L = sha(g, y) seçebilir.

Kanıt hesaplama:

Sorgu sayısı L seçilir.

π = g^(⌊2^t / L⌋)

Onaylama

y = π^L g^(2^t mod L) olmalı.

Hash-to-prime için Sieve ve Miller-Rabin testi kullanıyoruz.