Shentu Chain และ CertiK รวมบล็อกเชนและคณิตศาสตร์ในความก้าวหน้าของ DeSci

เชน Shentu และ CertiK ในสัปดาห์นี้ได้เปิดตัว OpenMath ซึ่งถูกเรียกว่าเป็นแพลตฟอร์ม DeSci ด้านคณิตศาสตร์ที่แรกของโลก โดยเปิดบทใหม่ที่คณิตศาสตร์เชิงฟอร์ม การคำนวณที่ตรวจสอบได้ และ blockchain มาพบกัน การเปิดตัวที่ประกาศในข่าวประชาสัมพันธ์ร่วมกันและได้รับการกระจายผ่านช่องทางสังคม ทำให้ OpenMath เป็นพื้นที่ที่นักวิจัยและ “ผู้พิสูจน์” สามารถยกขึ้น ร่วมมือกัน และตรวจสอบปัญหาทางคณิตศาสตร์ที่มีวิธีแก้ไขถูกบันทึกอย่างไม่สามารถเปลี่ยนแปลงได้บน on-chain.

ที่หัวใจของ OpenMath คือการตรวจสอบทางการ: หลักฐานและวิธีแก้ปัญหาที่ส่งไปยังแพลตฟอร์มจะถูกตรวจสอบโดยใช้เทคโนโลยีผู้ช่วยการพิสูจน์เพื่อให้ความถูกต้องสามารถตรวจสอบได้อย่างกลไกแทนที่จะปล่อยให้การตรวจสอบโดยเพื่อนร่วมงานแบบไม่เป็นทางการ วัสดุของ Shentu อธิบายระบบว่าได้บูรณาการเครื่องมือทางการที่เป็นที่รู้จัก เช่น Coq และ Lean เข้ากับการทำงานที่เป็น blockchain-native ทำให้สามารถอ้างอิงหลักฐานและหลักฐานที่ตรวจสอบโดยเครื่องได้บนบัญชีแยกประเภท

บ้านธรรมชาติสำหรับ DeSci

OpenMath ได้ถูกนำไปใช้ใน Shentu Chain ซึ่งเป็น Layer-1 ที่มุ่งเน้นด้านความปลอดภัยที่มีรากฐานมาจาก CertiK และชุมชนการวิจัยการตรวจสอบอย่างเป็นทางการ Chain นี้ได้รับการรีแบรนด์เป็น Shentu ในปี 2021 หลังจากที่ได้พัฒนาออกมาจาก CertiK โดยมีจุดมุ่งหมายที่ชัดเจนในการมุ่งเน้นไปที่การคอมพิวเตอร์ที่สามารถตรวจสอบได้และเครื่องมือด้านความปลอดภัยบน-chain ทำให้มันเป็นบ้านที่เหมาะสำหรับการทดลอง DeSci ที่สร้างขึ้นจากความจริงทางคณิตศาสตร์.

สถาปนิกของแพลตฟอร์มกล่าวว่า OpenMath ถูกออกแบบมาโดยคำนึงถึงการทำงานร่วมกันและการปกป้องทรัพย์สินทางปัญญา: กระบวนการส่งผลงานแบบสองขั้นตอนช่วยปกป้องผลงานของผู้พิสูจน์ในขณะที่ยังคงอนุญาตให้ชุมชนทั่วโลกมีส่วนร่วม ตรวจสอบ และสร้างสรรค์บนผลลัพธ์ที่ได้รับการตรวจสอบ โดยการบันทึกต้นกำเนิด ขั้นตอนการตรวจสอบ และการยืนยันบน on-chain OpenMath มีเป้าหมายเพื่อลบอุปสรรคดั้งเดิมของสถาบัน รับรองเครดิตที่เป็นธรรมสำหรับผู้มีส่วนร่วม และเร่งความเร็วในการที่ความรู้ทางคณิตศาสตร์ที่เข้มงวดจะสามารถค้นพบและนำกลับมาใช้ใหม่ได้.

การเปิดตัว OpenMath เกิดขึ้นในขณะที่วิทยาศาสตร์แบบกระจายศูนย์ หรือ DeSci กำลังได้รับความนิยมในฐานะวิธีการทำให้กระบวนการจัดหาเงินทุน การเผยแพร่ และการตรวจสอบวิจัยเป็นประชาธิปไตย ผู้สนับสนุนอ้างว่าเครือข่ายแบบกระจายศูนย์สามารถขยายการเข้าถึง เพิ่มความหลากหลายของกลไกการจัดหาเงินทุน และทำให้กระบวนการตรวจสอบมีความโปร่งใสมากขึ้น ซึ่งเป็นเป้าหมายที่ OpenMath สะท้อนอย่างชัดเจนโดยการรวมการเข้าถึงข้อมูลที่ถูกตรวจสอบแล้วเข้ากับการติดตามบน on-chain.

เชน Shentu และ CertiK ได้จัดกรอบการเปิดตัวเป็นการต่อเนื่องจากภารกิจร่วมกันในการนำ blockchain และการตรวจสอบอย่างเป็นทางการไปสู่ “ผลกระทบในโลกจริง” และพวกเขากล่าวว่ามีการขยายเพิ่มเติมที่วางแผนไว้เพื่อให้ผู้วิจัยสามารถจัดการกับปัญหาที่ซับซ้อนมากขึ้น และเพื่อขยายแรงจูงใจภายในระบบนิเวศ OpenMath ในตอนนี้ เว็บไซต์และแพลตฟอร์มเปิดให้บริการแล้ว เชิญชวนคณิตศาสตร์ นักวิจัยด้านวิธีการอย่างเป็นทางการ และชุมชน DeSci ที่กว้างขึ้นให้สำรวจสภาพแวดล้อมใหม่ที่ความจริงทางคณิตศาสตร์กลายเป็นทรัพย์สินสาธารณะที่สามารถตรวจสอบได้และอ้างอิงได้.