Bulletproofs+ อธิบาย: เทคโนโลยีที่ทำให้ Monero เล็กลงและเร็วขึ้น

Bulletproofs+: เทคโนโลยีที่ทำให้ Monero เล็กลงและเร็วขึ้น

Monero เป็นที่รู้จักในฐานะสกุลเงินดิจิทัลที่มีความเป็นส่วนตัวสูงที่สุด แต่ความเป็นส่วนตัวนั้นมาพร้อมกับราคา ธุรกรรม Monero มีขนาดใหญ่กว่า Bitcoin อย่างมาก ซึ่งส่งผลต่อค่าธรรมเนียมและความสามารถในการขยายระบบ อย่างไรก็ตาม Bulletproofs+ ได้เปลี่ยนแปลงสถานการณ์นี้อย่างมีนัยสำคัญ บทความนี้จะอธิบายว่า Bulletproofs+ คืออะไร ทำงานอย่างไร และทำไมถึงเป็นก้าวสำคัญสำหรับอนาคตของ Monero

ปัญหาของการพิสูจน์ Range ในธุรกรรม Monero

เพื่อให้เข้าใจความสำคัญของ Bulletproofs+ เราต้องเข้าใจปัญหาที่มันแก้ไขก่อน ใน Monero ทุกธุรกรรมต้องใช้ RingCT (Ring Confidential Transactions) เพื่อซ่อนจำนวนเงินที่โอน แต่ยังคงต้องพิสูจน์ว่าจำนวนเงินนั้นไม่เป็นลบ (ไม่มีใครสร้างเงินขึ้นมาจากอากาศ)

การพิสูจน์นี้เรียกว่า "range proof" ซึ่งยืนยันว่าจำนวนเงินที่ถูกซ่อนอยู่ในช่วงที่ถูกต้อง (เช่น ระหว่าง 0 ถึง 2^64) โดยไม่เปิดเผยจำนวนจริง ปัญหาคือ range proof ดั้งเดิมที่ใช้ใน Monero มีขนาดใหญ่มาก ทำให้ธุรกรรมแต่ละรายการมีขนาดใหญ่และมีค่าธรรมเนียมสูง

วิวัฒนาการของ Bulletproofs

Borromean Ring Signatures (ก่อน 2018)

ในยุคแรกของ RingCT Monero ใช้ Borromean Ring Signatures สำหรับ range proofs ซึ่งมีขนาดใหญ่มากและเติบโตเป็นเส้นตรงตามจำนวน outputs ธุรกรรมที่มี 2 outputs จึงมีขนาดใหญ่กว่าธุรกรรมที่มี 1 output เกือบสองเท่า

Bulletproofs (2018)

ในปี 2018 Monero นำ Bulletproofs มาใช้แทน Borromean Ring Signatures ซึ่งเป็นการปฏิวัติครั้งใหญ่ Bulletproofs ถูกพัฒนาโดย Benedikt Bünz, Jonathan Bootle และทีมนักวิจัยอื่นๆ และนำมาซึ่งการปรับปรุงหลายประการ

ขนาดของ range proof ลดลงจากประมาณ 13 KB เหลือประมาณ 2 KB นั่นคือลดลงประมาณ 80% และยังมี "aggregation" ซึ่งหมายความว่าธุรกรรมที่มีหลาย outputs ไม่ต้องสร้าง proof แยกกันสำหรับแต่ละ output แต่สามารถรวมเป็น proof เดียวที่เล็กกว่าได้

ผลลัพธ์จากการนำ Bulletproofs มาใช้คือขนาดธุรกรรมลดลงเฉลี่ย 80% และค่าธรรมเนียมลดลงอย่างมาก ซึ่งทำให้ Monero เข้าถึงได้ง่ายขึ้นสำหรับผู้ใช้ทั่วไป

Bulletproofs+ (2022)

ในปี 2022 Monero อัปเกรดอีกครั้งด้วย Bulletproofs+ ซึ่งเป็นการปรับปรุงเพิ่มเติมจาก Bulletproofs ดั้งเดิม Bulletproofs+ พัฒนาโดย Sarang Noether และ Brandon Goodell จาก Monero Research Lab ร่วมกับ Aram Jivanyan โดยมุ่งเน้นการปรับปรุงในสองด้านหลัก คือขนาดที่เล็กลงและความเร็วในการตรวจสอบที่เร็วขึ้น

