Vitalik: ต่อต้านเครื่อง oracle ราคาของเลเยอร์ฐานอย่างแน่นอน ฟังก์ชั่นของเลเยอร์ Ethereum L1 ควรถูกจำกัดอย

หมายเหตุบรรณาธิการ: บทความนี้มาจากข้อมูล Babbitt (รหัส: bitcoin8btc)หมายเหตุบรรณาธิการ: บทความนี้มาจาก

ข้อมูล Babbitt (รหัส: bitcoin8btc)

, ผู้แต่ง: Justin Drake & Vitalik Buterin, ผู้เรียบเรียง: ฟรีและง่าย, เผยแพร่โดยได้รับอนุญาต

เขียนไว้ด้านหน้า: หลังจากดูละคร Bitcoin halving แล้ว มาดู Ethereum กันดีกว่า เมื่อวานนี้ Vitalik Buterin ผู้ร่วมก่อตั้ง Ethereum ได้เขียนบทความแสดงการต่อต้านอย่างหนักแน่นต่อข้อเสนอ oracle ราคาชั้นฐานล่าสุดที่เสนอโดย Ethereum 2.0 นักวิจัย Justin Drake และใส่ ส่งต่อข้อโต้แย้งที่สำคัญ 6 ข้อ นอกจากนี้ เขายังกล่าวด้วยว่าระบบนิเวศของ Ethereum ได้รับประโยชน์จากระบบนิเวศของโทเค็นชั้นแอปพลิเคชันที่แข็งแกร่งแทนที่จะผูกขาดฟังก์ชันที่สำคัญทั้งหมดผ่านชั้น L1 คุณสนับสนุนใครในการต่อสู้ครั้งนี้ระหว่างแกนหลักของ Ethereum 2.0?

คำอธิบายภาพ

หมายเหตุ: ข้อเสนอต่อไปนี้เสนอโดย Justin Drake:

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

ขอบคุณ @albert, @benjaminion, @dankrad, @danrobinson, @DCinvestor, @djrtwo, Eric Conner, Evan Van Ness, @karl, @khovratovich, Mehdi Zerouali, @mkoeppelmann, @paulhauser, @protolambda, @Robert, @ryanseanadams คำติชมและการสนทนาจาก @sassal, @scott_lew_is, @vbuterin

ชื่อเรื่องรอง

โครงสร้าง

1. เพิ่ม price_data: ฟิลด์ PriceData ไปยัง BeaconBlockBody โดยที่:

2. จากมุมมองที่สอดคล้องกันของ Ethereum 2.0 ออบเจ็กต์ price_data จะถูกจัดการเหมือนสตริงกราฟฟิตี นั่นคือ price_data สามารถเป็นข้อมูลตามอำเภอใจซึ่งค่าจะถูกละเว้นโดยฟังก์ชันการเปลี่ยนสถานะของบีคอนเชนและกฎการเลือกทางแยก

3. ผู้เสนอบล็อกบีคอนที่ซื่อสัตย์จะต้องเติม PriceData ด้วยราคาที่ดีที่สุดที่เป็นไปได้สำหรับสินทรัพย์ที่ติดตามแต่ละรายการ และราคาเหล่านี้จะต้อง:

4. ข้อมูลพื้นฐาน - 1 ETH แทนสินทรัพย์ที่ติดตาม

5. สแนปชอต - สแนปชอตที่ขอบเขตยุค PRICES_PER_ASSET ล่าสุด (ลำดับอายุที่เพิ่มขึ้นในเวกเตอร์ราคาสินทรัพย์)

6. การปัดเศษ - ใช้การปัดเศษลงครึ่งหนึ่ง (เช่น ถ้า 1 ETH เท่ากับ 22,732.66 เยน ให้ตั้งเป็น Price(22733))

ล้น - ถ้า uint64 ล้น ตั้งเป็นราคา (2**64 - 1);

Underflow - เมื่อราคาเป็นลบ จะถูกกำหนดเป็น Price(0)

ชื่อเรื่องรอง

ตัวอย่าง: Oracle ETH-USD ส่วนใหญ่ที่ซื่อสัตย์

เราสามารถสร้างออราเคิล ETH-USD ที่ซื่อสัตย์เป็นส่วนใหญ่ในแต่ละขอบเขตรอบยุค

1. พิจารณาสัญญาอัจฉริยะที่ใช้ค่ามัธยฐานของราคาทั้งหมดที่สอดคล้องกับขอบเขตยุคที่กำหนด (สูงสุด SLOTS_PER_epoch*prices_PER_ASSET=256 price point)

