คำเตือนความเสี่ยง: ระวังความเสี่ยงจากการระดมทุนที่ผิดกฎหมายในนาม 'สกุลเงินเสมือน' 'บล็อกเชน' — จากห้าหน่วยงานรวมถึงคณะกรรมการกำกับดูแลการธนาคารและการประกันภัย
ข่าวสาร
ค้นพบ
ค้นหา
เข้าสู่ระบบ
简中
繁中
English
日本語
한국어
ภาษาไทย
Tiếng Việt
BTC
ETH
HTX
SOL
BNB
ดูตลาด
การตีความที่ครอบคลุมของ Starkware: การออกแบบพื้นฐาน ภาษาไคโร ทีม และแบบจำลองทางเศรษฐกิจ
IOBC Capital
特邀专栏作者
2022-10-31 11:30
บทความนี้มีประมาณ 7433 คำ การอ่านทั้งหมดใช้เวลาประมาณ 11 นาที
สตาร์คแวร์จะยังคงเป็นหนึ่งในคู่แข่งอันดับต้น ๆ ในวงจร Rollup

ในปัจจุบัน แนวโน้มการพัฒนาของ Ethereum มีแนวโน้มที่จะเป็นบล็อกเชนแบบโมดูลาร์มากขึ้นเรื่อยๆ

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

ชื่อระดับแรก

Rollup

ในบรรดาโซลูชันการขยายเลเยอร์ 2 นั้น Rollup ถือว่ามีแนวโน้มดีที่สุด

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

คำอธิบายโดยละเอียดของ Starkware: การออกแบบพื้นฐาน ภาษาไคโร แบบจำลองทีมและเศรษฐกิจ

มีรูปแบบการใช้งานสองแบบใน Rollup ได้แก่ Optimistic Rollup และ zk-Rollup ใน:

  1. การใช้ Rollup ในแง่ดีหลักฐานการฉ้อโกงขั้นแรกให้สันนิษฐานว่าธุรกรรมทั้งหมดที่อัปโหลดไปยังเชนหลักนั้นถูกกฎหมาย และกำหนดระยะเวลาท้าทายเพื่อให้ผู้ตรวจสอบเสนอหลักฐานเพื่อท้าทายธุรกรรมที่มีปัญหา เมื่อพฤติกรรมฉ้อฉลได้รับการยืนยัน ผู้ฉ้อโกงจะถูกลงโทษและผู้ท้าทายจะได้รับรางวัล

  2. ใช้ Zk-Rollupหลักฐานความถูกต้องธุรกรรมทั้งหมดได้รับการตรวจสอบและบรรจุภายใต้เชน และเมื่อธุรกรรมที่ตรวจสอบแล้วถูกส่งไปยังเชนหลัก จะมีการแนบหลักฐานที่ไม่มีความรู้เพื่อพิสูจน์ความถูกต้องของธุรกรรม ในคำพูดของ Uri CEO ของ StarkWare: "ให้ความสมบูรณ์ของการประมวลผลที่เชื่อถือได้ (computational Integrity) เป็นความสามารถดังกล่าว - แม้ว่าจะไม่มีใครดูแลคุณก็มั่นใจได้ว่าการคำนวณนั้นดำเนินการอย่างถูกต้อง" คล้ายกับ bit coin ในยุคแรกๆ แนวคิด.

คำอธิบายโดยละเอียดของ Starkware: การออกแบบพื้นฐาน ภาษาไคโร แบบจำลองทีมและเศรษฐกิจ

มีสามบทบาทหลักใน Rollup:

  • Sequencer:มีหน้าที่รับผิดชอบหลักในการรวบรวมธุรกรรมจากผู้ใช้ จัดเรียงและส่งผ่านราก Merkle ใหม่ไปยังสัญญาอัจฉริยะแบบสะสมของ Layer1 ซึ่งคล้ายกับนักขุด

  • Prover:รับผิดชอบในการคำนวณและตรวจสอบธุรกรรมทั้งหมด และสร้าง zk-proof เพื่อพิสูจน์ความถูกต้องของธุรกรรม

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

