ผู้แต่ง: StarkWare เรียบเรียง: Cointime.com 237

สรุป:

1. SHARP (SHARed Prover) สร้างหลักฐานของ STARK ที่รวบรวมโปรแกรมของไคโร เพื่อให้แอปพลิเคชันใด ๆ สามารถส่งธุรกรรมไปยังหลักฐานเดียวกันได้ คล้ายกับโมเดล "การเรียกรถร่วม" ของ UberPool ซึ่งหมายความว่าแม้แต่แอปพลิเคชันขนาดเล็กก็สามารถเข้าถึงความสามารถมากมายของส่วนขยาย STARK ได้

2. ตราบเท่าที่เขียนด้วยภาษาไคโร SHARP สามารถพิสูจน์ได้ ไม่ว่า dApp จะมีความหลากหลายเพียงใด บน Ethereum mainnet ธุรกรรมประมาณ 220,000 รายการได้รับการประมวลผลเป็นหลักฐานเดียว

3. การใช้ SHARP สำหรับการพิสูจน์ซ้ำสามารถประมวลผลและตรวจสอบการพิสูจน์ STARK หลายรายการพร้อมกันได้ ปรับปรุงความสามารถในการปรับขนาดและประสิทธิภาพ

4. ฟังก์ชันการปรับแต่งเลย์เอาต์ไดนามิกของ SHARP ที่กำลังจะมีขึ้นจะช่วยลดค่าเชื้อเพลิงลงได้ถึง 30%

ทัวร์ขยาย

การปรับขนาด Ethereum คือการเดินทาง เพื่อค้นหาโซลูชันที่ปรับปรุงความสามารถในการปรับขนาดให้ดียิ่งขึ้น จำเป็นต้องมีนวัตกรรมอย่างต่อเนื่อง ในเดือนมิถุนายน 2020 StarkWare ได้เปิดตัว StarkEx ซึ่งเป็นโซลูชันการขยายเลเยอร์ 2 แรกที่ใช้ STARK ในเดือนกันยายน 2020 ได้ประกาศเปิดตัว Cairo ซึ่งเป็นภาษาโปรแกรมภาษาแรกที่ออกแบบมาเพื่อประสิทธิภาพสูงสุดพร้อมการพิสูจน์ STARK ไคโรและการคำนวณแบบทั่วไปช่วยให้เป็นวิธีที่รวดเร็วและปลอดภัยในการเข้ารหัสตรรกะทางธุรกิจและพิสูจน์คำสั่งการคำนวณโดยพลการ ด้วยการเปิดตัวนวัตกรรมนี้ นักพัฒนากลุ่มใหม่ได้เข้าร่วมระบบนิเวศของ StarkWare

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

จากนั้น SHARP ก็มา

SHARP คืออะไร?

SHARP (SHARed Prover) เป็นระบบอันทรงพลังที่ออกแบบมาสำหรับการสร้างหลักฐาน STARK สำหรับโปรแกรมรวมไคโร ไคโร เป็นภาษาโปรแกรมคอมพิวเตอร์ที่ใช้งานทั่วไป สามารถรองรับรหัสลอจิกหลายรหัสในการพิสูจน์ครั้งเดียว SHARP ประมวลผลแบทช์ของธุรกรรมนอกเครือข่ายและตรวจสอบหลักฐานการคำนวณบนเชน ตัดจำหน่ายต้นทุนของธุรกรรมทั้งหมดเป็นหลักฐานเดียว การพิสูจน์ STARK แบบรวมที่สร้างขึ้นนั้นได้รับการตรวจสอบโดยสัญญาการตรวจสอบ Solidity บนเครือข่าย ทำให้ SHARP สามารถเพิ่มปริมาณงาน ลดต้นทุนก๊าซ และลดเวลาแฝงให้เหลือน้อยที่สุด

