StarkEx เป็นเครื่องจักรขยายของ Layer-2 ที่ทำงานอยู่บน Ethereum Mainnet บริษัท StarkWare ได้พัฒนา StarkEx หรือเครื่องจักรขยายสำหรับการแลกเปลี่ยนเงินดิจิทัล StarkEx ทำให้การแลกเปลี่ยนสามารถให้บริการการซื้อขายที่ไม่จำเป็นต้องเก็บเงินไว้ในปริมาณมาก ลดต้นทุนและมีความสามารถในการทำธุรกรรมที่สูง StarkEx รองรับ ETH ERC-20 และ ERC-721 ในปัจจุบัน และสามารถรองรับโทเคนบน blockchain ที่เข้ากันได้กับ EVM ได้อย่างง่าย

StarkEx คืออะไร?

StarkEx เป็นเฟรมเวิร์กที่อํานวยความสะดวกในการพัฒนาโซลูชันการปรับขนาดเฉพาะแอปพลิเคชันและได้รับอนุญาต StarkEx เป็นเครื่องมือที่ปรับขนาดได้ซึ่งออกแบบมาโดยเฉพาะเพื่อตอบสนองความต้องการเฉพาะของแอปพลิเคชันรวมถึงการเล่นเกมและ DeFi StarkEx เป็นเครื่องมือปรับขนาด Validium L2 บนเมนเน็ต Ethereum ที่ได้รับการปรับแต่งเพื่อรองรับ Dapps ที่ได้รับอนุญาตเฉพาะ โครงการเช่น dYdX, ImmutableX, DeversiFi และผู้ทํางานร่วมกันอื่น ๆ อีกมากมายใช้มันเพื่อปรับใช้ความคิดของพวกเขาเป็นหลักสําหรับกรณีการใช้งานการซื้อขาย โปรโตคอลส่วนใหญ่สร้างขึ้นบน L2 เฉพาะนี้ซึ่งรับผิดชอบการสร้างปริมาณการซื้อขายจริงและการทําธุรกรรม StarkEx แนะนําการซื้อขายแบบไม่ควบคุมที่ปรับขนาดได้ให้กับการแลกเปลี่ยนสกุลเงินดิจิทัลโดยใช้เทคโนโลยีการพิสูจน์ความรู้เป็นศูนย์ของ STARK

พื้นหลังของ StarkEx

StarkEx เป็นแพลตฟอร์มที่แก่แก่แล้วที่ได้รับการใช้งานบน Ethereum Mainnet ตั้งแต่มิถุนายน 2020 และถูกแนะนำในรูปแบบธุรกิจ SaaS มันเป็นผลิตภัณฑ์ของ Starkware, บริษัท ZK-rollup ที่ถูกก่อตั้งขึ้นในปี 2018 โดย Eli Ben-Sasson, Michael Riabzev, Uri Kolodny, และ Alessandro Chiesa Eli ร่วมประดิษฐาน STARK, FRI, และ Zerocash และเป็นนักวิทยาศาสตร์ผู้ก่อตั้ง Zcash เขาได้ศึกษาเรื่องการเข้ารหัสและพิสูจน์แสดงความถูกต้องของความสามารถในการคำนวณตั้งแต่ได้รับปริญญาเอกในวิทยาการคอมพิวเตอร์ทฤษฎีจากมหาวิทยาลัยฮีบรูในปี 2001

Uri Kolodny เป็นนักประกอบการสายล่าสุดที่ร่วมก่อตั้งบริษัทเทคโนโลยีหลายบริษัท เช่น OmniGuide และ Mondria Michael ร่วมก่อตั้ง StarkWare และพัฒนาและนำมาใช้ระบบ zk-STARK สำหรับความสามารถในการคำนวณที่ไม่เปิดเผย Alessandro ร่วมก่อตั้ง StarkWare ร่วมคิดค้นโปรโตคอล Zerocash และเขียน Libsnark เครื่องมือโอเพนซอร์สชั้นนำสำหรับพิสูจน์ความสามารถในการไม่เปิดเผยอย่างกระชับ

