หน้าแรก>การเขียนโปรแกรมที่เกี่ยวข้อง>ซอร์สโค้ดอื่น ๆ
ดาวน์โหลด

ตัวอย่างเอกสารประกอบการโรลอัพ

พื้นที่เก็บข้อมูลนี้มีตัวอย่างการยกเลิกที่ผสานรวมกับ Espresso Sequencer ตัวอย่างการรวบรวมแสดงถึงที่เก็บบัญชีคีย์/ค่าธรรมดาที่ได้รับธุรกรรมที่สั่งจาก Espresso ดำเนินการใน Rollup VM และเผยแพร่การพิสูจน์สถานะจำลองไปยังสัญญาอัจฉริยะ L1 (Ethereum) การยกเลิกประกอบด้วย API อย่างง่ายสำหรับการส่งธุรกรรมและการสอบถามยอดคงเหลือในบัญชี

การแนะนำ

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

เรียกใช้ตัวอย่าง

ข้อกำหนดเบื้องต้น

ตรวจสอบให้แน่ใจว่าติดตั้ง docker บนระบบของคุณ

สำหรับการกระจาย Linux ให้ทำตามคำแนะนำอย่างเป็นทางการของการแจกจ่าย Linux ของคุณหรือดูคำแนะนำอย่างเป็นทางการของนักเทียบท่า

การเรียกใช้ตัวอย่าง Rollup บน Espresso Sequencer

ก่อนอื่นเราต้องเริ่มต้นเครือข่าย Espresso Sequencer ในพื้นที่ 

 git clone https://github.com/EspressoSystems/espresso-sequencer
cd espresso-sequencer
docker compose pull
docker compose up -d --wait

เมื่อปรับใช้การยกเลิกตัวอย่างเสร็จแล้ว ก็สามารถเรียกใช้แบบเนทีฟได้

หากต้องการรันแบบเนทิฟ จำเป็นต้องมี toolchain แบบสนิม เราจัดเตรียม nix shell เพื่อติดตั้งการขึ้นต่อกันทั้งหมด Nix สามารถติดตั้งได้ผ่าน nix-installer เมื่อติดตั้งแล้วให้รันสิ่งต่อไปนี้จากรูทของโปรเจ็กต์: 

 nix develop
just dev-demo

การโต้ตอบกับการสาธิต