2. หากมากกว่าครึ่งหนึ่งของบล็อกบีคอนที่สอดคล้องกันผลิตโดยผู้ตรวจสอบความถูกต้องที่ซื่อสัตย์ ราคากลางจะปลอดภัย กล่าวคือ ไม่ถูกควบคุมโดยผู้ตรวจสอบที่ไม่ซื่อสัตย์

3. คุณสมบัติพื้นฐาน ต่อไปนี้เป็นคุณสมบัติพื้นฐานของบริการฟีดราคานี้:

4. ความเรียบง่ายฉันทามติ - การปฏิบัติต่อ price_data เท่ากับกราฟฟิตี ผลกระทบต่อฟังก์ชันการเปลี่ยนสถานะของห่วงโซ่บีคอนและกฎการเลือกทางแยกจะลดลง

5. การส่งมอบเงินอุดหนุน - บล็อกบีคอนแต่ละบล็อกมีออบเจกต์ PriceData เฉพาะ ข้ามข้อจำกัดพื้นที่บล็อกเลเยอร์แอปพลิเคชันและตลาดก๊าซ

6. ประสิทธิภาพแบนด์วิดธ์ - สำหรับเนื้อหาที่ติดตามแต่ละรายการ ค่าโสหุ้ย 320 ไบต์ต่อ BeaconBlock ซึ่งจัดลำดับเป็น type_byte_length(uint64) * PRICES_PER_ASSET = 64 ไบต์ โอเวอร์เฮดแบนด์วิธของการแพร่กระจายบล็อกมีขนาดเล็ก โดยเฉพาะอย่างยิ่งหากเครือข่ายถูกบีบอัด

ใช้ได้กับเชนอื่นๆ - บริการนี้ไม่เพียงใช้ได้กับ Ethereum 1.0 และ Ethereum 2.0 เท่านั้น แต่ยังใช้ได้กับบล็อกเชนอื่นๆ ด้วย นอกจากนี้ยังสามารถใช้นอกเครือข่ายได้ เช่น การประมาณการต้นทุนค่าน้ำมันด้วยสกุลเงินคำสั่งผ่านกระเป๋าเงินที่กระจายอำนาจอย่างเต็มที่

Initial Deployment - บริการฟีดราคานี้เป็นโครงสร้างพื้นฐาน Ethereum 2.0 ที่เป็นทางเลือกซึ่งสามารถใช้งานได้เมื่อพร้อม ระบบนิเวศ DeFi ของ Ethereum 1.0 จะได้รับประโยชน์จากมัน เช่น ในเฟส 1

1. ชื่อเรื่องรอง

2. การกำกับดูแลฟีดราคา

3. ทำงานได้ขั้นต่ำ — ควรเก็บชุดของสินทรัพย์ที่ติดตามให้อยู่ในระดับขั้นต่ำที่ทำงานได้ เช่น เฉพาะสินทรัพย์ที่มีความสำคัญต่อสุขภาพในระยะยาวและความสำเร็จของ Ethereum เท่านั้นที่รวมอยู่ด้วย สินทรัพย์เริ่มต้น 5 รายการ (USD, EUR, RMB, JPY, GBP) สะท้อนหลักการสำคัญ 3 ประการ: (1. ความเป็นกลางที่น่าเชื่อถือ 2. สภาพคล่องสูง 3. การใช้งานที่หลากหลาย)

ฉันทามติหยาบ - สินทรัพย์ใหม่ (เช่น ทองคำ น้ำมัน บิตคอยน์) สามารถเพิ่มไปยังชุดการติดตามผ่านการฮาร์ดฟอร์กที่ขับเคลื่อนโดยฉันทามติหยาบ

ความเข้ากันได้แบบย้อนหลัง - ไม่สามารถลบเนื้อหาที่เพิ่มสำหรับความเข้ากันได้แบบย้อนหลังออกจากชุดการติดตามเพื่อรักษาความเข้ากันได้แบบย้อนหลัง

1. ชื่อเรื่องรอง

2. ตรวจสอบพฤติกรรมของผู้ปฏิบัติงาน

3. Honest Runners - ตามนิยามแล้ว Honest Runners จะรันโหนดที่ตรวจสอบความถูกต้องซึ่งเป็นไปตามกฎที่เป็นเอกฉันท์และรายงานข้อมูลราคาที่ถูกต้อง

Lazy Runner - นักวิ่งที่ขี้เกียจ (เช่น นักวางเดิมพันมือสมัครเล่นที่มีงานยุ่ง) ซึ่งพฤติกรรมที่ขี้เกียจที่สุดคือเรียกใช้การตั้งค่าไคลเอนต์ตัวตรวจสอบความถูกต้องเริ่มต้น ดังนั้นผู้ประกอบการที่ขี้เกียจควรเรียกใช้ตัวตรวจสอบที่รายงานข้อมูลราคาที่ถูกต้อง (ไม่จำเป็นต้องพิจารณาเวลาแฝงในการคำนวณ เนื่องจากค่าใช้จ่ายในการคำนวณในแง่ของสินเชื่อ เวลา CPU, RAM, ดิสก์ ฯลฯ มีขนาดเล็ก)

