Bản chất của các bài phát biểu của 5 bậc thầy Ethereum cốt lõi ở Sydney là đây

Lưu ý của biên tập viên: Bài viết này đến từTrại cơ sở chuỗi khốiLưu ý của biên tập viên: Bài viết này đến từ

Trại cơ sở chuỗi khối

(ID: blockchain_camp), tác giả: Aholiab, được xuất bản với sự cho phép.

Vào ngày 11 tháng 4, EDCON 2019, chuỗi hội nghị được theo dõi nhiều nhất trong cộng đồng công nghệ nguồn mở Ethereum, đã được tổ chức tại Trung tâm Hội nghị Quốc tế (ICC) ở Sydney. EDCON được khởi xướng bởi Lingtai Technology, một thành viên của cộng đồng Ethereum và được tổ chức ở các quốc gia khác nhau hàng năm.

Là một trong những hội nghị kỹ thuật được theo dõi nhiều nhất trong lĩnh vực blockchain, EDCON nhằm mục đích thảo luận về các bản cập nhật mới nhất của Ethereum và các chủ đề được các nhà phát triển quan tâm nhất.

Hội nghị EDCON năm nay được tổ chức dưới hình thức "Tuần lễ EDCON", bao gồm hai phần: hackathon và bài phát biểu quan trọng.

Trong cuộc họp vào ngày đầu tiên, bao gồm Vitalik Buterin, người sáng lập Ethereum và Karl Floersch, Hsiao-WeiWang, Justin Drake, Danny Ryan và nhiều nhà nghiên cứu cốt lõi khác của Ethereum, tất cả đều mang lại tiến bộ mới trong nghiên cứu của riêng họ trong năm nay, Và suy nghĩ về tương lai của hệ sinh thái Ethereum.

Khi bắt đầu cuộc họp, những bậc thầy về hệ sinh thái Ethereum này đã đến với một điệu nhảy linh hồn V God, người luôn trầm tính và sống nội tâm, thậm chí còn mạnh dạn chơi Freestyle và rap trong một thời gian dài. Giống như một "nhóm nhạc thần tượng Ethereum".

Bên giao thông có thể nhìn các bước nhảy trong ảnh này, bạn có còn biết V God của mình không?

Tất nhiên, ngoài phần hát, God V và dàn đại thần còn mang đến những bài phát biểu khô khan.

Tiếp theo, hãy theo chỉ huy tiểu đoàn ra tiền tuyến, và bắt tất cả hàng khô của các ông lớn càng sớm càng tốt!

Chia sẻ bài viết này đến một cộng đồng hơn 50 người, gửi ảnh chụp màn hình cho tiểu đoàn trưởng và trích xuất ngay PPT bài phát biểu của ông lớn!

V God: CBC Casper và Ethereum 2.0

Chào buổi sáng mọi người, hôm nay tôi sẽ nói về một tiến bộ rất lớn của Ethereum, đó là CBC Casper và ứng dụng của nó trong Ethereum 2.0.

Đầu tiên tôi xin giới thiệu với các bạn CBC Casper là gì. Người đề xuất CBC Casper là Vlad Zamfir, đây là một sự đồng thuận BFT không đồng bộ mới.

Có một mô-đun trong sự đồng thuận của CBC Casper có thể xác định chuỗi nào là tốt nhất và việc tạo các khối dựa trên chuỗi này có thể củng cố quyền hạn của chuỗi này.

Tiếp theo, chúng ta hãy xem giao thức LMD GHOST. Giao thức LMD GHOST đã được đề xuất vào năm 2013 để cho phép chúng tôi chọn một đường dẫn thực hiện hầu hết các tính toán. Đối với mỗi khối xuất hiện trên cùng một chuỗi, luôn có nhiều khối hỗ trợ hơn.

Như bạn có thể tưởng tượng, mỗi khối chứa thông tin phức tạp. Bắt đầu từ khối genesis, mỗi trình xác nhận (Validator) có thể tạo một khối, nếu có 5 trình xác nhận, nếu là chính khối đó, nó có thể cho điểm 1, nếu có khối khác hỗ trợ, nó có thể Điểm 2, có cũng là một khối có 4 điểm (và nút thứ 5 không phải là khối mới nhất). Khối mới được tạo sẽ chọn khối có điểm cao nhất, đây là nguyên tắc cơ bản của LMD GHOST.

Bạn có thể hỏi tại sao chúng tôi sử dụng LMD GHOST, có hai lý do.

Trước hết, nguyên tắc "chuỗi dài nhất" không áp dụng cho các kịch bản song song đa chuỗi. Trong Ethereum, một khối mới được sinh ra cứ sau 14 giây, nhưng vấn đề là khi khối này được sinh ra, do tốc độ mạng hoặc các lý do khác, nhiều khối giống hệt nhau có thể được sinh ra cùng một lúc.

