2001年，在以色列理工学院（Technion – Israel Institute of Technology），Eli Ben-Sasson @EliBenSasson 正在努力解决一个根本问题：

如何在不依赖任何可信设置的情况下实现大规模的零知识证明？

为了回答这个问题，他发明了 zk-STARKs（Scalable Transparent Arguments of Knowledge，可扩展的透明知识论证）——一种不需要可信设置、提供更高效率和更强安全性的系统。

它为去中心化信任计算奠定了基础。