PROVE-Succinctmiêu tả cụ thể

PROVE-Succinct miêu tả cụ thể

Mạng ngắn gọn là một giao thức phi tập trung để chứng minh phần mềm toàn cầu. Mạng phối hợp một nhóm các nhà chứng minh phân tán, những người tạo ra các bằng chứng không hiểu biết thông qua một cơ chế khuyến khích mới gọi là "cạnh tranh chứng minh" để tạo ra cụm chứng minh hiệu quả và mạnh mẽ nhất trên thế giới. Mạng ngắn gọn giới thiệu khái niệm về cụm chứng minh phân tán toàn cầu được thiết kế cùng với SP1 và được cung cấp bởi một cơ chế đấu giá cạnh tranh gọi là "cạnh tranh chứng minh" để mở rộng đáng kể khả năng chứng minh toàn cầu.