Hook
Không có code. Không có audit. Không có testnet. Chỉ có một bài phỏng vấn trên podcast và một ý tưởng táo bạo: dùng blockchain để xác thực tính trung thực của quantum computer. Tuần trước, Postquant Labs công bố Quip Network – một “marketplace verification” cho các tác vụ quantum computing. Ngay lập tức, cộng đồng crypto xôn xao. Nhưng với tôi, một người đã audit hàng trăm smart contract, điều này giống như xây lâu đài trên cát.
Context
Quip Network đề xuất một cơ chế kết hợp giữa blind quantum computing (BQC) và zero-knowledge proof (ZK) để tạo ra một lớp xác thực phi tập trung. Cụ thể, các quantum computer sẽ gửi bằng chứng (proof) về việc đã thực hiện đúng tác vụ tính toán, mà không tiết lộ dữ liệu đầu vào. Các validator (chạy trên máy tính cổ điển) sẽ kiểm tra các proof này và nhận thưởng bằng token. Ngoài ra, Quip còn giới thiệu khái niệm “ZK jurisdiction” – dùng ZK để chứng minh tuân thủ xuất khẩu, cho phép các thực thể bị cấm vận truy cập quantum computing mà không vi phạm luật.
Ý tưởng này nằm trong xu hướng “blockchain cho quantum computing” – ngược lại với “quantum-resistant blockchain” thông thường. Nó hứa hẹn giải quyết bài toán niềm tin trong một lĩnh vực mà việc kiểm tra kết quả là cực kỳ tốn kém (phải chạy lại trên máy tính cổ điển). Nhưng liệu có khả thi?
Core
Mỗi bản nâng cấp là một cánh cửa cho lỗ hổng mới – nhưng ở đây, không có bản nâng cấp nào, chỉ có một cánh cửa mở toang. Hãy nhìn vào tech stack:
- Blind quantum computing: Đây là một giao thức mật mã phức tạp, vẫn đang ở giai đoạn nghiên cứu. Nó cho phép client gửi một tác vụ đã được mã hóa lên quantum computer, và quantum computer thực hiện mà không biết nội dung. Nhưng vấn đề là: liệu quantum computer có thể tạo ra bằng chứng (proof) rằng nó đã thực hiện đúng? Điều này yêu cầu một loại “ZK proof cho quantum computing” – mà đến nay chưa có công trình nào chứng minh được tính khả thi ở quy mô thực tế. Ngay cả trong lý thuyết, việc xây dựng một ZK proof cho một tác vụ lượng tử cũng đòi hỏi một “compiler” từ quantum circuit sang arithmetic circuit, vốn có độ phức tạp exponent.
- Zero-knowledge proof cho quantum computing: Giả sử BQC thành công, Quip cần một ZK proof để validator có thể kiểm tra mà không cần chạy lại tác vụ. Nhưng ZK proof hiện tại (như Groth16, PLONK) được thiết kế cho các phép tính trên trường hữu hạn, không phải cho các phép tính lượng tử. Chuyển đổi một phép tính lượng tử thành một mạch số học là một bài toán mở, với chi phí gas ước tính hàng tỷ đô la cho mỗi lần chứng minh.
- Validator network: Quip dùng token để khuyến khích validator. Nhưng không có thông tin về tokenomics – không biết supply, inflation, hay bất kỳ cơ chế nào để ngăn chặn validator ăn gian. Với một mạng lưới không có code, không có testnet, thì việc thiết kế incentive là hoàn toàn suy diễn.
Contrarian
Góc nhìn phản trực giác: Blockchain không phải là giải pháp cho mọi vấn đề. Trong trường hợp này, việc dùng blockchain để xác thực quantum computing là một cách tiếp cận sai lầm. Thực tế, chính blockchain mới là nạn nhân của quantum computing – các thuật toán như Shor có thể phá vỡ ECDSA và RSA. Thay vì xây dựng một lớp xác thực phức tạp, tốt hơn hết là tập trung vào phát triển các thuật toán kháng lượng tử (post-quantum cryptography). Các dự án như Algorand, IOTA, hay Stellar đã có lộ trình rõ ràng. Quip lại đi ngược dòng: nó muốn “cứu” quantum computing bằng blockchain, trong khi bản thân blockchain vẫn chưa sẵn sàng cho kỷ nguyên lượng tử.
Hơn nữa, ý tưởng “ZK jurisdiction” nghe có vẻ hay, nhưng thực tế là một canh bạc pháp lý. Các cơ quan xuất khẩu của Mỹ (BIS) yêu cầu kiểm soát trực tiếp danh tính người dùng. Một ZK proof chỉ chứng minh “người dùng không nằm trong danh sách cấm”, nhưng không thể ngăn chặn việc giả mạo danh tính. Nếu có lỗ hổng, toàn bộ hệ thống sụp đổ.
Takeaway
Chữ ký mù: kẻ thù vô hình trong giao dịch NFT – nhưng ở đây, kẻ thù là sự thiếu minh bạch và thiếu cơ sở kỹ thuật. Quip Network là một narrative hấp dẫn, nhưng không có gì để bám víu. Tôi sẽ theo dõi, nhưng với một thái độ hoài nghi sâu sắc. Câu hỏi đặt ra: Liệu chúng ta có đang chạy theo một ảo tưởng công nghệ, hay thực sự có một bước đột phá đang đến? Cho đến khi có code, có audit, có testnet, câu trả lời là: không.