Ethereum dasturchisi Barry zkEVM maxfiy aqlli shartnomalar bo'yicha yangi yutuqlarni e'lon qildi: foydalanuvchining maxfiy holatini qo'llab-quvvatlash, lekin global maxfiy holatni emas

 Ethereum dasturchisi barryWhiteHat shunday yozadiki, zero-knowledge proof virtual machine (zkEVM) tijoratlashtirilishi bilan qiziqarli imkoniyat paydo bo‘ldi: u Ethereum Virtual Machine (EVM) bilan moslikni saqlagan holda maxfiy smart-kontrakt infratuzilmasini taqdim eta oladi. Dasturchilar Solidity kodini yozib, uni Solidity kompilyatorining maxsus versiyasi yoki ba’zi post-processing vositalari orqali kompilyatsiya qilib, maxfiy smart-kontraktlar yaratishlari mumkin.

Maxfiy global holat va maxfiylik atrofida muhim muvozanatlar mavjud, asosiy sabab shundaki: biror narsani isbotlash uchun, siz nimani isbotlayotganingizni bilishingiz kerak. Shuning uchun, siz bilmaydigan global ommaviy holatga ega maxfiy smart-kontrakt mavjud bo‘la olmaydi. Natijada, global maxfiy holatga ega maxfiy smart-kontraktlar ham mavjud bo‘la olmaydi. Masalan, Uniswap kabi ilovalarni maxfiy shaklda amalga oshirib bo‘lmaydi, chunki isbotlovchi swap tranzaksiyasi to‘g‘ri bajarilganini isbotlash uchun ikki likvidlik havzasining balanslarini bilishi kerak.

Shuning uchun, ba’zi mashhur va ommabop ilovalarni hozirda maxfiy shaklda amalga oshirib bo‘lmaydi, agar bizda input-output (IO) imkoniyatlari bo‘lmasa – aynan shu sababli IO juda muhim. Bu bizga to‘liq maxfiy Ethereum qurish imkonini beradi, uning ishonch taxminlari asl Ethereum bilan bir xil bo‘ladi.

Biroq, ushbu maqola pstore va pload operatsiyalarini reth ga qo‘shish orqali zero-knowledge proof virtual machine (zkEVM) ga kompilyatsiya qilishni o‘rganishga qaratilgan, shunda maxfiy smart-kontraktga erishish mumkin bo‘ladi – bu kontraktlar maxfiy foydalanuvchi holatiga ega, lekin maxfiy global holatga ega emas.