Thứ hai, đa số không đánh bại đa số. Như có thể thấy từ hình bên dưới, ngoại trừ B, không có cách nào để bất kỳ ai khác thêm các khối vào cùng một chuỗi, vì vậy khối của B sẽ biến mất.

Đầu tiên, hãy chọn chuỗi dưới cùng, vì so với chuỗi khối đơn ở trên chỉ có 1 tin tức mới nhất hỗ trợ, thì chuỗi dưới cùng có 4 tin tức mới nhất tự hỗ trợ, sau đó hỗ trợ chuỗi giữa trong lần phân nhánh tiếp theo. Kết quả cuối cùng giống như chuỗi dài nhất.

Trên thực tế, trong một mạng hoạt động tốt (tức là tỷ lệ mồ côi thấp), LMD GHOST và quy tắc chuỗi dài nhất sẽ đưa ra câu trả lời giống hệt nhau hầu hết thời gian. Nhưng trong những trường hợp cực đoan hơn, điều này không nhất thiết phải như vậy. Ví dụ: chúng ta hãy xem xét chuỗi sau, có một ngã ba khối

• Các khối được tính theo độ dài của chuỗi. Nếu chúng ta tuân theo quy tắc chuỗi dài nhất, thì chuỗi trên cùng sẽ thắng vì chuỗi trên cùng dài hơn.

• Ngoài ra, CBC Casper còn có nhiều ưu điểm, bao gồm:

• Sau khi khối hiển thị ở dạng cuối cùng, các khách hàng khác nhau có thể đặt phạm vi bảo mật theo nhu cầu của riêng họ;

Nếu khách hàng tin rằng một số nút đã ngoại tuyến trong một thời gian dài, họ có thể xác minh chúng một cách riêng tư;

Nó có thể dễ dàng tích hợp với hệ thống PoS hiện có

Cuối cùng, liên quan đến việc triển khai CBC Casper, V God nhấn mạnh rằng bất kỳ khối nào bạn tạo phải chứa thông tin của chuỗi khối trước đó, đây là một chuỗi thông tin riêng tư.

Danny Ryan: Tiến bộ trên Ethereum 2.0

Với tư cách là diễn giả khách mời thứ hai tại buổi khai mạc, nhà nghiên cứu cốt lõi của Ethereum, Danny Ryan đã chia sẻ một bài phát biểu quan trọng có tiêu đề "Tiến trình Ethereum 2.0".

• ethResearch

• Python PoC

• HackMD

Đầu tiên, tôi đã tóm tắt chi tiết về tiến trình của Ethereum 2.0 và chỉ ra rằng trong 12 tháng qua, Ethereum 2.0 đã đạt được những tiến bộ vượt bậc. Trước hết, vào đầu năm 2018, Ethereum đã bắt đầu giải pháp lai giữa PoS và PoW, trong đó giao thức Casper FFG đặc biệt quan trọng và các shard được quản lý thông qua hợp đồng quản lý shard (SMG).

Tuy nhiên, hai hướng này đã bị từ chối hoàn toàn vào giữa năm 2018, các giải pháp mới đã được đề xuất và một phương pháp kết nối chúng một cách hữu cơ đã được thử nghiệm. bao gồm:

Do đó, vào tháng 1 năm nay, chúng tôi đã đạt được một số tiến bộ, bao gồm việc phát hành và tối ưu hóa một số chi tiết của Giai đoạn 0, công bố thông tin chi tiết của Giai đoạn 1 và ra mắt mạng thử nghiệm máy khách.

Tiếp theo, chúng ta hãy xem quá trình triển khai kiến ​​trúc và tiến độ của Ethereum 2. Sơ đồ kiến ​​trúc của Ethereum 2.0 như sau:

• Trong số đó, phần lớp đầu tiên (PoW) là mạng chính Ethereum hiện tại.

• Lớp thứ hai là chuỗi Beacon, đây là thành phần được phân phối đầu tiên và đã được phát triển lên phiên bản 0.5.1. Chuỗi Beacon là một thành phần cực kỳ quan trọng trong Ethereum 2.0, chức năng của nó bao gồm:

• Quản lý giao thức PoS và tất cả các phân đoạn;

• quản lý xác minh;

• cung cấp tính ngẫu nhiên;

theo dõi và cập nhật tiền gửi của người xác thực;

Thực hiện xử lý Crosslinks.

Lớp thứ ba là sharding, dựa trên sự đồng thuận dữ liệu. Cuối cùng, lớp 4 là lớp thực thi trạng thái, chịu trách nhiệm truyền trạng thái hợp đồng.