ตัวดำเนินการที่มีเหตุผล - ตัวดำเนินการที่มีเหตุผลพยายามที่จะเพิ่มรายได้ให้สูงสุด และจะพิจารณาการจัดการข้อมูลราคาเพื่อให้ได้มูลค่าสูงสุดที่สามารถสกัดได้สำหรับการตรวจสอบ (VEV คล้ายกับแนวคิดของมูลค่าที่แยกได้สำหรับผู้ขุด) อย่างไรก็ตาม เนื่องจากออบเจกต์ PriceData เป็นแบบสาธารณะและมีการเซ็นชื่อแบบเข้ารหัส ชุมชนจึงสามารถระบุตัวตรวจสอบที่ไม่ซื่อสัตย์ได้ บทลงโทษที่อาจเกิดขึ้นรวมถึง: (1. เสียชื่อเสียง 2. เสียยอดการตรวจสอบ 3. กำพร้า)

1. ชื่อเรื่องรอง

2. แนวทางตรวจสอบลูกค้า

3. การตรวจสอบไคลเอ็นต์ต้องสามารถค้นหาแหล่งข้อมูลภายนอกเพื่อรับราคาที่ขอบเขตยุค นี่คือแนวทางการใช้งานไคลเอ็นต์:

4. ความแตกต่าง — ต้องสอบถามแหล่งที่มาของราคาต่างๆ เพื่อความทนทาน ทั้งแหล่งที่มาแบบ on-chain (เช่น Uniswap V2, MakerDAO, Chainlink, ดู oracles.club) รวมถึงแหล่งที่มาแบบ off-chain (เช่น Coinbase, CoinMarketCap)

5. ความปลอดภัย - เวกเตอร์การโจมตีที่สร้างขึ้นเมื่อทำการสืบค้น API ที่ไม่น่าเชื่อถือจะต้องได้รับการจัดการอย่างระมัดระวัง

ระวังปัญหาภายนอก - แหล่งที่มาของความผิดปกติต้องได้รับการจัดการอย่างเพียงพอ (เช่น ใช้การตรวจสุขภาพจิตและค่ามัธยฐานที่ถ่วงน้ำหนัก)

1. ความสามารถในการปรับแต่ง - ตัวดำเนินการไคลเอนต์ควรสามารถเปลี่ยนตรรกะที่มาของราคาเริ่มต้นได้อย่างง่ายดายและกำหนดแหล่งที่มาของราคาเอง

2. เดคคอเรเลชั่น - การนำไปใช้งานควรพยายามเพิ่มเดสเรเลชันของตรรกะที่มาของราคาให้สูงสุด (เช่น การนำไปใช้งาน เวอร์ชัน สล็อต)

3. คู่มือ dApp

Historical Accumulator - แต่ละออบเจ็กต์ PriceData สามารถตรวจสอบกับ Historical_roots ใน BeaconState เพื่อปรับปรุงประสิทธิภาพของแก๊ส ข้อมูลการตรวจสอบ SHA256 Merkle (พยาน) สามารถบีบอัดลงใน SNARK ได้อย่างมีประสิทธิภาพ (ปรับให้เหมาะสมโดย plookup และเทคโนโลยีอื่นๆ)

การวิเคราะห์ความเสี่ยง - dApps ต้องประเมินความเสี่ยงของการปรับราคาโดยผู้ตรวจสอบความถูกต้องที่ไม่ซื่อสัตย์อย่างรอบคอบ และตั้งสมมติฐานด้านความปลอดภัยที่ได้รับข้อมูล (เช่น สมมติฐานความซื่อสัตย์ของผู้ตรวจสอบความถูกต้อง)

Oracles แบบไฮบริด - dApps ควรพิจารณารวมบริการฟีดราคาที่สำคัญเข้ากับแหล่งที่มาของราคาอื่นๆ บริการฟีดราคาเป็นโครงสร้างพื้นฐานที่ออกแบบมาเพื่อเพิ่มทางเลือกและความแข็งแกร่งของระบบนิเวศ Ethereum

ด้านล่างนี้คือความคิดเห็นของผู้ร่วมก่อตั้ง Ethereum Vitalik buterin:

“ฉันต่อต้านมันอย่างแน่นอน!

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

