สิ่งที่ต้องรู้เกี่ยวกับ AleoBFT – อัลกอริทึมที่สอดคล้องกันที่ทำให้ Aleo

• ภาพรวม
• สิ่งที่ต้องรู้เกี่ยวกับ AleoBFT - สถาปัตยกรรมไฮบริดใหม่สำหรับฉันทามติ
• AleoBFT รับประกันการสิ้นสุดทันทีสำหรับแต่ละบล็อก
• AleoBFT ช่วยให้มั่นใจว่าเครือข่ายยังคงกระจายอำนาจอย่างเต็มที่
• AleoBFT จูงใจให้ผู้ทดสอบปรับขนาดความสามารถในการพิสูจน��ได้ของระบบนิเวศ Aleo เมื่อเวลาผ่านไป
• AleoBFT โครงสร้างหลัก
• บทส่งท้าย

ปิดฉากปี 2565 บล็อกเชนสาธารณะความเป็นส่วนตัวทั่วไปที่ใช้ เทคโนโลยีZero-Knowledge Proofs Aleo ประสบความสำเร็จอย่างมากเมื่อระดมทุนได้ 200 ล้านดอลลาร์ ซึ่งเป็นหนึ่งในข้อตกลงการระดมทุน ไม่เพียงแค่นั้นAleoยังยกระดับกลยุทธ์การเข้าถึงผู้ใช้เมื่อเปิดตัวชุด Tesnet ที่สร้างแรงจูงใจ โปรแกรมและประสบความสำเร็จมากกว่า 1 พันล้าน Proofs ต่อวินาที ซึ่งสูงกว่าในปี 2021 ถึง 50,000 เท่า 

สำหรับภาพรวมที่ดีขึ้นของสิ่งที่ Aleo ประสบความสำเร็จในปี 2022 ผู้อ่านยังสามารถดูบทความ "มองย้อนกลับไปในปี 2022 ของ Aleo" บน TraderH4.com ในกรอบของบทความนี้ TraderH4 จะเจาะลึกลงไปในอัลกอริทึมที่เป็นเอกฉันท์ที่ทำให้ Aleo แตกต่างจากโครงการ Layer 1 อื่นๆ ในกลุ่มเดียวกัน

ภาพรวม

Aleo ประสบความสำเร็จมากขึ้นเนื่องจากมีบริษัทจำนวนมากใช้ zkSNARK ในแอปพลิเคชันของตน เนื่องจากการพิสูจน์อักษรเป็นเรื่องยาก การออกแบบของ Aleo จึงอนุญาตให้แอปพลิเคชันจ้างการพิสูจน์อักษรจากภายนอกไปยัง "บริการพิสูจน์อักษร" ของบุคคลที่สามซึ่งใช้ฮาร์ดแวร์และซอฟต์แวร์พิเศษเพื่อจัดการกับการคำนวณ zkSNARK เร็วกว่า ถูกกว่า และมีประสิทธิภาพมากกว่าที่นักพัฒนาแอปสามารถทำได้บน CPU พื้นฐานบางรุ่น . 

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

เพื่อให้การพิสูจน์ด้วยความรู้เป็นศูนย์กลายเป็นเรื่องธรรมดาและเพื่อให้ Aleo ประสบความสำเร็จ zkSNARK จำเป็นต้องเผยแพร่ฮาร์ดแวร์ ซอฟต์แวร์ และความรู้ในการพิสูจน์อักษร zkSNARK และ Aleo ต่างก็ออกแบบกลไกฉันทามติและสนับสนุนการแข่งขัน ZPrize เพื่อพิสูจน์ 

การขุด PoW แบบดั้งเดิม เช่น Bitcoin ค่อนข้างเรียบง่าย และฮาร์ดแวร์เป็นสินค้าโภคภัณฑ์ นักขุดใช้ฟังก์ชัน SHA-256 บน ASIC และพยายามวางตำแหน่งตัวเองใกล้กับแหล่งพลังงานราคาถูกเพื่อเพิ่มผลกำไรสูงสุด ไม่มีวิธีที่สร้างสรรค์มากมายในการได้เปรียบ 

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

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

ดังนั้น Aleo จึงทำสองสิ่งเพื่อจำหน่ายส่วนเสริมพิสูจน์การทำงาน zkSNARK ของเขา: AleoBFT และ ZPrize ในส่วนนี้เราจะดำดิ่งสู่ AleoBFT 

ทุกสิ่งที่คุณต้องรู้เกี่ยวกับ AleoBFT – สถาปัตยกรรมไฮบริดใหม่สำหรับฉันทามติ

AleoBFT รวม Proof of Stake (PoS) และ Proof of Work (PoW) ประเภทหนึ่งที่เรียกว่า Proof of Succinct Work (ซึ่งเป็นส่วนย่อยของ Proof of Necessary Work)  

