Từ 0 đến ZK Concept Bites #6: Vấn đề Độ dư thừa Lần trước, chúng ta đã đề cập đến tính ngắn gọn, cách mà các chứng minh ZK nén các phép toán khổng lồ thành những gói nhỏ, dễ xác minh. Lần này, hãy cùng xem tại sao thuộc tính đó lại quan trọng ở cấp độ cơ bản nhất của cách mà các blockchain thực sự hoạt động. Mỗi khi một khối Ethereum mới được sản xuất, hàng trăm nghìn người xác thực độc lập thực hiện lại mọi giao dịch trong đó. Những phép cộng giống nhau, những chuyển khoản giống nhau, cùng một logic hợp đồng thông minh, tất cả đều được lặp lại trên toàn bộ mạng lưới. Đây là cách mà Ethereum duy trì tính không tin cậy: nếu mọi người đều đạt được cùng một kết quả một cách độc lập, không ai cần phải tin tưởng vào ai khác. Chi phí của sự đảm bảo đó là khổng lồ. Một khối tính toán được nhân lên hàng trăm nghìn lần. Nó hoạt động, và nó an toàn, nhưng đó là lý do cốt lõi khiến các blockchain vẫn chậm và đắt đỏ. Mạng lưới không bao giờ có thể vượt qua một máy đơn lẻ vì mỗi máy đều chạy cùng một khối lượng công việc. 🔁 Các chứng minh ZK cung cấp một mô hình hoàn toàn khác: một bên thực hiện phép toán và tạo ra một chứng minh rằng công việc đã được thực hiện đúng, và mọi người xác thực trên mạng chỉ cần xác minh chứng minh đó thay vì làm lại công việc. Nhờ vào tính ngắn gọn, việc xác minh đó trở nên cực kỳ rẻ bất kể phép toán ban đầu phức tạp đến đâu. Kiến trúc chuyển từ "mọi người làm mọi thứ" sang "tính toán một lần, xác minh ở mọi nơi." 🔑 Nhưng để mô hình này trở thành hiện thực ở lớp cơ sở của Ethereum, một yếu tố quan trọng cần phải có: phía chứng minh phải đủ nhanh để theo kịp việc sản xuất khối trực tiếp, và đủ chi phí để không yêu cầu đầu tư phần cứng khổng lồ để vận hành. Nếu việc chứng minh mất hàng giờ hoặc tốn hàng triệu cho cơ sở hạ tầng, mô hình vẫn chỉ là lý thuyết. Đây là nơi Pico Prism xuất hiện. ⚡ Gần đây, chúng tôi đã thông báo rằng Pico Prism hiện đạt được 99% chứng minh khối Ethereum theo thời gian thực chỉ với 16 GPU trên hai máy, trung bình 6.91 giây cho mỗi khối. Tổng chi phí phần cứng: ~100K USD, đúng với mục tiêu của Quỹ Ethereum. Vài tháng trước, cùng một kết quả yêu cầu 64 GPU và 128K USD chỉ cho chi phí GPU. Sự giảm thiểu đó đưa phía chứng minh của phương trình vào tầm với thực tiễn. Khi việc chứng minh đáng tin cậy theo kịp thời gian khối 12 giây của Ethereum trên phần cứng giá cả phải chăng, con đường tích hợp xác minh dựa trên chứng minh ở cấp độ giao thức trở nên cụ thể. Và khi điều đó xảy ra, hàng trăm nghìn người xác thực sẽ chuyển từ việc thực hiện lại mọi khối một cách dư thừa sang chỉ cần xác minh một chứng minh nhỏ, thay đổi cơ bản cách mà Ethereum mở rộng. 🧱 ...