สัมภาษณ์ผู้ก่อตั้ง Starknet: มองขึ้นไปบนดวงดาว เท้าของคุณติดดิน

ในการประชุม Ethereum EDCON เมื่อเร็ว ๆ นี้ในมอนเตเนโกร ZK กลายเป็นหัวข้อที่ร้อนแรงที่สุด ในช่วงห้าวันตั้งแต่วันที่ 19 ถึงวันที่ 23 ไม่ว่าจะเป็นสุนทรพจน์ส่วนตัวหรือโต๊ะกลม หัวข้อของแขกส่วนใหญ่จะเกี่ยวกับคำศัพท์ เช่น ZK Rollup, zkEVM และ ZKML ในสายตาของ "วงกลมแกน Ethereum" ZK ได้กลายเป็นเรื่องเล่าใหม่ที่เทียบได้กับนวัตกรรม DeFi ในปี 2019 และสามารถใช้ประโยชน์จากการระเบิดของอุตสาหกรรมรอบต่อไป

เป็นเวลานานแล้วที่การใช้งานด้านเทคนิคเป็นปัญหาหลักที่ ZK เผชิญอยู่ ซึ่งทำให้ ZK เป็น "ทางออกในอนาคต" ในความคิดของคนส่วนใหญ่ อย่างไรก็ตาม ในปีนี้ ระบบนิเวศของอนุญาโตตุลาการยังไม่ได้รับการพัฒนาอย่างเต็มที่ และ ZK Rollups ซึ่งเป็นเทคโนโลยีทดแทนได้เข้ามาแทนที่แล้ว หนึ่งในความรู้สึกที่ชัดเจนที่สุดในปีนี้คือ "โครงการ ZK" ทุกชนิดเพิ่มขึ้นอย่างกะทันหัน นักพัฒนาเริ่มใช้เทคโนโลยี FOMO ZK, การถ่ายโอน ZK, อัตลักษณ์ ZK และเกมกระดาน ZK ตราบเท่าที่พวกเขาสามารถเกี่ยวข้องกับความเป็นส่วนตัว คำว่า "ZK" จะต้องรวมอยู่ในชื่อโครงการ แน่นอนว่าฉากที่เจริญรุ่งเรืองเช่นนี้ได้รับประโยชน์จากความพยายามอย่างเข้มข้นของ ZK Rollup เช่น Starknet และ zkSync และโปรเจ็กต์ zkEVM เช่น Scroll และ Polygon และเบื้องหลังแกนนำเหล่านี้คือชายชาวอิสราเอลชื่อ Eli Ben-Ssason

Eli（@EliBenSassonชื่อระดับแรก

เกี่ยวกับ Optimistic Fraud Proofs, zk-STARK และ SNARK

คำอธิบายภาพ

Eli Ben-Sasson กล่าวสุนทรพจน์ในการประชุม StarkWare Sessions 2023 ที่มาของภาพมาจาก StarkWare

ในฐานะผู้ประกอบการที่ขับเคลื่อนด้วยเทคโนโลยี Eli มีความมั่นใจอย่างยิ่งในเทคโนโลยี ZK และหลักการทางคณิตศาสตร์ที่อยู่เบื้องหลัง แล้วเขามองการรวมพลในแง่ดีของ "คู่แข่ง ZK" อย่างไร? คุณคิดอย่างไรเกี่ยวกับอนาคตของ zk-STARK และ zk-SNARK?

BlockBeats: สวัสดี Eli ก่อนอื่น โปรดแนะนำผู้อ่านสั้นๆ ว่าเหตุใดคุณจึงเข้าสู่วงการคริปโตเคอเรนซี และเหตุใดคุณจึงก่อตั้ง Zcash และ StarkWare

Eli：ฉันเป็นศาสตราจารย์ด้านวิทยาการคอมพิวเตอร์ที่ทำการวิจัยวิทยาการคอมพิวเตอร์เชิงทฤษฎี ผู้คนในจีนแผ่นดินใหญ่อาจเคยได้ยินคำว่า Yao Qizhi จากมหาวิทยาลัย Tsinghua เขาเป็นผู้สนับสนุนที่สำคัญของวิทยาการคอมพิวเตอร์เชิงทฤษฎี ผู้ชนะรางวัล Turing Award และผู้ประดิษฐ์ระบบคอมพิวเตอร์หลายฝ่ายที่ปลอดภัย ฉันเข้าสู่สนามวิจัยนี้ช้ากว่าเขาหลายปี