Starkware เป็นผู้บุกเบิกในการออกแบบ zero-knowledge-based rollup ตัวอย่างของการประยุกต์ใช้ที่ถูกนำไปใช้บน StarkEx ได้แก่ dYdX (การซื้อขายถาวร), Immutable และ Sorare (การสร้างและการซื้อขาย NFT), DeversiFi (การซื้อขาย spot), และ Celer (DeFi pooling) มีมากกว่า 50 ล้านธุรกรรม StarkEx ที่ได้รับการแก้ไขบน public และ private Ethereum testnets ก่อนการนำไปใช้บน Mainnet

ผลิตภัณฑ์ของ Starkware: StarEx, StarkNet และ ZK-STARK

STARKs (Scalable, Transparent Argument of Knowledge) เป็นระบบพิสูจน์ที่อํานวยความสะดวกในการตรวจสอบและการตรวจสอบการคํานวณ ช่วยให้สามารถประมวลผลการคํานวณที่กว้างขวางการสร้างหลักฐานเพื่อความถูกต้องของการคํานวณและการตรวจสอบหลักฐานในภายหลังในไม่กี่ขั้นตอน StarkWare นําเสนอสองโซลูชันสําหรับการปรับขนาด Ethereum ด้วย STARKs: StarkEx และ Starknet

StarkEx

StarkEx เป็นการแก้ปัญหาขนาด Ethereum ที่เป็นแอปพลิเคชันพิเศษที่ตั้งใจให้ลดต้นทุนและเพิ่มความเร็วของธุรกรรมสำหรับ dApps ที่ผนึกเข้ากัน เป็นทีม StarkWare ที่รับผิดชอบในการดูแล StarkEx ซึ่งเปิดตัวเมนเน็ตหลักในเดือนมิถุนายน 2563 StarkEx เพิ่มประสิทธิภาพของ Ethereum โดยรวมธุรกรรมหลาย ๆ รายการเข้าไปในบล็อกเดียวกัน ใช้เทคโนโลยีที่เรียกว่า zero-knowledge rollup ซึ่งให้หลักฐานทางคณิตศาสตร์ว่าธุรกรรมเป็นถูกต้อง ขึ้นอยู่กับความต้องการของแอปพลิเคชันที่เฉพาะเจาะจง StarkEx สามารถดำเนินการธุรกรรมได้ที่อัตรา 15,000 ถึง 50,000 ต่อวินาที (tps)

StarkNet

ทีม StarkWare ออกแบบ Starknet ซึ่งเปิดตัวเวอร์ชันอัลฟาของมันในเดือนพฤศจิกายน พ.ศ. 2564 ไม่เหมือนกับ StarkEx ซึ่ง Starknet อยู่นอกการดูแลของบุคลากร StarkWare Starknet เป็นหนึ่งในระบบปรับขนาดแบบกระจายสำหรับ Ethereum Layer 2 ซึ่งทำงานอย่างเปรียบเสมือนกับเครือข่ายสาธารณะ เช่น Ethereum โดยไม่ต้องขออนุญาต.

โดยใช้เทคโนโลยี zero-knowledge (zk) Starknet ช่วยเสริมประสบการณ์ของผู้ใช้บน Ethereum และลดค่าบริโภค โดยใช้ภาษาโปรแกรมเชื้อเพลิง Cairo โดยโปรโตคอลรองรับการแยกบัญชีเป็นคุณลักษณะที่น่าสังเกต ฟังก์ชันนี้ช่วยให้ผู้ใช้สามารถบริหารบัญชีของตนโดยใช้สัญญาอัจฉริยะ ระบบนิทาน Starknet ในปัจจุบันมีค่าล็อกคงทั่วไป (TVL) ทั้งหมด 251.95 ล้านดอลลาร์

StarkEx และ StarkNet

