สัปดาห์นี้นับความสำเร็จของส้อมที่สี่ของเรา มังกรปลอมและที่ตามมา กระบวนการล้างสถานะขั้นตอนสุดท้ายในการแก้ปัญหาสองแบบแข็งสำหรับ Ethereum ล่าสุด การปฏิเสธการโจมตีบริการ นั่นทำให้เครือข่ายช้าลงในเดือนกันยายนและตุลาคม ขีด จำกัด ของก๊าซอยู่ในขั้นตอนของการเพิ่มขึ้นเป็น 4 ล้านเนื่องจากเครือข่ายกลับสู่ปกติและจะเพิ่มขึ้นอีกเนื่องจากการเพิ่มประสิทธิภาพเพิ่มเติมให้กับลูกค้าจะเสร็จสิ้นเพื่อให้การอ่านข้อมูลสถานะเร็วขึ้น
ท่ามกลางเหตุการณ์เหล่านี้เราได้เห็นความคืบหน้าอย่างมากจากทีมพัฒนา C ++ และ GO รวมถึง การปรับปรุงเครื่องมือที่มีความแข็งแกร่ง และการเปิดตัวของ ไคลเอนต์ Geth Mildและความเท่าเทียมกัน ethereumj และทีมพัฒนาภายนอกอื่น ๆ ได้ผลักดันไปข้างหน้าด้วยตัวเองด้วยเทคโนโลยีเช่น Parity’s การซิงค์วาร์ป– นวัตกรรมเหล่านี้จำนวนมากได้เข้ามาอยู่ในมือของผู้ใช้โดยเฉลี่ยแล้วและ ยังคงเป็นคนอื่น ๆ เร็ว ๆ นี้จะมาถึง อย่างไรก็ตามในเวลาเดียวกันความก้าวหน้าที่เงียบสงบจำนวนมากได้เกิดขึ้นในด้านการวิจัยและในขณะที่ความคืบหน้านั้นในหลาย ๆ กรณีค่อนข้างท้องฟ้าในธรรมชาติและการปรับปรุงโปรโตคอลระดับต่ำจำเป็นต้องใช้เวลาสักครู่เพื่อให้เป็นเครือข่าย Ethereum หลัก
เมืองใหญ่
Metropolis เป็น Hardfork ที่วางแผนไว้ครั้งต่อไปสำหรับ Ethereum ในขณะที่มหานครไม่ค่อยทะเยอทะยานเท่ากับความสงบสุขและจะไม่รวมถึงการพิสูจน์สเตคการทำลายล้างหรือการเปลี่ยนแปลงการกวาดขนาดใหญ่ในทำนองเดียวกันกับวิธีการทำงานของ Ethereum แต่คาดว่าจะรวมถึงชุดของการปรับปรุงเล็ก ๆ น้อย ๆ กับโปรโตคอลซึ่งมีความสำคัญยิ่งกว่าที่อยู่อาศัย การปรับปรุงที่สำคัญ ได้แก่ :
- EIP 86 (ความปลอดภัยของบัญชีเป็นนามธรรม) – ย้ายตรรกะสำหรับการตรวจสอบลายเซ็นและ nonces เป็นสัญญาช่วยให้นักพัฒนาสามารถทดลองกับรูปแบบลายเซ็นใหม่เทคโนโลยีการรักษาความเป็นส่วนตัวและการปรับเปลี่ยนส่วนหนึ่งของโปรโตคอลโดยไม่ต้องใช้ส้อมหรือการสนับสนุนที่ยากต่อไปในระดับโปรโตคอล ยังอนุญาตให้สัญญาจ่ายค่าแก๊ส
- EIP 96 (การเปลี่ยนแปลงรูทบล็อกและสถานะ) – ลดความซับซ้อนของโปรโตคอลและการใช้งานไคลเอนต์และช่วยให้การอัพเกรดเป็นไคลเอนต์แสงและโปรโตคอลที่ได้รับการซิงค์อย่างรวดเร็วซึ่งทำให้พวกเขาปลอดภัยมากขึ้น
- สัญญาล่วงหน้า/สัญญาดั้งเดิมสำหรับการดำเนินการเส้นโค้งรูปไข่และเลขคณิตจำนวนเต็มขนาดใหญ่ช่วยให้สามารถใช้งานได้ตามลายเซ็นแหวนหรือการเข้ารหัส RSA ที่จะดำเนินการได้อย่างมีประสิทธิภาพ
- การปรับปรุงประสิทธิภาพที่หลากหลายซึ่งช่วยให้การประมวลผลธุรกรรมได้เร็วขึ้น
งานนี้ส่วนใหญ่เป็นส่วนหนึ่งของแผนระยะยาวที่จะย้ายโปรโตคอลไปยังสิ่งที่เราเรียก สิ่งที่เป็นนามธรรม– โดยพื้นฐานแล้วแทนที่จะมีกฎโปรโตคอลที่ซับซ้อนที่ควบคุมการสร้างสัญญาการตรวจสอบการทำธุรกรรมการขุดและแง่มุมอื่น ๆ ของพฤติกรรมของระบบเราพยายามที่จะนำตรรกะของโปรโตคอล Ethereum ให้มากที่สุดเท่าที่จะเป็นไปได้ สิ่งนี้จะช่วยลดความซับซ้อนของลูกค้าลดความเสี่ยงระยะยาวของความล้มเหลวของฉันทามติและทำให้ส้อมยากง่ายขึ้นและปลอดภัยกว่า – อาจเป็นส้อมที่ยากสามารถระบุได้ง่ายเป็นไฟล์กำหนดค่าที่เปลี่ยนรหัสของสัญญาไม่กี่ ด้วยการลดจำนวน “ชิ้นส่วนที่เคลื่อนไหว” ที่ระดับล่างสุดของโปรโตคอลด้วยวิธีนี้เราสามารถลดพื้นผิวการโจมตีของ Ethereum ได้อย่างมากและเปิดส่วนเพิ่มเติมของโปรโตคอลในการทดลองผู้ใช้: ตัวอย่างเช่นแทนที่จะเป็นโปรโตคอลที่อัพเกรดเป็นรูปแบบลายเซ็นใหม่ทั้งหมดในเวลาเดียวกัน
หลักฐานการถือหุ้นการแตกและ cryptoeconomics
ในช่วงปีที่ผ่านมาการวิจัยเกี่ยวกับการพิสูจน์สเตคและการให้ความสำคัญได้ก้าวไปข้างหน้าอย่างเงียบ ๆ อัลกอริทึมฉันทามติที่เราได้ดำเนินการ Casper ได้ผ่านการทำซ้ำหลายครั้งและการพิสูจน์แนวคิดการรับรองซึ่งแต่ละคนสอนสิ่งสำคัญกับเราเกี่ยวกับการผสมผสานของเศรษฐศาสตร์และฉันทามติกระจายอำนาจ POC Launch 2 มาในช่วงต้นปีนี้แม้ว่าวิธีการดังกล่าวจะถูกยกเลิกไปแล้วเนื่องจากเห็นได้ชัดว่าการตรวจสอบความถูกต้องทุกคนในการส่งข้อความทุกบล็อกหรือแม้แต่ทุก ๆ สิบช่วงตึกก็ต้องใช้ค่าใช้จ่ายมากเกินไปที่จะยั่งยืน ยิ่งโซ่แบบดั้งเดิมมากขึ้น POC3ตามที่อธิบายไว้ใน กระดาษสีม่วงประสบความสำเร็จมากขึ้น แม้ว่าจะมีความไม่สมบูรณ์ในวิธีการสร้างแรงจูงใจ แต่ข้อบกพร่องนั้นมีความร้ายแรงน้อยกว่าในธรรมชาติ
ตัวเองวลาดและอาสาสมัครหลายคนจากทีมวิจัย Ethereum มารวมกันที่ bootcamp ที่ IC3 ในเดือนกรกฎาคมกับนักวิชาการของมหาวิทยาลัยนักพัฒนา ZCASH และคนอื่น ๆ เพื่อหารือเกี่ยวกับการพิสูจน์การถือหุ้นการถ่วงความเป็นส่วนตัวและความท้าทายอื่น ๆ Casper รุ่นใหม่และง่ายขึ้นเริ่มแข็งตัวและตัวฉันเองและวลาดยังคงดำเนินต่อไปในสองเส้นทางแยกกัน: ตัวฉันเองมีจุดมุ่งหมายเพื่อสร้างหลักฐานง่ายๆของโปรโตคอลสเตคที่จะให้คุณสมบัติที่พึงประสงค์ด้วยการเปลี่ยนแปลงเล็กน้อยจากการพิสูจน์การทำงานเท่าที่จะทำได้ ทั้งคู่ถูกนำเสนอที่ DevCon2 ในเซี่ยงไฮ้ในเดือนกันยายนและนั่นคือที่ที่เราอยู่เมื่อสองสัปดาห์ก่อน
ในตอนท้ายของเดือนพฤศจิกายนทีมวิจัย (เข้าร่วมชั่วคราวโดย Loi Luu ของจาก ภาวะที่กลืนไม่เข้าคายไม่ออกของผู้ตรวจสอบ ชื่อเสียง) พร้อมกับอาสาสมัครและเพื่อนของเรามานานมารวมกันเป็นเวลาสองสัปดาห์สำหรับการประชุมเชิงปฏิบัติการการวิจัยในสิงคโปร์โดยมีเป้าหมายที่จะนำความคิดของเรามารวมกันในประเด็นต่าง ๆ ที่เกี่ยวข้องกับแคสเปอร์ความสามารถในการปรับขนาดแรงจูงใจฉันทามติและการควบคุมขนาดของรัฐ
หัวข้อสำคัญของการอภิปรายกำลังเกิดขึ้นกับกลยุทธ์ที่เข้มงวดและสรุปได้ทั่วไปสำหรับการกำหนดแรงจูงใจที่ดีที่สุดในโปรโตคอลฉันทามติไม่ว่าคุณจะสร้างโปรโตคอลที่ใช้โซ่, โปรโตคอลที่ปรับขนาดได้ คุณสมบัติทฤษฎีเกมที่ดีที่สุด? เรามีความคิดบางอย่าง หนึ่งในนั้นเมื่อนำไปใช้กับหลักฐานการทำงานเป็นการทดลองนำไปสู่เส้นทางใหม่ในการแก้ปัญหาการโจมตีการทำเหมืองที่เห็นแก่ตัวและได้พิสูจน์แล้วว่ามีแนวโน้มอย่างยิ่งในการจัดการกับปัญหาที่ยืนยาวในการพิสูจน์สเตค
เป้าหมายสำคัญของวิธีการของเราในการ cryptoeconomics คือการสร้างความมั่นใจในแรงจูงใจที่เข้ากันได้มากที่สุดเท่าที่จะเป็นไปได้แม้ภายใต้รูปแบบที่มี collusions ส่วนใหญ่: แม้ว่าผู้โจมตีจะควบคุม 90% ของเครือข่ายมีวิธีที่จะทำให้แน่ใจว่าหากผู้โจมตีเบี่ยงเบนจากโปรโตคอลในทางที่เป็นอันตราย อย่างน้อยในบางกรณีเช่นส้อมระยะสั้นคำตอบดูเหมือนจะใช่ ในกรณีอื่น ๆ เช่นการเซ็นเซอร์การบรรลุเป้าหมายนี้ยากกว่ามาก
เป้าหมายที่สองคือ “ปัจจัยความเศร้าโศก” – นั่นคือการทำให้มั่นใจว่าไม่มีทางที่ผู้โจมตีจะทำให้ผู้เล่นรายอื่นเสียเงินโดยไม่สูญเสียเงินจำนวนเท่ากัน เป้าหมายที่สามคือการทำให้มั่นใจว่าโปรโตคอลยังคงทำงานต่อไปเท่าที่จะเป็นไปได้ภายใต้เงื่อนไขอื่น ๆ ที่รุนแรง: ตัวอย่างเช่นถ้า 60% ของโหนดการตรวจสอบความถูกต้องลดลงพร้อมกัน? โปรโตคอลฉันทามติแบบดั้งเดิมเช่น PBFT และการพิสูจน์โปรโตคอลสเตคที่ได้รับแรงบันดาลใจจากวิธีการดังกล่าวเพียงหยุดในกรณีนี้ เป้าหมายของเรากับแคสเปอร์คือโซ่ที่จะดำเนินการต่อไปและแม้ว่าห่วงโซ่ไม่สามารถให้การรับประกันทั้งหมดว่าโดยปกติแล้วภายใต้เงื่อนไขดังกล่าวโปรโตคอลควรพยายามทำให้มากที่สุดเท่าที่จะทำได้
หนึ่งในผลลัพธ์ที่เป็นประโยชน์หลักของการประชุมเชิงปฏิบัติการคือการเชื่อมช่องว่างระหว่างวิธีการ “ทางลาดออก” ในปัจจุบันของฉันในการทำธุรกรรม/บล็อกรอบสุดท้ายในแคสเปอร์ซึ่งให้รางวัลการตรวจสอบความถูกต้องสำหรับการเดิมพันด้วยความมั่นใจเพิ่มขึ้นและลงโทษพวกเขาหากการเดิมพันของพวกเขา ในตอนท้ายของการประชุมเชิงปฏิบัติการเราเริ่มทำงานร่วมกันในกลยุทธ์เพื่อรวมวิธีที่ดีที่สุดของทั้งสองวิธีและเราได้เริ่มใช้ข้อมูลเชิงลึกเหล่านี้เพื่อปรับปรุงโปรโตคอลแคสเปอร์
ในระหว่างนี้ฉันได้เขียนเอกสารและคำถามที่พบบ่อยที่ให้รายละเอียดเกี่ยวกับสถานะการคิดในปัจจุบันเกี่ยวกับการพิสูจน์สเตคการ Sharding และ Casper เพื่อช่วยให้ทุกคนสนใจความเร็ว:
https://github.com/ethereum/wiki/wiki/proof of-stake-faq
https://github.com/ethereum/wiki/wiki/sharding-faq
https://docs.google.com/doc/d/1maft3cphvwn29glvty4wcqii6krbn_nbcf3jlgr3m_8 (กระดาษสีม่วงตอนนี้ล้าสมัยเล็กน้อย แต่จะได้รับการปรับปรุงเร็ว ๆ นี้)
การควบคุมขนาดของรัฐ
พื้นที่สำคัญอีกประการหนึ่งของการออกแบบโปรโตคอลคือการควบคุมขนาดของสถานะ – นั่นคือวิธีที่เราจะลดปริมาณข้อมูลสถานะที่โหนดเต็มจำเป็นต้องติดตาม? ตอนนี้รัฐเป็นเรื่องเกี่ยวกับกิกะไบต์ขนาด (ส่วนที่เหลือของข้อมูลที่โหนด Geth หรือ Parity ในปัจจุบันจัดเก็บคือประวัติการทำธุรกรรมข้อมูลนี้สามารถตัดออกได้ในทางทฤษฎีเมื่อมีโปรโตคอลแสง-ลูกค้าที่แข็งแกร่งมากขึ้น ยิ่งไปกว่านั้นการทำลายล้างยิ่งยากขึ้นเนื่องจาก blockchains ที่ถูกทำลายต้องการโหนดเพื่อให้สามารถดาวน์โหลดส่วนต่าง ๆ ของรัฐได้อย่างรวดเร็วซึ่งเป็นส่วนหนึ่งของกระบวนการรับใช้เป็นตัวตรวจสอบความถูกต้อง
ข้อเสนอบางอย่างที่ได้รับการเลี้ยงดูเกี่ยวข้องกับ การลบบัญชีที่ไม่ใช่สัญญาเก่า มีอีเธอร์ไม่เพียงพอที่จะส่งธุรกรรมและทำอย่างปลอดภัย เพื่อป้องกันการโจมตีซ้ำ– ข้อเสนออื่น ๆ เกี่ยวข้องกับการทำให้มีราคาแพงกว่าในการสร้างบัญชีใหม่หรือเก็บข้อมูลและการทำเช่นนั้นในลักษณะที่แยกออกจากวิธีที่เราจ่ายสำหรับค่าใช้จ่ายประเภทอื่น ๆ ภายใน EVM ข้อเสนออื่น ๆ ยังรวมถึงการ จำกัด เวลาในระยะเวลาที่สัญญาสามารถอยู่ได้นานและเรียกเก็บเงินมากขึ้นเพื่อสร้างบัญชีหรือสัญญาที่มีการ จำกัด ระยะเวลานานขึ้น (การ จำกัด เวลาที่นี่จะใจกว้างมันจะยังคงมีราคาไม่แพงในการสร้างสัญญาที่ใช้เวลาหลายปี) ขณะนี้มีการถกเถียงกันอย่างต่อเนื่องในชุมชนนักพัฒนาเกี่ยวกับวิธีที่ดีที่สุดในการบรรลุเป้าหมายในการรักษาขนาดของรัฐให้เล็กในขณะเดียวกันก็รักษาโปรโตคอลหลักผู้ใช้และนักพัฒนาที่เป็นมิตรมากที่สุด
เบ็ดเตล็ด
พื้นที่อื่น ๆ ของการปรับปรุงระดับต่ำในระดับต่ำบนขอบฟ้า ได้แก่ :
- หลาย “EVM 1.5” ข้อเสนอ ที่ทำให้ EVM เป็นมิตรกับการวิเคราะห์แบบคงที่มากขึ้นอำนวยความสะดวกเข้ากันได้กับ WASM
- การรวมกันของการพิสูจน์ความรู้ที่เป็นศูนย์ซึ่งมีแนวโน้มผ่าน (i) Opcode/Native Opcode/Native Contract หรือ (ii) Opcode หรือสัญญาดั้งเดิมสำหรับส่วนผสมที่เข้มข้นในการคำนวณที่สำคัญใน ZKPS โดยเฉพาะการคำนวณการจับคู่เส้นโค้งรูปไข่
- องศาของการทำให้เป็นนามธรรมและการทำให้ง่ายขึ้นของโปรโตคอล
คาดว่าจะมีเอกสารรายละเอียดเพิ่มเติมและการสนทนาในหัวข้อทั้งหมดเหล่านี้ในอีกไม่กี่เดือนข้างหน้าโดยเฉพาะอย่างยิ่งเมื่อทำงานเพื่อเปลี่ยนข้อกำหนดของ Casper ให้เป็นหลักฐานการปล่อยแนวคิดที่สามารถใช้งานได้