ในปี 2008 ฉันเริ่มทำงานวิจัยที่เกี่ยวข้องกับการพิสูจน์ความรู้ที่ไม่มีศูนย์ (ต่อไปนี้จะเรียกว่า ZKP) ในเดือนพฤษภาคม 2013 นั่นคือเมื่อ 10 ปีที่แล้ว ฉันได้เข้าร่วมการประชุม Bitcoin ที่จัดขึ้นในซานโฮเซ และฉันก็ตระหนักว่าสาขาบล็อกเชนเป็นสถานการณ์การใช้งานที่ดีที่สุดสำหรับการวิจัยเชิงทฤษฎีและคณิตศาสตร์ของฉัน ฉันค่อนข้างแน่ใจว่าฉันเป็นคนแรกที่ตระหนักว่า Proof of General Computing และ blockchains สามารถทำงานร่วมกันได้เป็นอย่างดี เมื่อสิบปีที่แล้ว Ethereum ไม่มีอยู่จริง เมื่อฉันพบ Vitalik ครั้งแรก เขาไม่ใช่ผู้ก่อตั้ง Ethereum แต่เป็นนักเขียนเนื้อหาของนิตยสาร Bitcoin เราได้พูดคุยกันมากมายเกี่ยวกับการพิสูจน์ การพิสูจน์ความถูกต้อง และการพิสูจน์ที่ไม่มีความรู้

เอกสารเขียนร่วมยุคแรกๆ ของฉันชื่อ "Zerocash: Decentralized Anonymous Payments from Bitcoinเกี่ยวกับวิธีการใช้หลักฐานที่ไม่มีความรู้เพื่อความปลอดภัยในการชำระเงินด้วย Bitcoin นั่นคือสิ่งที่กลายเป็นโครงการ Zcash และเราได้พัฒนาเทคโนโลยี ประมาณปี 2018 เราเสนอการปรับปรุงทางเทคนิคที่ดีขึ้นและเรียกมันว่า STARK ซึ่งช่วยขยายขนาดของ Ethereum หรือบล็อกเชนทั่วไป ในปี 2018 เราร่วมก่อตั้ง StarkWare กับฉัน, Uri Kolodny, Alessandro Chiesa และ Michael Riabzev ทุกวันนี้ เป็นที่ยอมรับกันอย่างกว้างขวางว่าการพิสูจน์ความถูกต้องของเราเป็นวิธีที่ดีที่สุดในการขยายขนาดของ Ethereum

BlockBeats: คุณบอกว่าคุณติดต่อกับ Vitalik ตั้งแต่เนิ่นๆ และฉันจำได้ว่าเขาลงทุนและสนับสนุน StarkWare ตั้งแต่เนิ่นๆ

Eli：ใช่ Vitalik เป็นหนึ่งในนักลงทุนรายแรกๆ ของ StarkWare นี่เป็นหนึ่งในการลงทุนเพียงเล็กน้อยของเขาจนถึงปัจจุบัน และเราภูมิใจกับมันมาก

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

BlockBeats: ก่อน Ethereum คุณเริ่มพิจารณาใช้ ZK Proofs เป็นโซลูชันการปรับขนาด คุณเห็นได้อย่างไรว่าบล็อกเชนจะมีปัญหาด้านความสามารถในการปรับขนาดอย่างแน่นอน

Eli：ฉันเชื่อว่าผู้อ่านในชุมชนชาวจีนต้องคุ้นเคยกับ Alipay และ WeChat Pay และความเร็วในการทำธุรกรรมอาจสูงถึงหนึ่งล้านรายการต่อวินาที ในตอนนี้ บล็อกเชนจำเป็นต้องทำ NFTs เกม การลงคะแนนเสียง การเลือกตั้ง และการกำกับดูแล เทคโนโลยีปัจจุบันยังดีไม่พอสำหรับทั้งหมดนี้ ใน Bitcoin และ Ethereum อาจมีการทำธุรกรรม 10 ถึง 20 รายการต่อวินาที สิ่งนี้ต้องการเทคโนโลยีอื่น ๆ เทคโนโลยีที่ไม่ลดความปลอดภัยของ blockchain แต่สามารถขยายขอบเขตหรือการเข้าถึงของ blockchain ซึ่งเป็นสิ่งที่ Starknet ได้ทำ

