Tại ngày eth_proofs, @drakefjustin đã xác thực trực tiếp bằng khách hàng zklighthouse chứng minh Pico ZKVM của @brevis_zk — không cần thực hiện lại giao dịch đã có thể finalize khối, và đã hô lên rằng thời đại Gigagas ETH sắp đến. Không còn nghi ngờ gì nữa, Brevis lại một lần nữa được Quỹ Ethereum chỉ định. Vậy Brevis thực sự đang sắp xếp điều gì? Tôi đã xem qua tài liệu trắng ProverNet mà họ mới phát hành, cùng với bản demo, nhận thấy rằng thực sự có sự khác biệt so với các giải pháp zk khác: 1) Trong hầu hết các trường hợp, thị trường chứng minh ZK đều tuân theo mô hình nhà cung cấp đơn lẻ, nhưng Brevis đã phát hiện ra một vấn đề khó xử trong môi trường sản xuất: chẳng hạn, quá trình hoàn trả ngoài chuỗi của @Uniswap cần ZK cung cấp giải pháp minh bạch, trong khi tỷ lệ VIP của @PancakeSwap cần thực hiện kiểm tra chứng minh trong vòng chưa đầy một giây trước mỗi giao dịch, và @eulerfinance cần xử lý hàng loạt phân phối khuyến khích cho hơn 100.000 địa chỉ trong một khoảng thời gian nhất định, điều này lại có yêu cầu về thông lượng. Theo logic bình thường, các kịch bản nhu cầu khác nhau sẽ yêu cầu cấu hình phần cứng, thông số hệ thống chứng minh và hướng tối ưu hóa hoàn toàn khác nhau. Nếu là nhà cung cấp đơn lẻ, hoặc chỉ có thể tối ưu hóa sâu cho nhu cầu tạm thời, hoặc chỉ có thể đưa ra giải pháp chung chung một cách miễn cưỡng. Như vậy, rõ ràng là khó có thể đáp ứng nhu cầu khác biệt tinh vi trong các kịch bản chuyên biệt; 2) Giải pháp ProverNet mà Brevis muốn thực hiện rất đơn giản, xây dựng một thị trường hai bên, nơi bên ứng dụng đưa ra nhu cầu, các Prover chuyên nghiệp đấu thầu nhận đơn, tức là cơ chế TODA (đấu giá kép thực tế). Giải pháp "thị trường hóa" như vậy, tự nhiên có thể xử lý đồng thời nhiều loại chứng minh khác nhau, cho phép các bên ứng dụng có nhu cầu phân khúc nhận được Prover chuyên nghiệp nhất để phục vụ theo yêu cầu. Thực ra còn có thể tiến xa hơn, nếu gặp phải nhiệm vụ phức tạp, các Prover khác nhau còn có thể phân tách nhiệm vụ để hợp tác, chẳng hạn, một chứng minh zkVM có thể được A thực hiện phân khúc, B thực hiện nén, C thực hiện tổng hợp, D thực hiện đóng gói cuối cùng. Tóm lại, phân công chuyên môn và phân tách để đáp ứng nhu cầu thị trường đa dạng hơn. Trên đây. Thực ra logic rất đơn giản, đó là chuyển từ tư duy "bán xẻng" trong quá khứ sang xây dựng "thị trường", chuyển từ hệ thống dịch vụ nhà cung cấp hoàn toàn tập trung sang Marketplace phi tập trung. Thời đại Gigagas ETH được gọi là, không chỉ cần một công cụ dịch vụ đơn lẻ, mà là cơ sở hạ tầng có thể điều phối toàn bộ Prover trên mạng.