ZK-SNARK – bu "Zero-Knowledge Succinct Non-Interactive Argument of Knowledge" (nol bilimli ixcham nointeraktiv bilim dalili) atamasining qisqartmasi. Bu kriptografik protokol bo'lib, bir tomon ikkinchi tomonga ma'lum bir ma'lumotga egaligini yoki vazifani bajarganligini, asl ma'lumotlarning o'zini oshkor qilmasdan turib isbotlash imkonini beradi. Ushbu texnologiya tranzaksiyalar haqiqiyligini tekshirish bilan birga, maxfiy ma'lumotlarni jamoatchilik ko'zidan yashirish uchun mo'ljallangan maxfiylikni kuchaytiruvchi vosita hisoblanadi.
Jarayon tranzaksiya amalga oshirilishidan oldin yaratilgan maxfiy kalit yordamida ishlaydi. Ushbu matematik tizim orqali bir tomon kerakli ma'lumotga egaligini tasdiqlovchi heshlangan yechimni yaratadi, ikkinchi tomon esa ushbu yechim belgilangan diapazonga mos kelishini tekshiradi. Bu to'g'ridan-to'g'ri o'zaro aloqa yoki shaxsiy ma'lumotlarni oshkor qilish zaruratisiz xavfsiz va maxfiy tekshiruvni amalga oshirish imkonini beradi.
Ushbu texnologiyaning amaliy qo'llanilishiga Zcash kriptovalyutasini misol keltirish mumkin. Bitcoin kabi dastlabki blokcheyn tarmoqlari foydalanuvchilar anonimligini saqlashda qiyinchiliklarga duch kelgan bo'lsa, Zcash ushbu maxfiylik muammolarini hal qilish uchun ZK-SNARK'lardan foydalanadi. Ushbu protokolni joriy etish orqali tarmoq tranzaksiya qonuniyligini va barcha qoidalarga rioya qilinganligini, jo'natuvchi, qabul qiluvchi yoki o'tkazma summasini oshkor qilmasdan tasdiqlay oladi.