2001年、テクニオン - イスラエル工科大学で、Eli Ben-Sasson @EliBenSasson は根本的な問題に取り組んでいました。

信頼できるセットアップに頼らずに、大規模なゼロ知識証明をどのように実現できるのか？

その答えを出すために、彼はzk-STARKs（Scalable Transparent Arguments of Knowledge）を発明しました。これは、信頼できるセットアップを必要とせず、より高い効率を提供し、より強力なセキュリティを提供するシステムです。

これは、分散型信頼計算の基礎を築きました。