2. ในทางกลับกัน จุดประสงค์ของข้อเสนอนี้คือเพื่อแนะนำคุณสมบัติเชนที่แม้โดยหลักการแล้วจะไม่สามารถตรวจสอบความถูกต้องทางโปรแกรมได้ภายใต้สมมติฐานใดๆ แม้แต่ในโลกอนาคตที่ไม่มีความเห็นพ้องต้องกันอย่างชัดเจนเกี่ยวกับมูลค่าที่ถูกต้องของปัจจัยการผลิต (เช่น สงครามกลางเมืองในประเทศใดประเทศหนึ่งข้างต้น และทั้งสองฝ่ายอ้างว่าสกุลเงินของพวกเขาคือ USD/CNY/JPY "ของจริง"

3. ประการที่สอง ข้อเสนออาศัยเสียงข้างมากที่ซื่อสัตย์ แต่สิ่งที่เรากำลังทำบน Ethereum 2.0 ส่วนใหญ่เป็นเรื่องเกี่ยวกับการกำจัดข้อสันนิษฐานส่วนใหญ่ที่ซื่อสัตย์ และพยายามสร้าง "แนวป้องกันที่สอง" หากเสียงข้างมากที่ซื่อสัตย์ล้มเหลว " ,ตัวอย่างเช่น:

4. Proof of Escrow ซึ่งพยายามเปลี่ยนข้อสันนิษฐานด้านความปลอดภัยของการรวมจาก "ต้องซื่อสัตย์" เพื่อให้ครอบคลุมทั้งผู้เข้าร่วมที่ไม่ชั่วร้าย แต่ขี้เกียจ

5. หลักฐานความพร้อมใช้งานของข้อมูลและหลักฐานการฉ้อโกง (หลักฐานการฉ้อโกง) ช่วยให้ห่วงโซ่การโจมตี 51% สามารถปฏิเสธบล็อกที่ไม่ถูกต้องหรือไม่พร้อมใช้งานได้

ผู้ใช้สามารถเรียกใช้โหนดแบบเต็ม ไม่ใช่แค่โหนดแสง

เทคนิคการตรวจจับการเซ็นเซอร์ที่กล่าวถึงข้างต้น

ไม่มีกลไกการเปิดเผยกิจกรรมและการดำเนินการกู้คืนในกรณีของการโจมตีออฟไลน์ >1/3;

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

ประการที่สาม มันบั่นทอนความเป็นกลางของข้อตกลงและเปิดทางให้เกิดการประนีประนอมในความเป็นกลางต่อไป ข้อเสนอ (1) ยกระดับ "defi" เป็นคลาสแอปพลิเคชันที่ได้รับสิทธิพิเศษ และ (ii) ยกระดับดัชนีสินทรัพย์/ราคาชุดหนึ่ง นอกจากนี้ยังจะนำเสนอความเสี่ยงทางการเมืองของการกำกับดูแลพื้นฐาน เช่น การตัดสินว่าสกุลเงินใดมีความสำคัญเพียงพอ แอปพลิเคชันประเภทใดมีความสำคัญเพียงพอ วิธีการตัดสินเหตุฉุกเฉิน และอื่นๆ

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

ประการที่ห้า เพิ่มความเสี่ยงของการรวมศูนย์ของ Stake Validator เนื่องจากไคลเอนต์ต้องการการอัปเดตอัตโนมัติมากขึ้นเพื่อรักษา oracles ซึ่งจะเพิ่มความเสี่ยงของ Validator สุ่มสี่สุ่มห้าที่ทำตามคำแนะนำของนักพัฒนาไคลเอนต์ กลุ่มการตรวจสอบ);

”

ประการที่หก เมื่อเทียบกับออราเคิลที่ใช้โทเค็นเลเยอร์แอปพลิเคชัน (เช่น Augur เป็นต้น) มันไม่ได้ให้ความปลอดภัยมากกว่า MKR มีมูลค่าตามราคาตลาดประมาณ 2 ล้าน ETH ดังนั้นโทเค็นชั้นแอปพลิเคชันจึงสามารถได้รับมูลค่าตามราคาตลาดอย่างชัดเจน เราคาดการณ์ว่าเหรียญเดิมพันเริ่มต้นของ Ethereum 2.0 จะอยู่ในช่วง 2 ล้าน ETH (มูลค่าระยะยาวอาจสูงถึง 10 ล้าน ETH) ดังนั้นระดับความปลอดภัยของ oracle เลเยอร์ฐานจึงไม่สูงกว่าระดับของ oracle เลเยอร์แอปพลิเคชันมากนัก และดูเหมือนว่าความแตกต่างจะเป็นเพียงลำดับความสำคัญที่ดีที่สุดเท่านั้น