Như mọi người đã biết, các chuỗi công khai L1 thực sự phi tập trung đều phải đối mặt với tam giác không thể (không thể đồng thời đảm bảo an ninh, khả năng mở rộng và tính phi tập trung), trong đó giá trị cốt lõi quan trọng nhất của Ethereum là tính phi tập trung, đây cũng là điều mà Ethereum luôn kiên định. Ethereum luôn hy vọng cuối cùng có thể chạy trên phần cứng gia đình thông thường, với hơn hàng chục nghìn nút và hàng triệu người xác thực. Sự kiên định của Ethereum đối với tính phi tập trung cũng dẫn đến việc tiến triển về hiệu suất L1 tương đối chậm, và cuối cùng phát triển ra kiến trúc L1 và L2, nhưng hiện tại L2 đang gặp vấn đề phân tách thanh khoản và thu hút giá trị không đủ. Làm thế nào để giải quyết những khó khăn vốn có của chuỗi khối Ethereum (không thể đồng thời đảm bảo an ninh, khả năng mở rộng và tính phi tập trung)? Một trong những khía cạnh quan trọng là áp dụng công nghệ chứng minh ZK. Cốt lõi của chứng minh ZK là cho phép thực hiện một lượng lớn tính toán hoặc giao dịch ngoài chuỗi, sau đó chỉ cần gửi một chứng minh ngắn gọn lên chuỗi, chứng minh rằng những thực hiện này là chính xác mà không cần tiết lộ tất cả các chi tiết. Lợi ích của việc này là có thể nâng cao khả năng mở rộng và tăng cường tính phi tập trung trong khi vẫn kế thừa được tính an toàn. Ví dụ, sử dụng zkVM để mở rộng L1/L2, đồng thời cũng có lợi cho việc phân tách thanh khoản L2; chứng minh ZK là an toàn về mật mã, đảm bảo rằng việc thực hiện ngoài chuỗi sẽ không xảy ra lỗi. Nếu chứng minh không hợp lệ, nó sẽ bị từ chối, và cũng kế thừa được tính an toàn vốn có của Ethereum; nếu cuối cùng việc tạo và xác minh chứng minh hiệu quả và chi phí thấp, một là phần cứng thông thường (điện thoại hoặc máy tính gia đình) có thể tham gia xác thực nút, thì có cơ hội tăng cường thêm tính phi tập trung. Gần đây, Succinct (dự án cơ sở hạ tầng tập trung vào chứng minh ZK) đã ra mắt sản phẩm cốt lõi SP1 (Succinct Proofs 1), là zkVM (máy ảo không biết) hiệu suất cao, nó hỗ trợ các nhà phát triển viết bất kỳ chương trình nào bằng ngôn ngữ Rust và tạo ra chứng minh ZK, để chứng minh tính chính xác của việc thực hiện chương trình mà không cần viết lại mạch. Điều này có ý nghĩa quan trọng trong việc giải quyết vấn đề tam giác không thể của hệ sinh thái Ethereum. Cụ thể, Succinct có thể giúp Ethereum mở rộng như sau: thứ nhất, SP1 của nó là zkVM hiệu suất cao, hỗ trợ chứng minh thực hiện chương trình của bất kỳ ngôn ngữ biên dịch LLVM nào, có thể áp dụng cho các tình huống Rollups, coprocessor và zkEVM. SP1 của Succinct hỗ trợ tạo chứng minh nhanh chóng, theo những gì hiện tại chính thức tuyên bố, có thể tạo chứng minh Ethereum với tốc độ gần như "thời gian thực". Theo mô tả thử nghiệm chính thức hiện tại, trong bài kiểm tra chuẩn với 10.000 khối Ethereum, hơn 93% khối có thể tạo chứng minh trong vòng 12 giây, bài kiểm tra chuẩn đã sử dụng khoảng 200 cụm GPU NVDIA RTX 4090 để đạt được hiệu suất trên. Việc chạy một cụm chứng minh thời gian thực hoàn chỉnh cần khoảng 160 GPU RTX 4090, hiện tại chi phí xây dựng khoảng 300.000 - 400.000 USD, thông qua tối ưu hóa phần cứng và cải tiến hệ thống chứng minh, có cơ hội giảm chi phí xuống khoảng 100.000 USD trong tương lai. Ngoài ra, Succinct cũng là một mạng lưới chứng minh phi tập trung, thông qua việc tách biệt tính toán và xác thực, có thể giảm chi phí và độ trễ xác thực Ethereum, mục tiêu cuối cùng là cho phép các nút thông thường hoặc điện thoại tham gia xác thực chứng minh, hỗ trợ Ethereum mở rộng đến nhiều người xác thực hơn. Cuối cùng, công nghệ ZK cũng sẽ thực hiện nhiều tình huống ứng dụng hơn, chẳng hạn như xác thực danh tính, giao dịch riêng tư, hoạt động xuyên chuỗi, v.v. Tóm lại, trong hành trình hướng tới 10.000 tps của Ethereum, công nghệ ZK là một phần rất quan trọng.