اتریوم سرتیک با استفاده از اثباتهای کوک، صحت مدارهای اصلی زیکیوازم (zkWasm) را تأیید کرده است. این اقدام بخشی از روند گسترشیافتهٔ تأیید رسمی ماشینهای مجازی صفردانش است که توسط بنیاد اتریوم تأمین مالی میشود. اثباتهای ریاضی رسمی نشان میدهند که مدارهای هسته زیکیوازم از نظر منطقی درست هستند.
منبع: BTCUSA
بیت کوین