Vào đầu thế kỷ trước, nếu bạn muốn có một chiếc ô tô, bạn phải tìm đến thợ máy nổi tiếng nhất trong vùng. Ông ấy sẽ chế tạo từng bánh răng và thanh nối theo nhu cầu của bạn. Nếu xe hỏng, ngoài ông ấy ra không ai có thể sửa, vì mỗi bộ phận chỉ tồn tại trong trí óc của ông. Điều này gọi là “nghề thủ công”, cũng gọi là “rào cản kỹ thuật”.
Sau đó, dây chuyền sản xuất của Ford ra đời. Các bộ phận được tiêu chuẩn hóa, quy trình lắp ráp trở nên minh bạch. Thợ máy có thất nghiệp không? Không, họ đã trở thành kỹ sư trưởng, và những người trước đây không có khả năng mua xe, giờ đây mỗi nhà đều có xe T-model.
Hiện tại, phát triển ZK (bằng chứng không kiến thức) đang ở trong thời kỳ hoang dã của “xưởng thủ công”.
一、昂贵的“密码学祭司”
Trong giới blockchain, các nhà phát triển ZK là nhóm người đứng trên đỉnh kim tự tháp. Họ giống như một nhóm “thầy tế” thành thạo những câu thần chú cổ xưa, canh giữ những logic toán học như đường cong ellip, cam kết đa thức và mạch R1CS mà người bình thường chưa bao giờ nghe tới.
Nếu bạn là một nhà phát triển Web3 bình thường và muốn thêm một chức năng “bỏ phiếu quyền riêng tư” hoặc “ẩn danh rõ ràng” vào ứng dụng của mình, bạn chỉ có hai con đường:
Chịu khó với toán học：Dành hai ba năm để nghiền ngẫm những tài liệu mật mã khó hiểu, trước khi viết mã, hãy biến mình thành một nửa nhà toán học.
Chiêu mộ nhân tài：Chi tiền khổng lồ để mời những chuyên gia ZK đếm trên đầu ngón tay toàn cầu.
Kết quả là rõ ràng. Hầu hết các nhóm xem xét hóa đơn và thời gian biểu, cuối cùng đều thở dài nói: “Thôi, quyền riêng tư hay không, để sau hãy nói.” Đây là lý do tại sao lĩnh vực ZK được khen ngợi nhưng không được đón nhận - công nghệ quá thiêng liêng, mức độ thuyết phục quá cao.
二、暴力拆解：Compact 的“降维打击”
@MidnightNetwork ngôn ngữ Compact đang được phát triển, về bản chất là một cuộc vận động “phi thiêng hóa”.
Nếu nói rằng phát triển ZK truyền thống là “đánh bóng ống kính bằng tay”, thì Compact là đang cung cấp “máy mài kính tự động hoàn toàn”.
Điểm thông minh của Compact là nó không phát minh ra một ngôn ngữ mới cao xa, mà chọn cách “ký sinh” trên TypeScript. Đây là một chiến lược cực kỳ tinh ranh và thực dụng. TypeScript là gì? Nó là ngôn ngữ mẹ của các kỹ sư front-end, là đinh ốc trưởng thành nhất trong ngành công nghiệp internet.
Sự phẳng hóa của Compact đối với ZK thể hiện qua ba cấp độ “giải quyết”:
Giải quyết logic：Các nhà phát triển không còn cần phải suy nghĩ “làm thế nào để chuyển đổi logic kinh doanh thành ràng buộc đa thức”. Bạn chỉ cần sử dụng các câu lệnh if-else, vòng lặp và hàm quen thuộc để mô tả quy tắc kinh doanh của mình, phần còn lại hãy để trình biên dịch xử lý.
Giải quyết danh tính：Trước đây bạn cần một “chuyên gia mật mã”, bây giờ bạn chỉ cần một “lập trình viên hiểu chút logic”. Điều này có nghĩa là chi phí tổ chức để phát triển ứng dụng quyền riêng tư từ “tìm kiếm kỳ lân” đã chuyển thành “thuê công nhân lành nghề”.
Giải quyết tâm trí：Khi bạn viết mã, bạn không cần phải lo lắng liên tục về việc chứng minh toán học cơ sở có vững chắc hay không. Trình biên dịch của Compact sẽ tự động tạo ra mô tả mạch điện và tài liệu chứng minh cho bạn. Điều này giống như bạn viết mã bằng ngôn ngữ cấp cao, không cần lo lắng về cách mà CPU thực hiện các thanh ghi.
三、市场结构的“地震”
Giống như video dạy bạn thay màn hình điện thoại, khi một “việc khó” trở nên “dễ dàng”, những thay đổi xảy ra không chỉ đơn thuần là hiệu suất.
Đầu tiên là sự sụp đổ của quyền định giá.
Trước đây, các dự án ZK dám đưa ra mức tài trợ khổng lồ, một phần lớn lý do là “phí nhân tài khan hiếm”. Khi Compact khiến hàng triệu nhà phát triển TypeScript có thể bắt tay vào viết hợp đồng quyền riêng tư, mức phí này sẽ nhanh chóng bị giảm. Cảm giác “huyền bí” của công nghệ đã biến mất, thay vào đó là “cạnh tranh về các trường hợp ứng dụng”.
Thứ hai là sự bùng nổ “loài” trong hệ sinh thái ứng dụng.
Tại sao hiện tại các ứng dụng ZK lại ít? Bởi vì chi phí quá cao, mọi người chỉ dám chơi trong lĩnh vực tài chính (DeFi) có giá trị cao và lợi nhuận cao. Nhưng nếu chi phí phát triển giảm xuống chỉ còn một phần mười so với trước, những trường hợp tưởng chừng “không kiếm được nhiều nhưng rất hữu ích” sẽ bắt đầu xuất hiện:
Một hệ thống đánh giá nhân viên ẩn danh.
Một giao thức tín nhiệm phi tập trung dựa trên bảo vệ quyền riêng tư.
Một chứng minh cho khoản vay không cần phải tiết lộ số dư để chứng minh sức mạnh tài sản.
Những thứ này không thể thực hiện được trong “thời đại thủ công”, vì khoản đầu tư R&D hoàn toàn không thể thu hồi chi phí. Nhưng sau khi Compact phổ cập, tất cả những điều này sẽ trở thành những “plugin nhỏ” dễ dàng.
四、理想与现实的“死亡之谷”
Nhưng nói đi cũng phải nói lại, sau khi tôi thay màn hình điện thoại, tôi phát hiện ra một vấn đề: mặc dù màn hình đã được thay, nhưng keo niêm phong không được thoa đều, khả năng chống nước gần như không còn. Đây chính là tác dụng phụ sau khi “phẳng hóa” - mức độ dễ dàng thấp không có nghĩa là không có cạm bẫy.
Midnight 的 Compact 同样面临这个挑战。白皮书写得再漂亮，编译器翻译得再智能，如果产出的电路效率低下（Proof size 太大或验证时间太长），或者在极端边界条件下会出现安全漏洞，那么开发者依然不敢大规模迁移。
Các nhà phát triển là một nhóm người rất thực tế. Họ có mức độ dung nạp công cụ cực thấp:
Tài liệu：Nếu tôi tìm một thông báo lỗi mà không tìm thấy giải pháp, tôi lập tức bỏ đi.
Gỡ lỗi：Nếu tôi viết sai logic, trình biên dịch cho tôi gợi ý là “Lỗi không xác định”, thì tôi chắc chắn sẽ đập bàn phím.
Tính tương thích：Nó có thể tích hợp liền mạch vào quy trình phát triển hiện tại của tôi không?
Midnight nói họ sẽ cung cấp toàn bộ môi trường phát triển và khung hỗ trợ, nghe có vẻ rất tuyệt, nhưng thực sự chiến trường nằm ở ba tháng đầu tiên sau khi mạng chính được ra mắt. Thời gian đó, tốc độ xử lý các lỗi trong cộng đồng nhanh như thế nào, và tài liệu hướng dẫn cập nhật thường xuyên ra sao, sẽ quyết định nó có trở thành tiêu chuẩn ngành tiếp theo hay không, hay trở thành một “món đồ chơi trong phòng thí nghiệm nhìn có vẻ tuyệt nhưng không ai sử dụng”.
五、结语：平坦之后的未来
Tôi luôn cảm thấy một dấu hiệu của công nghệ trưởng thành là nó trở nên “vô cảm”.
Khi bạn mua sắm trên Taobao, bạn không cần biết cách mà cơ sở dữ liệu phân tán hoạt động; khi bạn mở trang web, bạn không cần biết cách mà giao thức TCP/IP bắt tay. ZK cũng nên như vậy.
Mục tiêu của Compact nên là để từ “bằng chứng không kiến thức” biến mất khỏi cuộc thảo luận của các nhà phát triển. Mọi người không còn thảo luận “làm thế nào để tôi viết một mạch ZK”, mà là thảo luận “hợp đồng quyền riêng tư của tôi thực hiện chức năng gì”.
Giống như những gì mà phần bình luận video thay màn hình nói rằng: “Hóa ra là như vậy, tôi cũng có thể viết.”
Nếu ngày đó thực sự đến, ứng dụng quyền riêng tư mới thực sự bắt đầu câu chuyện của nó. Còn liệu nó có thành công hay không, chúng ta không xem PPT, mà xem hồ sơ cam kết trên GitHub sau khi mạng chính được ra mắt.