AleoBFT ได้รับการออกแบบมาเพื่อทำสามสิ่ง: รักษาความปลอดภัยของโปรโตคอล, ตรวจสอบให้แน่ใจว่ามีผู้ตรวจสอบที่มีประสบการณ์เพียงพอที่จะตอบสนองความต้องการในการแก้ปัญหาของ zkSNARK ของแอปพลิเคชัน, และสนับสนุนให้ผู้คนจำนวนมากขึ้นมีส่วนร่วมในการพิสูจน์ . มีประสิทธิภาพมากขึ้นและถูกกว่าของเครือข่าย 

ในระหว่าง Testnet 3 Aleo กล่าวว่าพวกเขาจะแปลงโมเดลที่สอดคล้องกันเป็นสถาปัตยกรรมแบบไฮบริดสำหรับผู้ตรวจสอบความถูกต้อง และนั่นคือ AleoBFT

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

AleoBFT รับประกันการสิ้นสุดทันทีสำหรับแต่ละบล็อก

ธุรกรรมจะได้รับการยืนยันหลังจากตัวตรวจสอบความถูกต้องสร้างและเข้าถึงฉันทามติสำหรับแต่ละบล็อก วิธีการนี้ช่วยแก้ปัญหาการฟอร์กสำหรับตัวตรวจสอบความถูกต้องและปรับปรุงความเสถียรของโหนด นอกจากนี้ยังสร้างประสบการณ์การใช้งานแอพที่ราบรื่นสำหรับนักพัฒนาบน Aleo และสำหรับผู้ใช้ สิ่งนี้ช่วยปรับปรุง UI/UX โดยเปิดใช้งานการยืนยันที่รวดเร็วในกระเป๋าเงิน เบราว์เซอร์ นักสำรวจ และแอพ ในที่สุด การรับประกันนี้ทำให้การทำงานร่วมกันกับระบบนิเวศอื่นๆ ง่ายขึ้นมาก

AleoBFT ช่วยให้มั่นใจว่าเครือข่ายยังคงกระจายอำนาจอย่างเต็มที่

ดังที่ Testnet 2 ชี้ให้เห็น การผลิตแบบบล็อกกลายเป็นศูนย์กลางอย่างมากหลังจากนักพิสูจน์อักษรจำนวนหนึ่งพัฒนาฮาร์ดแวร์พิเศษสำหรับการเข้ารหัสที่ไม่มีความรู้ ในขณะที่ ZPrize กำลังช่วยยกระดับสนามแข่งขัน ข้อเท็จจริงยังคงมีอยู่ว่าบางหน่วยงานจะครอบงำเครือข่าย ทำให้เสี่ยงต่อการรวมศูนย์และการเซ็นเซอร์สำหรับผู้ใช้

การใช้ AleoBFT ช่วยให้ Aleo แยกบทบาทของการผลิตบล็อกออกจากการสร้างฐานเหรียญได้ Validator มีหน้าที่สร้างบล็อค และ Validator สามารถคำนวณการพิสูจน์ในระดับที่ต้องการได้ AleoBFT ได้รับการออกแบบมาเพื่อจูงใจให้ผู้ตรวจสอบกลายเป็นผู้ตรวจสอบความถูกต้อง โดยเดิมพัน Aleo Credits อย่างน้อย 1 ล้านเครดิตบนเครือข่าย สิ่งนี้ทำให้มั่นใจได้ว่าผู้พิสูจน์อักษรสามารถรักษาการต่อต้านการเซ็นเซอร์ได้โดยการเป็นตัวแทนของผู้พิสูจน์อักษรทั้งหมดในฉันทามติ

AleoBFT จูงใจให้ผู้ทดสอบปรับขนาดความสามารถในการพิสูจน์ได้ของระบบนิเวศ Aleo เมื่อเวลาผ่านไป 

ใน AleoBFT ผู้พิสูจน์ชำระและสร้างหลักฐานของ coinbase (PoSW) บนเครือข่ายเพื่อแลกกับส่วนแบ่งของรางวัล coinbase ในแต่ละบล็อก ด้วยโมเดลใหม่นี้ ผู้พิสูจน์อักษรกำลังคำนวณส่วนประกอบย่อยหลักของการพิสูจน์ที่ไม่มีความรู้ คือการคูณหลายสเกลาร์ (MSM) และการแปลงฟูริเยร์อย่างรวดเร็ว (FFT) และรับเปอร์เซ็นต์ในการพิสูจน์จากรางวัลแต่ละบล็อก

สำหรับผู้พิสูจน์ AleoBFT ช่วยให้การทำงานของฮาร์ดแวร์ชิ้นใดก็ได้ในทุกขนาดเพื่อสร้างการพิสูจน์ที่ไม่มีความรู้โดยไม่ต้องแข่งขันเพื่อเอฟเฟกต์ "ผู้ชนะ - ผู้ชนะ" ในแต่ละกรณี บล็อค ดังนั้นจึงไม่เหมือนกับใน Testnet 2 กระบวนการนี้หมายความว่าแม้แต่ตัวตรวจสอบความถูกต้องที่ทำงานบนฮาร์ดแวร์เสมือนก็จะสามารถเข้าร่วมและรับรางวัลฐานเหรียญได้ รางวัลฐานเหรียญเหล่านี้ใช้ร่วมกันระหว่างผู้พิสูจน์และผู้ตรวจสอบเพื่อจูงใจผู้พิสูจน์ให้เป็นผู้ตรวจสอบเมื่อพวกเขาสะสมโทเค็นเมื่อเวลาผ่านไป เราเชื่อว่ากลไกใหม่เหล่านี้จะขยายเครือข่าย Aleo เพื่อให้ได้แนวคิดการพิสูจน์ที่ใหญ่ขึ้นมากสำหรับนักพัฒนาและผู้ใช้ Aleo ด้วยการจูงใจให้มีการแจกรางวัลที่กว้างขึ้นแก่ผู้เข้าร่วม

