Chainfeeds 요약:
최근 L2 영역에서 가장 큰 뉴스 중 하나는 Taiko 메인넷이 다중 ZK 증명을 출시했다는 것입니다. RISC Zero와 Succinct가 지원하는 두 가지 다른 zk 증명자를 사용하고 있습니다. 그러나 암호화 연구원 bartek.eth는 Taiko가 옵티미스틱 롤업과 더 유사하다고 생각합니다. 일부 블록만 Zk 증명을 가지고 있으며 사기 증명 창구와 유사한 냉각 기간 메커니즘이 있습니다.
출처:
https://x.com/bkiepuszewski/status/1858586713569771720
저자:
bartek.eth
관점:
bartek.eth: Taiko는 더 높은 수준의 증명으로 더 낮은 수준의 증명을 덮을 수 있는 다중 증명 시스템을 가지고 있습니다. 계층은 다음과 같이 정의됩니다: 1. SGX 증명 2. RISC Zero의 ZK 증명 3. SP1의 ZK 증명 4. 1/8 소수 후견인 MSig 5. 6/8 다수 후견인 MSig. SGX 증명을 제출하면 더 높은 수준의 증명으로 덮일 수 있습니다. Taiko는 ZkProofs를 사용하도록 강요하지 않으며, 블록을 제출할 때 SGX 증명을 사용할 수 있습니다. 그들은 자신의 증명자에게 일부 블록에 대해 ZK 증명을 제공하도록 강제하지만, 현재 증명되는 대부분의 블록은 SGX 증명만 있습니다. 따라서 일부 블록만 Zk 증명을 가지고 있습니다. Zk Rollups와 달리 Taiko에서는 모든 L2 블록을 Zk Proofs로 증명할 필요가 없으며, 대신 SGX 증명 또는 MultiSig 증명이 있습니다. 또한 각 증명(최상위 증명 제외)에 대해 이의를 제기할 수 있기 때문에 옵티미스틱 롤업의 사기 증명 창구와 유사한 '냉각 기간'이 있습니다. 이 기간이 끝나야 L1의 새로운 L2 상태 루트가 '최종 확정'됩니다. 이것이 Taiko가 ZkProofs를 도입했음에도 여전히 옵티미스틱 롤업과 유사한 이유입니다. 현재 Taiko의 신뢰 가정은 매우 약합니다. 악의적인 제안자가 현재 8명의 MultiSig 서명자 중 3명(즉, 소수)을 뇌물로 매수할 경우, 악의적인 상태 루트가 1/8 MultiSig로 쉽게 추가될 수 있습니다. 이 악의적인 상태 루트는 다음 (그리고 마지막) 증명 계층인 6/8 MultiSig에 도달할 수 없기 때문에 이의를 제기할 수 없습니다. 따라서 이 악의적인 상태 루트는 냉각 기간이 끝난 후 최종 확정됩니다. 소수의 악의적인 사용자가 시스템의 안전성(즉, 사용자 자금 탈취)에 영향을 미칠 수 있기 때문에 Taiko는 여전히 Stage 0에 있습니다. 그들이 Stage 1에 도달할 수 있기를 바랍니다. 그들은 이미 Stage 1에 필요한 모든 것을 갖추고 있는 것 같습니다.
출처
