หลักฐานความรู้เป็นศูนย์ได้รับการยืนยันบน Bitcoin เป็นครั้งแรกในประวัติศาสตร์

เมื่อต้นปีนี้ เหว่ยเคิงเฉิน และหุ้นส่วนของเขาในบริษัทร่วมทุน L2 แบบวนซ้ำ ตัดสินใจเปลี่ยนความสนใจไปที่ระบบนิเวศ Bitcoin ที่กำลังเติบโตอย่างรวดเร็ว Chen ซึ่งเป็นคนจีนโดยกำเนิด ได้สังเกตเห็นความสนใจที่เพิ่มมากขึ้นในการพัฒนา Bitcoin จากผู้มีบทบาทสำคัญหลายรายในวงการขุดที่เริ่มสนับสนุนโครงการต่างๆ ในพื้นที่ Ordinals และเลเยอร์ 2

“ฉันไม่เคยรู้เลยว่า Bitcoin มีชุมชนผู้พัฒนา” เขากล่าวแบบครึ่งติดตลก

ย้อนกลับไปเมื่อสัปดาห์ที่แล้ว มีโครงการโอเพนซอร์สที่นำโดยตัวเขาเอง โดยมีการสนับสนุนจากบริษัทโครงสร้างพื้นฐาน สตาร์คแวร์ได้บรรลุผลสำเร็จ การดำเนินการครั้งแรก ของผู้ตรวจสอบความรู้เป็นศูนย์โดยใช้สคริปต์ Bitcoin

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

เบื้องหลังความสำเร็จนี้คือการเดินทางอันน่าทึ่งของคนนอกที่เข้ามาเรียนรู้การพัฒนา Bitcoin เมื่อ 6 เดือนที่แล้วและตอนนี้ได้เขียนโค้ดซอฟต์แวร์ที่ล้ำหน้าที่สุดชิ้นหนึ่งแล้ว ฉันได้สัมภาษณ์ Weikeng Chen เพื่อเจาะลึกถึงแรงบันดาลใจของเขา ความร่วมมือของเขากับ Starkware ในเรื่อง OP_CAT และ STARKs และมุมมองของเขาเกี่ยวกับยุคใหม่ของการพัฒนา Bitcoin

เริ่มต้นจากศูนย์

เฉิน ผู้สำเร็จการศึกษาระดับปริญญาเอกจาก UC Berkeley โดยมีความเชี่ยวชาญด้านการเข้ารหัส ได้อธิบายว่าเขาเริ่มมองหาโอกาสในการนำทักษะทางเทคนิคของเขาไปใช้ในอุตสาหกรรม เพื่อวางตำแหน่งบริษัทของเขาให้ดีกว่ากับนักลงทุนและบริษัทที่มีศักยภาพ แม้จะมีประสบการณ์ด้านวิศวกรรมมากมาย แต่เขาก็ตระหนักได้อย่างรวดเร็วว่าทรัพยากรมีจำกัดและต้องเรียนรู้มาก “วัสดุจำนวนมากที่มีอยู่ในปัจจุบันนั้นล้าสมัยและไม่สะท้อนถึงสถานะการพัฒนาในปัจจุบัน” ในที่สุด ความผูกพันของเขากับเทคโนโลยีความรู้เป็นศูนย์ก็ทำให้เขา วิจัย เพื่อมุ่งเน้นไปที่ความสามารถของ Bitcoin ในการดำเนินการคำนวณที่จำเป็นสำหรับการตรวจยืนยันการพิสูจน์ความรู้เป็นศูนย์

