STARK: dovezi zero-knowledge care scalează de fapt fără configurație de încredere, fără călcâiul cuantic al lui Ahile.