Bulletproofs+ ทำงานอย่างไร

หลักการพื้นฐาน: Zero-Knowledge Proofs

ทั้ง Bulletproofs และ Bulletproofs+ เป็น "zero-knowledge proofs" ซึ่งเป็นระบบการพิสูจน์ทางคณิตศาสตร์ที่ช่วยให้บุคคลหนึ่งสามารถพิสูจน์ว่าตนรู้ข้อมูลบางอย่าง โดยไม่เปิดเผยข้อมูลนั้น

ลองนึกภาพว่าคุณต้องการพิสูจน์ว่าคุณมีอายุเกิน 18 ปี โดยไม่บอกอายุที่แน่นอน zero-knowledge proof ทำให้สิ่งนี้เป็นไปได้ในทางคณิตศาสตร์ ใน Monero สิ่งที่ต้องพิสูจน์คือ "จำนวนเงินนี้อยู่ระหว่าง 0 ถึง 2^64" โดยไม่เปิดเผยจำนวนจริง

การปรับปรุงทางคณิตศาสตร์ใน Bulletproofs+

Bulletproofs+ ใช้เทคนิคทางคณิตศาสตร์ที่เรียกว่า "weighted inner-product argument" (WIP) แทนที่ "inner-product argument" (IP) ใน Bulletproofs ดั้งเดิม การเปลี่ยนแปลงนี้ดูเหมือนเล็กน้อย แต่มีผลกระทบสำคัญ

ข้อดีหลักของ WIP คือทำให้สามารถ "batch verify" ได้มีประสิทธิภาพมากขึ้น ซึ่งหมายความว่าโหนดสามารถตรวจสอบ proofs หลายรายการพร้อมกันได้เร็วกว่าการตรวจสอบทีละรายการ

การลดขนาด Proof

Bulletproofs+ ลดขนาด range proof ลงประมาณ 5-7% เมื่อเทียบกับ Bulletproofs ดั้งเดิม แม้จะดูเหมือนไม่มาก แต่เมื่อรวมกับการปรับปรุงด้านความเร็วในการตรวจสอบ ผลรวมสุทธิมีความสำคัญอย่างยิ่ง

เมื่อเปรียบเทียบกับ range proofs ดั้งเดิมก่อน Bulletproofs ขนาดรวมลดลงประมาณ 96% ซึ่งเป็นการปรับปรุงที่ทำให้ Monero สามารถแข่งขันในตลาดคริปโตได้อย่างมีประสิทธิภาพ

ประโยชน์ของ Bulletproofs+ สำหรับผู้ใช้ Monero

ค่าธรรมเนียมที่ต่ำกว่า

ขนาดธุรกรรมที่เล็กลงโดยตรงหมายถึงค่าธรรมเนียมที่ต่ำกว่า ค่าธรรมเนียมใน Monero คำนวณตามขนาดของธุรกรรมในหน่วย bytes ดังนั้นเมื่อ range proof เล็กลง ค่าธรรมเนียมก็ลดลงตามสัดส่วน

สำหรับผู้ใช้ทั่วไปที่ทำธุรกรรมหลายครั้งต่อวัน การลดค่าธรรมเนียมนี้สะสมเป็นเงินจำนวนมากได้เมื่อเวลาผ่านไป และช่วยให้ Monero เป็นตัวเลือกที่ประหยัดกว่าสำหรับการชำระเงินในชีวิตประจำวัน

ความเร็วในการยืนยันธุรกรรม

Bulletproofs+ เพิ่มความเร็วในการตรวจสอบ (verification) ประมาณ 5-10% สำหรับธุรกรรมเดี่ยวและมากกว่าสำหรับการ batch verification ซึ่งหมายความว่าโหนด Monero สามารถประมวลผลธุรกรรมได้เร็วขึ้น และเครือข่ายโดยรวมมีประสิทธิภาพสูงขึ้น