BlockBeats: ศาสตราจารย์ Ed Felten ผู้ก่อตั้ง Arbitrum ยังได้เริ่มแก้ปัญหาความสามารถในการขยายขนาดเมื่อประมาณปี 2014 แต่เขาเลือกการพิสูจน์การฉ้อโกงแบบอินเทอร์แอคทีฟอย่างเด็ดขาด ซึ่งต่อมาได้รับการพิจารณาโดยทั่วไปว่าเป็นการพิสูจน์การฉ้อโกงในแง่ดีที่เป็นไปได้มากกว่า เหตุใดคุณจึงตัดสินใจใช้ ZK เป็นโซลูชันตั้งแต่เริ่มต้น

Eli：นี่เป็นเทคนิคที่ดีกว่าและได้ผล ในความเป็นจริงในทีมหลักของ Ethereum ทุกคนรู้ดีว่า Optimistic Rollups ยังไม่ได้เปิดเทคโนโลยีหลักของพวกเขา ทั้ง Arbitrum และ Optimistic ไม่สามารถพิสูจน์การฉ้อโกงได้ เหตุผลที่พวกเขาไม่เริ่มเพราะมันใช้งานไม่ได้

ในทางตรงกันข้าม เราไม่เคยส่งการอัปเดตสถานะโดยไม่มีหลักฐานยืนยันความถูกต้องของ STARK แม้ว่าระบบของเราจะมีประสิทธิภาพมากกว่า 10 เท่า แต่เราก็ใช้ทรัพยากรของ Ethereum น้อยกว่า 1% Optiistic Rollups เป็นแนวคิดที่ดี แต่ไม่ได้ผล และเนื่องจากใช้งานไม่ได้ จึงไม่ได้เปิดใช้งาน มีความแตกต่างอย่างมากระหว่างสิ่งที่ควรใช้งานได้แต่ใช้งานไม่ได้ ไม่ได้เปิดใช้งาน และเทคโนโลยีอื่นที่ใช้งานได้จริงและสามารถพิสูจน์ได้

BlockBeats: แต่ในขณะที่ Vitalik ลงทุนใน StarkWare เขาก็สนับสนุนการมองโลกในแง่ดี ดูเหมือนว่าจะมีมติเป็นเอกฉันท์เพิ่มขึ้นในฟิลด์การเข้ารหัสว่าปัญหาด้านความสามารถในการปรับขนาดควรเริ่มต้นด้วยแง่ดีก่อน แล้วจึงเปลี่ยนเป็น ZK เนื่องจากในทางเทคนิคแล้ว ZKP หรือ ZK Rollup นั้นยากต่อการใช้งานมากกว่าแง่ดี คุณคิดอย่างไรเกี่ยวกับเรื่องนี้?

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

BlockBeats: แต่ในฐานะผู้ใช้ทั่วไป Optimism และ Arbitrum เป็นวิธีแก้ปัญหาที่ใช้งานได้จริงในตอนนี้

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

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

BlockBeats: ดังนั้นเมื่อผู้ใช้ใช้ Optimism หรือ Arbitrum พวกเขากำลังใช้แพลตฟอร์มการซื้อขายแบบรวมศูนย์อยู่จริงหรือ

Eli：สิ่งที่พวกเขากำลังใช้อยู่คือระบบรวมศูนย์ และที่แย่กว่านั้นคือ อิงตามฐานรหัสที่ไม่ได้ออกแบบตั้งแต่ต้นเพื่อให้ดำเนินการโดยผู้ดำเนินการรายเดียว ดังนั้นฉันจึงไม่คิดว่ามันให้ความคุ้มครองทางกฎหมายแก่คุณมากเท่ากับ Binance

BlockBeats: เมื่อพูดถึง ZKP คุณได้สร้าง zk-STARK นอกเหนือจาก zk-SNARK ที่เป็นที่รู้จักอย่างกว้างขวาง เหตุใดคุณจึงต้องการกำหนดมาตรฐานทางเทคนิคที่แตกต่างกันสองมาตรฐานสำหรับเทคโนโลยี ZK แล้วทำไม StarkWare ถึงเลือก zk-STARK ในท้ายที่สุด?

