런타임 검증, MultiversX에서 Universal ZK 롤업 출시

컴퓨팅 시스템의 안전성, 신뢰성 및 정확성을 향상시키기 위해 NASA에서 개척한 공식 검증 방법을 적용하는 일리노이 소재 보안 감사 회사인 Runtime Verification은 MultiversX 블록체인을 합의 계층으로 사용하는 범용 ZK 롤업인 PI Squared를 출시합니다.

MultiversX가 주최한 xDay 컨퍼런스 3일차 초연에서 공개된 PI Squared는 계산적 주장 검증을 수학적 증명 검증으로 축소할 예정입니다. 이는 맞춤형(병렬) ZK 회로로 구현된 범용 증명 검사기를 통해 수행됩니다.

블록체인 공간이 기하급수적으로 성장하면서 해킹과 스마트 계약 악용이 증가하면서 더 나은 보안 표준이 필요해졌습니다. 따라서 Runtime Verification의 ZK 롤업 기반 솔루션은 주로 레이어 1 네트워크의 확장성을 개선하기 위해 이 기술을 사용하는 대안과 달리 채택을 방해하는 이러한 문제를 제거하는 중요한 도구입니다.

프로그래밍 언어/VM에 구애받지 않으므로 작업 흐름에서 MultiversX 블록체인의 기능을 활용하는 모든 개발자, 사용자 및 기업이 쉽고 신뢰할 수 없으며 프로그래밍 방식으로 정확성 증명을 확인할 수 있습니다.

또한 이번 움직임으로 MultiversX 생태계는 설계 단계에서 미묘한 버그와 논리 결함을 찾기 위한 접근 가능한 개발 툴킷을 제공함으로써 높은 가치의 사용 사례를 안전하게 배포하려는 스타트업과 기업을 위한 주요 후보가 되었습니다.

xDay 이벤트는 AI, 핀테크, 게임 등을 세계에서 가장 강력하고 확장 가능하며 안전한 블록체인 아키텍처와 연결하는 대규모 파트너십을 통해 Web3 공간 내에서 새로운 성장의 초파를 일으켰습니다.

런타임 확인 정보

Runtime Verification은 지난 20년 동안 소프트웨어 개발을 위한 공식적인 검증 방법론을 개척해 왔습니다. 이는 NASA에서 시작되어 점진적으로 블록체인 공간으로 진출했으며, 스마트 계약 구성 가능성 및 블록체인 아키텍처와 함께 발생하는 복잡성이 증가함에 따라 아마도 가장 필요할 것입니다.

MultiversX 소개

사용자, 비즈니스, 사회 및 새로운 메타버스 개척자를 위해 근본적으로 새로운 애플리케이션을 지원하기 위해 만들어진 확장성이 뛰어나고 안전하며 분산된 블록체인 네트워크입니다.