☯️ALEO (สัปดาห์ข่าว)| ความคุ้นเคยกับการตรวจสอบ ALEO, Testnet (3.2)

Nov 27 2022
สวัสดีเพื่อน ๆ สวัสดีทุกคน! ฉันยินดีต้อนรับคุณอย่างอบอุ่นเข้าสู่ช่องของฉัน ติดต่อคุณ Atlas

สวัสดีเพื่อน ๆ สวัสดีทุกคน! ฉันยินดีต้อนรับคุณอย่างอบอุ่นเข้าสู่ช่องของฉัน ติดต่อคุณ Atlas บทความในวันนี้จะอุทิศให้กับโครงการที่ไม่เหมือนใครและมีแนวโน้มที่ดีซึ่งได้รับการสนับสนุนมากมายทั้งจากฝั่งผู้ใช้และจากฝั่งของนักลงทุน และนี่คือAleo และเพื่อให้แม่นยำยิ่งขึ้นในประเด็นนี้

เราจะตรวจสอบข่าวสารล่าสุดเกี่ยวกับโครงการนี้ ฉันแนะนำให้คุณอ่านบทความนี้ให้จบ เพราะ: ข้อมูลนี้น่าสนใจและเชื่อถือได้ และคุณ ที่รัก เป็นคนแรกที่เรียนรู้เกี่ยวกับเรื่องนี้ งั้นไปกัน!

☯️คำขอจากทีมงาน:

เรายินดีที่จะประกาศขั้นตอนที่สองของ Aleo Testnet 3! ในรีลีสนี้ เราจะปรับใช้คุณสมบัติหลักหลายอย่างที่อธิบายไว้ในแผนงานดั้งเดิม ของเรา สำหรับ Testnet 3 เช่น การปรับใช้และการดำเนินการของโปรแกรมที่ผู้ใช้กำหนดเอง และปริศนาเพื่อขับเคลื่อนการพัฒนาฮาร์ดแวร์การตรวจสอบ zkSNARK

ดังนั้นเพื่อน ๆ ตอนนี้คุณเข้าใจแล้ว: การเปิดตัวจะค่อนข้างน่าสนใจ :)

หากต้องการเจาะลึกลงไปอีกเล็กน้อย ฉันขอแนะนำให้เริ่มต้นด้วยพื้นฐาน...

☯️ อเลโอ คืออะไร?

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

ทีม Aleo เข้าใจว่าในสถาปัตยกรรม (โปรแกรม) ของพวกเขาไม่ได้ถูกดำเนินการในสายโซ่ แต่ผู้ใช้รันโปรแกรมแบบออฟไลน์และโพสต์ zkSNARKs (การพิสูจน์แบบไม่มีความรู้สั้นๆ) ไปยังเชนที่พิสูจน์การดำเนินการที่ถูกต้องในลักษณะการรักษาความเป็นส่วนตัว

ขั้นตอนต่อไปที่ดำเนินการโดย chain คือการตรวจสอบการพิสูจน์แบบสั้นทีละครั้ง (อิสระ) ของรันไทม์ของโปรแกรม

แต่! หากทุกอย่างเรียบร้อยดี โครงการฯ จะเข้าจดทะเบียนในตลาดหลักทรัพย์แล้ว

แผนทำงานได้ดี 100% ยกเว้นข้อผิดพลาดเล็กน้อย:การสร้างหลักฐานการดำเนินการโปรแกรมที่ถูกต้องโดยไม่มีความรู้อาจมีราคาแพงกว่าการดำเนินการโปรแกรมโดยตรงหลายเท่า สำหรับแอปพลิเคชันที่มีประโยชน์มากมาย (เช่น การชำระเงิน) โอเวอร์เฮดนี้สามารถจัดการได้แม้ในขณะที่ตรวจสอบบนอุปกรณ์ทั่วไป เช่น โทรศัพท์มือถือหรือแล็ปท็อป

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

และนี่ก็ทำให้กรณีการใช้งานเหล่านี้ไม่สามารถบรรลุได้

แน่นอนว่าช่วงเวลานี้ไม่น่าพอใจ แต่ฉันจะทำต่อไปเพราะ:

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

ตัวอย่างเช่น:

​เช่น โปรเซสเซอร์ที่มีหลายคอร์, RAM จำนวนมาก หรือแม้แต่ฮาร์ดแวร์พิเศษสำหรับการตรวจสอบ

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

สมาชิก เราอยู่กับคุณด้วย เราจะลงลึกในรายละเอียดของรหัสนี้ให้ชัดเจนยิ่งขึ้น ดังนั้น…

☯️เกี่ยวกับปริศนา Coinbase?

‌ ปริศนา coinbaseเป็นเกมไขปริศนาพิสูจน์การทำงานที่ออกแบบมาเพื่อขับเคลื่อนการพัฒนาซอฟต์แวร์และฮาร์ดแวร์ที่เร็วขึ้นเพื่อสร้างการพิสูจน์ที่ไม่มีความรู้