Optimistic Rollup เข้ากันได้กับ EVM โซลูชันทางเทคนิคนั้นครบกำหนดและนำไปใช้ตั้งแต่เนิ่นๆ สำหรับนักพัฒนา ค่าใช้จ่ายในการย้ายข้อมูลต่ำ ซึ่งหมายความว่าโครงการ Arbitrum และ Optimism มีส่วนแบ่งตลาดสูงสุดระหว่างการยกเลิก เนื่องจาก zk-Rollups เข้ากันไม่ได้กับ EVM ความยุ่งยากทางเทคนิคจึงค่อนข้างสูงและความคืบหน้าในการพัฒนาก็ช้า ในปัจจุบัน แอปพลิเคชันยังไม่ครอบคลุมเท่ากับการยกเลิกระบบ OP ที่สามารถมุ่งเน้นไปที่สัญญาอัจฉริยะ

คำอธิบายโดยละเอียดของ Starkware: การออกแบบพื้นฐาน ภาษาไคโร แบบจำลองทีมและเศรษฐกิจ

ถึงกระนั้น zk-Rollup ก็ยังมีข้อได้เปรียบหลายประการเหนือ Optimistic Rollup เช่น:

  1. ความสามารถในการปรับขนาดจะดีกว่าเนื่องจาก zk-Rollups ต้องการอัปโหลดข้อมูลไปยัง mainnet น้อยกว่า Optimistic Rollups เนื่องจากข้อมูลธุรกรรมที่ออกโดย zk-rollups ไปยัง chain นั้นได้รับการตรวจสอบและแนบมากับใบรับรองแล้ว ส่วนข้อมูลอื่นๆ จำเป็นต้องตรวจสอบใบรับรองโดยไม่ต้องยืนยันธุรกรรม ดังนั้นจึงไม่จำเป็นต้องอัปโหลดข้อมูลที่เกี่ยวข้องกับธุรกรรมการตรวจสอบ แต่เนื่องจาก Optimistic Rollups ต้องยอมรับความท้าทายในการพิสูจน์การฉ้อโกง ดังนั้นจึงจำเป็นต้องใส่ข้อมูลเหล่านี้ในห่วงโซ่ ในการใช้งานจริง ความสามารถของ zk-Rollup ในการปรับปรุงประสิทธิภาพคือประมาณสิบเท่าของ Optimistic Rollups

  2. เวลาสรุปธุรกรรมสั้นธุรกรรมที่เผยแพร่โดย zk-Rollups ไปยังเชนนั้นได้รับการยืนยันและแนบหลักฐานมาด้วย การตรวจสอบนั้นค่อนข้างเรียบง่าย และโดยปกติแล้วเวลาการตรวจสอบจะใช้เวลาประมาณ 10 นาที อย่างไรก็ตาม เนื่องจากความเสี่ยงของการฉ้อโกง ธุรกรรมที่ส่งโดย Optimistic Rollups จึงจำเป็นต้องมี เพื่อยอมรับความท้าทายในการพิสูจน์การฉ้อโกงกรอบเวลาของความท้าทายนี้คือประมาณ 1 สัปดาห์ ดังนั้นฟังก์ชันต่างๆ เช่น การถอนเงินทันทีจะไม่สามารถทำได้

  3. ความปลอดภัยที่มากขึ้นธุรกรรมที่อัปโหลดโดย zk-Rollups ได้รับการตรวจสอบและแนบหลักฐานมาด้วย และความเป็นไปได้ที่จะทำสิ่งชั่วร้ายนั้นมีน้อย เมื่อเปรียบเทียบกับ Optimistic Rollups ซึ่งอาจอัปโหลดธุรกรรมที่มีเนื้อหาหลอกลวง zk-Rollups มีความน่าเชื่อถือและความปลอดภัยของข้อมูลสูงกว่า

ชื่อระดับแรก

zk-SNARK และ zk-STARK

โครงการชั้นนำสองโครงการของระบบ zk ได้แก่ zksync และ Starkware ในหมู่พวกเขา zksync ใช้เทคโนโลยี zk-SNARK ในขณะที่ Starkware ใช้เทคโนโลยี zk-STARK

