Foresight News X’da (avvalgi Twitter) joylashtirdi. Vitalik Buterin maxfiylikni himoya qilish va blokcheyn tizimlari hisob-kitobni qanday tekshirishi haqida gapirdi. U an’anaviy tekshiruv tugunlar tranzaksiyalarni mustaqil ravishda bajarib, natijalarni taqqoslashini talab qilishini aytdi; bu tekshiruvni ta’minlaydi, ammo ishni takrorlaydi va tarmoq bajarishi mumkin bo‘lgan hisob-kitob hajmini cheklaydi.

Buterin hisob-kitobni bajarayotgan tomon ishni yakunlagach kriptografik isbot yaratadigan, boshqa ishtirokchilar esa hisob-kitob qoidalar bo‘yicha bajarilganini tasdiqlash uchun o‘sha isbotni tekshiradigan muqobilni ta’riflab berdi. U SNARK va STARK kabi isbotlash tizimlari murakkab hisob-kitoblarni qayta bajarishdan ko‘ra tekshiruvni samaraliroq qilishini aytdi. Agar bu tizimlar nol bilimlilik (zero-knowledge) xususiyatlariga ham ega bo‘lsa, natija to‘g‘riligini tasdiqlab, oshkor qilinishi shart bo‘lmagan kiritish (input) ma’lumotlarini yashirish mumkin.

U ikki xil, lekin bir-biriga bog‘liq maqsad borligini aytdi: takroriy hisob-kitoblarni kamaytirish va maxfiylikni himoya qilish. Isbotlardan foydalanib tizimni miqyoslash uni avtomatik ravishda tranzaksiyalarni maxfiy qilmaydi, maxfiylik esa baribir ilova va protokol dizaynini talab qiladi.

Buterin shuningdek, to‘liq gomomorfik shifrlashni, ya’ni FHEni ham tilga oldi. Bu usul hisoblashchi tomonga avval shifrni ochmasdan turib, shifrlangan ma’lumotlarga ishlov berishga imkon beradi. U bu texnologiya boshqalarga asl ma’lumotni topshirmasdan turib hisoblashni amalga oshirish yo‘lini berishini aytdi.

U bu vositalar ishlab chiquvchilarga hisoblash qayerda amalga oshirilishi, natijalar qanday tekshirilishi va muayyan ma’lumotni kim ko‘rishi mumkinligi bo‘yicha ko‘proq moslashuvchanlik berib, ilovalar uchun dizayn imkoniyatlarini kengaytirishini qo‘shimcha qildi.