นักพัฒนาสร้าง 3 เครื่องมือสำหรับ Guppy Stack และพบ 6 บั๊กจริง
นักพัฒนาสร้างเครื่องมือ qshelf, Estimand และ qmatchpoint สำหรับ guppylang ของ Quantinuum ส่งผลให้พบข้อผิดพลาดจริง 6 จุด
ภาพประกอบจากคลังภาพสต็อก ไม่ใช่ภาพจากเหตุการณ์จริง
- นักพัฒนาสร้าง 3 เครื่องมือสำหรับ guppylang ของ Quantinuum เพื่อใช้งานจริง
- การตรวจสอบความถูกต้องอย่างเข้มงวดช่วยเผยให้เห็นบั๊กจริงที่ได้รับการยืนยันแล้ว 6 จุด
- พบบั๊ก 4 จุดใน guppylang และอีก 2 จุดในไลบรารี Qualtran ของ Google
การพัฒนาเครื่องมือสำหรับระบบนิเวศควอนตัมยุคใหม่มักเต็มไปด้วยความท้าทาย ล่าสุดมีนักพัฒนาซอฟต์แวร์รายหนึ่งได้ลงมือสร้างเครื่องมือสำหรับ guppylang ซึ่งเป็นภาษาโปรแกรมมิ่งควอนตัมฝังตัวใน Python ของ Quantinuum โดยคอมไพล์ไปยัง HUGR และรันบนโปรแกรมจำลอง Selene รวมถึงฮาร์ดแวร์ trapped-ion ของบริษัท
ความตั้งใจหลักไม่ใช่เพียงแค่การสร้างเดโมทั่วไป แต่เน้นเรื่องความถูกต้องแม่นยำเป็นสำคัญ ทุกสูตรอ้างอิงตามแหล่งที่มา และทุกพฤติกรรมของคอมไพเลอร์ได้รับการตรวจสอบด้วยการคอมไพล์โค้ดจริงและการตรวจสอบเอาต์พุตแทนที่จะคาดเดาจากเอกสาร
ภาพประกอบจากคลังภาพสต็อก ไม่ใช่ภาพจากเหตุการณ์จริง
ความเข้มงวดในการพัฒนานี้ส่งผลให้เกิดการสร้างเครื่องมือสำหรับนักพัฒนาขึ้นมา 3 รายการ ได้แก่:
- qshelf: แพ็กเกจเรจิสทรีที่ผ่านการทดสอบสำหรับการใช้งานอัลกอริทึมควอนตัม (เช่น QFT, Grover, QAOA, VQE-H2) ซึ่งตรวจสอบเทียบกับข้อมูลอ้างอิงทางคณิตศาสตร์อิสระ
- Estimand: ตัวประเมินทรัพยากรแบบ fault-tolerant สำหรับโปรแกรม guppy และ HUGR โดยดึงข้อมูลสรุปจำนวนเกตจากโฟลว์การควบคุมจริงและส่งต่อไปยังโมเดลต้นทุนของ Qualtran
- qmatchpoint: เครื่องมือที่เชื่อมโยง PyMatching เข้ากับบิตซินโดรมจากวงจร QEC ของ guppy เพื่อแก้ปัญหาที่สแตกในระบบยังไม่มีตัวถอดรหัสในขณะนี้
กระบวนการสร้างเครื่องมือเหล่านี้ไม่ได้ตั้งเป้าหมายไว้ตั้งแต่แรกว่าจะหาข้อบกพร่อง แต่การยึดมั่นในหลักการตรวจสอบว่าโค้ดตรงกับสิ่งที่กล่าวอ้างจริงหรือไม่ ทำให้พบปัญหาถึง 4 จุดในตัว guppylang เอง เช่น ยูนิตารีที่ผิดพลาดจาก iqft ที่คอมไพล์แบบเดี่ยวเทียบกับการคอมไพล์ร่วมกับ qft, ยูนิตารีที่ผิดพลาดจาก multi-controlled Z, ชนิดความยาวอาร์เรย์แบบ generic ที่ถูกปฏิเสธ และการปิดกั้น numpy.ndarray ที่ถูกจัดประเภทใหม่เป็นคำขอฟีเจอร์
"Building three fairly ordinary developer tools surfaced six real, confirmed bugs... none of which I was looking for going in."
kkoci
การค้นพบบั๊กในไลบรารีระดับแนวหน้าอย่าง guppylang และ Qualtran สะท้อนให้เห็นว่าซอฟต์แวร์ควอนตัมยังอยู่ในช่วงเริ่มต้นของการพัฒนา การตรวจสอบความถูกต้องอย่างเข้มงวดในระดับทฤษฎีและคณิตศาสตร์จึงมีความสำคัญอย่างยิ่งต่อความเสถียรของเทคโนโลยีควอนตัมในอนาคต
ในส่วนของเครื่องมือ Estimand ซึ่งทำหน้าที่แปลงโปรแกรม guppy ให้เป็นจำนวนเกตและอ้างอิงคณิตศาสตร์พื้นผิวโค้ดจากงานวิจัยของ Beverland และคณะในปี 2022 รวมถึง Litinski ในปี 2019 ได้นำไปสู่การตรวจสอบความสอดคล้องกับเอกสารอ้างอิง และพบความแตกต่างที่แท้จริงอีก 2 จุดใน Qualtran ซึ่งเป็นไลบรารีการประเมินทรัพยากรควอนตัมยอดนิยมของ Google
ที่มา: Dev.to
พบข้อมูลผิดพลาดในบทความนี้? แจ้งปัญหาบทความนี้
ความคิดเห็น
แสดงความคิดเห็น