zk-SNARK เป็นตัวย่อของ Succinct Non-Interactive Proof และ zk-STARK เป็นตัวย่อของ Scalable Transparent Proof of Knowledge zk-SNARK ถือกำเนิดขึ้นเร็ว เทคโนโลยีนี้ค่อนข้างพัฒนาเต็มที่ และถูกนำมาใช้อย่างแพร่หลาย โครงการเหรียญความเป็นส่วนตัวในยุคแรก zcash ใช้เทคโนโลยี zk-SNARK zk-STARK ถือเป็นรุ่นปรับปรุงของ zk-SNARK ซึ่งใช้งานได้รวดเร็วและสะดวกยิ่งขึ้น โดยมีเป้าหมายเพื่อเพิ่มประสิทธิภาพ zk-SNARK และชดเชยข้อบกพร่องบางประการ

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

  1. ความสามารถในการปรับขนาดด้วยเทคโนโลยี zk-STARK เวลาที่ใช้ในการพิสูจน์จะอยู่ที่ขนาดการคำนวณแบบควอซิลิเนียร์และลอการิทึมโพลิโนเมียลในเวลาการตรวจสอบ ใน zk-SNARK ผู้พิสูจน์อาจเผชิญกับกระบวนการพิสูจน์ที่ซับซ้อนและมีราคาแพง และใช้เวลาในการตรวจสอบนานขึ้นตามลำดับ

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

  3. ความปลอดภัย.เนื่องจาก zk-STARK อาศัยฟังก์ชันแฮชสำหรับการเข้ารหัสแบบสมมาตร คุณลักษณะป้องกันการชนกันของฟังก์ชันแฮชทำให้สามารถต้านทานการโจมตีแบบควอนตัมได้

ชื่อระดับแรก

Starkware

ชื่อเรื่องรอง

หลักการทำงาน

ขั้นตอนการทำงานของผลิตภัณฑ์ซีรีย์ Starkware แสดงในรูปด้านล่าง:

คำอธิบายโดยละเอียดของ Starkware: การออกแบบพื้นฐาน ภาษาไคโร แบบจำลองทีมและเศรษฐกิจ

ยกตัวอย่าง StarkEx เวิร์กโฟลว์ของ StarkNet นั้นคล้ายคลึงกันโดยประมาณ

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

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

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

  4. SHARP ส่งหลักฐาน Stark ไปปรับใช้ในตัวตรวจสอบบนเลเยอร์ 1ตรวจสอบโดย Verifier;

  5. StarkEx Service จะส่งธุรกรรมการอัปเดตสถานะแบบออนไลน์ไปที่สัญญาอัจฉริยะของ StarkNet ปรับใช้บนเลเยอร์ 1ผลิตภัณฑ์

ผลิตภัณฑ์

ปัจจุบัน Starkware มีผลิตภัณฑ์ 2 รายการ ได้แก่:


  • StarkExให้ใบสมัครด้วยบริการ ToB ที่กำหนดเองแอปพลิเคชันที่ทำงานบน StarkEx สามารถปรับแต่งตรรกะทางธุรกิจได้ StarkEx ให้บริการแอปพลิเคชันต่างๆ เช่น Defi และเกม ซึ่งสามารถเพิ่มความเร็วในการทำธุรกรรมและลดค่าใช้จ่ายในการทำธุรกรรม นอกจากนี้ยังสามารถบรรลุความพร้อมใช้งานของข้อมูลผ่าน ZK-Rollup หรือ Validium

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

คำอธิบายโดยละเอียดของ Starkware: การออกแบบพื้นฐาน ภาษาไคโร แบบจำลองทีมและเศรษฐกิจ

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

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

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

ชื่อเรื่องรอง

Roadmap

StarkNet เคยเผยแพร่แผนงานในบล็อกของพวกเขา และระบุว่าพวกเขาจะบรรลุการกระจายอำนาจอย่างค่อยเป็นค่อยไป

คำอธิบายโดยละเอียดของ Starkware: การออกแบบพื้นฐาน ภาษาไคโร แบบจำลองทีมและเศรษฐกิจ

ในวิสัยทัศน์ กระบวนการสร้างทีม StarkNet ประกอบด้วยสี่ขั้นตอน ได้แก่:

  • ขั้นตอนที่ 0--โครงสร้างพื้นฐาน

  • ขั้นตอนที่ 1--Planets: โอเปอเรเตอร์รายเดียว การยกเลิกแอปเดียว

  • ขั้นตอนที่ 2--กลุ่มดาว: โอเปอเรเตอร์รายเดียว การรวมแอปหลายรายการ

  • ขั้นตอนที่ 3--Universe: โอเปอเรเตอร์แบบกระจายศูนย์ การรวบรวมแอพหลายตัว

