안녕하세요, 블록체인 애호가 여러분! 레이어 2(L2) 솔루션에 깊이 관여하고 있거나 meme 토큰과 다른 암호자산들이 어떻게 안전하게 스케일링되는지 궁금하다면 L2Beat의 최신 업데이트를 꼭 살펴보세요. 그들은 방금 ZK 카탈로그의 대대적인 개편판인 2.0을 공개했는데, 이번 업데이트는 제로지식(ZK) 증명에서 숨겨진 부분들을 더 투명하게 만드는 데 초점이 맞춰져 있습니다. 제로지식 증명은 한 쪽이 추가 정보를 공개하지 않고도 어떤 명제가 참이라는 것을 다른 쪽에 증명할 수 있게 해주는 암호학적 기법으로, 블록체인 거래에서 프라이버시와 효율성에 매우 유용합니다.

이번 업데이트는 다양한 L2 애플리케이션에서 사용되는 ZK proving 시스템의 trusted setups를 평가하기 위해 공개 프레임워크를 도입합니다. 목표는 숨겨진 신뢰 가정을 드러내고 명확한 기준을 세워, 생태계의 참고점(reference)이 되는 것입니다. 블록체인 위에서 개발하든, 이 플랫폼들에서 meme 코인을 거래하든, 이런 기반을 이해하면 과대광고 뒤의 진짜 보안을 판단하는 데 도움이 됩니다.

ZK 시스템에서 trusted setups가 중요한 이유

SNARKs (Succinct Non-interactive Arguments of Knowledge)와 STARKs (Scalable Transparent Arguments of Knowledge)는 오늘날 블록체인 전반에 널리 쓰입니다. 이 증명 시스템들은 zk rollups, 브리지, 앱을 구동하며 복잡한 암호학적 설정으로 보안을 확보합니다. 그런데 문제는 많은 시스템이 'trusted setups'에 의존한다는 점입니다. 이는 참가자들이 암호학적 파라미터를 생성하는 의식(ceremony)인데, 제대로 진행되지 않으면 프로세스가 투명하거나 다양하지 않아 백도어 같은 신뢰 리스크를 초래할 수 있습니다.

L2Beat의 새로운 ZK 카탈로그는 특히 SNARKs의 common reference strings 같은 속성들을 조명합니다. 그들은 setups를 분석하고 간단한 3단계 위험 평가 체계를 제안했습니다.

• Red (High Risk): 투명성이나 참여에 대한 기본 기준을 충족하지 않음.
• Yellow (Medium Risk): 의식이 공개적이고 투명하며 최소 30개의 기여가 있음.
• Green (Low Risk): Yellow 기준을 충족하고 최소 150개의 기여가 있음.

이 프레임워크는 사용자가 리스크를 빠르게 평가하는 데 도움을 줍니다. 예를 들어, 가장 널리 쓰이는 setup인 Aztec의 Ignition(2019)은 176명의 참가자로 그린 등급을 받았고 8개 프로젝트에서 사용됩니다. 반대로 Loopring과 Succinct Labs의 일부 setup은 레드로 표시되어 L2Beat가 해당 팀들에게 개선을 권고하고 있으며—도움을 제공하겠다고까지 밝혔습니다!

주요 프로젝트와 통계

카탈로그는 이제 Boojum(zkSync), SP1(Succinct Labs), Stone(StarkWare) 같은 주요 12개 프로젝트의 세부 정보를 담고 있습니다. 주요 지표로는 다음이 표시됩니다:

• Total Value Secured (TVS): 해당 verifier를 사용하는 애플리케이션에 잠긴 가치.
• Trusted Setups: 색상으로 표시된 위험 수준과 상세 정보.
• Verifiers: 온체인 스마트 컨트랙트 수와 검증 상태—L2Beat는 오프체인에서 생성된 증명이 온체인에서 검증되는 것과 일치하는지 확인합니다.
• Tech Stack: Plonk, Groth16 같은 proof systems, VMs, curves 등 구성 요소.

공식 발표에서 언급한 상위 몇 가지를 요약하면:

• Boojum (Matter Labs): $1.75B TVS, Plonk: bellman과 Fflonk: zkSync 사용, 그린 설정 등급.
• SP1 (Succinct): $979.61M TVS, Plonk: gnark 및 Groth16: gnark 사용, 그러나 gnark에 대해 레드 설정.
• Stone (StarkWare): $735.06M TVS, STARK: Stone—trusted setup 불필요, 추가 신뢰 가정이 없다는 점에서 특별히 주목받음.

기타 주목할 만한 프로젝트로는 Consensys의 Linea, Scroll, RISC Zero, Zircuit, Polygon Zero의 zkProver, zkSync Lite, Loopring, Aztec v1, Intmax 등이 있습니다. meme 토큰에 관심이 있다면 많은 L2들이 빠르고 저비용의 거래를 위해 이러한 ZK 시스템에 의존하며 보안을 희생하지 않는다는 점을 주목하세요.

온체인 Verifiers 및 요약 페이지 업데이트

큰 비중을 둔 항목 중 하나는 온체인 verifiers의 모니터링입니다. L2Beat는 오프체인에서 생성된 증명이 이더리움이나 다른 베이스체인에서 확인되는 것과 완전히 일치하는지 검증하여 불일치로 인한 취약점을 방지합니다.

또한 메인 요약 페이지도 수정했습니다. 롤업의 "Type" 열을 "Proof System"으로 교체했고, ZK 롤업의 경우 해당 항목이 ZK 카탈로그의 엔트리로 직접 연결됩니다. 낙관적(optimistic) 롤업의 경우 state validation 관련 상세로 연결됩니다. 이는 L2의 방대한 세계를 탐색할 때—특히 meme 토큰을 출시하거나 거래할 플랫폼을 찾을 때—더 매끄럽게 해줍니다.

커뮤니티 피드백과 향후 계획

L2Beat는 개방성을 중요시하며, 그들의 평가 프레임워크에 대한 피드백을 위해 포럼 토론을 게시했습니다. 뭔가 잘못되었거나 제안하고 싶은 점이 있다면 거기에 참여해 보세요.

그리고 전체 ZK Catalog도 직접 살펴보는 걸 잊지 마세요. 그들은 각 prover에 대해 테크 스택, setups, verifiers를 포함한 상세 페이지를 추가하고 있습니다. 블록체인 기술이 발전함에 따라 이런 도구는 개발자든 트레이더든, 또는 다음 L2에서 뜬 meme 코인을 찾는 팬이든 정보를 유지하고 안전하게 활동하는 데 금과도 같은 존재입니다.

이 업데이트에 대해 어떻게 생각하시나요? 앞으로 L2 프로젝트를 평가하는 방식이 달라질까요? 아래 댓글로 의견을 나눠 주세요!