StarkEx และ Starknet ทั้งสองเป็น solu gate ที่เพิ่มความสามารถในการประมวลผลที่อิงอยู่บน STARK ทั้งคู่มีความสามารถในการประมวลผลที่มีค่า gas ต่ำและมีความปลอดภัย อย่างไรก็ตาม รูปแบบการทำงานระหว่างอุปกรณ์และความต้องการในการทำงานแตกต่างกัน StarkEx อาจเป็น solu gate ที่เหมาะสมที่สุดสำหรับแอปพลิเคชันที่มีลักษณะเป็นอิสระเองโดยส่วนใหญ่และสอดคล้องกับ API ที่ StarkEx มีให้ Starknet อาจเหมาะสมกว่าสำหรับโปรโตคอลที่ต้องการการโต้ตอบแบบเพียงพอกับโปรโตคอลอื่น ๆ หรือมีความต้องการที่เกินกว่าที่ StarkEx มี

ในทวีความต่างกันกับ StarkEx ที่แอปพลิเคชันรับผิดชอบในการส่งธุรกรรม ซีเควนเซอร์ของ Starknet จะจัดกลุ่มธุรกรรมและส่งไปประมวลผลและตรวจสอบ (StarkWare ในปัจจุบันรับผิดชอบในการดำเนินการซีเควนเซอร์ของ Starknet เพื่อทำให้มีการกระจายในอนาคต) Starknet รองรับโหมดความสามารถในการใช้ข้อมูล rollup ซึ่งเกี่ยวข้องกับการเขียนสถานะของ rollup ไปยัง Ethereum พร้อมกับ STARK proofs

คุณสมบัติของ StarkEx

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

ความพร้อมของข้อมูล: Rollup, Validium

คุณสมบัตินี้ดำเนินการแบบนอกเชื่อมต่อบนเซ็นทรัลข้างเคียง เช่น StarkEx แทนที่การดำเนินการบนเชื่อมต่อ ดัง Optimistic Rollups ภายใต้โปรโตคอล Validium รูลอัพ ZK ลดเวลาการสะสมระหว่าง L1 และ L2 เป็นนาที ในขณะที่ Optimistic Rollup ใช้เวลาสัปดาห์

ความจงรักภักดี

StarkEx ไม่ จำกัด ผู้ใช้ ให้ เลือก ตัวเลือก ความ พร้อมใช้ ข้อมูล ที่ ระบบ มี ให้ แบ่ง ออก เป็น 2 ตัวเลือก (Rollups หรือ Validium) เพื่อ ดำเนินการ ธุรกรรม ที่ ปรับ ให้ เข้ากับ ความ ต้องการ ด้าน ความ ปลอดภัย และ ค่า ธรรมเนียม แก๊ส ของ พวกเขา

มากมาย

ความสำคัญของความสามารถในการขยายของ StarkEx อยู่ที่การจัดสรรการคำนวณที่ไม่สมมาตรระหว่าง Prover นอกเครือข่ายและ Verifier ในเครือข่าย Prover นอกเครือข่ายจัดการกับแบทช์ของธุรกรรมที่หลากหลายและสร้าง STARK proof Verifier ในเครือข่ายประเมินค่า STARK proof ผ่านกระบวนการคำนวณชุดหลายรายการ นี้ส่งเสริมการขยายอยู่นอกเครือข่ายอย่างกว้างขวาง ที่เราดำเนินการคำนวณที่สำคัญมาก และความสอดคล้องของข้อมูลเหล่านั้นจะถูกยึดมั่นในเครือข่ายด้วยความต้องการการประมวลผลที่ต่ำที่สุด

การเก็บรักษาเอง

StarkEx ช่วยให้แอปพลิเคชันที่ไม่ต้องใช้บริการเก็บรักษาเองและใช้วิธีการป้องกันการเซ็นเซอร์ชิปขั้นสูงเพื่อรับประกันว่าสินทรัพย์ของผู้ใช้จะยังคงเป็นของตนเองอย่างต่อเนื่อง

ZK-STARK

