2001年，在以色列理工學院（Technion – Israel Institute of Technology），Eli Ben-Sasson @EliBenSasson 正在努力解決一個根本性的問題：

我們如何才能在不依賴任何可信設置的情況下，實現大規模的零知識證明？

為了回答這個問題，他發明了 zk-STARKs（Scalable Transparent Arguments of Knowledge，可擴展的透明知識論證）—— 一個不需要可信設置、提供更高效率並提供更強安全性的系統。

它為去中心化信任計算奠定了基礎。