ในขั้นตอนที่ 1 มีเพียงแอปพลิเคชันเดียวเท่านั้นที่ทำงานบนอินสแตนซ์ของ StarkNet (หนึ่งการยกเลิก) และนักพัฒนามุ่งเน้นไปที่วิธีการใช้ตรรกะทางธุรกิจของตนเองบนเครือข่ายที่ขยายของ StarkNet

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

ชื่อเรื่องรอง

ภาษาไคโร

ไคโร (CPU Algebraic Intermediate Representation, CPU Algebraic Intermediary Code) เป็นภาษาโปรแกรมทัวริงที่สมบูรณ์ซึ่งใช้โดย Starkware เพื่อสร้างการพิสูจน์ STARK สำหรับการคำนวณทั่วไปนักพัฒนาแอปพลิเคชันสามารถใช้ไคโรเพื่อกำหนดตรรกะทางธุรกิจใดๆ และดำเนินการพิสูจน์แบบออฟไลน์และการตรวจสอบแบบออนไลน์ไม่จำเป็นต้องสร้างวงจรที่ซับซ้อนหรือ AIR (Algebraic Intermediate Code) ด้วยตนเอง

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

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

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

ทีมงาน Starkware ขอนำเสนอไคโรส์บริการตรวจพิสูจน์ทั่วไป (GPS)นักพัฒนาสามารถใช้บริการนี้เพื่อสร้างแอปพลิเคชันของตนเองในภาษาไคโร พวกเขาสามารถส่งรหัสไคโรของตัวเองที่มีตรรกะทางธุรกิจไปยัง GPS เพื่อพิสูจน์และตรวจสอบบนเครือข่าย

ชื่อเรื่องรอง

ทีมงานและการเงิน

ทีมของ Starkware มาจากอิสราเอลและสมาชิกหลักคือวิทยาการคอมพิวเตอร์และนักพัฒนาการเข้ารหัสที่มีพื้นเพมาจาก Hebrew University และ Technion-Israel Institute of Technology อาจกล่าวได้ว่าเป็นทีมงานที่แข็งแกร่งที่สุดในด้านการพิสูจน์ความรู้เป็นศูนย์

ดังที่เห็นได้จากเว็บไซต์อย่างเป็นทางการของ Starkware ปัจจุบันทีมมีสมาชิก 77 คน พร้อมด้วยที่ปรึกษาประจำวิชา 7 คน และที่ปรึกษาอีก 5 คน สมาชิกหลัก ได้แก่ :

  • Eli Ben-Sasson: ผู้ร่วมก่อตั้งและหัวหน้านักวิทยาศาสตร์, PhD in Theoretical Computer Science จาก Hebrew University, มีส่วนร่วมในการวิจัยเกี่ยวกับความสมบูรณ์ของการคำนวณ, การเข้ารหัสและการพิสูจน์ที่ไม่มีความรู้มาเป็นเวลานาน ศาสตราจารย์ด้านวิทยาการคอมพิวเตอร์ที่ Technion-Israel Institute of Technology นักวิทยาศาสตร์ผู้ก่อตั้ง Zcash ผู้ประดิษฐ์ zkSNARK และ zkSTARK

  • Uri Kolodny: ผู้ร่วมก่อตั้งและซีอีโอ ปริญญาตรีวิทยาการคอมพิวเตอร์จากมหาวิทยาลัยฮิบรู เป็นผู้ประกอบการต่อเนื่องที่มีประสบการณ์ทางธุรกิจมากมายและความร่วมมือที่ดี

  • Alessandro Chiesa: ผู้ร่วมก่อตั้งและหัวหน้านักวิทยาศาสตร์ ศาสตราจารย์ด้านวิทยาการคอมพิวเตอร์ที่ UC Berkeley นักวิทยาศาสตร์ผู้ก่อตั้ง Zcash ผู้ร่วมประดิษฐ์ zk-SNARK และผู้พัฒนาหลักของ libsnark ไลบรารีโอเพ่นซอร์สชั้นนำสำหรับการพิสูจน์ความรู้ที่ไม่มีความรู้โดยสังเขป

  • Michael Riabzev: ผู้ร่วมก่อตั้งและหัวหน้าสถาปนิก Doctor of Israel Institute of Technology ทำงานใน Intel และ IBM

  • Oren Katz: รองประธานฝ่ายวิศวกรรม จบการศึกษาจาก Hebrew University สาขาวิทยาการคอมพิวเตอร์ MBA จาก Tel Aviv University วิศวกรอาวุโสที่มีประสบการณ์ 20 ปี

