ยกตัวอย่างสวนสัตว์ การทำให้หลักการทำงานของวงจร zkSync เป็นที่นิยมทางวิทยาศาสตร์แบบฮาร์ดคอร์

ผู้เขียนต้นฉบับ: Haotian (X: @tme l0 211)

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

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

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

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

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

สัตว์+กล่องหลายชนิดรวมกันเป็นวงจร เช่น คิดสูตร 2 x + 3 = Y, x หมายถึง กล่องไม้, Y หมายถึง หิน, กล่องไม้ 2 กล่อง, หนอนผีเสื้อ, ม้าลาย ฯลฯ มารวมกัน ในการทำงาน สุดท้ายตรวจสอบว่ามีการกำหนดสูตรไว้หรือไม่ โปรดทราบว่าไม่จำเป็นต้องกังวลว่าเหตุใดสัตว์ต่างๆ จึงมีความสามารถต่างกัน นี่คือหลักการพื้นฐานของการทำงานขององค์ประกอบวงจรและกฎพื้นฐานสำหรับคอมพิวเตอร์ในการคำนวณ

วงจรที่ซับซ้อนถูกสร้างขึ้นจากสัตว์หลากหลายชนิด (ลอจิกเกต) และกล่อง (กฎ)

3) สมมติว่าสูตร 2 x+ 3 =Y ที่เพิ่งป้อนถูกสร้างขึ้น ซึ่งหมายความว่าสัตว์ต่างๆ เช่น หนอนผีเสื้อม้าลายมีความสุข จากนั้นจะสร้าง หลักฐาน สำหรับสูตรดังกล่าว ตัวละครจะต้องสามารถระบุได้ว่าสิ่งนี้หรือไม่ หลักฐานแม่น.. ดังนั้น เพื่อให้มั่นใจในความน่าเชื่อถือของหลักฐาน ผู้ดูแลสวนสัตว์ ซึ่งเป็นผู้สร้างวงจรจึงได้จำลองสัตว์พิเศษที่เรียกว่า Zeek โดย Zeek สามารถดูได้ว่าสัตว์ตัวอื่นมีความสุขหรือไม่และเทียบเท่ากับ Verifier ในระบบเลเยอร์ 2

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

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

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

ลิงค์เดิม