ตัวอย่างเช่น SHARP สามารถจัดการกับรหัสไคโรจากโปรแกรมและตรรกะที่แตกต่างกันโดยสิ้นเชิง แม้กระทั่งรวมถึง NFT minting และระบบปฏิบัติการเครือข่าย Starknet หากเป็นรหัสไคโร SHARP สามารถพิสูจน์ได้และสามารถรวมหลายโปรแกรมเข้าเป็นหนึ่งเดียว ประสิทธิภาพที่เกิดจาก SHARP หมายถึงความสามารถในการรวมธุรกรรมหลายพันรายการไว้เป็นหลักฐานเดียวบน mainnet ต้นทุนของการประมวลผลหลักฐานบนเชนจะถูกตัดจำหน่ายสำหรับธุรกรรมทั้งหมดในแบทช์ ดังนั้นยิ่งรวมธุรกรรมมากเท่าไหร่ ค่าธรรมเนียมก๊าซต่อธุรกรรมก็จะยิ่งต่ำลงเท่านั้น

ลองแสดงแนวคิดนี้ด้วยตัวอย่าง:

ลองอธิบายแนวคิดนี้ด้วยตัวอย่าง:

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

อย่างไรก็ตาม ภาวะที่กลืนไม่เข้าคายไม่ออกเกิดขึ้นที่ที่ทำการไปรษณีย์ ไม่มีลังขนาดเล็กหรือขนาดกลางให้เลือก เหลือเพียงลังสากลขนาดใหญ่เท่านั้น สิ่งนี้มีสองตัวเลือก:

ตัวเลือกที่ 1: สินค้าแต่ละชิ้นบรรจุแยกกันและจัดส่งเมื่อเดินทางมาถึง แม้ว่าการดำเนินการนี้อาจทำให้การจัดส่งของขวัญชิ้นเดียวเร็วขึ้น แต่การทำงานพิเศษเพื่อบรรจุหีบห่อแยกกัน 3 ชุดและการเดินทางไปที่ทำการไปรษณีย์ 3 ครั้งเพื่อส่งพัสดุ 3 ชุดแยกกัน ด้วยเหตุนี้ วิธีการนี้จึงไม่ประหยัดเวลาและไม่คุ้มทุน

ตัวเลือกที่ 2: แพ็คทุกอย่างเข้าด้วยกันแล้วส่งในกล่องใหญ่ใบเดียว ซึ่งหมายความว่าคุณต้องจัดการกับลังเดียวแทนที่จะเป็นสามลัง

ในตัวอย่างนี้ SHARP เป็นตัวเลือกที่ 2 ช่วยให้ใช้ทรัพยากรได้อย่างมีประสิทธิภาพและจัดการเวลาได้ราบรื่นขึ้น

คม

แม้ว่า SHARP ได้รับการออกแบบมาสำหรับระบบนิเวศของ StarkWare แต่ก็สามารถรับรองโปรแกรมไคโรใดๆ ที่มีการดำเนินการที่ถูกต้อง ประสิทธิภาพในการประหยัดเวลาและค่าใช้จ่ายทำให้ SHARP เป็นทางออกสำหรับทุกปัญหาที่ต้องใช้วิธีการพิสูจน์ที่เป็นนวัตกรรมใหม่

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

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

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

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

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

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

ขั้นตอนต่อไป: เค้าโครงแบบไดนามิก

ขณะนี้ทีมของเรากำลังพัฒนาเลย์เอาต์แบบไดนามิกเป็นฟีเจอร์แบบกำหนดเองถัดไปสำหรับบริการ SHARP ด้วยเลย์เอาต์แบบไดนามิก ผู้พิสูจน์จะคำนวณทรัพยากรที่จำเป็นตามตรรกะเฉพาะแต่ละอย่าง และสร้างการพิสูจน์ที่กำหนดเองตามนั้น

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

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

ด้วยการใช้พลังของการสร้าง recursive proof ที่ใช้ STARK อย่างเต็มที่ เทคโนโลยีนี้ช่วยปรับปรุงความสามารถในการปรับขนาดและประสิทธิภาพของเครือข่าย Ethereum ได้อย่างมาก