หลังจากรัน just dev-demo คุณจะสามารถเห็นบันทึก new state event หลังจากนั้นไม่กี่นาที

  1. อลิซลงนามในธุรกรรมการโอนโทเค็นสะสมให้กับ Bob Alice ส่งธุรกรรมนี้ไปยัง Rollup ผ่านจุดสิ้นสุด submit ของ Rollup API หากอลิซกังวลเกี่ยวกับการเซ็นเซอร์ เธอสามารถส่งธุรกรรมของเธอไปยังซีเควนเซอร์ได้โดยตรง
  2. เซิร์ฟเวอร์ Rollup API ส่งต่อธุรกรรมไปยังซีเควนเซอร์ ธุรกรรมถูกแท็กด้วยรหัส Namespace ที่ไม่ซ้ำกันของค่าสะสม เพื่อให้ค่าสะสมสามารถระบุธุรกรรมของตัวเองในขั้นตอนที่ 4
  3. เครือข่ายซีเควนเซอร์จะประมวลผลธุรกรรม และรวมไว้ในบล็อกในที่สุด โหนดซีเควนเซอร์ส่งสถานะใหม่ไปยังสัญญา Light Client บน L1 ซึ่งจะตรวจสอบว่าได้บรรลุฉันทามติเกี่ยวกับสถานะใหม่แล้ว
  4. บริการผู้ดำเนินการได้รับการแจ้งเตือนสถานะใหม่ผ่านการสมัครสมาชิกบริการสืบค้นที่จัดทำโดยโหนดซีเควนเซอร์
  5. ผู้ดำเนินการยังฟังส่วนหัวของบล็อกใหม่ที่ถูกจัดลำดับบนเครือข่ายฮอตช็อต จากนั้นจะดึงข้อมูลการพิสูจน์เนมสเปซ vid common และบล็อกแฮช
  6. จากนั้นผู้ดำเนินการจะประมวลผลธุรกรรม โดยทำตามขั้นตอนต่อไปนี้:
    • ผู้ดำเนินการใช้ธุรกรรมกับสถานะ VM ก่อนการสมัคร แต่ละธุรกรรมจะได้รับการตรวจสอบ และธุรกรรมที่ไม่ถูกต้องจะถูกละทิ้ง (การสรุปจริงจะรวมหลักฐานการไม่ถูกต้องของธุรกรรมในที่สุด) ในกรณีของเรา บล็อกประกอบด้วยธุรกรรมเดียวจาก Alice ถึง Bob เนื่องจากธุรกรรมมีลายเซ็นที่ถูกต้องและ Alice มียอดคงเหลือเพียงพอ ธุรกรรมจึงถูกนำไปใช้สำเร็จและยอดคงเหลือได้รับการอัปเดต
    • หลังจากแอปพลิเคชันธุรกรรม ผู้ดำเนินการจะอัปเดตสถานะ VM ด้วยข้อผูกมัดบล็อกใหม่และข้อผูกมัดสถานะก่อนหน้า
    • ผู้ดำเนินการคำนวณข้อผูกพันของสถานะใหม่ และสร้างหลักฐานจำลองว่าสถานะได้รับการอัปเดตอย่างถูกต้องตามข้อผูกพันของบล็อก HotShot
  7. ผู้ดำเนินการจะโพสต์หลักฐานในสัญญาการยกเลิก
  8. สัญญาการยกเลิกจะตรวจสอบการพิสูจน์โดยการสอบถามข้อผูกพันบล็อกที่ผ่านการรับรองล่าสุดจากสัญญาซีเควนเซอร์ หมายเหตุ: ในการใช้งานปัจจุบัน เราไม่ได้ทำการตรวจสอบยืนยันในสัญญามากนัก เพื่อวัตถุประสงค์ในการใช้งานจริง สัญญาสรุปจะต้องทำการตรวจสอบเพิ่มเติมกับสถานะไคลเอ็นต์แบบ light
  9. Bob สอบถามยอดคงเหลือของเขาโดยใช้ Rollup API และเห็นว่าเขาได้รับโทเค็นใหม่บางส่วน หากนี่เป็นการยกเลิกจริง Bob ที่อาจไม่ไว้วางใจจะสามารถตรวจสอบยอดคงเหลือของเขากับข้อผูกพันสถานะสัญญาควบรวม (ตัวอย่างไม่มีฟีเจอร์นี้ในปัจจุบัน)

สถาปัตยกรรมโรลอัพ

สถานะค่าสะสม

สถานะของการยกเลิกตัวอย่างประกอบด้วย:

  • บัญชี : การแมปที่อยู่ ECDSA (สไตล์ EVM) กับยอดคงเหลือของโทเค็นจำลอง
  • Block Hash : แฮชของบล็อกฉันทามติ hotshot ล่าสุด
  • ข้อผูกพันสถานะก่อนหน้า : ข้อผูกมัดในการเข้ารหัสต่อสถานะของการยกเลิกก่อนขั้นตอนการดำเนินการล่าสุด
  • VM : ข้อมูลเกี่ยวกับ Rollup VM ตอนนี้ นี่คือ ID ธรรมดา

ผู้ดำเนินการ

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

API สะสม

Rollup API คือ REST API ที่มีจุดสิ้นสุด submit และ query

สัญญาการยกเลิก

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

เอสเปรสโซ

ในตัวอย่างนี้ เราใช้ส่วนประกอบเอสเปรสโซบางส่วนตามที่อธิบายไว้ด้านล่าง ข้อมูลเพิ่มเติมสามารถพบได้ในเอกสาร

ลูกค้าแสง

ไคลเอนต์แบบ light คือสัญญาอัจฉริยะที่ตรวจสอบความสมบูรณ์ของสถานะการยกเลิก รหัสสัญญาสามารถพบได้ที่นี่

เครือข่ายเอสเพรสโซ่

เราใช้เครือข่ายเอสเปรสโซโดยใช้อิมเมจนักเทียบท่าเอสเพรสโซ เครือข่ายใช้ hotshot เพื่อให้บรรลุฉันทามติเกี่ยวกับสถานะการรวม สามารถพบได้ที่นี่

ฮอตช็อต

Espresso Network ใช้ HotShot เพื่อให้ได้รับความเห็นพ้องต้องกันเกี่ยวกับสถานะการรวม

ขยาย
ข้อมูลเพิ่มเติม
แอปที่เกี่ยวข้อง
แนะนำสำหรับคุณ
ข้อมูลที่เกี่ยวข้อง ทั้งหมด