Bài học từ lịch sử và quá trình tiếp diễn của Ethereum

Nhà đồng sáng lập Ethereum, Vitalik Buterin, gần đây đã quyết định giải thích cách thức ý tưởng và hoạt động phát triển đằng sau giao thức Casper của nền tảng này (một trong những nâng cấp được lên kế hoạch cho mạng Ethereum).

Slasher “tối ưu”

Nghiên cứu về proof – of – stake của Ethereum (nay được biết đến với tên gọi Casper) bắt đầu từ tháng Giêng năm 2014. Thuật toán PoS của Ethereum được gọi là Slasher và nó được cho là “cực kỳ tối ưu”.

Tuy nhiên, Buterin và các nhà phát triển Ethereum khác đã biết được một số điều quan trọng trong quá trình nghiên cứu Slasher, trong đó có việc sử dụng các hình phạt đối với các vấn đề liên quan đến PoS.

Tuy nhiên, đầu tiên, các hình phạt được sử dụng là “rất nhỏ, chỉ hủy bỏ phần thưởng ký kết”, Buterin lưu ý. Tuy nhiên, vào giữa năm 2014, nhà đồng sáng lập Bitcoin Magazine cho biết các nút xác nhận đầy đủ của Ethereum đã được yêu cầu “đặt cọc”, lớn hơn nhiều so với phần thưởng, và số tiền này có thể bị tước đi nếu xảy ra hành vi sai trái.”

Vlad Zamfir gia nhập nhóm Ethereum

Theo Buterin, quyết định tăng đáng kể số tiền gửi có hiệu lực sau đề nghị của Vlad Zamfir, một sinh viên tốt nghiệp Toán từ Đại học Guelph của Canada, người đã gia nhập dự án Ethereum vào giữa năm 2014.

Buterin sau đó lưu ý rằng vào cuối năm 2014, nhóm phát triển của Ethereum đã cố gắng giải quyết vấn đề “tấn công tầm xa”. Ông giải thích rằng trong các kiểu tấn công này, kẻ tấn công có thể chuyển tiền gửi của họ từ Blockchain chính sang “chuỗi tấn công” có chứa nhiều chữ ký hơn chuỗi chính. Điều này, Buterin nói được thực hiện để “đánh lừa khách hàng chuyển sang” chuỗi gian lận.

Đáng chú ý, người đồng sáng lập Ethereum cho biết nhóm phát triển của ông không thể giải quyết vấn đề “tấn công tầm xa” vì họ “không thể tránh khỏi” do những lý do được đưa ra bởi những Proof – of – work (PoW). Tuy nhiên, các nhà phát triển Ethereum đã không “chấp nhận kết luận của họ”.

Trong khi vẫn cố gắng giải quyết các vấn đề với các cuộc tấn công tầm xa và các vấn đề khác với phiên bản giao thức PoS của Ethereum tại thời điểm đó, Buterin cho biết ông đã đi trên một “lớn, và cuối cùng không hiệu quả, tiếp tuyến theo hướng mà ông gọi là “sự đồng thuận bằng cách đặt cược.”

Theo lời của đồng sáng lập Ethereum, sự đồng thuận bằng cách đặt cược sẽ cho phép người xác nhận “đặt cược vào khối nào sẽ được hoàn thành, và cá cược tự xác định chuỗi đồng thuận nào sẽ có lợi.” Buterin giải thích thêm rằng các nhà xác nhận sẽ tham gia vào quá trình mà tất cả họ sẽ được thúc đẩy (hoặc tự nhiên nghiêng) để liên tục tăng số tiền họ đã đặt cược.

Cá cược này cũng sẽ tiếp tục cho đến khi người xác nhận “đặt cược toàn bộ tiền gửi của họ trên một khối”, và tại thời điểm này, “cuối cùng” sẽ đạt được, nghĩa là một toán tử toàn nút sẽ được chọn để xác nhận (xử lý) các giao dịch trong một khối.

Trong khi sự đồng thuận bằng cách đặt cược là một khái niệm “thú vị”, nó không được tiếp tục theo đuổi vì những hạn chế về thiết kế của nó, vì nó “quá cơ bản rủi ro”, Buterin lưu ý. Trong khi đó, Zamfir đã “nghiên cứu rất nhiều thiết kế cơ chế” cho các thuật toán khác nhau để xác định liệu chúng có thể được sử dụng để giải quyết hiệu quả các vấn đề tiềm ẩn trên mạng Ethereum hay không.

