zk-STARK
מערכת הוכחה קריפטוגרפית zk-STARK (Zero-Knowledge Scalable Transparent Argument of Knowledge) מאפשרת למַפְרִיךְ (prover) לשכנע מְאַמֵת (verifier) בצדקתה של חישוב מבלי להזדקק להגדרה מהימנה (trusted setup) או לחשוף פרטים חישוביים. zk-STARKs, שהוצגו על ידי Ben-Sasson ועמיתיו בשנת 2018, מתמודדות עם מגבלה מרכזית של zk-SNARKs: הן אינן דורשות שלב קדם-עיבוד (preprocessing) הפגיע לפגיעה. במקום זאת, STARKs מסתמכות אך ורק על פונקציות גיבוב קריפטוגרפיות, מה שהופך אותן לפשוטות יותר, שקופות יותר, ונחשבות עמידות בפני מחשוב קוונטי.
קראו את השיטה במלואה
התחברו עם חשבון חינמי כדי לקרוא חלק זה.
מפת שיטות
סביבת השיטות הקרובות — בחרו צומת כדי לחקור.
מקורות
- Ben-Sasson, E., Bentov, I., Horesh, Y., & Riabzev, M. (2019). Scalable, transparent, and post-quantum secure computational integrity. In IACR Cryptology ePrint Archive, Report 2018/046. link ↗
- Ben-Sasson, E., Riabzev, M., Rozenkraut, M., Shacham, H., & Stemen, M. (2021). Aurora: Transparent Succinct Non-Interactive Zero-Knowledge Proofs. In IACR Cryptology ePrint Archive, Report 2018/828. link ↗
איך לצטט עמוד זה
ScholarGate. (2026, June 3). Zero-Knowledge Scalable Transparent Argument of Knowledge. ScholarGate. https://scholargate.app/he/cryptography/zk-stark
איזו שיטה?
הציבו שיטה זו לצד קרובותיה הקרובות וקראו אותן זו לצד זו — הספרייה מניחה את הספרים על השולחן; הבחירה בידיכם.
- קריפטוגרפיה מבוססת סריגיםקריפטוגרפיה↔ השוואה
- קריפטוגרפיה פוסט-קוונטית (Kyber)קריפטוגרפיה↔ השוואה
- zk-SNARKקריפטוגרפיה↔ השוואה