ในแง่ของการจัดหาเงินทุน StarkWare ได้เปิดเผยการจัดหาเงินทุนทั้งหมด 7 รอบ ซึ่งเกี่ยวข้องกับการลงทุน 45 รายการเปิดเผยการจัดหาเงินทุน 273 ล้านดอลลาร์ในปี 2565การประเมินมูลค่าทางการเงินรอบ D อยู่ที่ 7.9 พันล้านดอลลาร์สหรัฐแบบจำลองทางเศรษฐกิจ

แบบจำลองทางเศรษฐกิจ

Starkware เปิดตัวโมเดลเศรษฐกิจโทเค็นในบล็อกโพสต์เมื่อกลางเดือนกรกฎาคมของปีนี้ เดิมทีมีแผนจะออกโทเค็นในเดือนกันยายน แต่ภายหลัง ได้ออกข้อความเพื่อเลื่อนเวลาการออก ในขณะที่เผยแพร่บทความนี้ ยังไม่มีการประกาศอย่างเป็นทางการเกี่ยวกับการออกโทเค็น

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

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

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

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

อุปทานเริ่มต้นของโทเค็น StarkNet คือ 10 พันล้าน 17% จัดสรรให้กับนักลงทุน StarkWare 32.9% จัดสรรให้กับผู้สนับสนุนหลัก และ 50.1% จัดสรรให้กับมูลนิธิ ในเวลาเดียวกัน โทเค็นมีกลไกการออกเพิ่มเติม และส่วนหนึ่งของโทเค็นที่เพิ่งสร้างใหม่และค่าธรรมเนียมการทำธุรกรรมจะมอบให้กับผู้พัฒนาโครงสร้างพื้นฐานหลักและผู้พัฒนาสัญญาอัจฉริยะ

คำอธิบายโดยละเอียดของ Starkware: การออกแบบพื้นฐาน ภาษาไคโร แบบจำลองทีมและเศรษฐกิจ

วัตถุประสงค์เฉพาะของ 51% ที่จัดสรรให้กับมูลนิธิคือ:

  • 9% - นักพัฒนาระบบนิเวศ ผู้ใช้ และชุมชน รวมถึงผู้ใช้บางคนที่มีปฏิสัมพันธ์กับ StarkEx ก่อนวันที่ 1 มิถุนายน

  • 9% - เงินคืนชุมชน - เงินคืนของโทเค็น StarkNet เพื่อครอบคลุมค่าใช้จ่ายในการเข้าร่วม StarkNet จาก Ethereum บางส่วน

  • 12% - เงินทุนสำหรับนักวิจัยและคนงานเพื่อพัฒนา ทดสอบ ปรับใช้ และบำรุงรักษาโปรโตคอล StarkNet

  • 10% - เงินสำรองเชิงกลยุทธ์เพื่อเป็นทุนสนับสนุนกิจกรรมระบบนิเวศที่สอดคล้องกับพันธกิจของมูลนิธิ

  • 2% — บริจาคให้กับสถาบันและองค์กรที่โดดเด่นในสาขาที่เกี่ยวข้อง เช่น มหาวิทยาลัย องค์กรพัฒนาเอกชน ฯลฯ กำหนดโดยผู้ถือโทเค็นและมูลนิธิของ StarkNet

  • 8.1% Unallocated - เพื่อสนับสนุนชุมชน StarkNet เพิ่มเติมในลักษณะที่กำหนดโดยชุมชน

เมื่อพิจารณาถึงการกระจายตามธรรมเนียมของระบบนิเวศแบบกระจายอำนาจและผลประโยชน์ระยะยาวของชุมชน 49.9% ของนักลงทุนและผู้สนับสนุนหลักจะมีระยะเวลาล็อค 4 ปี และ 1 ปี Cliff (ช่วงหน้าผา) และวิธีการเชิงเส้น จะถูกนำมาใช้โทเค็นการเผยแพร่

ชื่อเรื่องรอง

ข้อมูลการดำเนินงาน

