[Tiếng Anh Tweet dài] Bằng chứng đa ZK ra mắt của Taiko, tại sao tôi vẫn cho rằng nó giống Optimistic Rollup hơn?

Chainfeeds tóm tắt:

Một trong những tin tức lớn nhất trong lĩnh vực L2 gần đây là Taiko đã ra mắt mainnet với nhiều chứng minh ZK khác nhau, sử dụng hai bên chứng minh ZK được hỗ trợ bởi RISC Zero và Succinct. Tuy nhiên, nhà nghiên cứu crypto bartek.eth cho rằng Taiko giống như Optimistic Rollup hơn: chỉ một phần khối được chứng minh bằng ZK, có cơ chế thời gian chờ tương tự như cửa sổ chứng minh gian lận.

Nguồn:

https://x.com/bkiepuszewski/status/1858586713569771720

Tác giả:

bartek.eth

Quan điểm:

bartek.eth: Taiko có một hệ thống chứng minh đa lớp, có thể sử dụng chứng minh cấp cao hơn để bao phủ chứng minh cấp thấp hơn. Định nghĩa các cấp như sau: 1. Chứng minh SGX 2. Chứng minh ZK của RISC Zero 3. Chứng minh ZK của SP1 4. Chữ ký đa chủ (MSig) của 1/8 người giám hộ 5. Chữ ký đa chủ (MSig) của 6/8 người giám hộ Khi bạn gửi chứng minh SGX, nó có thể được bao phủ bởi bất kỳ chứng minh cấp cao hơn nào. Taiko không bắt buộc bạn sử dụng ZkProofs, khi bạn đề xuất một khối, bạn có thể sử dụng chứng minh SGX. Tuy nhiên, họ bắt buộc các bên chứng minh của họ sử dụng chứng minh ZK để chứng minh một phần nhỏ các khối, nhưng phần lớn các khối họ chứng minh hiện chỉ có chứng minh SGX. Do đó, chỉ một phần khối có chứng minh Zk. Khác với Zk Rollups phải chứng minh "mỗi" khối L2 bằng Zk Proofs, trong Taiko chỉ có một số ít khối có Zk Proofs, phần còn lại là chứng minh SGX hoặc MultiSig. Ngoài ra, do mỗi chứng minh (ngoại trừ cấp cao nhất) đều có thể bị thách thức, nên sẽ có một "thời gian chờ" - tương tự như cửa sổ chứng minh gian lận trong Optimistic Rollups, trong đó bạn có thể đưa ra thách thức. Chỉ sau khi thời gian chờ kết thúc, trạng thái gốc L2 mới được "xác định cuối cùng" trên L1. Đây là lý do tại sao, ngay cả khi đưa vào ZkProofs, Taiko vẫn giống Optimistic Rollup hơn. Họ có thời gian chờ (cửa sổ chứng minh gian lận) và một số trạng thái gốc không có chứng minh Zk. Vậy thì hiện tại giả định tin cậy của Taiko là gì? Hóa ra vẫn rất mỏng manh. Nếu một người đề xuất độc hại thành công hối lộ 3 trong số 8 chữ ký đa chủ (tức là số ít), thì trạng thái độc hại có thể đơn giản được thêm vào bởi một trong số họ (tức 1/8 MultiSig). Trạng thái độc hại này sẽ không thể bị thách thức, vì cấp chứng minh tiếp theo (và cuối cùng) là 6/8 MultiSig, và nếu có 3 thành viên độc hại thì sẽ không đủ số lượng. Do đó, trạng thái độc hại này sẽ được xác định cuối cùng sau khi thời gian chờ kết thúc. Việc một số người dùng độc hại có thể ảnh hưởng đến an ninh của hệ thống (tức là đánh cắp tiền của người dùng) khiến Taiko vẫn ở giai đoạn 0. Tôi hy vọng họ sẽ sớm chuyển sang Giai đoạn 1 - họ dường như đã có tất cả các điều kiện cần thiết để chuyển sang Giai đoạn 1.