Runtime Verification مجموعه جهانی ZK PI Squared را در MultiversX راه اندازی می کند

Runtime Verification، یک شرکت ممیزی امنیتی مستقر در ایلینویز، در سومین روز از کنفرانس xDay که توسط MultiversX سازماندهی شد، از مجموعه‌ای با دانش صفر جهانی (ZK) به نام PI Squared رونمایی کرد. PI Squared از بلاک چین MultiversX به عنوان لایه اجماع آن استفاده می کند.

PI Squared برای متحول کردن چگونگی تأیید ادعاهای محاسباتی با تغییر تمرکز از روش‌های سنتی به اثبات‌های ریاضی طراحی شده است. بر اساس یک بیانیه مطبوعاتی به اشتراک گذاشته شده با CryptoSlate.

Runtime Verification به دلیل استفاده از روش های تأیید رسمی توسعه یافته توسط ناسا برای افزایش ایمنی و قابلیت اطمینان سیستم های محاسباتی شناخته شده است. Runtime Verification اکنون تخصص خود را به فضای بلاک چین می‌آورد، جایی که پیچیدگی ترکیب‌پذیری قراردادهای هوشمند و معماری بلاک چین نیازمند اقدامات امنیتی دقیق است.

با گسترش سریع فضای بلاک چین، افزایش متناظری در حوادث هک و سوء استفاده از قراردادهای هوشمند وجود داشته است. این امر نیاز به استانداردهای امنیتی بالاتر را نشان داده است. هدف راه‌حل مبتنی بر جمع‌بندی ZK در Runtime Verification رسیدگی به این مسائل است، زیرا فراتر از افزایش مقیاس‌پذیری شبکه‌های لایه 1 است.

طبق Runtime Verification، PI Squared یک زبان برنامه نویسی و ماشین مجازی (VM) است. این باعث می شود که توسعه دهندگان، کاربران و شرکت هایی که از بلاک چین MultiversX در گردش کار خود استفاده می کنند، در دسترس باشد. PI Squared آن‌ها را قادر می‌سازد تا بدون زحمت، بدون اعتماد و برنامه‌ریزی صحت اثبات‌ها را تأیید کنند، و ادعا می‌کنند که اکوسیستم بلاک چین امن‌تر و قابل اعتمادتری ارائه می‌کنند.

MultiversX با ارائه یک جعبه ابزار توسعه که می تواند اشکالات ظریف و نقص های منطقی را از مرحله طراحی شناسایی کند، قصد دارد به یک پلتفرم جذاب برای کسب و کارهایی تبدیل شود که به دنبال اطمینان از یکپارچگی پروژه های مبتنی بر بلاک چین هستند.

The post Runtime Verification راه اندازی جهانی ZK rollup PI Squared در MultiversX اولین بار در CryptoSlate ظاهر شد.