Eli：เทคโนโลยี SNARKs, Groth-16 ของการประมวลผลล่วงหน้าประเภท SNARKs ซึ่งใช้เส้นโค้งวงรีอาจพร้อมสำหรับการผลิตเร็วกว่านี้ แต่ฉันคิดว่ามันเป็นเทคโนโลยีที่ด้อยกว่าในแง่ของประสิทธิภาพและความปลอดภัย นี่เป็นเหมือนเทคโนโลยีที่ไม่ค่อยดี แต่ปรากฏก่อน เช่นเดียวกับเครื่องจักรไอน้ำไม่ดีเท่าเครื่องยนต์เบนซิน แต่ปรากฏก่อน ฉันคิดว่ามันค่อนข้างคล้ายกับสถานการณ์นี้

คำอธิบายภาพ

กราฟเปรียบเทียบรายละเอียดทางเทคนิคของ zk-STARK และ zk-SNARK แหล่งข่าวจาก Horizon Acadamy

BlockBeats: ปัจจุบันหลายโครงการ ZK Rollup และ zkEVM ใช้ zk-SNARK คุณคิดอย่างไรเกี่ยวกับอนาคตของ zk-SNARK

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

เกี่ยวกับ Starknet, Cairo และ zkEVM

สิ่งที่หลายคนพบว่ายากที่จะเข้าใจก็คือ เนื่องจาก Starknet เป็น L2 ของ Ethereum จึงไม่เข้ากันได้กับ Ethereum EVM และนักพัฒนาจำเป็นต้องใช้ Cairo ซึ่งเป็นภาษาใหม่สำหรับการพัฒนาสัญญา สิ่งนี้ดูเหมือนจะทำให้ Starknet สูญเสียข้อได้เปรียบหลายประการของความเข้ากันได้ของ EVM กับ L1 และ L2 ที่เทียบเท่ากับ Ethereum นั่นคือเพื่อลดค่าใช้จ่ายในการพัฒนาเพื่อเริ่มต้นระบบนิเวศอย่างรวดเร็วในระยะเวลาอันสั้น แต่ในมุมมองของ Eli ประเด็นเหล่านี้ไม่เกี่ยวข้องเมื่อเผชิญกับศักยภาพมหาศาลที่ไคโรนำมา ที่สำคัญกว่านั้น ระบบนิเวศของ Starknet มีโซลูชันของตัวเองอยู่แล้ว

BlockBeats: เหตุใด StarkWare จึงสร้างโครงการที่แตกต่างกันสองโครงการ ได้แก่ StarkEx และ Starknet ทำไมทั้งสองอย่างรวมกันไม่ได้?

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

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

BlockBeats: ดังนั้น จึงเป็นเรื่องสำคัญมากสำหรับทีม StarkWare ในการบรรลุ TPS ของธุรกรรมที่สูงในสถานการณ์เฉพาะของแอปพลิเคชัน?

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

สิ่งที่ฉันอยากจะบอกก็คือจนถึงตอนนี้ ระบบของเราได้ประมวลผลธุรกรรมเกือบ 1 ล้านล้านดอลลาร์สหรัฐ ธุรกรรมมากกว่า 450 ล้านรายการ และ NFT มากกว่า 100 ล้านรายการที่ออก ไม่มี L2 อื่นใดที่สามารถทำได้ TPS รายวันของเราสูงกว่า Ethereum 50% และ TPS รายสัปดาห์ของเราสูงกว่า Ethereum 30% ตลอดทั้งสัปดาห์ ไม่มีระบบอื่นใดที่ประสบความสำเร็จในระดับนี้ และเราไม่เคยใช้ Ethereum Gas มากกว่า 1% แม้ว่า TPS ของเราจะเพิ่มขึ้น 30%

BlockBeats: StarkEx เป็นกรณีการใช้งานที่เฉพาะเจาะจงมาก ในฐานะโครงการที่ขับเคลื่อนด้วยเทคโนโลยี StarkWare ดูเหมือนจะมีการวางตำแหน่งรูปแบบธุรกิจที่ชัดเจนตั้งแต่เริ่มต้น

Eli：คำอธิบายภาพ

สมาชิกทีม StarkWare ที่มารูปภาพจาก StarkWare

