nâng cấp zkSync: Tại sao một người chơi SNARK chuyển sang STARK?

Question

![](https://img-cdn.gateio.im/resized-social/moments-40baef27dd-d73b9090de-dd1a6f-7649e1)Một người chơi SNARK thực sự tuyên bố rằng anh ta ngang hàng với STARK? Kỷ nguyên STARK với @zksync sẽ sớm đến @Starknet rùng mình!Vậy phiên bản Boojum mới được zkSync nâng cấp là gì? Tại sao zkSync lại thông báo nâng cấp Stark nhanh như vậy? sự khác biệt cơ bản giữa snark và stark là gì? Bản nâng cấp này sẽ có tác động gì đối với thị trường L2?Từ góc độ thảo luận kỹ thuật, chúng ta hãy nhanh chóng xem xét và thảo luận.1. Boojum là phiên bản chuyển tiếp của zkSync từ hệ thống bằng chứng SNARK sang STARK. Điều này có nghĩa là hệ thống chứng minh Prover của zkSync sẽ có khả năng giao diện của STARK, nhưng vẫn sẽ sử dụng hệ thống chứng minh SNARK để đáp ứng hầu hết các nhu cầu chính.2. Boojum là một tùy chọn để zkSync triển khai chiến lược đa chuỗi zk Stack. So với SNARK, phương pháp chứng minh STARK có khả năng xác minh không tương tác và phù hợp để xác minh không đệ quy phức tạp trong môi trường chuỗi chéo.3. Sự khác biệt cốt lõi giữa SNARK và STARK nằm ở phương pháp xác minh. SNARK dựa trên các giả định toán học và phù hợp với bằng chứng khấu trừ zk dựa trên cùng một khóa chung trong cùng một hệ thống; trong khi quy trình chứng minh của STARK chứa thông tin dư thừa và yêu cầu tài nguyên máy tính cao.4. Chuỗi chính zkSync sẽ vẫn sử dụng SNARK làm hệ thống bằng chứng chính và STARK chỉ là khả năng mở rộng của chiến lược đa chuỗi của nó. Điều này khác với khía cạnh chiến lược của Starknet, nhưng nó có thể mang lại một số áp lực cạnh tranh cho các giải pháp L2 khác như Op Stark, Arbitrum Orbit và Polygon 2.0.Nói chung, zkSync đã chuyển đổi sang hệ thống bằng chứng STARK thông qua tùy chọn nâng cấp của Boojum, điều này cho thấy rằng họ nhận ra rằng SNARK có những hạn chế kỹ thuật ở một số khía cạnh và sử dụng lợi thế của đối thủ cạnh tranh để vượt qua giới hạn kỹ thuật của chính họ. Việc nâng cấp này có thể có tác động nhất định đến thị trường L2, nhưng tác động cụ thể sẽ bị ảnh hưởng bởi phản ứng và việc áp dụng của thị trường và nhà phát triển.