ZKPs

Chứng minh một cách có thể xác minh các quyết định của Archimedes.

ZKP (Zero-Knowledge Proofs) là gì?

ZKP là các phương pháp mật mã cho phép một bên (người chứng minh) chứng minh cho bên khác (người xác minh) rằng một tuyên bố là đúng, mà không tiết lộ bất kỳ thông tin nào ("zero-knowledge" - không có kiến thức) về những gì đang được chứng minh. Điều này nâng cao quyền riêng tư và bảo mật trong các giao dịch và hợp đồng thông minh.

Ứng dụng

ZKP sẽ chứng minh cho người dùng rằng thuật toán của chúng tôi thực sự điều khiển các quyết định của kho bạc, mà không có sự can thiệp từ đội ngũ.

Phiên bản trước đây của ZKP, 'ZK-SNARKs' yêu cầu một giai đoạn thiết lập đáng tin cậy (một bên thứ ba) trong khi ZK-STARKs 'sử dụng tính ngẫu nhiên có thể xác minh công khai để tạo ra các hệ thống tính toán có thể xác minh mà không cần tin cậy' - nó loại bỏ nhu cầu về một thiết lập bên thứ ba đáng tin cậy.

Mozaic với tư cách là một giao thức nhằm mục đích giảm thiểu bất kỳ bên thứ ba độc hại nào có thể đang cố gắng, ví dụ, chạy trước Archimedes và các quyết định của nó trong việc luân chuyển các trang trại hoặc cân bằng lại quỹ (trao đổi từ đồng coin này sang đồng coin khác).

ZKP là một tính năng mà chúng tôi dự định tích hợp sau khi ra mắt. Chúng tôi đã liên hệ để tích hợp với một số giải pháp ZKP, như Modulus Labs.