เมื่อหลุมกระต่ายหนึ่งหลุมนำไปสู่หลุมกระต่ายอีกหลุมหนึ่ง โรบิน ไลนัส‘ การทำงานในรูปแบบการคำนวณแบบใหม่ของ บิตวีเอ็ม เข้ามาอยู่ในเรดาร์ของเขา เขาสนใจในศักยภาพของการใช้หลักฐานการฉ้อโกงเพื่อนำระบบ zero-knowledge ที่เข้ากันได้กับ Bitcoin มาใช้ เขาเริ่มค้นหาเอกสารไวท์เปเปอร์และสังเกตเห็นปัญหาบางอย่างกับแนวคิดบางอย่างที่เกี่ยวข้องกับระบบ “ผมส่งข้อความถึง Robin เพื่อถามคำถามสองสามข้อเกี่ยวกับ BitVM ความเข้าใจของผมเกี่ยวกับ BitVM จากเอกสารไวท์เปเปอร์นั้นผิดพลาดอย่างมหันต์ ผมจำได้ว่าปฏิกิริยาแรกของ Robin คือถามผมว่าใครเป็นคนบอกเรื่องนี้กับผม” เขาเล่าพร้อมหัวเราะ ปฏิสัมพันธ์นี้จุดประกายความร่วมมืออันสั้นแต่มีประสิทธิผลระหว่าง Chen, Linus และนักวิจัยคนอื่นๆ ในขณะที่พวกเขาทำซ้ำแนวคิดเดิมและมองหาวิธีเพิ่มประสิทธิภาพ

“สำหรับฉันแล้ว เห็นได้ชัดว่าวิธีการนี้สามารถนำมาใช้ยืนยันการพิสูจน์ความรู้เป็นศูนย์ได้ ดังนั้น งานของฉันจึงดำเนินไปอย่างรวดเร็วในทิศทางของการนำตัวตรวจสอบ SNARK มาใช้”

ตัวตรวจสอบคือเครื่องมือเข้ารหัสที่ทำให้สามารถตรวจสอบหลักฐานความรู้เป็นศูนย์บนเครือข่าย Bitcoin ได้

โอกาส OP_CAT

ในช่วงเวลาเดียวกันนั้น ทีมงานของ Starkware ซึ่งเป็นบริษัทยักษ์ใหญ่ในอุตสาหกรรมความรู้เป็นศูนย์ ได้ให้ความสนใจอย่างใกล้ชิดกับกิจกรรมใหม่ ๆ ที่เกิดขึ้นจากชุมชน Bitcoin สำหรับบางคน ถือเป็นเรื่องที่เกิดขึ้นมานานแล้ว Eli Ben-Sasson ผู้ก่อตั้ง Starkware ถือเป็นผู้ริเริ่ม คนแรกที่จะพูดคุย เทคโนโลยีความรู้เป็นศูนย์ในบริบทของสกุลเงินดิจิทัลในการประชุม Bitcoin ในช่วงแรกๆ เกือบหนึ่งทศวรรษต่อมา การวิจัยของ Starkware และเทคโนโลยี ZK-STARK ทำหน้าที่เป็นรากฐานของแอปพลิเคชันที่เพิ่มมากขึ้นในอวกาศนี้

“ย้อนกลับไปในปี 2013 เมื่อผมแนะนำให้ใช้การพิสูจน์ความถูกต้องเพื่อขยาย Bitcoin ผมหวังว่า Satoshi อาจจะยังอยู่และจะทำให้มันเกิดขึ้นได้เร็วขึ้น ขอบคุณผู้มีวิสัยทัศน์ด้านการเข้ารหัสเช่น Weikeng Chen และนักวิจัย Bitcoin OP_CAT เช่น Andrew Poelstra และ Ethan Heilman ตอนนี้ความฝันเมื่อ 11 ปีที่แล้วของผมก็ดูเหมือนจะอยู่ไม่ไกลเกินเอื้อมแล้ว” Ben-Sasson แสดงความคิดเห็น

เมื่อเดือนที่แล้วบริษัท ประกาศ พวกเขากำลังเริ่มปรับใช้แผนริเริ่มมากมายที่มุ่งเน้นในการปิดช่องว่างด้านเทคโนโลยีระหว่าง Bitcoin และการพิสูจน์ความรู้เป็นศูนย์ มีการเสนอเงินช่วยเหลือการสมัคร 1,000,000 ดอลลาร์สำหรับการวิจัยและการสำรวจศักยภาพของ OP_แมว ข้อเสนอซอฟต์ฟอร์ก

