새로운 지평을 열다: EasyCrypt를 이용한 ZKsync 온체인 검증기의 Nethermind의 형식적 검증

Nethermind Security가 EasyCrypt로 ZKsync 검증기를 형식적으로 검증한 선구적 사례를 다룹니다. 이는 제로 지식 증명 시스템에 대한 최초의 실전 검증으로 블록체인 기술의 신뢰성과 보안을 높입니다.

2025년 9월 10일