ความสามารถในการขยายระบบ (Scalability)

ประโยชน์ที่สำคัญที่สุดของ Bulletproofs+ อาจเป็นด้านความสามารถในการขยายระบบ เมื่อ Monero ได้รับการยอมรับมากขึ้นและจำนวนธุรกรรมเพิ่มขึ้น ขนาดของบล็อกเชนจะเติบโตช้าลงด้วย Bulletproofs+ ทำให้การรัน full node ไม่ต้องใช้พื้นที่จัดเก็บข้อมูลมากเท่าเดิม

การเปรียบเทียบทางเทคนิค

ขนาดธุรกรรมเปรียบเทียบ

เพื่อให้เห็นภาพชัดเจน ลองดูขนาดธุรกรรม Monero ที่มี 2 inputs และ 2 outputs ตามยุคสมัยต่างๆ

ก่อน Bulletproofs (2018) ธุรกรรมมีขนาดประมาณ 13,000 bytes หรือ 13 KB ซึ่งถือว่าใหญ่มากเมื่อเทียบกับ Bitcoin

หลังจากนำ Bulletproofs มาใช้ ขนาดลดลงเหลือประมาณ 2,500 bytes หรือ 2.5 KB ซึ่งเป็นการลดลงถึง 80%

หลังจากอัปเกรดเป็น Bulletproofs+ ขนาดลดลงอีกเล็กน้อยเหลือประมาณ 2,300 bytes พร้อมกับการปรับปรุงด้านความเร็วการตรวจสอบที่สำคัญกว่า

เวลาในการตรวจสอบเปรียบเทียบ

ความเร็วในการตรวจสอบ proof เป็นปัจจัยสำคัญสำหรับประสิทธิภาพของเครือข่าย Bulletproofs+ ให้การปรับปรุงในด้านนี้ที่มีนัยสำคัญ โดยเฉพาะเมื่อทำการ batch verification ซึ่งช่วยให้โหนดสามารถตรวจสอบธุรกรรมหลายรายการพร้อมกันได้มีประสิทธิภาพมากขึ้น

ผลกระทบต่อระบบนิเวศ Monero

ผลต่อ Mining

ขนาดธุรกรรมที่เล็กลงหมายความว่า miners สามารถรวมธุรกรรมได้มากขึ้นในแต่ละ block โดยไม่เกินขีดจำกัดขนาด block ซึ่งช่วยให้เครือข่ายจัดการกับปริมาณธุรกรรมที่สูงขึ้นได้ในช่วงเวลาที่มีความต้องการสูง

ผลต่อ Node Operators

ผู้ที่รัน full node Monero ได้รับประโยชน์โดยตรงจาก Bulletproofs+ เพราะ blockchain เติบโตช้าลง ทำให้ต้องการพื้นที่จัดเก็บข้อมูลน้อยลง และการซิงค์ blockchain ใช้เวลาน้อยลง นอกจากนี้ การตรวจสอบธุรกรรมที่เร็วขึ้นหมายถึงโหนดใช้ทรัพยากรคอมพิวเตอร์น้อยลงในการทำงาน

ผลต่อ Light Wallet Users

ผู้ใช้กระเป๋าเงินแบบ light ที่ใช้ remote node ก็ได้รับประโยชน์เช่นกัน การ scan blockchain สำหรับธุรกรรมที่เกี่ยวข้องกับกระเป๋าเงินทำได้เร็วขึ้น และการ sync กระเป๋าเงินใหม่ใช้เวลาน้อยลง

Bulletproofs+ เปรียบเทียบกับเทคโนโลยีในสกุลเงินดิจิทัลอื่น

เปรียบเทียบกับ zk-SNARKs (Zcash)

Zcash ใช้ zk-SNARKs ซึ่งให้ประสิทธิภาพด้านขนาดที่ดีกว่า Bulletproofs+ แต่มีข้อเสียคือต้องใช้ "trusted setup" ซึ่งหมายความว่าต้องเชื่อใจว่าผู้สร้างระบบไม่ได้เก็บข้อมูลลับที่สามารถสร้างเงินปลอมได้