Theo quan điểm của Danny, sơ đồ kiến ​​trúc trên cũng có thể được coi là lộ trình cho quy trình Ethereum 2.0. Giai đoạn 0 triển khai lớp dưới cùng trước; Giai đoạn 1 triển khai Lớp 2 và Lớp 3; Giai đoạn 2 triển khai Lớp 2, Lớp 3 và Lớp 4.

Hiện tại, Danny đang tiếp tục thực hiện Giai đoạn 0, đồng thời bắt tay vào thực hiện Giai đoạn 1. Về thời gian, Danny thẳng thắn thừa nhận rằng vẫn chưa thể đưa ra một thời gian biểu cụ thể nhưng anh ấy đã rất nỗ lực. .

Ngoài ra, Danny cũng chỉ ra những khó khăn gặp phải trong quá trình triển khai Ethereum 2.0. Bao gồm sự tiến bộ của thử nghiệm đồng thuận, tối ưu hóa cho 4 triệu trình xác minh, độ ổn định của mạng, xác định cơ chế đồng bộ hóa trạng thái, thiết kế UI/UX của trình xác minh, phát triển công cụ xác minh, v.v.

Do đó, Danny đã thẳng thắn nói rằng Ethereum 2.0 vẫn cần nhiều người đóng góp hơn nữa. Tuy nhiên, Ethereum 2.0 không còn xa với chúng ta.

Hsiao-Wei Wang: Vòng đời của trình xác thực chuỗi Ethereum Beacon

Người thứ ba xuất hiện là Hsiao-Wei Wang, một nhà nghiên cứu cốt lõi của Ethereum, là một trong số ít các nhà phát triển nữ của Ethereum, Hsiao-Wei Wang đã cam kết nghiên cứu trong lĩnh vực sharding. Anh ấy cũng là gương mặt cũ của các hội nghị ngoại tuyến khác nhau của Ethereum.

Trong bài phát biểu hôm nay, Hsiao-Wei Wang đã giải thích một cách toàn diện về vòng đời của trình xác thực chuỗi Beacon trên nền tảng Ethereum từ góc độ của trình xác thực chuỗi Beacon.

Trước hết, Hsiao-Wei Wang vẫn đưa ra cấu trúc sinh thái của Ethereum 2.0. Giống như Danny, Hsiao-Wei Wang cũng tin rằng việc hiện thực hóa Ethereum 2.0 phụ thuộc vào các giai đoạn sau, cụ thể là chuỗi Beacon, chuỗi phân mảnh, xử lý trạng thái Slice, và nhiều nội dung lặp đi lặp lại.

Trước khi bắt đầu, Hsiao-Wei Wang trước tiên đưa ra 3 lý do để trở thành người xác thực, chủ yếu được phản ánh trong phần thưởng dành cho người xác nhận. Bao gồm: phần thưởng đề xuất khối, phần thưởng Casper FFG (bỏ phiếu trên chuỗi Beacon), phần thưởng Crosslink (bỏ phiếu trên chuỗi shard).

MAX_DEPOSIT_AMOUNT

Vậy, làm cách nào để trở thành người xác thực chuỗi Ethereum Beacon? Tổng cộng có 3 bước.

Lần dùng đầu tiên

Chức năng gọi hợp đồng tiền gửi và gửi 32 ETH vào hợp đồng;

Tiếp theo kiểm tra trạng thái của hợp đồng đặt cọc bao gồm 3 logic như hình bên dưới:

Cuối cùng, đợi kết quả thực hiện lấy mẫu giả ngẫu nhiên.

Với tư cách là người xác minh, cũng có một số trách nhiệm, trong giai đoạn 0, nó chủ yếu bao gồm việc khởi tạo các khối hợp lệ trên chuỗi đèn hiệu và chứng minh chúng.

Nếu người xác minh không làm như vậy, họ có thể phải chịu một số hình phạt nhất định, bao gồm hình phạt Casper FFC, hình phạt rò rỉ tĩnh, hình phạt liên kết chéo, hình phạt người đề xuất, hình phạt chứng minh, v.v.

Cuối cùng, Hsiao-Wei Wang tiết lộ rằng vẫn còn một số giai đoạn phải trải qua để đạt được sự ổn định của mạng và họ hiện đang nghiên cứu về việc lập số sê-ri và chữ ký BLS.

Justin Drake: Ethereum 2.0, vấn đề tải dữ liệu và giải pháp

Justin Drake là vị khách thứ tư vào buổi sáng và bài phát biểu của anh ấy xoay quanh bằng chứng giám sát Ethereum 2.0.