BlockBeats: ต่อไปฉันอยากจะพูดถึงภาษาไคโร เนื่องจากเป็น Ethereum L2 ทำให้ Starknet ไม่รองรับ Ethereum EVM และนักพัฒนาต้องใช้ภาษาไคโรในการสร้างแอปพลิเคชัน ดูเหมือนว่าจะทำให้ Starknet สูญเสียข้อได้เปรียบหลายประการของ "ระบบนิเวศที่เข้ากันได้กับ EVM" ทำไมถึงเลือกสร้างภาษาของคุณเอง?

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

อย่างที่สองที่ฉันอยากจะพูดก็คือเหตุผลในการใช้ภาษาเฉพาะเพื่อสร้างการพิสูจน์ STARK หรือการพิสูจน์ความถูกต้องโดยทั่วไปนั้นคล้ายกันมากกับเหตุผลที่คุณต้องการเขียนสัญญาอัจฉริยะใน Solidity คุณต้องใช้ Solidity ไม่ใช่เพราะมันมีประสบการณ์สำหรับนักพัฒนาที่ดีกว่า Python, Rust หรือ C ++ แทนที่จะให้ประสบการณ์นักพัฒนาที่แย่กว่า แต่เมื่อคุณย้ายไปยังเฟรมเวิร์กใหม่ที่มีโครงสร้างพื้นฐานบล็อกเชน คุณต้องใช้ภาษาโปรแกรมอื่น Solidity นั้นดีเพราะมันคอมไพล์อย่างมีประสิทธิภาพไปยัง Ethereum Virtual Machine ฉันจะให้อีกตัวอย่างหนึ่ง หากคุณต้องการเขียนกราฟิกที่ดีจริงๆ เพื่อใช้ประโยชน์จาก GPU คุณควรเขียนด้วย CUDA เนื่องจากเป็นภาษาที่ใช้ประโยชน์จากประสิทธิภาพของ GPU ได้สูงสุด

เช่นเดียวกับการพิสูจน์ของ STARK ด้วยเครื่องเสมือนที่แตกต่างกัน มีชุดข้อจำกัดที่แตกต่างกันในสิ่งที่ทำให้บางสิ่งถูกต้องหรือไม่ถูกต้อง หากคุณต้องการบรรลุประสิทธิภาพที่การพิสูจน์ของ STARK สามารถทำได้ เช่น การใส่ NFT หนึ่งล้านรายการในบล็อกใน Ethereum คุณต้องใช้ภาษาโปรแกรมให้มีประสิทธิภาพมากขึ้น เราสามารถสร้าง NFT ได้ 10 ล้านรายการในการพิสูจน์ครั้งเดียวบน Immutable X ฉันไม่สามารถจินตนาการได้ว่าสิ่งใดขึ้นอยู่กับ EVM หรือ zkEVM ใด ๆ ที่ใกล้เคียงกับสิ่งที่เราสามารถใส่ในการพิสูจน์เดียวบนบล็อกเชนได้ ฉันสามารถท้าทาย zkEVM ของโลกได้ พวกเขาจะไม่ทำ นั่นเป็นเหตุผลที่คุณต้องการรูปแบบการคำนวณที่แตกต่างกันและภาษาการเขียนโปรแกรมที่แตกต่างกัน

BlockBeats: อย่างไรก็ตาม โครงการเชิงนิเวศน์หลายโครงการที่ใช้ภาษา Rust ใน Polkadot มักให้ข้อเสนอแนะเกี่ยวกับปัญหาค่าใช้จ่ายในการดำเนินการแก่ฉัน เพราะการจ้างหรือฝึกอบรมวิศวกรที่รู้วิธีพัฒนาสัญญาในภาษา Rust นั้นมีราคาแพงมาก ในทางกลับกัน หากทีมพัฒนาโครงการบน Ethereum หรือบน L1 ที่เข้ากันได้กับ EVM ก็ถือว่ามีราคาถูกมาก คุณรู้สึกอย่างไรกับสถานการณ์นี้ นี่เป็นปัญหาสำหรับระบบนิเวศของ Starknet หรือไม่

Eli：นั่นอาจเป็นปัญหา แต่นักพัฒนาต่างแห่กันไปที่ไคโรและสตาร์ค จำนวนนักพัฒนาและทีมเพิ่มขึ้นทุกวัน และฉันคิดว่าพวกเขามองเห็นศักยภาพ ผู้คนจำนวนมากเข้าใจปัญหาของขนาดและถามตัวเองว่าอะไรคือวิธีแก้ปัญหาที่ดีที่สุดและคาดการณ์ล่วงหน้าได้มากที่สุด อะไรคือการเปิดความสามารถในการปรับขนาดของอุปสงค์ทั่วโลก และฉันคิดว่าพวกเขาจำนวนมากได้ข้อสรุปที่ถูกต้อง นั่นคือการ เดินตามเส้นทางของ Starknet และ Cairo 1.0

