การประยุกต์ใช้ ZKP: ZK Rollups และเหรียญเพื่อความเป็นส่วนตัว
สำรวจกรณีการใช้งาน Sapling ของ Zcash, zkSync และ StarkNet
การประยุกต์ใช้ ZKP: ZK Rollups และเหรียญเพื่อความเป็นส่วนตัว เป็นบทเรียน Cryptology Academy ฟรีบน CoddyKit นี่คือบทเรียนที่ 4 จากทั้งหมด 4 บทเรียน คุณสามารถอ่านบทเรียนทั้งหมดด้านล่างฟรี — จากนั้นลองปฏิบัติด้วยตัวคุณเองในเบราว์เซอร์พร้อมตัวแก้ไขโค้ดในตัวและติวเตอร์ AI ตลอด 24/7 บทเรียนนี้เป็นส่วนหนึ่งของเส้นทางการเรียน Cryptology Academy และความก้าวหน้าของคุณจะซิงค์ข้ามเว็บและแอป CoddyKit คอร์ส Cryptology Academy มีบทเรียนทั้งหมด 4 บทเรียน
ปัญหาความสามารถในการขยายของบล็อกเชน
Ethereum ประมวลผลได้ประมาณ 15 TPS ส่วน Visa ประมวลผลได้ประมาณ 1700 TPS เพื่อรองรับการขยาย โรลอัป ZK จะรวมธุรกรรมนับพันรายการเป็นชุดนอกเชน คำนวณการพิสูจน์ SNARK ว่าธุรกรรมเหล่านั้นถูกต้อง แล้วเผยแพร่การพิสูจน์บนเชน ผู้ตรวจสอบเครือข่ายจะตรวจสอบเพียงการพิสูจน์ (1 มิลลิวินาที) แทนการตรวจสอบทีละธุรกรรม
สถาปัตยกรรมโรลอัป ZK
ผู้ใช้ส่งธุรกรรมไปยังตัวจัดลำดับ ตัวจัดลำดับจะรวมธุรกรรมเป็นชุด ประมวลผลนอกเชน คำนวณการพิสูจน์การเปลี่ยนสถานะ (SNARK/STARK ที่พิสูจน์ว่ารากสถานะใหม่ถูกต้อง) แล้วเผยแพร่การพิสูจน์พร้อมข้อมูลเรียกฟังก์ชันแบบบีบอัดไปยัง Ethereum L1
zkSync Era
zkSync Era (Matter Labs) คือโรลอัป ZK ที่เข้ากันได้กับ EVM และใช้ SNARK แบบกำหนดเอง (Boojum ซึ่งพัฒนาบน STARK) นักพัฒนานำสัญญา Solidity ไปใช้งานได้ โดยสัญญาจะถูกคอมไพล์เป็นไบต์โค้ด zkEVM อัตราประมวลผลมากกว่า 2000 TPS พร้อมการรับประกันความปลอดภัยระดับเดียวกับ Ethereum
StarkNet
StarkNet ใช้ STARK (ผ่านตัวสร้างการพิสูจน์ Stark) และภาษา Cairo ไม่ต้องใช้การตั้งค่าที่เชื่อถือได้ โปรแกรมจะถูกคอมไพล์เป็นไบต์โค้ด Cairo พิสูจน์ด้วย STARK และตรวจสอบบน Ethereum ใช้โดย dYdX (v3), Immutable X (โทเคน NFT) และ Sorare (กีฬาแฟนตาซี)
Polygon Hermez (zkEVM)
Polygon zkEVM ใช้การพิสูจน์ที่อาศัย PLONK เพื่อจำลอง EVM ได้ตรงตามต้นฉบับ สัญญาอัจฉริยะของ Ethereum ใด ๆ ก็ทำงานได้โดยไม่ต้องแก้ไข ผู้พิสูจน์จะสร้างการพิสูจน์ PLONK สำหรับธุรกรรมแต่ละชุด ซึ่งสามารถตรวจสอบบน Ethereum L1 ได้ภายในการทำธุรกรรมเดียว
เหรียญความเป็นส่วนตัว: Zcash
Zcash (ZEC) ใช้ SNARK Groth16 (โปรโตคอล Sapling) เพื่อรองรับธุรกรรมแบบปกปิด โดยซ่อนผู้ส่ง ผู้รับ และจำนวนเงินทั้งหมด SNARK พิสูจน์ว่าธุรกรรมนั้นถูกต้อง (ไม่มีการใช้จ่ายซ้ำและจำนวนเงินสมดุลกัน) โดยไม่เปิดเผยข้อมูลส่วนตัวใด ๆ
การผูกมัดบันทึกของ Zcash
บันทึกแบบปกปิดของ Zcash ผูกมัดกับ (ค่า, ผู้รับ, ค่าสุ่ม) โดยใช้แฮช Pedersen SNARK พิสูจน์ว่า (1) คุณรู้ค่าต้นทางของการผูกมัด (คุณเป็นเจ้าของบันทึก) (2) บันทึกนั้นยังไม่ถูกใช้จ่าย (อยู่ในชุดค่าเพิกถอน) และ (3) จำนวนเงินขาออกเท่ากับจำนวนเงินขาเข้า
Monero เทียบกับ Zcash
Monero ใช้ลายเซ็นแบบวงแหวนและการผูกมัดแบบ Pedersen (RingCT) โดยไม่ใช้ SNARK และธุรกรรมทั้งหมดจะถูกปกปิดเป็นค่าเริ่มต้น ส่วน Zcash อาศัย SNARK โดยมีที่อยู่แบบเปิดเผยและแบบปกปิดอยู่ร่วมกัน Monero ใช้วิทยาการเข้ารหัสลับที่เรียบง่ายกว่าและมีค่าเริ่มต้นด้านความเป็นส่วนตัวที่เข้มงวดกว่า ส่วน Zcash มีการรับประกันทางวิทยาการเข้ารหัสลับที่แข็งแกร่งกว่า
อัตลักษณ์ ZK
การพิสูจน์อัตลักษณ์ด้วย ZK: พิสูจน์ว่าคุณอายุมากกว่า 18 ปีโดยไม่เปิดเผยวันเกิด พิสูจน์ว่าคุณเป็นพลเมืองโดยไม่เปิดเผยหมายเลขหนังสือเดินทาง พิสูจน์ว่าคุณเป็นนักลงทุนที่ได้รับการรับรองโดยไม่เปิดเผยมูลค่าทรัพย์สินสุทธิ การนำไปใช้งาน ได้แก่ Polygon ID และ Semaphore (การส่งสัญญาณแบบไม่เปิดเผยตัวตน)
การอนุมานการเรียนรู้ของเครื่องแบบส่วนตัว
การเรียนรู้ของเครื่องด้วย ZK: พิสูจน์ว่าการอนุมานของโครงข่ายประสาทเทียมถูกคำนวณอย่างถูกต้องบนข้อมูลนำเข้าส่วนตัว ใช้สำหรับการวินิจฉัยทางการแพทย์ (พิสูจน์ว่าโมเดลทำงานกับข้อมูลของคุณโดยไม่เปิดเผยข้อมูล) และการให้คะแนนเครดิต (พิสูจน์ว่าโมเดลให้ผลลัพธ์โดยไม่เปิดเผยข้อมูลนำเข้า) ปัจจุบันยังอยู่ในขั้นวิจัยสำหรับโมเดลขนาดใหญ่
การคำนวณที่ตรวจสอบได้
การพิสูจน์ ZK ช่วยให้เกิดการคำนวณที่ว่าจ้างภายนอกและตรวจสอบได้ ผู้ให้บริการคลาวด์พิสูจน์ว่าตนประมวลผลการคำนวณอย่างถูกต้อง และลูกค้าตรวจสอบได้ภายในมิลลิวินาทีโดยไม่ต้องประมวลผลซ้ำ มีประโยชน์ต่อการอนุมาน AI การวิเคราะห์ข้อมูล และบริดจ์ที่ไม่ต้องพึ่งความไว้วางใจ
ตรวจสอบความเข้าใจ
โรลอัป ZK เผยแพร่อะไรไปยัง Ethereum L1 เพื่อพิสูจน์ว่าธุรกรรมถูกต้อง?
ทบทวน
โรลอัป ZK (zkSync, StarkNet, Polygon zkEVM) ใช้ SNARK/STARK เพื่อรองรับการขยายของ L2 Zcash ใช้ Groth16 สำหรับธุรกรรมแบบปกปิด ZKP ยังนำไปใช้กับอัตลักษณ์ การอนุมาน ML และการคำนวณภายนอกที่ตรวจสอบได้ บทถัดไป: การเข้ารหัสแบบโฮโมมอร์ฟิก
คำถามที่พบบ่อย
บทเรียน “การประยุกต์ใช้ ZKP: ZK Rollups และเหรียญเพื่อความเป็นส่วนตัว” ฟรีหรือไม่
ใช่ — ข้อความเต็มของ “การประยุกต์ใช้ ZKP: ZK Rollups และเหรียญเพื่อความเป็นส่วนตัว” ฟรีให้อ่านที่นี่บนเว็บ เพื่อปฏิบัติแบบโต้ตอบ (ตัวแก้ไขโค้ดในตัวและติวเตอร์ AI ตลอด 24/7) และปลดล็อคส่วนที่เหลือของคอร์ส Cryptology Academy ให้อัปเกรดเป็น CoddyKit PRO คอร์ส Cryptology Academy มีบทเรียนทั้งหมด 4 บทเรียน
คุณจะเรียนรู้อะไรในบทเรียน “การประยุกต์ใช้ ZKP: ZK Rollups และเหรียญเพื่อความเป็นส่วนตัว”
สำรวจกรณีการใช้งาน Sapling ของ Zcash, zkSync และ StarkNet คุณปฏิบัติ Cryptology Academy ด้วยโค้ดที่ใช้งานได้จริงที่คุณเรียกใช้โดยตรงในเบราว์เซอร์ และติวเตอร์ AI ตลอด 24/7 ตอบคำถามของคุณขณะที่คุณไปผ่านบทเรียน
คุณต้องมีประสบการณ์ก่อนที่จะเริ่มเรียน Cryptology Academy หรือไม่
ไม่จำเป็นต้องมีประสบการณ์มาก่อน Cryptology Academy บน CoddyKit ออกแบบมาสำหรับผู้เริ่มต้นไปจนถึงผู้เรียนขั้นสูง คุณสามารถเริ่มต้นที่นี่หรือเริ่มจากตัวแรกและเรียนด้วยความเร็วของคุณเอง นี่คือบทเรียนที่ 4 จากทั้งหมด 4 บทเรียน
บทเรียน “การประยุกต์ใช้ ZKP: ZK Rollups และเหรียญเพื่อความเป็นส่วนตัว” ใช้เวลานานแค่ไหน
บทเรียน CoddyKit ส่วนใหญ่ใช้เวลาประมาณ 5–10 นาที แต่ละบทเรียนจึงสั้นและเป็นแบบโต้ตอบ คุณสามารถก้าวหน้าอย่างต่อเนื่องและกลับมาเรียนต่อจากตรงที่เพิ่งหยุดบนเว็บและแอปได้เลย
ฉันเขียนและรันโค้ดในบทเรียน Cryptology Academy นี้ได้ไหม
ได้ บทเรียน Cryptology Academy ทุกบทมีตัวแก้ไขโค้ดในตัว คุณจึงเขียนและรันโค้ดจริงได้เลยในเบราว์เซอร์ และได้รับข้อเสนอแนะจาก AI ในทันที — ไม่ต้องติดตั้งในเครื่องของคุณ
บทเรียนทั้งหมดในหลักสูตรนี้
- สัญชาตญาณ ZKP: ถ้ำอาลีบาบา
- โพรโทคอลซิกมาและการระบุตัวตนแบบ Schnorr
- zk-SNARKs: อาร์กิวเมนต์แบบกระชับและไม่โต้ตอบ
- การประยุกต์ใช้ ZKP: ZK Rollups และเหรียญเพื่อความเป็นส่วนตัว