Shentu Chain và CertiK kết hợp Blockchain và Toán học trong một đột phá DeSci

Shentu Chain và CertiK trong tuần này đã công bố OpenMath, được gọi là nền tảng DeSci toán học đầu tiên trên thế giới, mở ra một chương mới nơi toán học chính thức, tính toán có thể xác minh và blockchain gặp gỡ. Việc ra mắt, được thông báo trong một thông cáo chung và được khuếch đại trên các kênh xã hội, định vị OpenMath như một không gian nơi các nhà nghiên cứu và “provers” có thể nêu ra, hợp tác và xác minh các vấn đề toán học với các giải pháp được ghi lại một cách bất biến trên on-chain.

Tại trung tâm của OpenMath là xác minh chính thức: các chứng minh và giải pháp được gửi đến nền tảng được kiểm tra bằng công nghệ trợ lý chứng minh để đảm bảo tính chính xác có thể được xác nhận một cách cơ học thay vì để lại cho đánh giá đồng nghiệp không chính thức. Tài liệu của Shentu mô tả hệ thống tích hợp các công cụ chính thức nổi tiếng như Coq và Lean vào một quy trình làm việc gốc blockchain, cho phép các định lý và các chứng minh đã được máy kiểm tra của chúng được tham chiếu, xác thực và bảo tồn trên sổ cái.

Một ngôi nhà tự nhiên cho DeSci

OpenMath được triển khai trên Shentu Chain, một Layer-1 tập trung vào bảo mật có nguồn gốc từ CertiK và cộng đồng nghiên cứu xác minh chính thức. Chuỗi này, được đổi thương hiệu thành Shentu vào năm 2021 sau khi tách ra từ CertiK, được phát triển với sự tập trung rõ ràng vào tính toán có thể xác minh và công cụ bảo mật on-chain, khiến nó trở thành một ngôi nhà tự nhiên cho một thí nghiệm DeSci xây dựng xung quanh sự thật toán học.

Các kiến trúc sư của nền tảng cho biết OpenMath được thiết kế với sự hợp tác và bảo vệ quyền sở hữu trí tuệ trong tâm trí: một quy trình nộp bài hai giai đoạn bảo vệ công việc của các người chứng minh trong khi vẫn cho phép cộng đồng toàn cầu tham gia, xác thực và xây dựng trên những kết quả đã được xác minh. Bằng cách ghi lại nguồn gốc, các bước xem xét và xác thực trên on-chain, OpenMath nhằm loại bỏ các nút thắt truyền thống của các tổ chức, đảm bảo ghi nhận công bằng cho các đóng góp và tăng tốc độ mà kiến thức toán học nghiêm ngặt trở nên có thể khám phá và tái sử dụng.

Sự ra mắt của OpenMath diễn ra khi Khoa học Phi tập trung, hay DeSci, đang gia tăng sức mạnh như một cách tiếp cận để dân chủ hóa cách thức nghiên cứu được tài trợ, xuất bản và xác thực. Những người ủng hộ lập luận rằng các mạng lưới phi tập trung có thể mở rộng quyền truy cập, đa dạng hóa các cơ chế tài trợ và làm cho các quy trình xác thực trở nên minh bạch hơn, những mục tiêu mà OpenMath phản ánh một cách rõ ràng bằng cách kết hợp quyền truy cập mở vào các kết quả đã được xác minh với khả năng theo dõi trên chuỗi.

Shentu Chain và CertiK đã trình bày việc phát hành như là sự tiếp nối của một sứ mệnh chung nhằm áp dụng blockchain và xác minh chính thức vào “tác động thực tế”, và họ cho biết có kế hoạch mở rộng thêm để cho phép các nhà nghiên cứu giải quyết những vấn đề ngày càng nâng cao và mở rộng các động lực trong hệ sinh thái OpenMath. Hiện tại, trang web và nền tảng đã hoạt động, mời gọi các nhà toán học, các nhà nghiên cứu phương pháp chính thức và cộng đồng DeSci rộng lớn khám phá môi trường mới nơi sự thật toán học trở thành một tài sản công có thể xác minh và tham chiếu.