QuantumSafe Scanner

Masalahnya

Kebergantungan kriptografi boleh menjadi sukar untuk dikesan dalam repositori sumber sebelum semakan kesiapsiagaan kuantum terhad.

Apa yang dibina oleh Evolext

• Pengenalpastian kod sumber dan kebergantungan setempat secara luar talian
• Output konsol dan laporan JSON yang deterministik
• Laporan sampel sintetik yang diterbitkan

Pendekatan kejuruteraan

Pengimbas menggunakan analisis mengikut bahasa pengaturcaraan dan peraturan pengesanan yang telah disemak. Hasilnya ialah petunjuk untuk disemak bersama konteks sistem, bukan kesimpulan tentang sistem yang telah digunakan.

Keputusan kejuruteraan sebenar: kekalkan penemuan di luar talian

QuantumSafe Scanner ialah prototaip penyelidikan bebas. Repositorinya merekodkan pilihan pelaksanaan berikut; ia bukan bukti proses penyerahan projek pelanggan.

Keputusan

Semak kod sumber yang dibenarkan dan pengisytiharan kebergantungan setempat yang dikenali tanpa memuat naik repositori atau menjalankan kodnya.

Sebab

Pemeriksaan setempat secara baca sahaja mengurangkan pendedahan kandungan repositori yang tidak perlu dan mengelakkan pelaksanaan kod projek yang tidak dipercayai semasa imbasan.

Pertimbangan

Hasil analisis statik ialah petunjuk untuk semakan manusia. Ia tidak membuktikan penggunaan semasa sistem berjalan, liputan lengkap, status pelaksanaan atau rundingan protokol pascakuantum yang berjaya.

Hasil yang boleh diperiksa

Laporan v0.2.0 sintetik boleh diperiksa tanpa berkongsi repositori pelanggan. Ia menunjukkan format laporan dan contoh penemuan, bukan liputan yang diukur dalam penggunaan sebenar.

Bukti dan batasan

Hanya kod sumber dan pengisytiharan setempat yang disokong diperiksa. Hasilnya tidak membuktikan penggunaan semasa sistem berjalan, inventori lengkap, keselamatan, pensijilan atau rundingan protokol pascakuantum yang berjaya. NIST FIPS 203, 204 dan 205 ialah rujukan algoritma, bukan pensijilan alat ini.

Semak bukti

• Periksa laporan sampel sintetik ↗
• Terokai pengimbas ↗