AleoBFT โครงสร้างหลัก

รายละเอียดเกี่ยวกับส่วน PoS ของ AleoBFT ยังคงมีการประกาศ แต่ทีมงานได้กล่าวว่าจะขึ้นอยู่กับ DiemBFT Aleo เขียนว่าชุดการพิสูจน์ไม่ได้สร้างบล็อกใน AleoBFT แต่อาจเป็น:

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

Ali Yahya ผู้ซึ่งศึกษาการเข้ารหัสภายใต้ Dan Boneh อธิบายให้ฉันฟังว่าทำไมการผสมผสานระหว่างทฤษฎีเกม (PoS) และแนวทางการเข้ารหัสลับ (PoSW) จึงมีความหมายอีกครั้ง อาลียะห์ยา พูดว่า:

“การยอมรับธุรกรรมที่รวมอยู่ คุณไม่สามารถทำการเข้ารหัสได้ ดังนั้นคุณต้องใช้วิธีทฤษฎีเกม เมื่อคุณมีธุรกรรมที่คุณต้องการดำเนินการตามลำดับ สิ่งอื่นๆ คือสิ่งที่คุณควรทำด้วยการเข้ารหัส” กล่าวอีกนัยหนึ่ง ให้ใช้การเข้ารหัสทุกครั้งที่ทำได้ และใช้ทฤษฎีเกมเมื่อคุณทำไม่ได้ 

ส่วนการพิสูจน์ของ AleoBFT ขึ้นอยู่กับอัลกอริทึมที่เป็นเอกฉันท์ดั้งเดิมของ Aleo ซึ่งก็คือ Proof of Succinct Work (PoSW) สิ่งที่สำคัญที่สุดที่ต้องทำความเข้าใจเกี่ยวกับ PoSW โดยเฉพาะอย่างยิ่งเมื่อ Ethereum และเครือข่ายใหม่หลีกเลี่ยงการใช้ Proof of Work ด้วยเหตุผลด้านสิ่งแวดล้อม นั่นคือ "การทำงาน" ใน Proof of Succinct Work นั้นมีประโยชน์จริงๆ ซึ่งแตกต่างจาก SHA -256 

ในความเป็นจริง PoSW อิงจาก Proof of Necessary Work ซึ่งเป็นแนวคิดที่เสนอโดย Assimakis Katis (ที่ปรึกษาของ Aleo ตั้งแต่เริ่มต้น) และ Joe Bonneau (ศิษย์เก่าของ Boneh อีกคน) ในปี 2020 ซึ่งการสร้าง Degree Proofs เป็นส่วนสำคัญของ PoW ที่ใช้ใน ฉันทามติของนากาโมโตะ สร้างหลักฐานที่มีประสิทธิภาพโดยใช้พลังงานที่อาจสูญเสียไปโดยเปล่าประโยชน์ หากคุณต้องการใช้พลังงานในการรักษาความปลอดภัยของบล็อกเชน ให้ใช้พลังงานนั้นในการพิสูจน์ Aleo จะทำสองวิธี:

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

ในพอดคาสต์ Zero Knowledge ฮาวเวิร์ดกล่าวว่า "เป้าหมายคือการสนับสนุนให้คนงานเหมืองพัฒนาฮาร์ดแวร์เร่งความเร็วสำหรับ SNARK เพื่อทำให้การคำนวณประเภทนี้กลายเป็นสินค้าและแพร่หลาย วิธีหนึ่งในการทำเช่นนั้นคือต้องแน่ใจว่านักขุดมีบางสิ่งที่ต้องพิสูจน์อยู่เสมอ

บทส่งท้าย

ด้านบนเป็นข้อมูลโดยละเอียดเกี่ยวกับอัลกอริทึมฉันทามติของ AleoBFT ที่ทำให้ Aleo แตกต่างจากโครงการบล็อกเชน Layer 1 อื่นๆ ในกลุ่มเดียวกัน หากต้องการทำความเข้าใจเพิ่มเติมเกี่ยวกับศักยภาพการพัฒนาของ Aleo โปรดอ่านบทความ "อัปเดตแผนงานในปี 2023 ของ Aleo" บนเว็บไซต์ของ TraderH4 

• ความคิดเห็นของผู้เชี่ยวชาญเกี่ยวกับสกุลเงินดิจิทัลที่เสถียรส่งผลต่อสกุลเงินดิจิทัลของจีนอย่างไร
• เพื่อเปลี่ยนแปลงวงการศิลปะ NFT ต้องการความปลอดภัยที่ดีกว่า