ZK-STARK หมายถึง Zero-Knowledge Scalable Transparent Argument of Knowledge บริษัท StarkWare ได้พัฒนา ZK-STARKs ซึ่งใช้พีชคณิตทันสมัยและพิสูจน์คริปโตใหม่เพื่อปกป้องความเป็นส่วนตัวและความสมบูรณ์ของการคำนวณบล็อกเชน ZK-STARKs ช่วยให้บล็อกเชนสามารถส่งการคำนวณไปยัง STARK prover ภายนอกเพียงคนเดียว ซึ่งใช้ STARK Verifier บนเชนเพื่อตรวจสอบความสมบูรณ์ของการคำนวณเหล่านั้น

ประโยชน์ของ ZK-STARK

ZK-STARKs มีประโยชน์ที่เป็นเอกลักษณ์

Scalable

ZK-STARKs แสดงให้เห็นถึงการสร้างพิสูจน์และการตรวจสอบที่รวดเร็วกว่าสำหรับขนาดพยานที่ใหญ่ขึ้น ความสามารถในการขยายของ zk-STARK ขึ้นอยู่กับสามปัจจัยสำคัญ:

• ความซับซ้อนของผู้พิสูจน์
• ความซับซ้อนของผู้ตรวจสอบ
• ความซับซ้อนของการสื่อสาร

มิติเหล่านี้และปัจจัยอื่น ๆ ร่วมกันกําหนดประสิทธิภาพและจังหวะการทํางานของ zk-STARK ทรัพยากรการคํานวณและเวลาที่จําเป็นสําหรับผู้พิสูจน์ในการสร้างหลักฐานเรียกว่าความซับซ้อนของการพิสูจน์ ความซับซ้อนของผู้ตรวจสอบคือระยะเวลาและทรัพยากรการคํานวณที่จําเป็นสําหรับผู้ตรวจสอบในการตรวจสอบความถูกต้องของหลักฐานของผู้พิสูจน์ ความซับซ้อนในการสื่อสารคือปริมาณข้อมูลที่แลกเปลี่ยนระหว่างผู้พิสูจน์และผู้ตรวจสอบระหว่างการตรวจสอบหลักฐาน ZK-STARK มีวัตถุประสงค์เพื่อให้ง่ายในแง่ของการสื่อสาร

โปร่งใส

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

ความปลอดภัยหลังจากควอนตัม

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

STRK คือโทเค็นอะไร

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

โดยเริ่มต้นค่าธรรมเนียมของ Starknet จะต้องจ่ายเป็น Ether (ETH) เพื่อใช้ STRK เป็นค่าธรรมเนียมการทำธุรกรรม STRK และ ETH เป็นวิธีการชำระค่าธรรมเนียมการทำธุรกรรมของเครือข่ายในปัจจุบัน ตัวรับของ sequencer จะแปลงส่วนหนึ่งของค่าธรรมเนียมที่จ่ายด้วย STRK เป็น ETH เพื่อครอบคลุมค่า gas ของ Ethereum L1 ค่าใช้จ่ายเหล่านี้จำเป็นต้องจ่ายด้วย ETH เนื่องจากคำแนะนำของโปรโตคอลของ Ethereum

เนื่องจากมีการนำเสนอกลไกการฝากเงิน (staking) ผู้ใช้สามารถรักษาโทเค็น STRK เพื่อสนับสนุนการดำเนินงานของเครือข่ายและรับรางวัลได้ หากต้องการให้มีการฝากเงิน (staking) เพื่อใช้บริการบางอย่างที่เป็นสิ่งจำเป็นต่อความปลอดภัยและความสามารถของ Starknet จำเป็นต้องฝาก STRK ให้เพียงพอ บริการหลายรูปแบบสำหรับการลำดับลำดับ การจัดหาข้อมูลที่มีอยู่ การพิสูจน์ STARK และข้อตกลงเวลา L2 ชั่วคราวอาจมีก่อน L1 finality

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

การระดมทุนและนักลงทุน