Bulletproofs+ ของ Monero ไม่ต้องการ trusted setup ใดๆ ทำให้เป็นระบบที่ trustless อย่างแท้จริง ซึ่งเป็นข้อได้เปรียบสำคัญสำหรับ Monero

เปรียบเทียบกับ zk-STARKs

zk-STARKs เป็นเทคโนโลยีที่ไม่ต้องการ trusted setup เช่นเดียวกับ Bulletproofs+ แต่มีขนาด proof ที่ใหญ่กว่ามาก อย่างไรก็ตาม zk-STARKs อ้างสิทธิ์ความปลอดภัยที่แข็งแกร่งกว่าในระยะยาว โดยเฉพาะต่อการโจมตีจากคอมพิวเตอร์ quantum

ความท้าทายในการพัฒนา Bulletproofs+

ความซับซ้อนทางคณิตศาสตร์

การตรวจสอบความถูกต้องทางคณิตศาสตร์ของ Bulletproofs+ เป็นงานที่ซับซ้อนอย่างมาก ทีม Monero Research Lab ใช้เวลานานในการตรวจสอบว่าการปรับปรุงทางคณิตศาสตร์นั้นถูกต้องและไม่มีช่องโหว่ก่อนที่จะนำมาใช้จริง

การ Audit อิสระ

ก่อนการนำ Bulletproofs+ มาใช้ในเครือข่าย Monero ได้มีการตรวจสอบอิสระโดยบุคคลที่สามหลายรายเพื่อยืนยันความถูกต้องและความปลอดภัย การ audit เหล่านี้เป็นขั้นตอนสำคัญที่ทำให้ชุมชน Monero มั่นใจในความปลอดภัยของเทคโนโลยีใหม่

การวิจัยและพัฒนาในอนาคต

Bulletproofs++ และ Beyond

Monero Research Lab ยังคงทำงานวิจัยอย่างต่อเนื่อง มีการอภิปรายเกี่ยวกับการปรับปรุงเพิ่มเติมที่อาจนำมาสู่ "Bulletproofs++" หรือเทคโนโลยีทดแทนที่ให้ประสิทธิภาพดีกว่า

แนวทางที่น่าสนใจสำหรับอนาคตรวมถึง Seraphis ซึ่งเป็นโปรโตคอลใหม่ที่จะปรับปรุงการซ่อนตัวของผู้ส่งใน Monero Jamtis ซึ่งเป็นระบบที่อยู่ใหม่ที่จะช่วยให้การ scan หา transactions ของตัวเองทำได้เร็วขึ้นมาก และการปรับปรุงความสามารถ multisig ต่อไป

การทนทานต่อ Quantum Computing

เมื่อคอมพิวเตอร์ quantum มีความสามารถมากขึ้น เทคโนโลยีการเข้ารหัสปัจจุบันอาจมีความเสี่ยง Monero Research Lab กำลังติดตามการพัฒนาในด้านนี้และวางแผนสำหรับการอัปเกรดในอนาคตหากจำเป็น

ทำไม Bulletproofs+ ถึงสำคัญสำหรับอนาคตของ Monero

Bulletproofs+ ไม่ใช่แค่การปรับปรุงทางเทคนิคเล็กๆ น้อยๆ แต่เป็นส่วนสำคัญของยุทธศาสตร์ระยะยาวของ Monero ในการเป็นสกุลเงินดิจิทัลที่ใช้งานได้จริงในชีวิตประจำวัน

เมื่อต้นทุนต่ำลงและประสิทธิภาพสูงขึ้น Monero สามารถแข่งขันกับวิธีการชำระเงินแบบดั้งเดิมได้ดีขึ้น โดยยังคงรักษาความเป็นส่วนตัวที่เป็นจุดแข็งหลัก นอกจากนี้ การลดขนาด blockchain ช่วยให้การกระจายอำนาจของเครือข่ายดีขึ้น เพราะผู้คนมากขึ้นสามารถรัน full node ได้โดยไม่ต้องมีฮาร์ดแวร์ที่แพงมาก

สรุป

