Một người bạn phàn nàn rằng zkSync luôn ngừng hoạt động. Trên thực tế, gọi nó là "thời gian chết" thì hơi cường điệu. Nói chính xác, nó có nghĩa là "tạo khối không ổn định". Về bản chất, thời gian Xác minh cuối cùng của giao dịch được gửi bởi Sequencer là không ổn định, nhưng nhận thức của người dùng không rõ ràng khi kết thúc tương tác, do thiết kế Xác minh của zkSync có độ trễ xác nhận. Sự bất ổn trong giai đoạn phân cấp trong tương lai sẽ được giảm bớt. Tôi đã vẽ một quy trình làm việc để thảo luận với bạn.
Lý do khiến người dùng nhận thấy "thời gian chết" có thể là do lỗi giao dịch do một số DApp gây ra và khả năng tương thích cơ bản của chuỗi. Xét cho cùng, bản thân việc phát triển DApp trên zkSync đã là một thách thức lớn. Tôi mất khoảng 30 phút-1 giờ để quan sát sự thay đổi trạng thái từ Cam kết sang Đã xác minh từ trình duyệt chính thức và DApp tương tác phía người dùng hầu như không bị ảnh hưởng bởi điều này. Bài viết này tập trung vào logic cơ bản của công nghệ khoa học phổ biến zkSync, để giúp bạn hiểu rõ về zkSync.
Như được hiển thị trong quy trình làm việc, zkSync chạy theo các bước sau:
Người dùng gửi các giao dịch hàng loạt đến bộ sắp xếp Sequencer thông qua chuyển tiếp chuyển tiếp;
Sequencer chịu trách nhiệm phân loại các giao dịch, tổng hợp và đóng gói các lô thành cây Merkle;
zkPorter tạo bằng chứng zk-SNARK từ cây Merkle;
zk-SNARK chứng minh rằng rơle tạo ra Cam kết Hash cho Trình xác thực L2 và chuỗi chính L1 tương ứng
Trình xác thực chịu trách nhiệm xác minh tính chính xác của bằng chứng zk-SNARK và gửi nó tới hợp đồng thông minh L1 để tạo Hàm băm xác minh sau khi nó chính xác; 6) Hợp đồng thông minh zkSync trên L1 xác minh sự khớp của Hàm băm cam kết và Xác minh Băm; 7) Tạo một Xác minh sau khi khớp thành công Giao dịch cuối cùng được tải lên chuỗi; 8) Nếu khớp không thành công, Băm cam kết ban đầu sẽ bị vô hiệu và Sequencer sẽ gửi lại lô và thực hiện lại quy trình .
Cần nhấn mạnh ở đây rằng zkSync áp dụng "cam kết hai giai đoạn (2PC)" và cuối cùng xác định lô giao dịch hợp pháp thông qua xác minh Băm của hai giai đoạn Cam kết Băm và Xác minh Băm. Một mặt, điều này có thể đảm bảo tính thống nhất và an toàn của dữ liệu trong quá trình vận hành hệ thống, theo cách hiểu của cá nhân tôi, nó cũng là biểu hiện của tư tưởng phân quyền hạn chế hai thành phần hệ thống là Sequencer và Validator và rất đáng của lời khen ngợi.
Workflow của zkSync chủ yếu có 4 vai trò: Relay, Sequencer, zkPorter và Validator, sẽ có nhiều “yếu tố bất ổn” trong công việc điều phối. Nó có thể được tóm tắt là tính ổn định của các chức năng nút, tính ổn định của sự hợp tác của nút và độ phức tạp của các thuật toán và giao thức cơ bản. Bất kỳ lỗi nào trong bất kỳ liên kết nào đều có thể gây ra sự chậm trễ của khối. Các lỗi kỹ thuật phổ biến của Arbitrum Sequencer là điển hình và zkSync sẽ chỉ đối mặt với nhiều thách thức hơn.
Về độ phức tạp của thuật toán, đây là định mệnh của chuỗi zkSync và các nhà phát triển sinh thái cần phải nỗ lực để vượt qua nó. Đối với sự ổn định của trí thông minh và sự cộng tác của nút, tôi nghĩ rằng sau khi giai đoạn phân cấp sắp tới trong tương lai, nó sẽ được cải thiện một cách hiệu quả. Logic cũng đơn giản:
Các nút đa phân tán có thể tránh được sự mất ổn định của mạng do một điểm lỗi duy nhất gây ra, đó là do tính mạnh mẽ của hệ thống;
Cơ chế khuyến khích mã thông báo phân tán có thể cung cấp cho các nhà phát triển nguồn động lực để duy trì sự ổn định của nút.
Suy nghĩ từ một góc độ khác, thời gian xác minh dài không phải là vấn đề trong giai đoạn đầu của hệ sinh thái, nó có thể cải thiện hiệu quả tính bảo mật của chuỗi và ngăn chặn một số nút trong hệ thống làm điều ác. Nói tóm lại, nếu bạn làm rõ toàn bộ quy trình hoạt động của zkSync và hiểu thêm về độ phức tạp kỹ thuật của lớp 2 và cơ chế "đặc biệt" được thiết kế để bảo mật, thì bạn có thể củng cố niềm tin của mình vào đường kỹ thuật L2. Mọi người đều được chào đón để chuyển tiếp và chia sẻ, DM cho tôi bất cứ lúc nào và chúng ta hãy trao đổi và nghiên cứu chuyên sâu về zkSync.
Xem bản gốc
Nội dung chỉ mang tính chất tham khảo, không phải là lời chào mời hay đề nghị. Không cung cấp tư vấn về đầu tư, thuế hoặc pháp lý. Xem Tuyên bố miễn trừ trách nhiệm để biết thêm thông tin về rủi ro.
Tại sao zkSync luôn "thời gian chết"? Một bài viết thảo luận về Quy trình làm việc zkSync
Một người bạn phàn nàn rằng zkSync luôn ngừng hoạt động. Trên thực tế, gọi nó là "thời gian chết" thì hơi cường điệu. Nói chính xác, nó có nghĩa là "tạo khối không ổn định". Về bản chất, thời gian Xác minh cuối cùng của giao dịch được gửi bởi Sequencer là không ổn định, nhưng nhận thức của người dùng không rõ ràng khi kết thúc tương tác, do thiết kế Xác minh của zkSync có độ trễ xác nhận. Sự bất ổn trong giai đoạn phân cấp trong tương lai sẽ được giảm bớt. Tôi đã vẽ một quy trình làm việc để thảo luận với bạn.
Lý do khiến người dùng nhận thấy "thời gian chết" có thể là do lỗi giao dịch do một số DApp gây ra và khả năng tương thích cơ bản của chuỗi. Xét cho cùng, bản thân việc phát triển DApp trên zkSync đã là một thách thức lớn. Tôi mất khoảng 30 phút-1 giờ để quan sát sự thay đổi trạng thái từ Cam kết sang Đã xác minh từ trình duyệt chính thức và DApp tương tác phía người dùng hầu như không bị ảnh hưởng bởi điều này. Bài viết này tập trung vào logic cơ bản của công nghệ khoa học phổ biến zkSync, để giúp bạn hiểu rõ về zkSync.
Như được hiển thị trong quy trình làm việc, zkSync chạy theo các bước sau:
Người dùng gửi các giao dịch hàng loạt đến bộ sắp xếp Sequencer thông qua chuyển tiếp chuyển tiếp;
Sequencer chịu trách nhiệm phân loại các giao dịch, tổng hợp và đóng gói các lô thành cây Merkle;
zkPorter tạo bằng chứng zk-SNARK từ cây Merkle;
zk-SNARK chứng minh rằng rơle tạo ra Cam kết Hash cho Trình xác thực L2 và chuỗi chính L1 tương ứng
Trình xác thực chịu trách nhiệm xác minh tính chính xác của bằng chứng zk-SNARK và gửi nó tới hợp đồng thông minh L1 để tạo Hàm băm xác minh sau khi nó chính xác; 6) Hợp đồng thông minh zkSync trên L1 xác minh sự khớp của Hàm băm cam kết và Xác minh Băm; 7) Tạo một Xác minh sau khi khớp thành công Giao dịch cuối cùng được tải lên chuỗi; 8) Nếu khớp không thành công, Băm cam kết ban đầu sẽ bị vô hiệu và Sequencer sẽ gửi lại lô và thực hiện lại quy trình .
Cần nhấn mạnh ở đây rằng zkSync áp dụng "cam kết hai giai đoạn (2PC)" và cuối cùng xác định lô giao dịch hợp pháp thông qua xác minh Băm của hai giai đoạn Cam kết Băm và Xác minh Băm. Một mặt, điều này có thể đảm bảo tính thống nhất và an toàn của dữ liệu trong quá trình vận hành hệ thống, theo cách hiểu của cá nhân tôi, nó cũng là biểu hiện của tư tưởng phân quyền hạn chế hai thành phần hệ thống là Sequencer và Validator và rất đáng của lời khen ngợi.
Workflow của zkSync chủ yếu có 4 vai trò: Relay, Sequencer, zkPorter và Validator, sẽ có nhiều “yếu tố bất ổn” trong công việc điều phối. Nó có thể được tóm tắt là tính ổn định của các chức năng nút, tính ổn định của sự hợp tác của nút và độ phức tạp của các thuật toán và giao thức cơ bản. Bất kỳ lỗi nào trong bất kỳ liên kết nào đều có thể gây ra sự chậm trễ của khối. Các lỗi kỹ thuật phổ biến của Arbitrum Sequencer là điển hình và zkSync sẽ chỉ đối mặt với nhiều thách thức hơn.
Về độ phức tạp của thuật toán, đây là định mệnh của chuỗi zkSync và các nhà phát triển sinh thái cần phải nỗ lực để vượt qua nó. Đối với sự ổn định của trí thông minh và sự cộng tác của nút, tôi nghĩ rằng sau khi giai đoạn phân cấp sắp tới trong tương lai, nó sẽ được cải thiện một cách hiệu quả. Logic cũng đơn giản:
Các nút đa phân tán có thể tránh được sự mất ổn định của mạng do một điểm lỗi duy nhất gây ra, đó là do tính mạnh mẽ của hệ thống;
Cơ chế khuyến khích mã thông báo phân tán có thể cung cấp cho các nhà phát triển nguồn động lực để duy trì sự ổn định của nút.
Suy nghĩ từ một góc độ khác, thời gian xác minh dài không phải là vấn đề trong giai đoạn đầu của hệ sinh thái, nó có thể cải thiện hiệu quả tính bảo mật của chuỗi và ngăn chặn một số nút trong hệ thống làm điều ác. Nói tóm lại, nếu bạn làm rõ toàn bộ quy trình hoạt động của zkSync và hiểu thêm về độ phức tạp kỹ thuật của lớp 2 và cơ chế "đặc biệt" được thiết kế để bảo mật, thì bạn có thể củng cố niềm tin của mình vào đường kỹ thuật L2. Mọi người đều được chào đón để chuyển tiếp và chia sẻ, DM cho tôi bất cứ lúc nào và chúng ta hãy trao đổi và nghiên cứu chuyên sâu về zkSync.