Veridise
236 Postlar
Veridise
Shikoyat qilish
Foydalanuvchini bloklash
Veridise is a proven leader in auditing ZK circuits, smart contracts & blockchains. Learn more at www.veridise.com.
0 Kuzatilmoqda
135 Kuzatuvchilar
89 Yoqdi
Postlar
Barchasi
Videolar
·
--
Picus @ethereum’s Ethproofs Call #3 da ozgina mehr oldi 👀 Rahmat @drakefjustin!
Picus @ethereum’s Ethproofs Call #3 da ozgina mehr oldi 👀 Rahmat @drakefjustin!
1
605
·
--
Biz topadigan eng ko‘p uchraydigan ikkita ZK xatosi qaysilar? Va ulardan qanday qochish mumkin? @FormallyJon @HouseofZK podkasti haqida gapiradi
Biz topadigan eng ko‘p uchraydigan ikkita ZK xatosi qaysilar? Va ulardan qanday qochish mumkin? @FormallyJon @HouseofZK podkasti haqida gapiradi
3
767
·
--
ZK xavfsizlik auditi doirasida kod bazasining qaysi qismlari eng muhim nishonlar hisoblanadi? @FormallyJon @HouseofZK podkastida bo‘lishdi.
ZK xavfsizlik auditi doirasida kod bazasining qaysi qismlari eng muhim nishonlar hisoblanadi? @FormallyJon @HouseofZK podkastida bo‘lishdi.
3
789
·
--
Maxfiylik sohasidagi uzoq yillik loyiha bo‘lgan @Monero bilan xavfsizlik auditi bo‘yicha ishlarimizni e’lon qilishdan mamnunmiz.
Bundan tashqari, ishimizga oid ayrim da’volar va noto‘g‘ri tasvirlar haqida aniqlik kiritib, ularni rad etmoqchimiz.
1/8
Maxfiylik sohasidagi uzoq yillik loyiha bo‘lgan @Monero bilan xavfsizlik auditi bo‘yicha ishlarimizni e’lon qilishdan mamnunmiz.
Bundan tashqari, ishimizga oid ayrim da’volar va noto‘g‘ri tasvirlar haqida aniqlik kiritib, ularni rad etmoqchimiz.
1/8
Bundan tashqari, ishimizga oid ayrim da’volar va noto‘g‘ri tasvirlar haqida aniqlik kiritib, ularni rad etmoqchimiz.
1/8
222
·
--
So‘nggi 2 haftadagi eng mashhur 3 ta blokcheyn xakerlik hujumi haqida qiziqasizmi? Mana:
Hikoya quyida davom etadi 🧵
So‘nggi 2 haftadagi eng mashhur 3 ta blokcheyn xakerlik hujumi haqida qiziqasizmi? Mana:
Hikoya quyida davom etadi 🧵
Hikoya quyida davom etadi 🧵
171
·
--
ZK auditi smart-kontrakt auditi emas. Ularni nima ajratib turadi? @FormallyJon buni @HouseofZK podkastida tushuntirib beradi.
ZK auditi smart-kontrakt auditi emas. Ularni nima ajratib turadi? @FormallyJon buni @HouseofZK podkastida tushuntirib beradi.
1
400
·
--
Yangi blog: Qanday qilib xavfsiz zkVM ilovasini yaratish — va uni qanday audit qilish? (zkVM xavfsizligi seriyamizning III-qismi).
Biz @RiscZero yordamida aniq misol orqali ko‘rib chiqamiz va real hayotdagi ZK ilovalarini ishlab chiqishda ahamiyatli bo‘lgan xavfsizlik jihatlarini ko‘rsatamiz.
Thread 🧵
1/6
Yangi blog: Qanday qilib xavfsiz zkVM ilovasini yaratish — va uni qanday audit qilish? (zkVM xavfsizligi seriyamizning III-qismi).
Biz @RiscZero yordamida aniq misol orqali ko‘rib chiqamiz va real hayotdagi ZK ilovalarini ishlab chiqishda ahamiyatli bo‘lgan xavfsizlik jihatlarini ko‘rsatamiz.
Thread 🧵
1/6
Biz @RiscZero yordamida aniq misol orqali ko‘rib chiqamiz va real hayotdagi ZK ilovalarini ishlab chiqishda ahamiyatli bo‘lgan xavfsizlik jihatlarini ko‘rsatamiz.
Thread 🧵
1/6
48
·
--
ZK uchun asbob-uskunalar yaratishni boshlaganimizda, tayyor yechimlar umuman yo‘q edi. @FormallyJon bizning nol bilimga asoslangan texnologiyalar bo‘yicha yo‘limiz haqida @HouseofZK intervyusida hikoya qiladi.
ZK uchun asbob-uskunalar yaratishni boshlaganimizda, tayyor yechimlar umuman yo‘q edi. @FormallyJon bizning nol bilimga asoslangan texnologiyalar bo‘yicha yo‘limiz haqida @HouseofZK intervyusida hikoya qiladi.
1
113
·
--
ZK vositalari ustida ishlashni boshlaganimizda, foydalanish mumkin bo‘lgan hech narsa yo‘q edi. @FormallyJon bizning nol bilimga asoslangan vositalar bo‘yicha sayohatimizni baham ko‘radi.
ZK vositalari ustida ishlashni boshlaganimizda, foydalanish mumkin bo‘lgan hech narsa yo‘q edi. @FormallyJon bizning nol bilimga asoslangan vositalar bo‘yicha sayohatimizni baham ko‘radi.
2
844
·
--
Vanguard — statik analizatorimizni ishlab chiqishga nima sabab bo‘ldi va uni Solidity’dan tashqariga qanday kengaytirdik? @FormallyJon buni @HouseofZK podkastida tushuntiradi.
Vanguard — statik analizatorimizni ishlab chiqishga nima sabab bo‘ldi va uni Solidity’dan tashqariga qanday kengaytirdik? @FormallyJon buni @HouseofZK podkastida tushuntiradi.
1
1.5k
·
--
Kannes, siz ajoyib bo‘ldingiz! Bizning stendimizga tashrif buyurganlarning barchasiga rahmat, va bizni qabul qilgani uchun @EthCC’ga ham rahmat. Mana hafta davomida bo‘lgan ajoyib manzaralar 🌞
Kannes, siz ajoyib bo‘ldingiz! Bizning stendimizga tashrif buyurganlarning barchasiga rahmat, va bizni qabul qilgani uchun @EthCC’ga ham rahmat. Mana hafta davomida bo‘lgan ajoyib manzaralar 🌞
1
43
·
--
So‘nggi ikki haftadagi eng yaxshi 3 ta blokcheyn xavfsizligi haqidagi voqealarga sho‘ng‘ing!
Hikoya quyida davom etadi 🧵
So‘nggi ikki haftadagi eng yaxshi 3 ta blokcheyn xavfsizligi haqidagi voqealarga sho‘ng‘ing!
Hikoya quyida davom etadi 🧵
Hikoya quyida davom etadi 🧵
26
·
--
@KFerles’ @EthCC taqdimotini o‘tkazib yubordik, “Hatto tekshiruvlardan boshlab uzluksiz verifikatsiyagacha: saqlanib qoladigan zkVM determinismi”? To‘liq taqdimotni bu yerda tomosha qiling, zal to‘la odam edi!
@KFerles’ @EthCC taqdimotini o‘tkazib yubordik, “Hatto tekshiruvlardan boshlab uzluksiz verifikatsiyagacha: saqlanib qoladigan zkVM determinismi”? To‘liq taqdimotni bu yerda tomosha qiling, zal to‘la odam edi!
2
12
·
--
@EthCC da 1-kun yakunlandi — va suratdagi barcha sovg'alar qani? Yo‘qolibdi. Raccoon esa tomoshabinlar orasida eng mashhuri 🦝
Bizda hali ham bir nechta qolgan, agar atrofda bo‘lsangiz ertaga kelib oling!
@EthCC da 1-kun yakunlandi — va suratdagi barcha sovg'alar qani? Yo‘qolibdi. Raccoon esa tomoshabinlar orasida eng mashhuri 🦝
Bizda hali ham bir nechta qolgan, agar atrofda bo‘lsangiz ertaga kelib oling!
Bizda hali ham bir nechta qolgan, agar atrofda bo‘lsangiz ertaga kelib oling!
10
·
--
@EthCC dan salom — Bizning CTO’imiz @KFerles zkVMlar, masalan @RiscZero uchun, qanday qilib uzoq muddatli deterministiklikni ta’minlashimizni tushuntiryapti
@EthCC dan salom — Bizning CTO’imiz @KFerles zkVMlar, masalan @RiscZero uchun, qanday qilib uzoq muddatli deterministiklikni ta’minlashimizni tushuntiryapti
1
10
·
--
Yangi blog posti! zkVMlarda uchraydigan keng tarqalgan zaifliklarni aniqlash
bu bizning zkVM Security seriyamizning 2-qismi)
zkVMlar ZK murakkabligini mavhumlashtirishga yordam bersa-da, ular barcha tuzoqlarni bartaraf etmaydi 🧵
Yangi blog posti! zkVMlarda uchraydigan keng tarqalgan zaifliklarni aniqlash
bu bizning zkVM Security seriyamizning 2-qismi)
zkVMlar ZK murakkabligini mavhumlashtirishga yordam bersa-da, ular barcha tuzoqlarni bartaraf etmaydi 🧵
bu bizning zkVM Security seriyamizning 2-qismi)
zkVMlar ZK murakkabligini mavhumlashtirishga yordam bersa-da, ular barcha tuzoqlarni bartaraf etmaydi 🧵
1
17
·
--
Veridise’ning ZK vositalari bo‘yicha umumiy tasavvur oling va keyingilari haqida bir qarash. @IsilDillig @a16zcrypto tadbirida bizning kelajakdagi yo‘nalishlarimizni baham ko‘radi.
Veridise’ning ZK vositalari bo‘yicha umumiy tasavvur oling va keyingilari haqida bir qarash. @IsilDillig @a16zcrypto tadbirida bizning kelajakdagi yo‘nalishlarimizni baham ko‘radi.
671
·
--
Bizning ZK aniqlash vositalarimiz avvallari ZK konturlarining 30%ida vaqt tugashi bilan ishlamay qolardi. Buni qanday hal qildik? So‘nggi tadqiqot maqolamizdagi xulosalar bilan <a> @IsilDillig</a> o‘rtoqlashadi.
Bizning ZK aniqlash vositalarimiz avvallari ZK konturlarining 30%ida vaqt tugashi bilan ishlamay qolardi. Buni qanday hal qildik? So‘nggi tadqiqot maqolamizdagi xulosalar bilan <a> @IsilDillig</a> o‘rtoqlashadi.
2
707
·
--
Auditlar vaqtida ZK sxemalarini qanchalik barqaror va deterministik ushlab turamiz? Bizning hammuassisimiz @IsilDillig ZK vositalarimizda statik tahlil va SMT yechimlagichlarini birlashtirish bo‘yicha fikrlarini bo‘lishadi.
Auditlar vaqtida ZK sxemalarini qanchalik barqaror va deterministik ushlab turamiz? Bizning hammuassisimiz @IsilDillig ZK vositalarimizda statik tahlil va SMT yechimlagichlarini birlashtirish bo‘yicha fikrlarini bo‘lishadi.
2
1.1k
·
--
Haddan tashqari cheklangan sxemalar nol-bilim (zero-knowledge) sxemalari uchun muammo bo‘ladimi?
Qaysi biri kattaroq xavf tug‘diradi: kam cheklanganmi yoki haddan tashqari cheklangan sxemalarmi? @IsilDillig buni batafsil tushuntiradi.
Haddan tashqari cheklangan sxemalar nol-bilim (zero-knowledge) sxemalari uchun muammo bo‘ladimi?
Qaysi biri kattaroq xavf tug‘diradi: kam cheklanganmi yoki haddan tashqari cheklangan sxemalarmi? @IsilDillig buni batafsil tushuntiradi.
Qaysi biri kattaroq xavf tug‘diradi: kam cheklanganmi yoki haddan tashqari cheklangan sxemalarmi? @IsilDillig buni batafsil tushuntiradi.
1
1.2k
Ko‘proq kontentni ko‘rish uchun tizimga kiring
Binance Square'da global kriptovalyuta foydalanuvchilariga qo‘shiling
⚡️ Kriptovalyuta haqida eng so‘nggi va foydali ma’lumotlarni oling.
💬 Dunyoning eng yirik kriptovalyuta birjasi tomonidan ishonchli deb topilgan.
👍 Tasdiqlangan mualliflardan haqiqiy tahlillarni kashf eting.
Email / telefon raqami
Trenddagi mavzular
BOJRaisesRatesTo31YearHigh
146,800 marta koʻrilgan
2,257 muhokama qilmoqda
#BOJRaisesRatesTo31YearHigh
#BOJRaisesRatesTo31YearHigh 🇯🇵📈
Yaponiya banki foiz stavkalarini 31 yildagi eng yuqori darajaga ko‘tarish orqali navbatdagi muhim qadamni tashladi va bu global bozorlarni hushyor holatga keltirdi. Bu qaror Yaponiyaning uzoq yillardan beri davom etib kelayotgan juda yumshoq pul-kredit siyosatidan chetlanish davom etayotganini ko‘rsatadi. Yaponiya bo‘yicha yuqoriroq foiz stavkalari iyenani mustahkamlashi, global obligatsiyalar rentabelligiga ta’sir qilishi va ehtimol moliyaviy bozorlar bo‘ylab kapital oqimlarini o‘zgartirishi mumkin. Kripto va riskli aktivlar ham investorlar likvidlik hamda risk ta’sirini qayta baholayotgan paytda munosabat bildirishi ehtimoli bor. Endi treyderlar kelgusidagi stavka qarorlari bo‘yicha ishoralarni topish uchun BOJning navbatdagi bayonotlarini diqqat bilan kuzatmoqda. Bozorlar siyosat o‘zgarishini va uning mumkin bo‘lgan global ta’sirini hazm qilgani sari volatillik kuchayishi mumkin. #BOJ #Japan #Crypto #Markets #InterestRates $NVDAB
maqsoodahmed1
·1 ta layk
·245 marta koʻrilgan
BuffettStepsDownAsBerkshireChairman
69,762 marta koʻrilgan
1,136 muhokama qilmoqda
XRPExchangeReservesHitSevenYearLow
76,380 marta koʻrilgan
1,033 muhokama qilmoqda