มีการเปรียบเทียบที่นี่ โดยปกติแล้วคุณจะเขียนซอฟต์แวร์เวอร์ชันแรกใน Python แต่เมื่อคุณต้องการขยายขนาด คุณต้องเขียนเป็นภาษาอื่นที่มีประสิทธิภาพมาก เช่น C++, WASM, Rust เป็นต้น ฉันคิดว่าสิ่งเดียวกันนี้เกิดขึ้นกับไคโร คุณอาจใช้รหัส Solidity และปรับใช้กับ Kakarot แต่นั่นก็เหมือนกับการเขียนกลไกการซื้อขายความถี่สูงใน Python ซึ่งไม่ควรเป็นเช่นนั้น คุณต้องเขียนเป็นภาษาอื่น และภาษาอื่นนั้นจะเป็นภาษาไคโร

BlockBeats: มีบางโครงการที่พัฒนา zkEVM โดยใช้ Starknet

Eli：ใช่ มีโครงการที่ดีมากที่สร้าง ZK-EVM บน StarNet อันแรกเรียกว่า Warp และสร้างโดยทีม NetherMine ซึ่งดีมาก ที่สองเรียกว่า Kakarot ซึ่งเป็นชุมชนที่กำลังก่อตัวขึ้น

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

การแข่งขันแทร็กของ ZK Rollup และการพัฒนาระบบนิเวศของ Starknet

ในการสัมภาษณ์ BlockBeats ยังกล่าวถึงการแข่งขันระหว่าง ZK Rollups และการพัฒนาระบบนิเวศของ Starknet เอง ในฐานะที่เป็นฟิลด์ทางเทคนิคและความต้องการมากที่สุดในอุตสาหกรรมการเข้ารหัสทั้งหมด ดูเหมือนว่าผู้ใช้ทั่วไปจะแยกแยะข้อดีข้อเสียระหว่าง zkSync และ Starknet ได้ยาก สำหรับคนส่วนใหญ่ ความจริงก็คือใครก็ตามที่มีแนวโน้มที่จะ "มีปัญหา" มักจะมองโลกในแง่ดีว่าใครก็ตามที่เป็นอยู่ จากมุมมองนี้ แนวคิดของ StarkWare ที่ขับเคลื่อนด้วยนวัตกรรมทางเทคโนโลยีดูเหมือนจะสร้างปัญหาให้กับ Starknet Eli มองการแข่งขันระหว่าง ZK Rollups อย่างไร เขามีความคาดหวังอย่างไรต่อการพัฒนานิเวศวิทยาของ Starknet?

BlockBeats: ในแทร็ก ZK Rollup ปัจจุบัน Starknet และ zkSync เป็นผู้นำอย่างแท้จริง และดูเหมือนว่าทั้งสองจะมีความสัมพันธ์ที่แข่งขันกันสูง ในความเห็นของคุณ อะไรคือความแตกต่างระหว่าง Starknet และ zkSync และ Starknet ได้เปรียบตรงไหน?

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

ให้ฉันเล่าเรื่อง มีคนขอให้คนใน Reddit สร้างสิ่งที่สามารถทำธุรกรรมได้ 300,000 รายการ เราทำบนเครือข่ายหลัก และ TPS ประมาณ 3,000 รายการ หนึ่งหรือสองสัปดาห์ต่อมา ทีมงาน zkSync ออกมาและกล่าวว่า เรามี 3000 TPS แต่ 3000 TPS นี้ไม่เคยถูกวัด พิสูจน์ หรือสาธิต แต่มันเป็นเรื่องที่ดี ในอุตสาหกรรมที่มีผู้คนมากมายที่ชื่นชอบการเล่าเรื่อง ก็ย่อมมีผู้ที่นำเสนอข้อเท็จจริงเช่นกัน และเราภูมิใจในความสามารถของเราในการนำเสนอข้อเท็จจริง