Bulletproofs+ เป็นตัวอย่างที่ดีของวิธีที่ Monero ดำเนินการ นั่นคือการปรับปรุงอย่างต่อเนื่องผ่านการวิจัยอย่างเข้มงวด การ audit อิสระ และการนำ cryptography ที่ทันสมัยที่สุดมาใช้

จากการลด range proof จาก 13 KB เป็น 2.3 KB พร้อมกับการปรับปรุงด้านความเร็วในการตรวจสอบ Bulletproofs+ แสดงให้เห็นว่าความเป็นส่วนตัวและประสิทธิภาพไม่จำเป็นต้องขัดแย้งกัน สำหรับผู้ใช้ Monero สิ่งนี้หมายถึงค่าธรรมเนียมที่ต่ำกว่า การยืนยันที่เร็วขึ้น และเครือข่ายที่มีความสามารถในการขยายตัวดีขึ้น โดยไม่สูญเสียความเป็นส่วนตัวที่ทำให้ Monero แตกต่างจากสกุลเงินดิจิทัลอื่นๆ

เมื่อเทคโนโลยี zero-knowledge proof ยังคงพัฒนาต่อไป Monero จะยังคงเป็นผู้นำในการนำเทคโนโลยีที่ดีที่สุดมาใช้เพื่อปกป้องความเป็นส่วนตัวของผู้ใช้ในโลกดิจิทัลที่มีการเฝ้าระวังมากขึ้นเรื่อยๆ

การวิเคราะห์เชิงลึกของคณิตศาสตร์เบื้องหลัง Bulletproofs+

Inner Product Arguments และ Weighted Variants

เพื่อทำความเข้าใจว่าทำไม Bulletproofs+ ถึงมีประสิทธิภาพดีกว่า Bulletproofs ดั้งเดิม เราต้องเข้าใจแนวคิด "inner product argument" ก่อน ใน Bulletproofs ดั้งเดิม การพิสูจน์ว่าตัวเลขสองชุดมี inner product เท่ากับค่าที่กำหนด (โดยไม่เปิดเผยตัวเลขเอง) ต้องใช้ขั้นตอนการโต้ตอบหลายรอบระหว่างผู้พิสูจน์และผู้ตรวจสอบ

Bulletproofs+ แทนที่ inner product argument ด้วย "weighted inner product argument" (WIP argument) ซึ่งดูเหมือนจะซับซ้อนกว่า แต่ในความเป็นจริงช่วยให้สามารถ batch verify ได้มีประสิทธิภาพมากขึ้น การ batch verification หมายถึงการตรวจสอบ proofs หลายรายการพร้อมกันโดยใช้เวลาน้อยกว่าการตรวจสอบทีละรายการ ซึ่งมีความสำคัญอย่างมากเมื่อโหนดต้องตรวจสอบธุรกรรมหลายพันรายการในแต่ละวัน

Multi-Exponentiation Optimization

หนึ่งในความก้าวหน้าสำคัญใน Bulletproofs+ คือการใช้ multi-exponentiation algorithms ที่มีประสิทธิภาพมากขึ้น การคำนวณ elliptic curve point multiplications เป็นการดำเนินการที่ใช้เวลามากที่สุดในการตรวจสอบ proofs Bulletproofs+ จัดโครงสร้างการคำนวณใหม่เพื่อให้ multi-exponentiation ทำงานได้มีประสิทธิภาพมากขึ้น ส่งผลให้ทั้งเวลาในการสร้างและตรวจสอบ proof ลดลง

การนำ Bulletproofs+ ไปใช้ใน Monero Protocol

กระบวนการ Hard Fork

การนำ Bulletproofs+ มาใช้ต้องผ่าน network upgrade (hard fork) ซึ่งเกิดขึ้นในเดือนสิงหาคม 2022 ผ่านการอัปเกรดเครือข่าย Monero ทุกโหนดที่ไม่อัปเดตซอฟต์แวร์จะไม่สามารถประมวลผลธุรกรรมที่ใช้ Bulletproofs+ ได้ กระบวนการ hard fork ของ Monero แตกต่างจาก Bitcoin ตรงที่ Monero มีนโยบาย hard fork เป็นประจำ (roughly ทุก 6 เดือน) เพื่อให้สามารถนำการปรับปรุงมาใช้ได้รวดเร็วกว่า

