Open Math ra mắt, Shentu Chain và CertiK hợp tác để tạo ra nền tảng DeSci

Shentu Chain gần đây đã công bố chính thức ra mắt OpenMath, một nền tảng DeSci tập trung vào toán học. Nền tảng này được phát triển thông qua quan hệ đối tác chiến lược giữa Shentu Chain và CertiK, công ty bảo mật Web 3 lớn nhất thế giới và là công ty hàng đầu trong lĩnh vực xác minh chính thức. OpenMath cam kết xây dựng một hệ sinh thái DeSci tập trung vào chân lý toán học có thể kiểm chứng. Các nhà nghiên cứu và người xác minh có thể cùng nhau đề xuất và giải quyết các vấn đề toán học, sau đó thực hiện xác minh logic bằng công nghệ xác minh chính thức dựa trên Rocq, đảm bảo lập luận chặt chẽ và chính xác với độ chính xác toán học. Những người tham gia hoàn thành xác minh thành công sẽ nhận được phần thưởng token, tích hợp hiệu quả tính minh bạch trong quy trình nghiên cứu với cơ chế khuyến khích. OpenMath được cho là đã được triển khai trên Shentu Chain, trước đây gọi là CertiK Chain, do Giáo sư Zhong Shao và Ronghui Gu của Đại học Yale ươm mầm. Vào tháng 8 năm 2021, Shentu chính thức tách khỏi CertiK và hoạt động độc lập. Việc ra mắt OpenMath phản ánh việc cùng nhau khám phá ứng dụng blockchain và xác minh chính thức trong các tình huống toán học, dựa trên quan hệ đối tác mới này.