BlockBeats: มีการตอบรับจากผู้ใช้ด้วย ปัจจุบัน Gas สำหรับการโอนทรัพย์สินหรือโต้ตอบบน ZK Rollup นั้นสูงมาก ทำไมถึงเป็นเช่นนี้

Eli：ขณะนี้ Starknet กำลังประสบปัญหาความแออัดเนื่องจากมีความต้องการสูง เราจะออกเวอร์ชัน 12 ภายในสองสัปดาห์ ซึ่งจะปรับปรุง TPS อย่างมากและแก้ปัญหาความต้องการส่วนใหญ่ได้ จากนั้นในรุ่นถัดไป เมื่อเราผสานรวม Volition สำหรับการประมวลผลข้อมูลแบบออฟไลน์อย่างสมบูรณ์ ราคาจะลดลงอย่างมาก ซึ่งอาจเกิดขึ้นในหนึ่งหรือสองเดือน

BlockBeats: เมื่อพูดถึงนักพัฒนาระบบนิเวศ บางคนรายงานว่า Starknet มีความสมดุลมากกว่า zkSync ในแง่ของการพัฒนาระบบนิเวศ

Eli：คำอธิบายภาพ

ภาพบรรยากาศการประชุม StarkWare Sessions 2023 ที่มาของภาพมาจาก StarkWare

BlockBeats: แต่ในด้านของ Web3 ทีมที่เข้าใจการตลาดดูเหมือนจะได้รับความนิยมมากกว่า โครงการที่ขับเคลื่อนด้วยเทคโนโลยีจำนวนมากมีปัญหาในการพัฒนาระบบนิเวศใช่ไหม?

Eli：ไม่ ฉันไม่คิดว่านั่นคือสิ่งที่จะเกิดขึ้นต่อไป เหตุผลที่ฉันคิดอย่างนั้นก็เพราะ Ethereum ได้รับการพัฒนาขึ้นมา วันหนึ่ง แอปที่ประสบความสำเร็จอย่างสูงจะรู้ว่า Starknet มีความสามารถอะไร App อะไรไม่รู้ตอนนี้ ถ้าให้ฉันเดา ฉันไม่คิดว่าเป็นผลิตภัณฑ์ที่มีอยู่แล้วใน L1 และสามารถคัดลอกและวางลงใน L2 ได้อย่างง่ายดาย

ดังนั้นฉันคิดว่ามันเป็นสิ่งที่ทุกคนจะได้เห็นและพูดถึงเพราะมันเป็นแอปพลิเคชั่นใหม่ที่ไม่สามารถทำได้ที่ L1 หรือแม้แต่ L2 อื่น ๆ นี่จะเป็นจุดเปลี่ยนและนักพัฒนาจะแห่กันไป ด้วยเหตุนี้เราจึงให้ความสนใจมากที่สุดที่นี่ เรามาที่ EDCON ครั้งนี้เพื่อติดต่อกับนักพัฒนามากขึ้นและเชิญพวกเขาให้เข้าร่วมระบบนิเวศของเรา เพราะบางคนจะสร้างสิ่งมหัศจรรย์ที่ข้าพเจ้าไม่อาจคาดเดาได้

BlockBeats: คุณมีคำแนะนำสำหรับนักพัฒนาที่วางแผนจะพัฒนาในระบบนิเวศของ Starknet หรือไม่? Starknet ให้อะไรพวกเขาได้บ้าง?

Eli：ฉันไม่สามารถตอบคำถามนี้แทนพวกเขาได้ และแม้ว่าฉันจะให้คำตอบ พวกเขาก็ไม่ควรฟังฉัน แต่พวกเขาควรตัดสินใจด้วยตัวเอง ฉันคิดว่าบางสิ่งน่าทึ่ง การสร้างโครงสร้างพื้นฐานของฐานข้อมูลบน Starknet เช่น บริการ oracle ขั้นสูง การพิสูจน์ความเป็นมนุษย์ เครือข่ายทางสังคม ฯลฯ มีสิ่งที่น่าทึ่งมากมายที่สามารถทำได้ พวกเขาควรตรวจสอบและค้นหา สิ่งที่พวกเขาคิดว่าขาดหายไป หรือ สิ่งที่พวกเขาคิดว่าเป็นสิ่งที่น่าสนใจที่สุด

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

BlockBeats: สุดท้ายนี้ คุณอยากบอกอะไรกับผู้อ่านอีก?

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