В 2001 году в Технионе – Израильском технологическом институте, Eli Ben-Sasson @EliBenSasson боролся с фундаментальным вопросом:

Как мы можем достичь масштабных zero-knowledge proofs, не полагаясь ни на какую доверенную настройку?

Чтобы ответить на него, он изобрел zk-STARKs (Scalable Transparent Arguments of Knowledge) — систему, которая не требует доверенной настройки, предлагает более высокую эффективность и обеспечивает более надежную безопасность.

Это заложило основу для децентрализованных доверительных вычислений.