Theo U.Today, Cardano đã triển khai thành công hợp đồng thông minh không kiến thức (ZK) đầu tiên trên mạng chính, đánh dấu một cột mốc quan trọng cho mạng blockchain. Sự phát triển này được thực hiện bởi nhà phát triển Cardano Input Output, sử dụng hệ thống Halo 2 để xác minh ZK. Việc triển khai này đánh dấu sự khởi đầu của các ứng dụng ZK trên Cardano, một nền tảng blockchain phổ biến.
Giao dịch ban đầu nhằm mục đích khóa tiền, trong khi một giao dịch tiếp theo, yêu cầu xác minh bằng chứng ZK do Halo 2 tạo ra, được thực hiện để mở khóa tiền. Giao dịch mở khóa phải chịu một khoản phí là 2,03 ADA, xấp xỉ 1,9 đô la, mà Input Output mô tả là khá thấp. Hệ thống chứng minh zkSNARK Halo 2, do Electric Coin Company phát triển, cho phép tạo và xác minh bằng chứng zk-SNARK mật mã mà không cần thiết lập đáng tin cậy.
Input Output đã trình bày chi tiết về những lợi thế của kỹ thuật mã hóa Halo 2 trong một chủ đề truyền thông xã hội chi tiết. Phương pháp này cho phép xác minh các phép tính mà không tiết lộ chi tiết của chúng, tăng cường quyền riêng tư và bảo mật. Một trong những tính năng nổi bật của Halo 2 là khả năng tạo ra các bằng chứng đệ quy, có thể tăng đáng kể khả năng mở rộng và khả năng tương tác bằng cách chia nhỏ các phép tính thành các phần nhỏ hơn, dễ quản lý.
Input Output thừa nhận rằng mặc dù vẫn còn nhiều việc phải làm, nhưng thử nghiệm này của IO Research đại diện cho một bước tiến quan trọng trong việc áp dụng bằng chứng không kiến thức trên Cardano. Việc tích hợp các bằng chứng này dự kiến sẽ mang lại sự kết hợp mạnh mẽ giữa khả năng mở rộng, hiệu quả và bảo mật nâng cao, củng cố thêm vị thế của Cardano trong hệ sinh thái blockchain.