Trong bài phát biểu của mình, trước tiên anh ấy chỉ ra các vấn đề gặp phải khi tải xuống dữ liệu trong hệ thống hiện tại.Vì có nhiều chuỗi phân đoạn, nếu tốc độ tải xuống của chuỗi phân đoạn là 1MB/phút:

Sau đó, thời gian cần thiết để khóa nhiều chuỗi phân đoạn là rất lớn.

Đối với điều này, ông đã giới thiệu giải pháp liên kết ngang. Giải pháp liên kết chéo chọn ngẫu nhiên một phần trình xác nhận từ tất cả các trình xác thực (Validators) thông qua Lấy mẫu ngẫu nhiên để thành lập ủy ban trình xác thực.

https://github.com/ethereum/eth2.0-specs/blob/dev/specs/core/1_custody-game.md

Nếu có 2/3 người xác minh trung thực trong số tất cả những người xác minh, thì hơn một nửa số người xác minh được chọn vào ủy ban xác minh là trung thực, điều này có thể đảm bảo rằng kết quả bỏ phiếu cuối cùng lớn hơn hoặc bằng 1.

Để biết thêm chi tiết về Beacon chain và Custody, bạn có thể tham khảo tài liệu chính thức:

Karl Floersch: Xem xét những phát triển mới nhất trong việc mở rộng Ethereum từ Plasma

Bạn có nhớ cậu bé Karl Floersch dễ thương đã đến Bắc Kinh cùng với V God vào năm ngoái để tham gia Hội nghị Ứng dụng và Công nghệ Ethereum 2018 không? Trong hội nghị EDCON lần này, anh tiếp tục mang đến những tiến bộ mới nhất của Plasma với ngôn ngữ cơ thể phong phú.

Như chúng ta đã biết, trong suốt năm 2018, trọng tâm của Ethereum là mở rộng, trong số các giải pháp mở rộng, Plasma là một giải pháp rất quan trọng. Nó tương tự như Lightning Network của Bitcoin, nhưng không hoàn toàn giống.

Với tư cách là người phụ trách mảng Plasma và là nhà nghiên cứu cốt lõi của Ethereum, Karl Floersch cũng đã mang đến những tiến bộ mới nhất của Plasma và giải thích chi tiết những ưu điểm của giải pháp Lớp 2 cho khán giả. Ồ, nhân tiện, Karl Floersch cũng là vũ công chính của nhóm thần tượng Ethereum ở trên.

Mở đầu bài phát biểu, Karl Floersch lần đầu tiên làm rõ các lợi ích của Plasma, chẳng hạn như dựa trên các giải pháp ngoài chuỗi, không bị giới hạn bởi thời gian khối 15 giây, v.v.

Tuy nhiên, với sự ra mắt của testnet Plasma, một số tin đồn về nó cũng ngày càng nhiều. Ví dụ, hơn 50 chuỗi Plasma đã được triển khai; mỗi chuỗi có khả năng xử lý hơn 2.000 giao dịch mỗi giây; và tạo ra hàng nghìn khối.

• Đáp lại những tin đồn này, Karl đã nhắc nhở rõ ràng các nhà phát triển không nên tin vào chúng!

• Hiện tại, những khả năng mà Plasma đạt được chỉ gồm có:

• Triển khai bằng một cú nhấp chuột;

• Hỗ trợ di động cho các nút máy khách;

• Optimistic Exits

Hỗ trợ tiêu chuẩn ERC 20;

hoán đổi nguyên tử

Sau khi giới thiệu tiến trình mới nhất của Plasma, Karl đã giải thích sự so sánh giữa Lớp 1 và Lớp 2 từ góc độ nguyên tắc triển khai. Nói một cách đơn giản, giải pháp Lớp 2 là đưa các liên kết xử lý kinh doanh như tính toán và giao dịch ra khỏi chuỗi chính và chỉ trạng thái cuối cùng được ghi lại trên chuỗi chính. Điều này không chỉ có thể cải thiện khả năng mở rộng của chuỗi khối mà còn đảm bảo độ tin cậy của chuỗi khối.

Ngoài ra, Karl cũng tiết lộ rằng trong tương lai trên Lớp 2, các trình tạo bằng chứng tổng bằng 0 của bên thứ ba và hệ thống lưu trữ của bên thứ ba, chẳng hạn như aws, cũng có thể được mở rộng.

• Đồng thời, quy trình xác minh của Plasma như sau:

• Cuối cùng, khi nói đến Plasma và sự mở rộng, Karl tin rằng họ đã đạt được 3 điểm sau:

• Mạng thử nghiệm trực tuyến;

Các nguyên tắc cơ bản của Plasma được phát hành;

Thực hiện triển khai cơ bản plasma.