ต้นแบบวิจัยอิสระ
QuantumSafe Scanner
เครื่องมือออฟไลน์ที่ระบุการใช้การเข้ารหัสในซอร์สโค้ดที่รองรับและการประกาศ dependency ภายในเครื่องเพื่อให้มนุษย์ตรวจทาน
- ประเภทโครงการ
- ต้นแบบวิจัยอิสระ
- สถานะ
- ต้นแบบระยะวิจัย v0.2.0
- เทคโนโลยี
- Go · JSON
ปัญหาที่ต้องแก้
การค้นหาการพึ่งพาการเข้ารหัสในคลังซอร์สโค้ดอาจทำได้ยากก่อนการทบทวนความพร้อมด้านควอนตัมที่กำหนดขอบเขต
สิ่งที่ Evolext สร้าง
- การค้นหาจากซอร์สโค้ดและการประกาศ dependency ภายในเครื่องแบบออฟไลน์
- ผลลัพธ์ทางคอนโซลและรายงาน JSON ที่ให้ผลคงที่
- รายงานตัวอย่างที่เผยแพร่โดยใช้ข้อมูลจำลอง
แนวทางวิศวกรรม
เครื่องมือใช้การวิเคราะห์ที่คำนึงถึงภาษาโปรแกรมและกฎตรวจจับที่ผ่านการทบทวน สิ่งที่พบเป็นประเด็นให้มนุษย์ตรวจสอบตามบริบท ไม่ใช่ข้อสรุปเกี่ยวกับระบบที่ใช้งานจริง
การตัดสินใจทางวิศวกรรมจริง: ตรวจสอบแบบออฟไลน์
QuantumSafe Scanner เป็นงานต้นแบบวิจัยอิสระ เอกสารในที่เก็บโค้ดอธิบายการตัดสินใจนี้ ไม่ใช่หลักฐานของกระบวนการส่งมอบงานลูกค้า
- การตัดสินใจ
- ตรวจสอบซอร์สโค้ดที่ได้รับอนุญาตและรายการพึ่งพาในเครื่องที่รองรับ โดยไม่อัปโหลดที่เก็บโค้ดหรือรันโค้ดของโครงการ
- เหตุผล
- การตรวจสอบในเครื่องแบบอ่านอย่างเดียวช่วยจำกัดการเปิดเผยเนื้อหาในที่เก็บโค้ดโดยไม่จำเป็น และหลีกเลี่ยงการรันโค้ดที่ยังไม่เชื่อถือระหว่างสแกน
- ข้อแลกเปลี่ยน
- ผลจากการวิเคราะห์แบบคงที่เป็นข้อมูลให้มนุษย์ทบทวน ไม่ยืนยันการใช้งานขณะรัน ความครอบคลุมทั้งหมด สถานะการใช้งานจริง หรือการเจรจาใช้การเข้ารหัสหลังยุคควอนตัมที่สำเร็จ
ผลลัพธ์ที่ตรวจสอบได้
ตรวจสอบรายงาน v0.2.0 จากข้อมูลจำลองได้โดยไม่ต้องส่งคลังซอร์สโค้ดของลูกค้า รายงานแสดงรูปแบบและตัวอย่างสิ่งที่พบ ไม่ใช่ผลการวัดความครอบคลุมในระบบจริง
หลักฐานและข้อจำกัด
ตรวจเฉพาะซอร์สโค้ดและการประกาศภายในเครื่องที่รองรับ ไม่ยืนยันการใช้งานขณะรัน ความครบถ้วนของรายการ ความปลอดภัย การรับรอง หรือการเจรจากลไกหลังควอนตัมที่สำเร็จ NIST FIPS 203, 204 และ 205 เป็นมาตรฐานอ้างอิงด้านอัลกอริทึม ไม่ใช่การรับรองเครื่องมือนี้