Hỏi đáp chứng minh theo thời gian thực :) Nó là gì? ELI12. A: Một đội quân những người đam mê công nghệ vừa giải quyết một vấn đề khoa học viễn tưởng: chứng minh mọi khối Ethereum mainnet theo thời gian thực. Các bằng chứng zk này rẻ hơn rất nhiều để xác minh so với việc thực hiện lại các giao dịch—chỉ mất vài mili giây, bất kể lượng gas được sử dụng. Khối lớn, trình xác thực nhỏ. Những người ủng hộ phi tập trung vui mừng. Chẳng phải chứng minh theo thời gian thực là toán học không thể đạt được sao? A: Đúng vậy. Năm năm trước, chúng ta còn cách xa năm bậc độ lớn. Nhưng công nghệ đã liên tục phát triển 10 lần mỗi năm, và giờ chúng ta đã đạt được. Đừng bỏ qua sự phát triển theo cấp số nhân. Ngoài ra, về cấp số nhân: → đừng bỏ qua máy tính lượng tử phá vỡ ECDSA → đừng bỏ qua các lần giảm một nửa phá vỡ bảo mật của Bitcoin Làm thế nào Ethereum L1 trở thành "rollup cơ bản và bản địa"? A: Hãy phân tích. → cơ bản: Những người đề xuất L1 sắp xếp các giao dịch. Ethereum L1 là lớp cơ bản—nó cơ bản một cách hiển nhiên. → bản địa: L1 thực hiện các giao dịch thông qua chức năng chuyển đổi trạng thái EVM được tích hợp. Theo định nghĩa, Ethereum L1 là bản địa. Luôn luôn như vậy. → rollup: Một rollup có dữ liệu trên chuỗi và thực thi ngoài chuỗi. Bằng cách snarking các khối EVM mainnet, Ethereum L1 biến thành một zk rollup. Rollups mở khóa giới hạn gas lớn. Base đã đạt 35 megagas/giây—gấp 20 lần Ethereum L1. Base đang hướng tới 1 gigagas/giây, Ethereum L1 cũng có thể đạt được điều đó. Khi nào có gigagas L1? A: Cuộc gọi Ethproofs #3 sẽ dành riêng cho gigagas L1—hãy tham gia. Với EIP-9698, Dankrad đề xuất tăng gas ~3 lần/năm, hoặc ~10 lần mỗi 2 năm. Đó là 1,000 lần trong 6 năm. Đáng nể—nhưng vẫn là con số nhỏ. Quan điểm lạc quan của tôi? Giờ đây khi zkVMs đạt hiệu suất tương đương EVM, giới hạn gas có thể theo kịp sự cải tiến của zkVM. Nếu chúng ta tiếp tục đạt 10 lần/năm, đó là 1 gigagas/giây trong 3 năm. Tôi đã làm việc với Dankrad hơn một thập kỷ—thực tế thường nằm giữa sự thận trọng của ông ấy và sự lạc quan của tôi. Chẳng phải zkVM có lỗi? Còn về xác minh chính thức thì sao? A: Xác minh chính thức là mục tiêu cuối cùng—không phải bước đầu tiên. Chiến lược ngắn hạn: đa dạng hóa zkVM. Đến cuối Q2, một số zkVM sẽ đạt chứng minh theo thời gian thực. Giống như các khách hàng CL và EL, bất kỳ khách hàng cá nhân nào cũng được giả định là có lỗi. Bảo mật đến từ sự đa dạng. Chứng minh độ trễ thấp có thể mở rộng đến gigagas không? A: Có. Chứng minh SNARK có thể song song hóa một cách mạnh mẽ. Chỉ có việc thực thi x86 ban đầu và phân đoạn là tuần tự. EIP-7825 đề xuất giới hạn lượng gas tối đa được sử dụng cho mỗi giao dịch. Điều này cho phép phân đoạn dễ dàng tại các ranh giới giao dịch. Song song hóa mở rộng. Độ trễ vẫn thấp. Nút thắt tiếp theo của zkVM là gì? Năng lượng. Tính khả dụng của người chứng minh 1-of-n đáng tin cậy có nghĩa là việc chứng minh tại nhà nên dễ dàng tiếp cận với những người đam mê. Một mục tiêu hợp lý có thể là 10kW hoặc ít hơn cho mỗi cụm chứng minh. Làm thế nào để chúng ta tăng giới hạn gas lên 1,000 lần với ngân sách 10kW? → phần mềm: hệ thống chứng minh, mạch, thuật toán tiếp tục phát triển → phần cứng: luật Moore + SNARK ASICs → chứng minh phân tán: phân bổ tải, không cần tin tưởng