Leksykon IT › Bezpieczeństwo › Eli Ben-Sasson

Eli Ben-Sasson

Bezpieczeństwo Svenska → Zaktualizowano: 2026-10-17

Badacz z Technionu, który wyniósł dowody probabilistycznie sprawdzalne z zaplecza teorii złożoności do blockchainów, najpierw przez Zerocash, potem przez StarkWare.

Przez lata Ben-Sasson był czystym teoretykiem PCP i badał, jak krótki może być dowód, jeśli weryfikator sprawdza tylko kilka losowo wybranych bitów. W 2014 roku współtworzył artykuł o Zerocash, m.in. z Alessandro Chiesą, Matthew Greenem i Eranem Tromerem. Stał się on podstawą Zcasha i jego transakcji chronionych opartych na zk-SNARK-ach.

Niezadowolony z tego, że SNARK-i wymagają ceremonii zaufanej konfiguracji, w 2018 roku przedstawił zk-STARK-i, które opierają się wyłącznie na funkcjach skrótu, a więc uchodzą też za odporne na komputery kwantowe. Tego samego roku współzałożył StarkWare, by skalować nimi Ethereum. Naukowcy zakładający firmy to norma; firma działająca na systemie dowodów wynalezionym przez jej założyciela zdarza się rzadziej.

← Wróć do leksykonu