การประกาศดังกล่าวเต็มไปด้วยความกระตือรือร้นอย่างมาก ทำให้บางคนสงสัยว่าอะไรเป็นแรงผลักดันให้เกิดความคิดในแง่ดีนี้ จนกระทั่งเมื่อไม่นานนี้ โอกาสของเทคโนโลยีความรู้เป็นศูนย์บน Bitcoin นั้นเป็นเพียงความคิดที่เกิดขึ้นภายหลังเท่านั้น ซึ่งเป็นรหัส OP อีกรหัสหนึ่งที่อาจไม่มีวันได้เห็นแสงสว่างของวัน อันที่จริงแล้ว ความยากลำบากในการหาฉันทามติเกี่ยวกับการเปลี่ยนแปลงเล็กน้อยในฐานรหัส Bitcoin ทำให้ดูเหมือนไม่น่าจะเป็นไปได้ที่สิ่งที่ซับซ้อนกว่านี้จะเกิดขึ้น

จากการสนทนากับผู้สนับสนุนของ Starkware พบว่าพวกเขาได้ยินเกี่ยวกับความคืบหน้าของ Weikeng ใน BitVM ประมาณเดือนพฤษภาคม และอารมณ์ก็เปลี่ยนไปอย่างมาก ปรากฏว่าผู้พัฒนารายนี้ได้เล็งเป้าหมายไปที่เทคโนโลยี Circle STARK ของบริษัทไว้แล้ว ในเอกสารที่เผยแพร่เมื่อสองสามเดือนก่อน Chen ได้ระบุถึงเทคโนโลยีดังกล่าวว่าเป็น “ระบบพิสูจน์ที่เป็นมิตรกับ Bitcoin”

หลังจากหารือกันไปมา ทั้งสองฝ่ายก็ตกลงที่จะร่วมมือกันและตั้งเป้าหมายร่วมกันในการนำตัวตรวจสอบ STARK ไปใช้แบบโอเพนซอร์สโดยใช้ OP_CAT ดั้งเดิม “ฉันรู้ว่ามันทำได้ เราแค่ต้องรวบรวมทุกชิ้นส่วนเข้าด้วยกัน” Chen เสนอ “เขตรักษาพันธุ์สัตว์ป่าบิทคอยน์” เกิด.

สองเดือนต่อมา โปรเจ็กต์นี้ดูเหมือนจะบรรลุเป้าหมายได้สำเร็จด้วยความร่วมมือจากนักพัฒนารายอื่นๆ เช่น Pingzhou Yuan ซึ่งเป็นผู้ร่วมพัฒนา BitVM รุ่นแรกๆ เมื่อช่วงสายวันศุกร์ที่ผ่านมา Chen ได้เข้าร่วมกลุ่ม Telegram ของโปรเจ็กต์เพื่อแจ้งข่าวนี้กับผู้เข้าร่วมคนอื่นๆ ว่า “ฉันคิดว่าฉันทำเสร็จแล้ว!”

หลังจากการทดสอบในพื้นที่สำเร็จ นักพัฒนาได้ออกอากาศ ซีรีส์การทำธุรกรรม สู่เครือข่ายทดสอบ Signet ของ Bitcoin ที่จะรันสคริปต์ทั้งหมด เพื่อเพิ่มประสิทธิภาพการใช้งานบนเชน STARK proof ซึ่งอิงตามซอฟต์แวร์โอเพ่นซอร์สของ Starkware สทู การใช้งานถูกแยกออกเป็นธุรกรรมพร้อมกันที่เชื่อมต่อกันด้วยพันธสัญญาตาม OP_CAT

เมื่อเวลา 06:29 น. ของวันที่ 12 กรกฎาคม พ.ศ. 2567 ธุรกรรมสุดท้ายได้รับการยืนยันบนเครือข่าย Signet ซึ่งเป็นสัญญาณที่ผู้สนับสนุนเชื่อว่าอาจเป็นจุดเริ่มต้นของยุคใหม่แห่งการพัฒนา Bitcoin