StarkNet มีนักลงทุน 33 รายรวมถึง Sequoia Capital และ Paradigm ในฐานะนักลงทุนหลัก นักลงทุนที่มีชื่อเสียงอื่น ๆ ได้แก่ Tiger Global, Greenoaks, Coatue, Multicoin Capital, Vitalik Buterin, ConsenSys และ Polychain Capital จนถึงปัจจุบัน StarkNet ได้ระดมทุนได้มากกว่า 250 ล้านดอลลาร์ บริษัทระดมทุนได้ 100 ล้านดอลลาร์ในเดือนพฤษภาคม 2022 โดยเพิ่มมูลค่าเป็น 8 พันล้านดอลลาร์จาก 2 พันล้านดอลลาร์ Sequoia Capital เป็นผู้นําในรอบนี้ นําหน้าด้วยรอบการระดมทุน Series C มูลค่า 50 ล้านดอลลาร์ซึ่งนําโดย Alameda Research and Founders Fund ในเดือนพฤศจิกายน 2021 DVCV และ Wing VC เป็นผู้นํารอบการระดมทุน Series B ของ StarkNet เมื่อวันที่ 24 มีนาคม พ.ศ. 2021 ซึ่งส่งผลให้มีการลงทุน 75 ล้านดอลลาร์ StarkNet ได้รับเงิน 30 ล้านดอลลาร์ในรอบ Series A ในเดือนกันยายน 2018 โดยมี Paradigm เป็นนักลงทุนหลัก

การกระจายและการจัดหา

StarkWare สร้างโทเค็น Starknet จำนวน 10 พันล้านโทเค็นในเดือนพฤษภาคม พ.ศ. 2565 และทำการพิมพ์บนบล็อกเชนในวันที่ 30 พฤศจิกายน พ.ศ. 2565 การกระจายโทเค็น 10 พันล้านโทเค็นที่มีอยู่ในปัจจุบันนี้ได้ผ่านหรือกำลังจะผ่านดังนี้:

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

• เริ่มตั้งแต่ 15 เมษายน 2024 จะปลดล็อกสูงสุด 0.64% (64 ล้านโทเค็น) เมื่อวันที่ 15 ของทุกเดือนจนถึง 15 มีนาคม 2025 โดยรวมทั้งหมด 7.68% (768 ล้านโทเค็น)
• เริ่มตั้งแต่วันที่ 15 เมษายน 2025 เป็นต้นไป จะปลดล็อกได้สูงสุด 1.27% (127 ล้านโทเค็น) ในวันที่ 15 ของแต่ละเดือนจนถึงวันที่ 15 มีนาคม 2027 รวมกันทั้งหมด 30.48% (3.048 พันล้านโทเคน)

StarkEx ทำงานอย่างไร?

StarkEx เป็นเครื่องมือที่ปรับขนาดได้ซึ่งออกแบบมาโดยเฉพาะเพื่อตอบสนองความต้องการเฉพาะของแอปพลิเคชันรวมถึงการเล่นเกมและ DeFi มีสองวิธีที่แตกต่างกันสําหรับการใช้โซลูชันเลเยอร์สอง: ZK -Rollup หรือความพร้อมใช้งานของข้อมูล Validium เมื่อ StarkEx อยู่ใน "โหมดสะสม" Ethereum จะได้รับการอัปเดตเพื่อแสดงการเปลี่ยนแปลงในยอดคงเหลือของผู้ใช้ ข้อมูลจะถูกเผยแพร่ในโหมด "validium" ไปยังคณะกรรมการความพร้อมใช้งานของข้อมูล (DAC) ซึ่งเป็นกลุ่มผู้ดูแลระบบที่เชื่อถือได้ ส่วนประกอบภายนอกและส่วนประกอบแบบ on-chain ประกอบด้วยระบบนี้ คอมโพเนนต์ภายนอกหรือนอกสายโซ่รักษาสถานะดําเนินการธุรกรรมและส่งการอัปเดตสถานะไปยังคอมโพเนนต์ on-chain นอกจากนี้ส่วนประกอบนี้มีหน้าที่รับผิดชอบต่อสถานะและทรัพย์สินของระบบและการถ่ายโอนการยืนยัน ต่อไปนี้เป็นขั้นตอนที่ StarkEx ใช้:

การตรวจสอบ

