Nhà sáng lập Cardano hợp tác với đồng phát triển Aiken cho ngôn ngữ lập trình tập trung vào ZK
TREE NEWS đưa tin: Charles Hoskinson, nhà sáng lập Cardano, đã tiết lộ rằng ông đang làm việc với kỹ sư Lucas Rosa của Input Output Global (IOG) — đồng phát triển ngôn ngữ hợp đồng thông minh Aiken — để phát triển một ngôn ngữ lập trình mới được thiết kế để tích hợp bằng chứng không kiến thức Groth16. Sáng kiến này nhằm giúp các nhà phát triển dễ dàng xây dựng các ứng dụng bảo vệ quyền riêng tư và có thể mở rộng trên Cardano bằng cách hỗ trợ gốc một trong những hệ thống chứng minh zk-SNARK được sử dụng rộng rãi nhất.
Tại sao Groth16 quan trọng
Groth16 là một lập luận kiến thức ngắn gọn không tương tác (zk-SNARK) được biết đến với kích thước bằng chứng nhỏ và thời gian xác minh nhanh. Nó được sử dụng rộng rãi trong các blockchain tập trung vào quyền riêng tư và các giải pháp mở rộng layer-2. Bằng cách tích hợp Groth16 ở cấp độ ngôn ngữ, công cụ mới có thể hạ thấp rào cản để các nhà phát triển Cardano triển khai chức năng không kiến thức mà không cần chuyên môn sâu về mật mã.
Động thái này phù hợp với chiến lược rộng lớn hơn của Cardano nhằm nâng cao hệ sinh thái hợp đồng thông minh của mình, vốn đã bị chỉ trích là tụt hậu so với các đối thủ về mức độ chấp nhận của nhà phát triển và công cụ. Một ngôn ngữ chuyên dụng cho bằng chứng ZK có thể thu hút các nhà xây dựng tập trung vào quyền riêng tư, danh tính và các ứng dụng DeFi có thể mở rộng.
Tác động ngành
Công nghệ không kiến thức đang trở thành một chiến trường quan trọng trong cuộc chiến giữa các nền tảng hợp đồng thông minh. Ethereum có một hệ sinh thái ZK sôi động với nhiều rollup layer-2 và framework dành cho nhà phát triển, trong khi các chuỗi mới hơn như Aleo và Mina đã xây dựng danh tính của họ xoay quanh quyền riêng tư. Nỗ lực của Cardano cho thấy sự nhận thức rằng mật mã tiên tiến phải được kết hợp với các công cụ phát triển dễ tiếp cận để đạt được lực kéo.
- Trải nghiệm nhà phát triển: Một ngôn ngữ được thiết kế riêng cho Groth16 có thể đơn giản hóa việc tạo và xác minh bằng chứng, giảm ma sát cho các nhóm xây dựng trên Cardano.
- Sự khác biệt hóa hệ sinh thái: Hỗ trợ ZK gốc có thể giúp Cardano tạo ra một thị trường ngách trong các ứng dụng bảo vệ quyền riêng tư và giải pháp danh tính có thể tương tác.
- Áp lực cạnh tranh: Thông báo này được đưa ra khi các nền tảng đối thủ đang chạy đua để cung cấp công cụ ZK tốt hơn, cho thấy Cardano đang định vị để thu hẹp khoảng cách.
Quan điểm hướng tới tương lai
Mặc dù chi tiết vẫn còn khan hiếm, sự tham gia của một đồng phát triển Aiken làm tăng thêm uy tín cho dự án. Aiken, một ngôn ngữ hợp đồng thông minh hiện đại cho Cardano, đã đạt được lực kéo nhờ thiết kế thân thiện với nhà phát triển. Nếu ngôn ngữ mới đi theo triết lý tương tự — ưu tiên tính khả dụng và an toàn — nó có thể tăng tốc việc áp dụng ZK trên Cardano.
Tuy nhiên, việc thực thi sẽ là yếu tố then chốt. Ngành công nghiệp blockchain đầy rẫy những dự án ngôn ngữ đầy tham vọng nhưng không đạt được khối lượng quan trọng. Thành công sẽ phụ thuộc vào tài liệu, hỗ trợ cộng đồng và các trường hợp sử dụng thực tế. Thành tích của Hoskinson với các thông báo đầy tham vọng có nghĩa là cộng đồng sẽ theo dõi chặt chẽ các sản phẩm hữu hình. Nếu thành công, sáng kiến này có thể củng cố vị thế của Cardano trong cuộc đua không kiến thức và cung cấp nền tảng cho các ứng dụng phi tập trung tập trung vào quyền riêng tư.
