zk-STARKs

הוכחות אפס ידיעה המאפשרות לצד אחד להוכיח מידע לצד אחר מבלי לחשוף את הנתונים עצמם.