ผู้ประกอบการ (เช่น แลกเปลี่ยน) ประมวลผลธุรกรรมผู้ใช้ที่ถูกส่งไปยังบริการ StarkEx StartEx ตรวจสอบธุรกรรมในสองขั้นตอน: การตรวจสอบต่อเนื่องและการตรวจสอบแบบไร้สถานะแบบพรรคเช่นช่วงค่าและรูปแบบ ความล่าช้าในการตอบสนองคือ 100-200 มิลลิวินาทีสำหรับสูงสุด 1,000 ธุรกรรมที่ส่งไปพร้อมกัน

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

Batching

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

สร้างพิสูจน์

บริการ StarkEx สร้างพิสูจน์ STARK ที่รับรองถึงความถูกต้องของธุรกรรมในชุดและส่งมันบนเชื่อมโยงหลังจากที่ชุดธุรกรรม

การตรวจสอบบนโซ่บล็อก

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

StarkEx Application และความสามารถในการเข้าถึงข้อมูล

StarkEx มอบแอปพลิเคชันให้กับนักพัฒนาเพื่อรวม StarkEx ของตนเองเข้ากับแอปพลิเคชันของตน StarkEx ได้รับการว่าจ้างจากผู้เล่นในอุตสาหกรรมที่มีชื่อเสียง รวมถึง Sorare, Dydx, Immutable X, Opera และ DeversiFi เมื่อนักพัฒนาเริ่มทํางานกับ StarkEx พวกเขาจะได้รับสัญญา L1 StarkEx และอินสแตนซ์ StarkEx บน testnet อย่างไรก็ตามผู้ใช้ต้องตระหนักว่าพวกเขาสามารถเรียกคืนเงินได้ตลอดเวลาหากแอปพลิเคชันทํางานไม่ถูกต้องและพวกเขาสามารถควบคุมเงินของพวกเขาได้

ด้วยเหตุนี้ StarkEx จึงมีแนวทางที่แตกต่างกันสองวิธีสําหรับการใช้โซลูชันเลเยอร์สอง: ZK -Rollup หรือความพร้อมใช้งานของข้อมูล Validium แอปพลิเคชัน StarkEx ต้องรักษาความพร้อมใช้งานของข้อมูลผู้ใช้อย่างต่อเนื่องเพื่อให้แน่ใจว่ามีการดูแลตนเองความซ้ําซ้อนและความน่าเชื่อถือ ความพร้อมใช้งานของข้อมูลรับประกันว่าสถานะที่เก็บไว้ในห้องนิรภัยของผู้ใช้จะซิงค์กับรัฐที่ดูแลโดย StarkEx อย่างสมบูรณ์และแผนผังยอดคงเหลือที่สมบูรณ์สามารถเข้าถึงได้ตลอดไปเพื่อให้แน่ใจว่าผู้ใช้สามารถตรวจสอบการดูแลเงินสดได้หาก StarkEx หยุดทํางาน

โหมดความพร้อมใช้ข้อมูล

StarkEx รองรับโหมดความพร้อมข้อมูลต่อไปนี้: ZK-Rollup และ Validium ซึ่ง StarkEx Perpetual และ StarkEx Spot รองรับ โหมด Volition ซึ่งอนุญาตให้ใช้งานทั้ง ZK-Rollup และ Validium vaults ภายในแอปพลิเคชันของคุณ ทำให้ผู้ใช้สามารถเลือกช่วงโกดสำหรับแต่ละสินทรัพย์ที่พวกเขาครอบครอง และยังอนุญาตให้เก็บข้อมูล อย่างไรก็ตาม มันไม่ได้เป็นที่นิยมเท่ากับตัวเลือกก่อนหน้า โดยที่ StarkEx Spot รองรับอย่างเดียว

Zero-Knowledge Rollups

