2001 yılında, Technion – İsrail Teknoloji Enstitüsü'nde, Eli Ben-Sasson @EliBenSasson temel bir soruyla boğuşuyordu:

Güvenilir bir kurulum gerektirmeden, büyük ölçekli sıfır bilgi ispatlarına nasıl ulaşabiliriz?

Buna cevap vermek için, güvenilir bir kurulum gerektirmeyen, daha yüksek verimlilik sunan ve daha güçlü güvenlik sağlayan bir sistem olan zk-STARK'ları (Ölçeklenebilir Şeffaf Bilgi Argümanları) icat etti.

Merkeziyetsiz güven hesaplaması için zemin hazırladı.