zk-STARKs

Zaawansowany
There are two popular types of zero-knowledge (zk) proofs, sometimes also referred to as zk protocols ÔÇô SNARKs and STARKs. A zero-knowledge proof is a cryptographic verification method whereby one party (the prover) can prove to the other party (the verifier) that a given statement is true without the need to provide any supporting information apart from the fact that the statement is indeed true.
zk-STARK stands for ÔÇťzero-knowledge scalable transparent argument of knowledge.ÔÇŁ zk-STARKs were conceived by Eli-Ben Sasson, a professor at the Technion-Israel Institute of Technology. Unlike zk-SNARKs that are dependent on an initial trusted setup between a prover and a verifier, zk-STARKs do not require an initial trusted setup as they rely on leaner cryptography through collision-resistant hash functions. This approach also eliminates the number-theoretic assumptions of zk-SNARKs that are computationally expensive and theoretically can be prone to attack by quantum computers.
In simple terms, zk-STARK proofs present a more straightforward structure in terms of cryptographic assumptions. However, this comes with a significant disadvantage: they have a large proof size, usually 10 to 100 times larger than zk-SNARKs. Such a difference in data size makes them more expensive and may present limitations when utilizing the technology to send over the wire for cryptocurrencies and other applications.

Typowe zastosowania dowod├│w z wiedz─ů zerow─ů to zastosowania, w ramach kt├│rych niezb─Ödna jest zar├│wno prywatno┼Ť─ç, jak i bezpiecze┼ästwo. Przyk┼éadem jest weryfikacja to┼╝samo┼Ťci. Korzystanie z niekt├│rych us┼éug internetowych wymaga udowodnienia swojej to┼╝samo┼Ťci i prawa dost─Öpu do tych platform. Cz─Östo oznacza to konieczno┼Ť─ç podania danych osobowych, takich jak np. imi─Ö, adres e-mail i data urodzenia.

Dowody z wiedz─ů zerow─ů mog─ů u┼éatwi─ç weryfikacj─Ö zar├│wno platformom, jak i u┼╝ytkownikom. Po utworzeniu dowodu z wiedz─ů zerow─ů przy u┼╝yciu publicznych danych wej┼Ťciowych (danych potwierdzaj─ůcych przynale┼╝no┼Ť─ç u┼╝ytkownika do platformy) i prywatnych danych wej┼Ťciowych (danych u┼╝ytkownika) u┼╝ytkownik mo┼╝e po prostu legitymowa─ç si─Ö tym dowodem w ramach weryfikacji zawsze kiedy potrzebuje dost─Öpu do us┼éugi. Poprawia to komfort u┼╝ytkowania i zwalnia organizacje z obowi─ůzku przechowywania ogromnych ilo┼Ťci danych osobowych.