Vào năm 2001, tại Technion – Học viện Công nghệ Israel, Eli Ben-Sasson @EliBenSasson đã phải vật lộn với một câu hỏi cơ bản:

Làm thế nào chúng ta có thể đạt được các zero-knowledge proofs quy mô lớn mà không cần dựa vào bất kỳ trusted setup nào?

Để trả lời câu hỏi đó, ông đã phát minh ra zk-STARKs (Scalable Transparent Arguments of Knowledge) — một hệ thống không yêu cầu trusted setup, mang lại hiệu quả cao hơn và cung cấp bảo mật mạnh mẽ hơn.

Nó đặt nền móng cho tính toán tin cậy phi tập trung.