Zero-knowledge rollups, หรือ ZK-rollups, ใช้กาพย์วิทยาและคณิตศาสตร์ขั้นสูงที่เรียกว่า “zero-knowledge proofs” เพื่อยืนยันความถูกต้องของแต่ละธุรกรรม ZK rollups เป็นตัวเลือกที่น่าสนใจสำหรับการขยายขอบของ Ethereum ในหมวดของนักสนับสนุนการกระจายอำนาจและความปลอดภัย StarkEx และ zkSync เป็นตัวอย่างของ Layer 2 solutions ที่ใช้ zero-knowledge rollups. ใน StarkEx ZK-Rollup, โปรแกรม Cairo รับประกันว่าข้อมูลที่จำเป็นสำหรับการสร้าง L2 balances Merkle Tree ถูกแจกจ่ายบนเชนเป็น calldata

ขณะที่ ZK-rollup กำลังเกิดขึ้น ผู้ดำเนินการจะสร้างการพิสูจน์ความถูกต้อง (SNARK หรือ STARK) สำหรับรูทของสถานะ ซึ่งแสดงให้เห็นว่าสมาร์ทคอนแทรกต์ rollup บน Ethereum ได้รับรูทของสถานะมาจากชุดธุรกรรมที่ถูกต้อง ซึ่งทำให้เป็นไปได้ที่ผู้ดำเนินการจะส่งรูทของสถานะที่ไม่ถูกต้อง ZK-rollups ใช้การพิสูจน์ความถูกต้องในรูปแบบสองแบบ คือ SNARK และ STARK ZK Sync, Scroll, และ Polygon ZkEVM ใช้ SNARKs ในขณะที่ StarkNet และ StarkEx ใช้ STARKS

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

Validium

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

ในทางตรงกันข้ามกับ ZK-rollups ซึ่งมีค่าธรรมเนียมก๊าซการชําระเงินสําหรับข้อมูล on-chain นั้นไม่จําเป็น ในระหว่างการอัปเดตสถานะ on-chain ก๊าซส่วนใหญ่จะถูกใช้ในการตรวจสอบหลักฐาน ข้อมูลยอดคงเหลือของผู้ใช้จะถูกเก็บไว้นอกเครือข่ายโดยคณะกรรมการของหน่วยงานที่เชื่อถือได้แทนที่จะเป็นแบบ on-chain ข้อเสียของตัวเลือกนี้คือการใช้ DAC จําเป็นต้องมีศรัทธาในสมาชิกคณะกรรมการ

เกี่ยวกับคณะกรรมการการให้ข้อมูล (Validium เท่านั้น)

DAC ประกอบด้วยกลุ่มบุคคลหรือองค์กร สมาชิก DAC ให้คํามั่นว่าจะส่งมอบความซ้ําซ้อนและความน่าเชื่อถือในการจัดเก็บข้อมูลสําหรับแอปพลิเคชันที่ขับเคลื่อนด้วย StarkEx เพื่อให้มั่นใจถึงความพร้อมใช้งานของข้อมูลอย่างต่อเนื่อง สมาชิก DAC เป็นบุคคลที่สามอิสระที่ยินยอมให้รับและรักษาการอัปเดตแต่ละรัฐในนามของผู้ให้บริการ สมาชิก DAC ให้คํามั่นว่าจะเผยแพร่การอัปเดตของรัฐแบบ on-chain หากผู้ให้บริการ (หรือ StarkWare) ออฟไลน์เพื่อให้แน่ใจว่าผู้ใช้สามารถเข้าถึงเงินทุนของตนได้อย่างสม่ําเสมอซึ่งเป็นสิ่งจําเป็นสําหรับการดูแลตนเอง DAC ประกอบด้วย Consensys, Chainstack, StarkWare และหน่วยงานที่มีชื่อเสียงอื่น ๆ อีกมากมาย

สรุป

StarkEx เป็นชุดเครื่องมือที่สำคัญที่โครงการสามารถใช้เพื่อบรรลุการคำนวณนอกเชือกที่มีคุ้มค่า โซลูชัน L2 นี้มีความยืดหยุ่นในการขยายขนาด ลดราคา gas และความปลอดภัย แต่ต้องการความต้องการดำเนินการและกรอบการทำงานร่วมกันที่แตกต่าง