아비트럼이 오늘, ZK 롤업으로의 전환을 얼마나 준비했는지 그간의 진행 상황을 공개했습니다. 우선 아비트럼은 작년 Succinct와의 협력을 발표한 이후, 약 1년간 아비트럼 블록의 ZK 증명을 위한 연구개발을 진행해 왔습니다. 그리고 이제 Succinct의 SP1 위에서 실제 아비트럼 메인넷 블록에 대한 ZK 증명 생성이 가능해졌다고 합니다. Solidity 컨트랙트뿐만 아니라 C++, Rust 등으로 작성된 Stylus 컨트랙트 역시 동일하게 ZK 증명이 가능하다고 하네요. 이를 위해 별도의 고성능 Rust 밸리데이터를 구축하였으며, ZK 증명을 기존 증명 시스템인 BoLD 정산 시스템에 직접 통합했습니다. 이를 통해 ZK 증명이 정상적으로 생성되고 TEE 위에서 밸리데이터를 운영하는 위원회가 동일한 결과를 확인할 경우, 기존 7일의 챌린지 기간을 기다리지 않고 빠르게 정산을 확정할 수 있게 됩니다. ZK + TEE를 기본으로 두고, 기존 옵티미스틱 사기 증명을 타이 브레이커로 두는 멀티 프루프 시스템이라고 볼 수 있겠네요. 앞으로 최적화와 통합 과정을 거쳐 조만간 거버넌스 프로포절의 형태로 아비트럼에 적용될 수 있지 않을까 싶습니다. 다만, 이번 발표에서는 기존 아비트럼이 강조해오던 탈중앙화라던지, Stage 2와 관련된 이야기가 전부 빠져있으며, ZK를 통해 출금 시간을 감소시키는 이점 정도만 강조되고 있습니다. 물론 위 시스템을 적용하면 Stage 2와 관련된 기술적인 요건은 전부 갖추게 되기 때문에 Sta