StarkEx ซึ่งเป็นผลิตภัณฑ์ toB ได้สะสมผู้ใช้บางส่วนแล้วเนื่องจากการเปิดตัวเร็วและมาตราส่วนที่ค่อนข้างสมบูรณ์ในฐานะรูปแบบบริการ เช่นdYdX (ปัจจุบันอพยพ), Immutable X, rhino.fi, celer และ Sorareจากข้อมูลที่แสดงบนเว็บไซต์ทางการ ยอดธุรกรรมสะสมบน StarkEx สูงถึง 732 พันล้านดอลลาร์สหรัฐ และ TVL ปัจจุบันอยู่ที่ 461 ล้านดอลลาร์สหรัฐ

คำอธิบายโดยละเอียดของ Starkware: การออกแบบพื้นฐาน ภาษาไคโร แบบจำลองทีมและเศรษฐกิจ

ผลิตภัณฑ์อื่น StarkNet ตามข้อมูลบนเว็บไซต์ www.starknet-ecosystem.com ปัจจุบันมีแอปพลิเคชันมากกว่า 100 รายการในระบบนิเวศ ซึ่งในจำนวนนี้ Defi (45), NFT (24) และโครงสร้างพื้นฐาน (18)

คำอธิบายโดยละเอียดของ Starkware: การออกแบบพื้นฐาน ภาษาไคโร แบบจำลองทีมและเศรษฐกิจ

ในบรรดาโครงการที่เป็นที่รู้จักมากขึ้นAAVE และ Makerทั้งหมดจะถูกปรับใช้บน StarkNet เมื่อสองวันก่อน (29 ตุลาคม) มีการประกาศอย่างเป็นทางการว่าเฟสแรกของความร่วมมือข้ามเครือข่ายระหว่าง Aave และ StarkWare ได้เสร็จสิ้นลงแล้ว ขั้นตอนนี้เป็นการข้ามเชน aToken ของ Aave v2 บน Ethereum ไปยังโครงสร้างพื้นฐานสัญญาอัจฉริยะของ StarkNet ช่วยให้ผู้ใช้เครือข่ายได้รับ aToken ข้ามเชนบน StarkNet เมื่อต้นเดือนมิถุนายน Maker ได้เปิดตัวการถ่ายโอน DAI ระหว่างเครือข่ายหลักและ StarkNet

เป็นมูลค่าการกล่าวขวัญว่า dYdX ซึ่งก่อนหน้านี้ใช้ TVL หลักใน StarkEx ออกไปในเดือนมิถุนายนและเลือกบล็อกเชนอิสระตาม Cosmos SDK เพื่อเปิดตัวผลิตภัณฑ์เวอร์ชัน v4 เหตุการณ์ดังกล่าวส่งผลกระทบต่อความเชื่อมั่นของนักลงทุนใน Layer 2 และ Starkware ในระดับหนึ่ง

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

บทส่งท้าย

บทส่งท้าย

Starkware ซึ่งมีทีมเทคนิคที่แข็งแกร่ง กำลังค่อยๆ พัฒนาผลิตภัณฑ์ตามแผนงานของพวกเขา: เมื่อวันที่ 26 ตุลาคม พวกเขาได้ประกาศอย่างเป็นทางการว่าพวกเขาได้เขียนและทำให้ ZK-EVM เสร็จสมบูรณ์โดยใช้ภาษาโปรแกรมที่พิสูจน์แล้วของ STARK ไคโร

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

ลิงค์ต้นฉบับ

ลิงค์ต้นฉบับ

Layer 2
StarkWare
ยินดีต้อนรับเข้าร่วมชุมชนทางการของ Odaily
กลุ่มสมาชิก
https://t.me/Odaily_News
กลุ่มสนทนา
https://t.me/Odaily_CryptoPunk
บัญชีทางการ
https://twitter.com/OdailyChina
กลุ่มสนทนา
https://t.me/Odaily_CryptoPunk
สรุปโดย AI
กลับไปด้านบน
สตาร์คแวร์จะยังคงเป็นหนึ่งในคู่แข่งอันดับต้น ๆ ในวงจร Rollup
ดาวน์โหลดแอพ Odaily พลาเน็ตเดลี่
ให้คนบางกลุ่มเข้าใจ Web3.0 ก่อน
IOS
Android