Ethereum dasturchisi barry zkEVM maxfiy aqlli shartnomasi bo‘yicha yangi yangiliklarni e’lon qildi: maxfiy foydalanuvchi holatini qo‘llab-quvvatlaydi, biroq maxfiy global holatga ega emas

Jinse Finance xabariga ko'ra, Ethereum dasturchisi barryWhiteHat o'z maqolasida shunday deydi: nol bilimli isbot virtual mashinalari (zkEVM) tijoratlashuvi bilan birga, qiziqarli imkoniyat paydo bo'ldi: xususiy aqlli kontrakt infratuzilmasini taqdim etish va shu bilan birga Ethereum Virtual Machine (EVM) bilan moslikni saqlab qolish. Dasturchilar Solidity kodini yozishlari va uni maxsus Solidity kompilyatori versiyasi yoki ayrim post-protsessing vositalari orqali kompilyatsiya qilishlari mumkin, shu orqali xususiy aqlli kontraktlar yaratishadi. Xususiy global holat va maxfiylik atrofida muhim muvozanatlar mavjud, buning asosiy sababi shundaki: isbotlash uchun, siz nimani isbotlayotganingizni bilishingiz kerak. Shuning uchun, shunday xususiy aqlli kontrakt bo'lishi mumkin emaski — unda siz bilmaydigan global ochiq holat mavjud bo'lsa. Bundan kelib chiqadiki, global xususiy holatga ega xususiy aqlli kontrakt ham mavjud bo'lishi mumkin emas. Masalan, Uniswap kabi ilovalarni xususiy shaklda amalga oshirib bo'lmaydi, chunki isbotlovchi swap (tranzaksiya) to'g'ri bajarilganini isbotlash uchun ikkala likvidlik havzasining balansini bilishi kerak. Shu sababli, biz yaxshi biladigan va yoqtiradigan ba'zi ilovalar hozircha xususiy shaklda amalga oshirilishi mumkin emas, agar bizda kirish-chiqish (IO) funksiyasi bo'lmasa — aynan shu sababli IO juda muhim. Bu bizga to'liq xususiy Ethereum yaratish imkonini beradi va uning ishonch taxminlari asl Ethereum bilan to'liq mos keladi. Biroq, ushbu maqola reth ichiga pstore va pload opcode'larini qo'shish, ularni nol bilimli isbot virtual mashinasiga (zkEVM) kompilyatsiya qilish orqali qanday qilib xususiy aqlli kontrakt yaratish mumkinligini muhokama qilishga qaratilgan — bu turdagi kontraktlar xususiy foydalanuvchi holatiga ega, lekin global xususiy holatga ega emas.