เมื่อเวลา 21:00 น. ของวันที่ 23 กรกฎาคม ตามเวลาปักกิ่ง Shumo Chu ผู้ร่วมก่อตั้ง Manta Network ได้รับเชิญจาก Tsinghua University Student Blockchain Association (THUBA) เพื่อสนทนากับ Sputnik, Ph.D. การวิจัยทางวิทยาศาสตร์และการประยุกต์ใช้ และวิธีที่ Manta สามารถช่วยได้ ZK แก้ปัญหาความเป็นส่วนตัวของ Web3 ต่อไปนี้เป็นบทสนทนาฉบับเต็ม:
ยีกิ (เจ้าภาพ):
สวัสดีทุกคน ฉันเป็นรองประธานของ Tsinghua Blockchain Association (THUBA), Yiki นับตั้งแต่ก่อตั้งขึ้นในปี 2560 เรามีประวัติยาวนานถึง 5 ปีและได้จัดงานเกือบ 200 งาน ในเดือนสิงหาคมที่จะถึงนี้ จะมีการจัดงาน Hackathon ครั้งแรก และทุกคนสามารถให้ความสนใจและลงทะเบียนเข้าร่วมได้ ถ้าอย่างนั้น ฉันขอให้ Shumo แนะนำสั้นๆ ว่า Manta ทำอะไรและแนะนำตัวเองได้ไหม
Shumo:
สวัสดีทุกคน เป็นเกียรติอย่างยิ่งที่ได้มีส่วนร่วมในงานนี้ ฉันชูโมะ ผู้ร่วมก่อตั้ง Manta Network ขอแนะนำ Manta ก่อน เราจะก่อตั้งในเดือนตุลาคม 2020 ในตอนนั้น เหตุผลที่เราก่อตั้ง Manta ขึ้นก็คือ blockchain (Web3) มีปัญหาใหญ่ ซึ่งก็คือความเป็นส่วนตัว เรามองโลกในแง่ดีเกี่ยวกับโอกาสของอุตสาหกรรม Web 3 ในเวลานั้น แต่ถ้าอุตสาหกรรมนี้กลายเป็นกระแสหลัก ธุรกรรมทั้งหมดบนเครือข่ายจะเป็นข้อความธรรมดา ซึ่งแย่มาก เรารู้สึกว่าความเป็นส่วนตัวเป็นสิทธิมนุษยชนขั้นพื้นฐานที่สุด หากคุณดูที่โครงสร้างของเชนสาธารณะทั้งหมดในปัจจุบัน คุณจะพบว่าเชนสาธารณะทั้งหมดโดยทั่วไปไม่มีความเป็นส่วนตัว ยกเว้นบางอันเช่น Monero หรือ Zcash
ดังนั้นความตั้งใจเดิมของเราคือการแก้ปัญหาความเป็นส่วนตัวนี้ ดังนั้นจะแก้ไขได้อย่างไร ก่อนอื่นเราสร้างผลิตภัณฑ์การชำระเงินส่วนตัวบนเครือข่าย - MantaPay และเครือข่ายทดสอบสองเวอร์ชันได้เปิดตัวแล้ว ถ้าอย่างนั้นคุณก็คิดว่ามันเป็น Zcash เวอร์ชันโทเค็นของคุณ ผลิตภัณฑ์นี้เปิดตัวในระบบนิเวศของ Polkadot แต่เราจะก้าวไปสู่เครือข่ายหลายเครือข่ายในอนาคตด้วย ขั้นตอนที่สองที่เรากำลังจะเริ่มคือการทำสัญญาอัจฉริยะกับทรัพย์สินส่วนตัวซึ่งได้รับการพัฒนามาประมาณครึ่งปีแต่ยังไม่ได้รับการเผยแพร่อย่างเป็นทางการ ฉันคิดว่า Manta สามารถสรุปเป็นประโยคเดียวได้ว่าเรากำลังทำเลเยอร์ความเป็นส่วนตัวของ Web3 ทั้งหมด เราหวังว่าในอนาคต ในการดำเนินการแบบดั้งเดิมทั้งหมดของ Web3 คุณจะมีตัวเลือก - แปรรูปโดย Manta จากนั้นธุรกรรมของคุณจะกลายเป็นธุรกรรมส่วนตัวโดยอัตโนมัติ
เกี่ยวกับตัวฉัน ฉันเคยเรียนปริญญาเอกที่ University of Washington มาก่อน ทำระบบฐานข้อมูลและตรวจสอบอย่างเป็นทางการ หลังจากสำเร็จการศึกษา เขาทำงานเป็นนักวิทยาศาสตร์วิจัยใน Algorand เป็นเวลาหนึ่งปี จากนั้นเป็นผู้ช่วยศาสตราจารย์ที่มหาวิทยาลัยแคลิฟอร์เนีย ซานตาบาร์บารา และตอนนี้ทำงานเต็มเวลาใน Manta Network
Yiki:
โอเคขอบคุณ. Sputnik คุณยังสามารถแนะนำตัวเองสั้น ๆ และบางประเด็นที่คุณกำลังมุ่งเน้นในการวิจัยทางวิทยาศาสตร์
Sputnik:
ชื่อระดับแรก
🎙️ ZK คืออะไร?
Yiki:
ก่อนอื่น ฉันขอให้ Shumo แนะนำสั้น ๆ ว่า ZK คืออะไร หลักการและการประยุกต์ใช้ และอธิบายภาพรวมด้วยคำสีขาวเล็กน้อย
Shumo:
ชื่อเต็มของ ZK คือ Zero Knowledge Proof (การพิสูจน์ความรู้เป็นศูนย์) เดิมมีการศึกษาทางทฤษฎีเป็นเวลาหลายปี งานวิจัยแรกสุดคืออย่างน้อย 20 หรือ 30 ปีที่แล้ว ซึ่งเป็นเอกสาร GMR (Goldwasser Micali Rackoff) แล้วทุกคนคิดว่าสิ่งนี้เป็นไปได้ในทางทฤษฎี เหตุการณ์สำคัญอย่างยิ่งคือ Zcash เมื่ออาจารย์ในโรงเรียนหลายคนร่วมมือกันสร้างเวอร์ชันแรก ทุกคนเคยคิดว่านี่เป็นทฤษฎีและเป็นไปไม่ได้ที่จะปฏิบัติ จากนั้นพวกเขาก็สร้างโครงสร้างที่ใช้งานได้จริงมากขึ้นที่เรียกว่า libsnark ซึ่งรองรับ Zcash เวอร์ชันแรกในเวลานั้น และทุกคนก็ตระหนักว่าสิ่งนี้ใช้งานได้จริง
ฉันยืมสิ่งที่ Micali พูด ZK คืออะไร คุณสามารถจินตนาการได้ว่ามันเป็นการเข้ารหัสในการคำนวณ การเข้ารหัสโดยทั่วไปหมายถึงการเข้ารหัสข้อมูล กล่าวคือ ข้อมูลสามารถเปลี่ยนจากข้อความธรรมดาเป็นข้อความเข้ารหัสได้ แต่จริง ๆ แล้ว ZK เป็นสิ่งที่ค่อนข้างมีประสิทธิภาพมากกว่า หมายความว่าการเข้ารหัสในการคำนวณคือการเข้ารหัสการคำนวณ โดยเฉพาะ สมมติว่าคุณต้องการพิสูจน์ว่าคุณรู้บางอย่าง เช่น 3 บวก 5 เท่ากับ 8 ผมหวังว่าจะพิสูจน์ว่าคุณรู้เรื่องนี้ แต่คุณไม่ได้บอกว่าค่าที่ป้อนเฉพาะของ 3 บวก 5 และ 8 นี่คืออะไร จากนั้นคุณมีความมุ่งมั่น 3 ข้อ 5 ข้อผูกมัด 8 ข้อ และคุณต้องโน้มน้าวใจใครบางคนว่าสิ่งนี้ถูกต้อง โดยเฉพาะอย่างยิ่งในบล็อกเชน คุณต้องใช้วิธีนี้เพื่อพิสูจน์ต่อตัวตรวจสอบความถูกต้องหรือตัวรันโหนดทั้งหมดว่าเป็น ZK ระดับที่สูงมาก
Yiki:
ขอบคุณคุณชูโม่ Sputnik จากมุมมองของคุณ คุณคิดอย่างไรกับการพัฒนาของ ZK และคุณจะนิยาม ZK อย่างไร
Sputnik:
จากมุมมองของการเข้ารหัส โปรโตคอล ZK นั้นเรียบง่ายมากและสามารถสรุปได้ในประโยคเดียว: เป็นโปรโตคอลการเข้ารหัสแบบสองฝ่าย จากนั้นจึงมีผู้พิสูจน์และผู้ตรวจสอบ ซึ่งเป็นสิ่งที่เราเรียกว่าผู้พิสูจน์ และผู้ตรวจสอบ สิ่งที่เขาต้องการทำให้สำเร็จคือผู้พิสูจน์ต้องการความรู้เป็นศูนย์เพื่อพิสูจน์ให้ผู้ตรวจสอบทราบว่าเขารู้ความลับ
แล้วความรู้ที่ไม่มีศูนย์คืออะไร? กล่าวคือ จากมุมมองของวิทยาการเข้ารหัสลับ อาจต้องใช้ความรู้บางอย่างเกี่ยวกับทฤษฎีสารสนเทศมากำหนดอย่างเคร่งครัด กล่าวคือ ผู้ตรวจสอบไม่สามารถรู้หรือได้รับความสามารถหรือความรู้ที่ไม่มีในกระบวนการโต้ตอบกับ ผู้พิสูจน์ เช่นเดียวกับตัวอย่างที่ Shumo ให้ไว้ตอนนี้ เช่น เพื่อพิสูจน์ว่า 3 บวก 5 เท่ากับ 8 เขารู้สูตรนี้แต่เขาไม่สามารถเผยแพร่ได้ ดังนั้นอาจต้องใช้คำมั่นสัญญา Commitment คือ Commitment แบบเข้ารหัสที่เรากำลังพูดถึง และจากนั้นก็มีการผูกมัดและการปกปิด กล่าวคือ คุณสามารถเห็น Commitment ของฉันและมูลค่าภายในของมันจะถูกผูกไว้ ซึ่งคล้ายกับฟังก์ชันแฮช หากค่าผูกมัดเปลี่ยนแปลง ข้อผูกมัดก็จะเปลี่ยนไปด้วย ซึ่งมีผลผูกพัน การปกปิดหมายความว่าถ้าคุณเห็นข้อผูกมัดและไม่รู้ว่ามีอะไรอยู่ข้างใน ฉันสามารถเปิดมันได้ในอนาคต และตอนนี้ฉันสามารถให้หลักฐานที่ไม่มีความรู้แก่คุณได้ แล้วทำให้คุณเชื่อว่าสิ่งที่ฉันสัญญาคือคุณค่าของฉัน . นี่คือการดู ZK จากมุมมองของการเข้ารหัส
Yiki:
เพิ่งเกิดขึ้นที่คุณเพิ่งพูดถึงคำจำกัดความและการพัฒนาของ ZK จากมุมมองของการวิจัยทางวิทยาศาสตร์ คุณช่วยแนะนำสั้น ๆ ว่า ZK ศึกษาในสาขาการวิจัยทางวิทยาศาสตร์ได้อย่างไร และคุณสนใจอะไร
Sputnik:
จริงๆ แล้วในสาขาการวิจัยทางวิทยาศาสตร์ก็มีทิศทางที่แตกต่างกันเช่นกัน มีทฤษฎีมาก นั่นคือ ความปลอดภัยที่พิสูจน์ได้ เป็นชุดของเนื้อหาของทฤษฎีการเข้ารหัสมาก ต้องใช้วิธีการบางอย่างที่เป็นทางการ เราจะไม่ขยายความ อย่างละเอียด นอกจากนี้ ยังมีแอพพลิเคชั่นบางตัว ในแง่ของการนำไปใช้นั้นจะทำในระดับอัลกอริทึมด้วย กล่าวคือ เสนออัลกอริทึมที่ปรับให้เหมาะสมใหม่บางตัว ซึ่งอาจมีประสิทธิภาพดีกว่าอัลกอริทึมเดิม จากนั้น เช่นเดียวกับ Zcash Zcash ได้รับการออกแบบโดยอาจารย์หลายคนที่ Shumo พูดถึงในตอนนี้ โปรโตคอลนี้ถูกเสนอในปี 2014 และระบบเปิดตัวในปี 2016 ประเภทนี้เทียบเท่ากับการใช้อัลกอริทึมเพื่อใช้งานแอปพลิเคชัน น่าจะเป็นแนวทางเหล่านี้
Yiki:
นั่นคือคุณให้ความสนใจกับ crypto มาเป็นเวลานานใน THUBA คุณคิดว่าความสัมพันธ์ระหว่างการวิจัยทางวิทยาศาสตร์ของ ZK กับอุตสาหกรรม crypto เป็นอย่างไรในขณะนี้ การเชื่อมต่อดีหรือไม่?
Sputnik:
ฉันคิดว่า ZK อาจประสบความสำเร็จในการวิจัยทางวิทยาศาสตร์และมีอัลกอริธึมที่แตกต่างกันมากมาย แต่ฉันคิดว่าหากรวมเข้ากับอุตสาหกรรม จำเป็นต้องปรับปรุงประสิทธิภาพและการปรับให้เหมาะสมอื่นๆ สิ่งที่ฉันหมายถึงคือ อาจมีอัลกอริธึมบางอย่างที่เราอาจมีผลลัพธ์ที่ดีในทางทฤษฎี แต่อาจไม่ดีนักในการนำไปใช้ เราขอให้ Shumo เล่ารายละเอียดว่าการประยุกต์ใช้ ZK ไปถึงไหนแล้วในแง่ของการใช้งานทางอุตสาหกรรม
Shumo:
แน่นอนว่าการวิจัยทางวิทยาศาสตร์มีความสำคัญมาก ฉันคิดว่า ช่องว่างระหว่างการวิจัยทางวิทยาศาสตร์และการประยุกต์ใช้ในทางปฏิบัติ คือ การวิจัยทางวิทยาศาสตร์ส่วนใหญ่ศึกษาจากมุมมองของความซับซ้อน จุดที่ดีกว่าของการเข้ารหัสคือไม่มีความแตกต่างมากนักระหว่างประสิทธิภาพทางทฤษฎีและการนำไปใช้จริงและจะไม่มีค่าคงที่ซ่อนเร้นจำนวนมาก นอกจากนี้ การนำอัลกอริทึมไปใช้อาจต้องใช้วิศวกรรมและบุคลากรขนาดใหญ่
อย่างที่สองคือปริมาณงานวิศวกรรมที่ใช้โดยโปรโตคอลพื้นฐาน ZK นั้นซับซ้อนมาก เช่น วงจรของ R1CS และ plonk จากนั้น รวมถึงว่า Manta ของเรากำลังสร้าง OpenZL (open source zero-knowledge proof library) ซึ่งเทียบเท่ากับชั้นกลางที่สามารถปรับปรุงประสิทธิภาพการพัฒนาได้ ฉันคิดว่า ช่องว่างระหว่างการวิจัยทางวิทยาศาสตร์และอุตสาหกรรมคือสิ่งที่เป็นนามธรรมชั้นกลางของ แน่นอนสำหรับการเข้ารหัสพื้นฐาน เป็นสิ่งที่ดีมากที่จะเข้าใจและยังเป็นประโยชน์ต่อวิศวกรรม
Yiki:
ตกลงตกลงขอบคุณ จากนั้นฉันเพิ่งพูดถึงแอปพลิเคชัน ZK บางส่วน ฉันขอให้ Sputnik อธิบายรายละเอียดเกี่ยวกับสถานการณ์แอปพลิเคชันของ ZK ในฟิลด์บล็อกเชนและฟิลด์ที่ไม่ใช่บล็อกเชน
Sputnik:
ในการประยุกต์ใช้บล็อกเชนนั้น ZK แบ่งออกเป็น 2 ส่วนหลักๆ ฉันคิดว่าส่วนหนึ่งคือความเป็นส่วนตัวและอีกส่วนคือการขยายตัว คำพูดเกี่ยวกับความเป็นส่วนตัวรวมถึงโครงการ Zcash ที่เราพูดถึงไปหลายครั้งแล้ว และพวกคุณส่วนใหญ่อาจเคยได้ยินชื่อ Zcash ส่วนใหญ่ตระหนักถึงการปกปิดในระดับธุรกรรม กล่าวคือ ตระหนักถึงองค์ประกอบสามประการของการทำธุรกรรมผ่านการพิสูจน์ที่ไม่มีความรู้ นั่นคือ ฝ่ายโอน ผู้รับเงิน และเนื้อหาธุรกรรม ซึ่งเป็นการปรับปรุงเหนือ Zcoin ก่อนหน้านี้ .
นอกจากนี้ยังเป็นการขยายตัว ในความเป็นจริง ที่เรียกว่าการขยายตัว เรามักจะได้ยินคำว่าการขยายตัวของบล็อกเชน ซึ่งอาจสะท้อนถึงการปรับปรุง TPS เป็นหลัก ถ้าอย่างนั้น สำหรับเครือข่ายสาธารณะอย่างเลเยอร์ 1 การขยายตัวเกี่ยวข้องกับ ZK อย่างไร เราเพิ่งพูดถึงตอนนี้ว่าการพิสูจน์ความรู้เป็นศูนย์เป็นระบบพิสูจน์หลักฐานอย่างแรก แล้วถ้าเราพูดว่าความเป็นส่วนตัวได้รับการคุ้มครองในตอนนี้ ก็เป็นธรรมชาติที่ไม่มีความรู้ ดังนั้น ในด้านการขยายตัว สิ่งที่เราใช้จริง ๆ แล้วเป็นคุณสมบัติในการพิสูจน์ คำที่ทุกคนคุ้นเคยในขณะนี้เรียกว่า ZK roll-up และ Ethereum ก็กำลังสำรวจการขยายตัวของ ZK roll-up นี้ด้วย ตรรกะของมันคือเราต้องการให้ public chain กลับมาที่ตัวเอง เพราะจริง ๆ แล้ว ต้นทุนของ public chain นั้นสูงมาก ทุกคนต้องบรรลุฉันทามติ ทุกคนต้องรักษาชุดของบัญชีแยกประเภท และพวกเขาต้องทำการคำนวณใหม่ ซึ่งมีราคาแพงมาก ดังนั้นเราจึงหวังว่าจะนำต้นทุนการคำนวณนี้ออกจากห่วงโซ่ แล้วตกลงเฉพาะผลสุดท้ายในห่วงโซ่เท่านั้น กล่าวคือ บล็อกเชนของเราเป็นสถานะจริง ๆ ซึ่งประกอบด้วยยอดคงเหลือในบัญชีของทุกคน และทุกครั้งที่มีการทำธุรกรรม ยอดคงเหลือจะได้รับการอัปเดต นี่คือขั้นตอนการคำนวณจริง ๆ เราหวังว่าจะทำการคำนวณดังกล่าวนอกห่วงโซ่ จากนั้น ส่งผลการคำนวณใหม่และค่าพิสูจน์ว่าการคำนวณของฉันถูกต้องไปยังห่วงโซ่ ห่วงโซ่จำเป็นต้องตรวจสอบค่าการพิสูจน์เท่านั้นจากนั้นจึงสามารถอัปเดตสถานะได้โดยตรงเมื่อเทียบกับการคำนวณโดยตรงและการตรวจสอบค่าการพิสูจน์แล้วจริง ๆ แล้วรวดเร็วมาก นี่คือสิ่งที่เราเรียกว่า ZK roll-up ซึ่งดำเนินการขยาย นี่คือแอปพลิเคชันปัจจุบันของ ZK ในทิศทางของบล็อกเชน
ในความเป็นจริงแล้ว ในช่องที่ไม่ใช่บล็อกเชน เรามักจะพูดถึงการคำนวณความเป็นส่วนตัว แน่นอนว่าตอนนี้การประมวลผลเพื่อความเป็นส่วนตัวก็ถูกรวมเข้ากับบล็อกเชนด้วยเช่นกัน ตัวอย่างเช่น สำหรับการประมวลผลเพื่อความเป็นส่วนตัว เราหวังว่าจะบรรลุการประมวลผลที่ปลอดภัยแบบหลายฝ่าย และหลายฝ่ายจำเป็นต้องร่วมกันคำนวณผลลัพธ์ จากนั้นอาจใช้โปรโตคอล ZK บางตัวในสิ่งนี้ และมักจะปรากฏเป็นส่วนประกอบ จากนั้นสถานการณ์แอปพลิเคชันพื้นฐานจะเป็นเช่นนี้
Yiki:
โอเคขอบคุณ. ตอนนี้ฉันอยากจะถามว่าทำไม ZK ถึงสำคัญ? ตัวอย่างเช่น ถ้าคุณต้องการอธิบาย ZK ให้กับนักศึกษาบางคน คุณจะอธิบายให้ Shumo ฟังอย่างไร
Shumo:
ชื่อระดับแรก
🎙️ วิธีเรียน ZK
Yiki:
เข้าใจแล้วถามใหม่ได้ตามกระทู้นี้ครับ Shumo เป็นประสบการณ์หนึ่งที่คุณสามารถผสมผสานกับการเรียนรู้ ZK ของคุณเองได้ คุณช่วยแนะนำวิธีเรียนรู้ ZK จาก 0 ให้ฉันหน่อยได้ไหม
Shumo:
ฉันคิดว่าสิ่งแรกที่คุณต้องการคือการชี้แจงมุมมอง นั่นคือ ดูที่จุดแรก จุดประสงค์ของการเรียนรู้ ZK ของทุกคนคืออะไร กลุ่มเทคโนโลยีของ ZK นั้นลึกซึ้งมาก และมีประสิทธิภาพมากกว่าหากมีจุดประสงค์ที่ชัดเจน ประเด็นที่สองคือถ้าคุณต้องการเป็นผู้เชี่ยวชาญของ ZK คุณต้องเรียนรู้พื้นฐานของการเข้ารหัส จากนั้น cryptographers รุ่นเยาว์ก็เริ่มเรียนรู้โดยการดูหลักสูตรเปิดบางหลักสูตรเช่น Dan Boneh ศาสตราจารย์แห่งมหาวิทยาลัย Stanford เพราะนั่นคือสิ่งพื้นฐานที่สุดเกี่ยวกับการเข้ารหัส
ประการที่สองคือการดูไลบรารีโอเพ่นซอร์สบน Github ในทางปฏิบัติ ฉันคิดว่าโดยพื้นฐานแล้วมีสองด้านนี้ หนึ่งคือคุณสามารถเริ่มเรียนรู้ได้โดยตรงจากการเข้ารหัสขั้นพื้นฐานที่สุด แบบฝึกที่สองคือการเริ่มเขียนโปรแกรม
Yiki:
เข้าใจ ฉันคิดว่ามันมีความหมายมาก ไม่เพียงแต่การเรียนรู้ทางทฤษฎีเท่านั้น แต่การเขียนโค้ดก็มีความสำคัญมากเช่นกัน Sputnik คุณมีความคิดเห็นเกี่ยวกับเรื่องนี้หรือไม่? เพราะเท่าที่ทราบน้องเรียนคณิตมาตั้งแต่มหาลัย น้องๆ มีคำแนะนำอะไรให้น้องๆ เรียน ZK บ้างมั้ยคะ?
Sputnik:
ฉันเรียนวิชาคณิตศาสตร์ในระดับปริญญาตรี และต่อมาก็ศึกษาเรื่องความปลอดภัยของข้อมูล จากนั้นฉันก็เริ่มเรียนรู้เกี่ยวกับการเข้ารหัสในปีแรกของฉัน หากคุณต้องการเข้าใจระบบและสามารถนำไปใช้ได้ด้วยตนเอง ฉันยังแนะนำว่าคุณต้องเรียนรู้แนวคิดพื้นฐานของการเข้ารหัส รวมถึงชุดของแนวคิดต่างๆ เช่น ลายเซ็น ฟังก์ชันแฮช MAC เป็นต้น จากนั้น รวมถึงวิทยาการเข้ารหัสลับ วิธีการกำหนดความรู้เป็นศูนย์
ชื่อระดับแรก
🎙️ ติดตามสถานะและอนาคตของ ZK
Sputnik:
หัวข้อต่อไปของเราคือการพูดคุยเกี่ยวกับการเรียนรู้ ZK และ ZK มากมาย และจากนั้นฉันก็อยากได้ยินเกี่ยวกับ Shumo ด้วย จากมุมมองของอุตสาหกรรม ทำไมเราถึงบอกว่าแทร็กแอปพลิเคชัน ZK ในปัจจุบันมีความซับซ้อนมาก ซึ่งดูเหมือนว่า ว่ามีโครงการแอปพลิเคชั่น ZK มากมาย รวมถึง zkSync เป็นต้น เช่นเดียวกับ Zcash ที่กล่าวถึงในตอนนี้ และแม้แต่ Ethereum Foundation เองก็กำลังดำเนินการอยู่ จากนั้นพวกเขาทั้งหมดก็มีทีมเข้ารหัสที่เข้มแข็งอยู่เบื้องหลัง รวมทั้ง Eli Ben-Sasson ผู้ร่วมก่อตั้งของ Starkware ซึ่งเป็นศาสตราจารย์ในอิสราเอล และเขายังเป็นผู้ก่อตั้ง Zcash อีกด้วย และฉันต้องการถาม Shumo เกี่ยวกับปรากฏการณ์นี้ คุณคิดอย่างไร
Shumo:
ก่อนอื่น ฉันคิดว่ามันขึ้นอยู่กับว่าทุกคนเข้าใจคำว่าปริมาณอย่างไร ฉันคิดว่าเป็นกรณีนี้จริง ๆ ไม่ว่าจะเป็นโครงการที่มีอยู่แล้วหรือโครงการในระยะเริ่มต้นสิ่งที่ฉันสามารถบอกคุณได้คือมันจะยั่วยวนมากขึ้นเท่านั้นและจะไม่ยั่วยวนน้อยลง แต่จะแน่นอน ยั่วยวนมากขึ้นเรื่อยๆ แต่ฉันคิดว่าเรื่องของปริมาณเป็นสิ่งที่ดีสำหรับการรวมฟิลด์ของ ZK และรวมถึงเว็บ 3 ทั้งหมดของฉัน Web3 เป็นฟิลด์ที่สามารถไปมาได้อย่างอิสระ ทุกคนรู้สึกว่ามีโอกาส ดังนั้นเสียงจึงเริ่มขึ้น อันที่จริงแล้วในแต่ละโครงการมีปริมาณไม่เหมือนกัน Starkware มีความโดดเด่นมากและมีภาษาโปรแกรมของตัวเอง
แล้วมีอีกคำถามว่าตัดเข้าสู่กระบวนการของเล่มนี้อย่างไร คือ อาจจะไม่ได้ดูว่าโปรเจกต์ที่กำลังไฟกำลังทำอยู่นี้กำลังทำอะไรอยู่ แต่อยากคุยว่า ในด้านนี้มีความต้องการอะไรบ้างและอย่างไร เราสามารถแก้ปัญหาในทางปฏิบัติได้บ้างหรือไม่ . โดยรวมแล้ว ฉันคิดว่าปริมาณเป็นปรากฏการณ์ที่หลีกเลี่ยงไม่ได้ ฉันคิดว่าถ้าคุณต้องการทำสิ่งนี้ใน ZK คุณควรหาจุดเริ่มต้นของคุณเองแทนที่จะเลียนแบบโครงการอื่น
Sputnik:
สำหรับคำถามเกี่ยวกับแทร็ก ZK นี้ ฉันอยากจะขอให้คุณพูดคุยเกี่ยวกับเรื่องนี้ด้วย บริษัทชั้นนำหลายแห่งในฟิลด์ ZK rollup ได้แก่ zkSync, Starkware, Scroll และอื่นๆ อะไรคือความแตกต่างระหว่างพวกเขา? เราสามารถพูดคุยเกี่ยวกับเรื่องนี้?
Shumo:
นั่นคือ ก่อนอื่น ผมไม่ได้ทำการโรลอัพ ZK ด้วยตัวเอง สำหรับประเด็นนี้ ผมคิดว่า อย่างแรกคือ EVM equivalence นั่นคือ โปรเจกต์นั้นรองรับ EVM ได้อย่างสมบูรณ์หรือไม่
อันแรกเรียกว่าเข้ากันได้กับ evm ซึ่งทำโดย zkSync แนวทางของเขาไม่ใช่การใส่ evm ทั้งหมดลงในวงจร แต่เป็นการสร้าง VM ด้วยตัวเอง เนื่องจากการใส่ EVM ลงในวงจรนั้นยากเกินไปในทางเทคนิค และจากนั้นปัญหาบางอย่างจะเกิดขึ้น นี่คือแนวทางของ zkSync ข้อดีของมันคืออาจออนไลน์ก่อนหน้านี้ กล่าวคือ ในเครือข่ายหลักจริง zkSync อาจเป็นเครือข่ายหลักที่เร็วที่สุดในบรรดาบริษัทเหล่านี้ แต่ถ้าเข้ากันได้ในระดับ Solidity เท่านั้น เครื่องมือหลายอย่างใน Ethereum รวมถึงตัวดีบั๊กก็ไม่สามารถใช้ได้
ทั้ง Scroll และ Hermez อ้างว่ามีความเท่าเทียมกันของ EVM ซึ่งฉันคิดว่าดีกว่าและสามารถใช้ประโยชน์จาก toolchain ได้
จนถึงขณะนี้ผู้พิสูจน์สตาร์คแวร์คือผู้พิสูจน์ยังคงเป็นแหล่งที่มาแบบปิด จากนั้นคุณเพิ่งบอกว่าสิ่งที่ Ethereum Foundation กำลังทำอยู่นั้นเป็นการสำรวจทางเทคนิคอย่างแท้จริง และมีความเป็นไปได้สูงที่จะไม่ออนไลน์จริง ๆ
Sputnik:
สิ่งต่อไปคือเกี่ยวกับแทร็ก ZK นี้ เรายังมีคำถามสุดท้ายอีกข้อหนึ่ง ซึ่งก็คือ เราเพิ่งพูดถึงบางแอปพลิเคชันใน ZK ในแง่ของความเป็นส่วนตัวและการยกเลิก แต่ในความเป็นจริงสำหรับนักพัฒนาอาจกล่าวได้ว่าต้องใช้ทีมรหัสผ่านมืออาชีพ จากนั้นแอปพลิเคชันจะรวมการยกเลิกและเราหวังว่าจะทำจริง ๆ ผู้ใช้รายนี้มีความโปร่งใส กล่าวคือ เขาอาจไม่รู้สึกถึงการมีอยู่ของเลเยอร์ระดับกลางนี้ คำถามของฉันคือเป็นไปได้ไหมที่เราจะสร้างผลิตภัณฑ์แบบติดดินมากขึ้น เป็นสิ่งที่คนธรรมดาสัมผัสได้ ใช้ได้ มีอย่างนี้ด้วยหรือ?
Shumo:
ฉันคิดว่าคำถามนี้ดีมาก และฉันคิดว่ามีแน่นอน ในประเด็นแรกเกี่ยวกับการเลิกใช้ ZK จะไม่มีความเป็นส่วนตัวและสามารถปรับใช้ได้โดยตรงบนเลเยอร์กลาง เช่น zkSync โดยไม่ต้องรู้จัก ZK ด้วยตัวคุณเอง แต่ถ้าเป็นแอปพลิเคชันจากมุมมองของความเป็นส่วนตัว คุณต้องเข้าใจ ZK ด้วยตัวคุณเอง ตัวอย่างเช่น หากคุณโต้ตอบกับแพลตฟอร์มเนื้อหาความเป็นส่วนตัวของ Manta คุณอาจต้องทำการเขียนโปรแกรม ZK ด้วยตัวเอง ฉันคิดว่านี่เป็นสิ่งที่น่าสนใจมากสำหรับนักพัฒนา
ประเด็นที่สองคือแม้ว่าพื้นหลังในการเข้ารหัสจะดีมากในสาขานี้ แต่การพัฒนาภาษาระดับสูงและเครื่องมือทำให้นักพัฒนาไม่จำเป็นต้องเขียนวงจรระดับต่ำด้วยมืออีกต่อไป เช่นเดียวกับการเกิดขึ้นของระดับสูง ภาษาโปรแกรมทำให้ไม่จำเป็นต้องเขียนแอสเซมบลีด้วยมือ ดังนั้นเราจึงเห็นได้ว่าเกณฑ์สำหรับการเขียนโปรแกรมด้วย ZK นั้นต่ำลงเรื่อยๆ ฉันคิดว่าเรื่องนี้ต้องใช้เวลาอย่างแน่นอน ในอนาคต นักพัฒนาไม่จำเป็นต้องเข้าใจทุกรายละเอียดของการเข้ารหัส และภาษาโปรแกรม ZK และไลบรารีจะยังคงปรากฏต่อไป
Sputnik:
ตกลง ขอบคุณคุณชูโม่ ฉันคงเข้าใจมุมมองของคุณที่มีต่อ ZK แล้วชิ้นต่อไปเราอาจต้องการพูดถึง Manta อีกครั้ง คำถามต่อไปที่ฉันอาจต้องการถามคือ ฉันรู้ว่า Manta กำลังทำงานกับ MantaPay ซึ่งเป็นระบบการชำระเงินและมีความเป็นส่วนตัว ดังนั้น ฉันขอให้ Shumo แนะนำ MantaPay นี้และพูดคุยเกี่ยวกับความแตกต่างระหว่าง MantaPay และ Zcash ในเวลาเดียวกัน?
Shumo:
ประการแรกคือจากมุมมองของการแก้ปัญหา ก่อนอื่น เราได้เรียนรู้จากความสำเร็จมากมายของ Zcash แต่ความแตกต่างอย่างมากในโปรโตคอลของฉันคือ Zcash รองรับเพียงสกุลเงินเดียว และเรารองรับหลายสกุลเงิน เรายังมีความแตกต่างในแนวคิดโดยรวม Zcash คือการสร้างบางสิ่งจาก 0 เราต้องการใช้ความเป็นส่วนตัวเป็นโครงสร้างพื้นฐานที่สามารถเสริมความแข็งแกร่งให้กับห่วงโซ่อุตสาหกรรมทั้งหมด แทนที่จะสร้างระบบการชำระเงินของเราเอง
ประเด็นที่สองคือจากมุมมองทางเทคนิค เราเริ่มต้นช้ากว่า Zcash ดังนั้นเราจึงใช้เทคนิคการเข้ารหัสที่ใหม่กว่า รวมถึงฟังก์ชันแฮชที่เป็นมิตรกับ ZK วงจรของเรามีขนาด 1/10 ของ Zcash ประสิทธิภาพที่ดีขึ้นและประสบการณ์การใช้งานที่ดีขึ้น นี่คือความเหมือนและความแตกต่างระหว่างเรากับ Zcash แน่นอนว่าเรากำลังยืนอยู่บนไหล่ของยักษ์ใหญ่และเรียนรู้มากมายเกี่ยวกับ Zcash
Sputnik:
โอเค ขอบคุณ Shumo ที่แนะนำ MantaPay นอกจากนี้ ฉันยังมีคำถามโดยละเอียด ฉันสงสัยเป็นการส่วนตัว ก่อนหน้านั้น ฉันอาจแนะนำแนวคิดนี้กับคุณ นั่นคือ การตั้งค่าที่เชื่อถือได้ ซึ่งเรียกว่า การตั้งค่าที่เชื่อถือได้ กล่าวคือ ในบางอัลกอริทึม บางครั้งเราจำเป็นต้องใช้การตั้งค่าที่เชื่อถือได้เพื่อสร้างพารามิเตอร์ที่อัลกอริทึมต้องใช้ จากนั้นจึงเหมือนกับการออกแบบเริ่มต้นใน Zcash จากนั้นอัลกอริทึมก็ต้องการการออกแบบดังกล่าว เช่นเดียวกับที่ Shumo แนะนำก่อนหน้านี้ ฉันเรียนรู้ว่าเราต้องการการตั้งค่าที่เชื่อถือได้สำหรับ Manta pay เช่นกัน ฉันอยากฟัง เพราะอาจมีอัลกอริทึมบางอย่างของการตั้งค่าที่เชื่อถือได้ซึ่งไม่จำเป็น และเรายังคงใช้มันอยู่ หลังจากนั้น ประเด็นนี้มีประโยชน์หรือไม่?
Shumo:
ใช่ สิ่งนี้มีประโยชน์อย่างแน่นอน และปัจจุบันมีการใช้กันอย่างแพร่หลาย มีระบบ Zero-Knowledge Proof อยู่ 2 ประเภท ประเภทหนึ่งเรียกว่า Groth16 ที่เรากำลังใช้อยู่ และอีกประเภทคือ Plonk ซึ่งแต่ละประเภทมีข้อดีและข้อเสียต่างกันไป แบบแรกต้องการการตั้งค่าที่เชื่อถือได้ แต่แบบหลัง ไม่ต้องการ (การตั้งค่าที่เชื่อถือได้เฉพาะแอปพลิเคชัน) เราพบว่าแบบแรกมีประสิทธิภาพที่ดีจากการทดสอบ
จากมุมมองของรายละเอียดการเข้ารหัสจำนวนมาก วงจรของทั้ง 2 ต่างกัน และระบบพิสูจน์ก็ต่างกัน กล่าวโดยสรุป การตั้งค่าที่เชื่อถือได้ที่เราใช้ในขณะนี้มีไว้สำหรับพิจารณาประสิทธิภาพเท่านั้น อุปกรณ์ของผู้ใช้ที่แตกต่างกันมีเวลาในการสร้างหลักฐานที่แตกต่างกัน และเราไม่สามารถ "เลือกปฏิบัติ" กับผู้ใช้ที่ช้าได้ โดยเฉพาะอย่างยิ่ง เวลาในการสร้างการพิสูจน์คือ 2 วินาทีหรือ 20 วินาทีจริง ๆ แล้วจะมีผลกระทบที่สำคัญต่อประสบการณ์ของผู้ใช้ นี่คือการพิจารณาผลงานของเรา
ประเด็นที่สอง ความปลอดภัยในการตั้งค่าที่เชื่อถือได้ยังคงควบคุมได้ สมาชิกจำนวนมากของชุมชน Manta จะเข้าร่วม และเราอาจเชิญบุคคลที่มีชื่อเสียงในแวดวงให้เข้าร่วมในการตั้งค่าที่เชื่อถือได้ ดังนั้นจึงรับประกันความซื่อสัตย์ได้ ซึ่งเป็นเหตุผลที่เราใช้การตั้งค่าที่เชื่อถือได้
Yiki:
ชื่อเรื่องรอง
เกี่ยวกับทูบา
ทีมผู้ก่อตั้งของ Manta ประกอบด้วยผู้คร่ำหวอดในวงการคริปโตเคอเรนซี อาจารย์ และนักวิชาการหลายคน ซึ่งมีประสบการณ์รวมถึง Harvard, MIT และ Algorand สถาบันการลงทุนของ Manta ได้แก่ Polychain, ParaFi, Binance Labs, Multicoin, CoinFund, Alameda, DeFiance และ Hypersphere เป็นต้น Manta ยังเป็นผู้รับทุนของมูลนิธิ Web3 อย่างเป็นทางการของ Polkadot ซึ่งเป็นสมาชิกของ Substrate Builder Program และเป็นสมาชิกของ Berkeley University Blockchain Accelerator
เกี่ยวกับ มันตา เน็ตเวิร์ค
Manta Network มุ่งมั่นที่จะสร้างโลก Web3 ที่ดีขึ้นผ่านการปกป้องความเป็นส่วนตัว การออกแบบผลิตภัณฑ์ของ Manta เริ่มต้นจากหลักการแรก และมอบการปกป้องความเป็นส่วนตัวแบบ end-to-end สำหรับผู้ใช้บล็อกเชนผ่านสถาปัตยกรรมการเข้ารหัสชั้นนำ เช่น zkSNARK ขณะที่ปกป้องความเป็นส่วนตัว Manta ยังทำงานร่วมกันได้ สะดวก ประสิทธิภาพสูง และตรวจสอบได้ ช่วยให้ผู้ใช้สามารถโอนและทำธุรกรรมแบบส่วนตัวระหว่างสินทรัพย์ parachain ใดๆ วิสัยทัศน์ของ Manta คือการให้บริการปกป้องความเป็นส่วนตัวที่สะดวกยิ่งขึ้นสำหรับโลกบล็อกเชนทั้งหมด
ทีมผู้ก่อตั้งของ Manta ประกอบด้วยผู้คร่ำหวอดในวงการคริปโตเคอเรนซี อาจารย์ และนักวิชาการหลายคน ซึ่งมีประสบการณ์รวมถึง Harvard, MIT และ Algorand สถาบันการลงทุนของ Manta ได้แก่ Polychain, ParaFi, Binance Labs, Multicoin, CoinFund, Alameda, DeFiance และ Hypersphere เป็นต้น Manta ยังเป็นผู้รับทุนของมูลนิธิ Web3 อย่างเป็นทางการของ Polkadot ซึ่งเป็นสมาชิกของ Substrate Builder Program และเป็นสมาชิกของ Berkeley University Blockchain Accelerator
We're Hiring!
ทวิตเตอร์ภาษาจีน:
ติดตามช่องทางอย่างเป็นทางการสำหรับข้อมูลเพิ่มเติมเกี่ยวกับ Manta/Calamari:
Website:https://manta.network/
Github:https://github.com/Manta-Network
Twitter:https://twitter.com/MantaNetwork
Medium:https://mantanetwork.medium.co
Telegram:https://t.me/mantanetwork
Discord:https://discord.gg/ZtSuSKRy8X
โทรเลขจีน:https://t.me/mantanetwork_zh
ทวิตเตอร์ภาษาจีน:https://twitter.com/manta_china