Backward Compatibility

ธุรกรรมเก่าที่ใช้ Bulletproofs ดั้งเดิมยังคงถูกต้องและอยู่ใน blockchain ของ Monero โหนดใหม่สามารถอ่านและตรวจสอบธุรกรรมเก่าได้ แต่ธุรกรรมใหม่ทั้งหมดต้องใช้ Bulletproofs+ หลังจากการ upgrade

ผลกระทบต่อ Transaction Fee Market ของ Monero

ก่อนและหลัง Bulletproofs

ก่อนการนำ Bulletproofs มาใช้ในปี 2018 ค่าธรรมเนียมเฉลี่ยของ Monero สูงกว่ามาก บางครั้งอยู่ที่หลาย USD ต่อธุรกรรม ซึ่งทำให้ไม่เหมาะสำหรับการชำระเงินขนาดเล็ก หลังจากนำ Bulletproofs มาใช้ ค่าธรรมเนียมลดลงอย่างมีนัยสำคัญ ทำให้ Monero สามารถใช้สำหรับการชำระเงินในชีวิตประจำวันได้จริง

หลัง Bulletproofs+

Bulletproofs+ ลดค่าธรรมเนียมลงอีกประมาณ 5-7% เนื่องจากขนาดธุรกรรมที่เล็กลงเล็กน้อย แต่ผลกระทบที่สำคัญกว่าคือการลดภาระบน validators ซึ่งช่วยให้เครือข่ายสามารถรองรับปริมาณธุรกรรมที่สูงขึ้นได้โดยไม่ทำให้ค่าธรรมเนียมพุ่งสูงขึ้น

การเปรียบเทียบกับ Bitcoin ในด้านขนาดและค่าธรรมเนียม

หลายคนมักเปรียบเทียบขนาดธุรกรรมของ Monero กับ Bitcoin และตั้งคำถามว่าทำไม Monero ถึงมีขนาดใหญ่กว่า คำตอบคือ Monero ต้องรวม cryptographic proofs เพิ่มเติมเพื่อรักษาความเป็นส่วนตัว ซึ่ง Bitcoin ไม่ต้องทำ ความแตกต่างในขนาดนี้เป็น tradeoff ที่ชุมชน Monero ยอมรับอย่างมีสติ เพราะความเป็นส่วนตัวคือจุดประสงค์หลัก

ด้วย Bulletproofs+ ช่องว่างในขนาดระหว่าง Monero และ Bitcoin แคบลงอย่างมากจากที่เคยเป็น ธุรกรรม Monero ปัจจุบันมีขนาดประมาณ 1,500-3,000 bytes ขึ้นอยู่กับจำนวน inputs/outputs เมื่อเทียบกับธุรกรรม Bitcoin ที่มีขนาดประมาณ 250-1,000 bytes ซึ่งเป็นความแตกต่างที่สมเหตุสมผลเมื่อพิจารณาถึงความเป็นส่วนตัวที่ได้รับ

ความสำคัญของ Open Source และการตรวจสอบอิสระ

หนึ่งในจุดแข็งที่สำคัญที่สุดของ Monero รวมถึง Bulletproofs+ คือความเป็น open source ทุกส่วนของ codebase เปิดให้ผู้เชี่ยวชาญทั่วโลกตรวจสอบได้ ก่อนการนำ Bulletproofs+ มาใช้ มีการ audit จากบริษัทความปลอดภัยอิสระหลายแห่ง ได้แก่ Kudelski Security, Quarkslab และนักวิจัยอิสระจากมหาวิทยาลัยต่างๆ การตรวจสอบหลายชั้นนี้ช่วยให้ชุมชนมั่นใจได้ว่าไม่มีช่องโหว่ที่ซ่อนอยู่ใน implementation

ในทางตรงข้าม เทคโนโลยีที่ใช้ในบางสกุลเงินดิจิทัลคู่แข่งไม่ได้รับการ audit อย่างละเอียดในระดับเดียวกัน ซึ่งเป็นความเสี่ยงที่ไม่ควรมองข้าม