Casper FFG, “Một tiến bộ rất đáng kể”

Đáng chú ý, ngay sau khi Buterin từ bỏ sự đồng thuận bằng cách đặt cược, ông bắt đầu làm việc chặt chẽ hơn với Zamfir và các nhà phát triển Ethereum khác, và điều này dẫn đến những gì được mô tả là “lớp phủ trên đầu trang của bất kỳ PoW hoặc PoS hoặc blockchain nào khác. “Lớp phủ” này bây giờ được gọi là Casper Friendly Final Gadget (FFG)”, Buterin giải thích.

Hơn nữa, đồng sáng lập Ethereum đã viết:

“Cuối cùng là một tiến bộ rất quan trọng: một khi một khối được hoàn thành, nó là an toàn bất kể độ trễ mạng (không giống như xác nhận trong PoW), và hoàn nguyên khối yêu cầu >= 1/3 của trình xác nhận để gian lận theo cách có thể phát hiện được và có thể được sử dụng để phá hủy tiền gửi của họ. Do đó, chi phí hoàn nguyên tài chính có thể chạy vào hàng tỷ đô la. Phương pháp Casper CBC [Đúng theo cách xây dựng] và Casper FFG đều đạt được điều này, mặc dù theo những cách khác nhau về mặt kỹ thuật.” (Vitalik Buterin)

Casper CBC đã được đề xuất và tạo ra bởi Vlad Zamfir trong khi Casper FFG chủ yếu được phát triển bởi Buterin. Như đã đề cập bởi lập trình viên Canada – Nga, CBC và FFG có ý định đạt được mục tiêu tương tự, nhưng chúng “khác biệt về mặt kỹ thuật”.

Nó cũng xuất hiện rằng quá trình chuyển đổi hiện tại mà mạng Ethereum đang cố gắng từ một hệ thống dựa trên PoW đến một Blockchain dựa trên PoS đã được thúc đẩy chủ yếu bởi các ý tưởng của Buterin, như ông đã lưu ý rằng “Casper CBC đã được chứng minh đầy đủ từ khi bắt đầu.”

Casper FFG Testnet ra mắt, nhưng sau đó lại bị lãng quên

Vào ngày 31/12/2017, mạng lưới thử nghiệm đã thực hiện Casper FFG như một hợp đồng thông minh trên Blockchain Ethereum đã được phát hành. Mã nguồn cho điều này được viết bằng ngôn ngữ lập trình Python, chứ không phải Solidity (ngôn ngữ lập trình riêng của Ethereum). Sau khi thử nghiệm với testnet, các nhà phát triển của Ethereum phát hiện ra rằng FFG “đã làm cho mọi thứ trở nên dễ dàng hơn, nhưng nó làm cho những thứ khác khó khăn hơn”.

Bằng cách sử dụng phiên bản FFG này, nó sẽ làm cho việc nâng cấp lên mạng Ethereum trở nên rất khó khăn. Sau gần 6 tháng phát triển, phương pháp này đã bị bỏ rơi và các nhà phát triển nền tảng đã quyết định “thay vì theo đuổi Casper đầy đủ như một chuỗi độc lập, được thiết kế theo cách tích hợp sharding sẽ dễ dàng hơn nhiều.”

Đáng chú ý, Sharding là một trong những Ethereum’s lên kế hoạch nâng cấp mạng của mình, để giải quyết vấn đề khả năng mở rộng của nó. Bây giờ, sau khi thực hiện một cách tiếp cận khác để giúp mở rộng chuỗi khối Ethereum, Buterin đã viết rằng ông “đã tìm ra cách để [giảm] thời gian tới mức độ hợp nhất [với Casper FFG] từ 2.5 epochs thành 2 epochs tối ưu về mặt lý thuyết

Nói cách khác, nhà phát triển Blockchain đã tìm ra cách để giảm đáng kể thời gian cần thiết để xử lý hoặc xác nhận giao dịch. Tuy nhiên, Buterin giải thích rằng, “Sự cân bằng chính giữa FFG và CBC là CBC dường như có các thuộc tính lý thuyết đẹp hơn, nhưng FFG có vẻ dễ thực hiện hơn.” Về phía FFG, các bằng chứng chính thức, các cải tiến đối với đặc điểm kỹ thuật và tiến độ thực hiện liên tục.

Theo TapchiBitcoin.vn/Cryptoglobe