นั่นคือ?

เพื่อให้บรรลุสิ่งนี้ ปริศนา coinbase ของเรามีคุณลักษณะเฉพาะสองประการ (ซึ่งเราจะมุ่งเน้นเป็นอันดับแรก)

คุณสมบัติเฉพาะ:

‌_Cryptographic_Function:

⚡️ไม่เหมือนกับ PoW แบบดั้งเดิมที่คุณพบใน Bitcoin หรือ Ethereum ปริศนาฐานเหรียญต้องการการสร้างขั้นตอนที่มีประสิทธิภาพสำหรับอัลกอริทึมที่ "มีประโยชน์" สำหรับส่วนประกอบย่อยหลักของการตรวจสอบ zkSNARK

‌ _Feature_Economy:

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

เพื่อน ๆ ตอนนี้เราต้องหันเหความสนใจไปที่การออกแบบตัวต่อ 100% เมื่อเทียบกับส่วนการเข้ารหัส ดังนั้น:

☯️การออกแบบปริศนา?

สิ่งแรกที่เราจะให้ความสนใจคือ: Quick zkSNARK Design Guide

⚡️เวลาในการสร้างการพิสูจน์ใน zkSNARKs สมัยใหม่นั้นถูกควบคุมโดยเวลาในการตรวจสอบส่วนประกอบย่อยสองส่วน: IOP แบบพหุนามและโครงร่างการผูกมัดแบบพหุนาม

นั่นคือปริศนา coinbase นี้กระตุ้นการเร่งความเร็วของส่วนประกอบย่อยเหล่านี้ได้อย่างมีประสิทธิภาพ

หากเราดูขั้นตอนโปรโตคอลซึ่งประกอบด้วยสองขั้นตอน เราจะสังเกตเห็น:

_ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _

(1) การสร้างโซลูชัน (Prover)

ในการสร้างตัวแปรของโซลูชัน ตัวตรวจสอบจะสร้าง (จากองค์ประกอบแบบครั้งเดียว) และคูณพหุนามแบบสุ่ม จากนั้นแก้ไขพหุนามของผลิตภัณฑ์ที่เป็นผลลัพธ์โดยใช้โครงร่างพหุนามคอมมิต (โครงร่าง KZG10 ในกรณีของเรา) ความมุ่งมั่นที่เป็นผลลัพธ์นี้จะถูกแฮช และหากแฮชนี้ตรงกับความซับซ้อนของเป้าหมาย มันจะเป็นโซลูชันที่ถูกต้องที่สามารถส่งไปยังผู้รวบรวม (พร้อมกับหลักฐานคะแนนเพื่อการรวมที่มีประสิทธิภาพ)

ถึงกระนั้นก็ตามปริศนาผลลัพธ์ประกอบด้วยองค์ประกอบกลุ่ม 2 รายการและองค์ประกอบฟิลด์ 1 รายการ ที่อยู่และ nonce และสามารถตรวจสอบได้ในการคูณและจับคู่ฟิลด์ D โดยที่ D คือระดับของพหุนามที่สร้างขึ้น

_ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _

(2) การรวมโซลูชันที่ถูกต้อง (ผู้นำ BFT)

แม้ว่าทุกคนจะสามารถตรวจสอบการไขปริศนาที่ถูกต้องได้ แต่การเพิ่มการไขปริศนาแต่ละข้อในห่วงโซ่จะเพิ่มสถานะ

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

เพื่อน ๆ หลังจากมีข้อมูลมากมายฉันเสนอที่จะสรุปทุกอย่าง ดังนั้น..

☯️บทสรุป:

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

จากสิ่งนี้ เป็นไปตามกลไกนี้ เราหวังว่าจะกระตุ้นระบบนิเวศการตรวจสอบที่แข็งแกร่งซึ่งจะเป็นประโยชน์ต่อผู้ใช้ Aleo ด้วยการลดค่าใช้จ่ายและเวลาแฝงของแอปพลิเคชัน (มันเจ๋งมาก เห็นด้วย)

​การ​สร้าง​กำลังใจ?

และสุดท้ายนี้ สำหรับคนไข้ที่อดทนที่สุด ฉันได้เตรียมข่าวดี เนื่องจากระยะนี้เครือข่ายการทดสอบจะได้รับการสนับสนุน และสิ่งนี้สามารถเป็นอะไรก็ได้ (ดังนั้นฉันแนะนำให้คุณผ่านเครือข่ายทดสอบนี้)

เพื่อน ๆ ฉันจะมีทุกอย่างเกี่ยวกับเรื่องนี้ ฉันดีใจที่ได้ให้บริการคุณ แล้วพบกันใหม่ในฉบับหน้า!

อเลโอ:

เว็บไซต์ | ทวิตเตอร์ | ไม่ลงรอยกัน | GitHub