(영문) https://x.com/minebuu_/status/1907831408267293009
Succinct는 기본적으로 ZK proof 생성을 중계하는 인프라입니다.
Succinct는 Prover가 "어떻게" ZK proof 증명을 생성할지에 대해 직접 관여하지는 않습니다. 증명 방식은 자유이며 어떤 최적화를 쓰든, 어떤 하드웨어를 쓰든 자유입니다 (무엇을 증명해야 하는지와 어떤 형식으로 증명해야 하는지는 SP1 기반을 사용하도록 지정하긴합니다). Succinct는 ZK proof 생성 성능 최적화는 시장에 맡기고, Zk proving을 위한 자유 시장 환경을 조성하여 경쟁하도록 유도합니다.
구조는 간단합니다.
1) 증명을 요청하는 사용자가 보상을 걸고 특정 동작에 대한 증명을 생성해줄 것을 네트워크에 요청합니다.
2) 누구나 Prover로서 경매에 참여합니다. 경매에 참여하기 위해서 Prover들은 자기만의 입찰액을 적어서 지불합니다.
3) 오직 하나의 Prover만 선택됩니다. 입찰액이 높을수록 당첨 확률이 증가합니다. 선택되지 않은 Prover들이 지불한 돈은 돌려받지 못하고 네트워크가 가져갑니다.
4) 선택된 Prover는 제한된 시간안에 ZK proof를 생성하고 이를 요청 사용자에게 전달하여 보상을 받아 갑니다.
위에서 몇가지 경제적인 특징이 있습니다. 선택받지 못한 Prover가 지불한 돈은 돌려받지 못합니다. 이를 통해 스팸 참여/Sybil attack을 방지합니다. 또한 ZK Proof를 적은 비용으로 경제적으로 생성할 수 있는 Prover일수록 마진이 더 크기 때문에 입찰액을 더 크게 쓸 수 있고 당첨 확률을 높일 수 있습니다. 따라서 자연스럽게 경제 효율성이 높은 Prover가 경매에서 승리할 확률이 높습니다.
그렇다면 “이기지 못하면 비용만 내는데… 그럼 나중엔 적은 돈으로 Proof를 생성할 수 있는 강한 Prover 몇 명만 남는 거 아니야?”라는 질문이 생길 수 있습니다. Succinct는 α라는 파라미터로 탈중앙화의 정도를 조절합니다. α가 0에 가까우면 입찰액이 무시되고 랜덤으로 선택되며, α가 1일때는 입찰액에 비례한 확률을 갖습니다. α가 무한이면 가장 많이 낸 Prover가 무조건 당첨됩니다. 따라서 α값을 낮게 조절한다면 입찰액의 중요도가 떨어지기 때문에 입찰액을 작게 쓴 (ZK proof 생성 비용이 높은) Prover도 선택받을 수 있습니다. 이 α 값을 조절함으로써 Prover 탈중앙화와 효율성 두가지 측면의 Trade-off를 조절합니다.
이에 대한 복잡한 공식이 논문에 나와있지만 이를 전부 이해할 필요는 없습니다. 중요한 것은 Proof Contest가 소수의 강력한 Prover가 zk proof 생성을 독점하지 않도록 경쟁 구조를 유지하며, 그와 동시에 저렴하고 빠르게 Proof를 생성하는 Prover가 유리하도록 경제학적으로 설계되어 있다는 점입니다.
이제 기술적인 걸 떠나서 왜 Succinct가 화제가 되고 있는지를 알아봅시다. 최근들어 OP 계열의 L2 체인들(Mantle, Kroma 등)이 Succinct를 채택한다는 기사를 접해봤을 것입니다. 왜 그들은 succinct를 채택했을까요? 근본적인 이유는 ZK 방식이 OP 방식보다 빠른 완결성 (Finalization)을 갖기 때문입니다. OP방식은 7일간의 분쟁 기간을 갖으며 그 기간 동안 이의제기가 없을 경우에만 L1에 업로드한 L2의 상태(체크포인트)가 확정됩니다. 반면 ZK Rollup 방식은 실행을 Zk proof로 수학적으로 증명하기 때문에 이더리움에서 즉각적인 완결성을 갖습니다. 즉각적인 완결성을 갖는다는 것은 빠른 L2->L1 출금, 체인간 메시지 전송 시 빠른 신뢰 확보 등의 장점이 있기 때문에 OP 계열의 체인들은 ZK의 빠른 완결성을 원하며 ZK로 전환하고 싶어합니다.
문제는 ZK가 너무도 어려운 기술이며 직접 인프라를 만드는 것이 힘들다는 점입니다. Mantle과 같은 Roullup 프로젝트들은 Succint에게 이러한 ZK 작업들을 외주화 할 수 있기 때문에 채택하였습니다. 즉 ZK circut 최적화/ Prover 비용 관리/ 증명 파이프라인 등에 대한 복잡한 작업들을 Succinct 네트워크에 위임하고 ZK proof의 빠른 finality를 확보할 수 있는 아주 큰 장점이 있습니다. 앞으로도 OP Layer들의 Succinct 채택은 가속화 될 것입니다.
그래서 코같투님 트위터의 2,3번 질문에 대한 답이 바로 나옵니다. 모든 OP 롤업은 이제 Succint 같은 ZK infra를 통해 쉽게 ZK 롤업으로 전환될 수 있으며, 이를 통해 즉각적인 finality를 확보할 수 있습니다. 따라서 모든 Op Rollup의 ZK rollup으로의 전환은 머지않은 미래입니다.