“นี่เป็นความพยายามอันยิ่งใหญ่และใช้เวลาค่อนข้างมาก” เฉินกล่าว “เราเริ่มต้นจากศูนย์ ไม่มีข้อมูลเกี่ยวกับการพิสูจน์ ZK บน Bitcoin ไม่มีข้อมูลเกี่ยวกับการดำเนินการทางคณิตศาสตร์ที่ต้องปฏิบัติตาม เราต้องสร้างสแต็กทั้งหมด ซึ่งในที่สุดก็นำไปสู่การนำตัวตรวจสอบ STARK มาใช้”

สร้างแรงบันดาลใจสู่เส้นทางการพัฒนาใหม่

แม้ว่าผลลัพธ์จะสมควรได้รับการเฉลิมฉลอง แต่เฉินยืนกรานว่างานนี้ยังไม่เสร็จสิ้น เมื่อถูกถามว่าเขามองในแง่ดีหรือไม่เกี่ยวกับงานของเขาในการสร้างรากฐานสำหรับโปรโตคอลการปรับขนาดใหม่ เช่น การรวม Bitcoin นักพัฒนาก็รีบแก้ไขความคาดหวังทันที

“แนวคิดนี้ใช้ได้คร่าวๆ แต่การพิสูจน์แนวคิดยังไม่พร้อมสำหรับการผลิต การพิสูจน์ความถูกต้องยังใช้พื้นที่บล็อกจำนวนมาก ซึ่งอาจกลายเป็นค่าใช้จ่ายสูงในอนาคต”

ผู้สนับสนุนที่ Starkware ยอมรับถึงความท้าทายที่รออยู่ข้างหน้า แต่ก็มั่นใจว่าความสำเร็จของโครงการนี้ถือเป็น “ก้าวกระโดดครั้งใหญ่” ไปสู่โซลูชันการปรับขนาด Bitcoin ที่สามารถใช้ประโยชน์จากเทคโนโลยี ZK rollup ของพวกเขาได้

สิ่งหนึ่งที่แน่นอนคือ ความร่วมมือนี้มีแนวโน้มที่จะทำให้ข้อโต้แย้งที่สนับสนุน OP_CAT delicate fork แข็งแกร่งขึ้นอีก เพื่อที่จะรวบรวมการใช้งานตัวตรวจสอบ Chen กล่าวว่าเขาต้องพัฒนากรอบงานที่เชื่อถือได้สำหรับพันธสัญญาโดยใช้ CAT ซึ่งสามารถใช้ในการเน้นย้ำถึงความหลากหลายของข้อเสนอการปรับปรุงสคริปต์ เขาเชื่อว่านักพัฒนาคนอื่นๆ ในระบบนิเวศสามารถเล่นกับโค้ดของเขาและได้ข้อสรุปเดียวกับที่เขาทำเกี่ยวกับประโยชน์ของมัน

“ฉันไม่คิดว่าจะมีความเสี่ยงมากนักเมื่อเราพัฒนาวิธีปฏิบัติที่ดีที่สุดแล้ว ไม่มีสถานที่มากมายนักที่จะเกิดข้อผิดพลาด ตอนนี้เรามีการสาธิตที่ชัดเจนว่า OP_CAT สามารถปรับใช้กับโครงการพันธสัญญาต่างๆ ได้อย่างปลอดภัย”

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

เมื่อพิจารณาถึงประสบการณ์ที่ผ่านมา เฉินชี้ให้เห็นทันทีถึงความสำคัญของการสร้างสภาพแวดล้อมที่อุดมสมบูรณ์สำหรับนักพัฒนารายใหม่ที่เข้ามาในระบบนิเวศ เขาเชื่อว่านักพัฒนาที่มีความสามารถหลายคนกำลังละทิ้งโอกาสในการสร้าง Bitcoin เนื่องจากขาดวิสัยทัศน์ที่สอดคล้องกัน

“ขณะนี้ยังไม่มีทิศทางที่ชัดเจน ซึ่งทำให้ผู้มีส่วนร่วมรู้สึกสับสนเกี่ยวกับความสามารถของพวกเขาในการสร้างผลกระทบต่ออนาคต หวังว่าการเกิดขึ้นของเครื่องมือและพื้นฐานใหม่ๆ จะช่วยปรับปรุงสถานการณ์นี้เพื่อให้ผู้ที่เล่น Bitcoin กลับมามีความฝันอีกครั้ง”