Vitalik: Đánh giá về những tiến bộ trong mật mã học, lý thuyết đồng thuận và kinh tế học
Vào năm 2014, tôi đã xuất bản một bài đăng và có một bài nói chuyện liệt kê một số vấn đề khó khăn trong toán học, khoa học máy tính và kinh tế mà tôi nghĩ là quan trọng đối với hướng lĩnh vực tiền điện tử (như tôi gọi chúng vào thời điểm đó) có thể trưởng thành là quan trọng. Trong năm năm qua, rất nhiều thứ đã thay đổi. Nhưng chúng ta đã đạt được bao nhiêu tiến bộ về những gì chúng ta cho là quan trọng vào thời điểm đó? Chúng ta đã thành công ở đâu, thất bại ở đâu và chúng ta đã thay đổi suy nghĩ ở đâu về những điều quan trọng? Trong bài viết này, tôi sẽ nhìn lại 16 vấn đề từ năm 2014 lần lượt và xem chúng ta đã đi được bao xa trên mỗi vấn đề ngày hôm nay. Cuối cùng, tôi sẽ đưa ra những lựa chọn mới cho câu đố năm 2019.
Những vấn đề này có thể được chia thành ba loại:
mật mã, vì vậy nếu chúng có thể giải được, thì chúng cần được giải bằng các kỹ thuật toán học thuần túy.
Lý thuyết đồng thuận, giúp cải thiện bằng chứng công việc và bằng chứng cổ phần ở mức độ lớn.
Về mặt kinh tế, các cấu trúc phải được tạo ra liên quan đến việc khuyến khích các tác nhân khác nhau và điều này thường liên quan đến lớp ứng dụng hơn là lớp giao thức.
tiêu đề cấp đầu tiên
tiêu đề phụ
khả năng mở rộng chuỗi khối
Một trong những vấn đề lớn nhất mà không gian tiền điện tử phải đối mặt ngày nay là vấn đề về khả năng mở rộng... Vấn đề chính với [các chuỗi khối rất lớn] là sự tin tưởng: nếu chỉ một vài thực thể có thể chạy các nút đầy đủ, thì những thực thể đó có thể thông đồng và đồng ý với nhau. cung cấp cho mình một lượng lớn Bitcoin bổ sung, những người dùng khác không thể tự nhận thấy rằng một khối không hợp lệ nếu không tự xử lý toàn bộ khối.
Vấn đề: Tạo một thiết kế chuỗi khối duy trì các đảm bảo bảo mật giống như Bitcoin, nhưng trong đó kích thước tối đa của các nút mạnh nhất cần thiết để mạng tiếp tục hoạt động về cơ bản là tuyến tính phụ trong số lượng giao dịch.
Tình trạng: Tiến bộ lớn về mặt lý thuyết, đang chờ đánh giá thực tế hơn.
Khả năng mở rộng là một vấn đề kỹ thuật và chúng tôi đã đạt được tiến bộ to lớn về mặt lý thuyết. Năm năm trước, hầu như không ai nghĩ về sharding; bây giờ, các thiết kế sharding đã trở nên phổ biến. Ngoài Ethereum 2.0, chúng tôi còn có OmniLedger, LazyLedger, Zilliqa và dường như có các tài liệu nghiên cứu được xuất bản hàng tháng. Theo tôi, sự phát triển hơn nữa vào thời điểm này là tăng dần. Về cơ bản, chúng tôi đã có một số kỹ thuật cho phép các nhóm trình xác thực xử lý nhiều dữ liệu hơn một trình xác thực đơn lẻ một cách an toàn, khi có sự đồng thuận, cũng như cho phép khách hàng xác minh gián tiếp tính hợp lệ đầy đủ và tính khả dụng của công nghệ khối, ngay cả trong điều kiện tấn công 51%.
Đây có lẽ là những công nghệ quan trọng nhất:
Lấy mẫu ngẫu nhiên, cho phép một ủy ban nhỏ được chọn ngẫu nhiên trở thành đại diện thống kê cho toàn bộ bộ xác thực: https://github.com/ethereum/wiki/wiki/Sharding-FAQ#how-can-we-solve-the-single- shard-tiếp-quản-tấn-công-trong-một-mô-hình-đa-số-không-phối-hợp
Bằng chứng gian lận, cho phép một nút duy nhất phát hiện ra lỗi để tuyên truyền sự tồn tại của nó cho những người khác: https://bitcoin.stackexchange.com/questions/49647/what-is-a-fraud-proof
Proof of Custody, cho phép người xác minh chứng minh một cách xác suất rằng họ đã tải xuống và xác minh riêng lẻ một số dữ liệu: https://ethresear.ch/t/1-bit-aggregation-friendly-custody-bonds/2236
Bằng chứng về tính khả dụng của dữ liệu, cho phép khách hàng phát hiện xem phần thân khối chứa tiêu đề của họ không khả dụng: https://arxiv.org/abs/1809.09044. Xem đề xuất mã hóa cây Merkle được cập nhật.
Có những phát triển nhỏ hơn khác như giao tiếp giữa các phân đoạn thông qua biên lai và các cải tiến "yếu tố không đổi" như tổng hợp chữ ký BLS.
dấu thời gian
dấu thời gian
Vấn đề: Tạo một hệ thống tương thích với khuyến khích phân tán duy trì thời gian hiện tại với độ chính xác cao, cho dù đó là lớp phủ trên đầu chuỗi khối hay chuỗi khối của chính nó. Tất cả đồng hồ của người dùng hợp pháp thường được phân phối xung quanh một số thời gian "đúng" với độ lệch chuẩn là 20 giây. Không có hai nút cách nhau hơn 20 giây.
Giải pháp cho phép dựa trên khái niệm hiện có về "N nút"; trên thực tế, điều này sẽ được thực hiện thông qua bằng chứng cổ phần hoặc mã thông báo không phải Sybil. Hệ thống phải tiếp tục phân phối trong thời gian dưới 120 giây (ít hơn nếu có thể) và nằm trong đồng hồ nội bộ của >99% các nút trung thực tham gia. Các hệ thống bên ngoài cuối cùng có thể dựa vào hệ thống này; do đó, bất kể động cơ là gì, nó sẽ vẫn an toàn trước những kẻ tấn công kiểm soát ít hơn 25% số nút.
Tình trạng: Đang có chút tiến triển.
Ethereum thực sự tồn tại tốt với thời gian khối 13 giây và không có kỹ thuật đánh dấu thời gian đặc biệt tiên tiến; nó sử dụng một kỹ thuật đơn giản nơi khách hàng không chấp nhận dấu thời gian đã khai báo cũ hơn khối theo giờ địa phương của khách hàng. Dẫu vậy, điều này vẫn chưa được kiểm chứng trong các cuộc tấn công nghiêm trọng. Đề xuất dấu thời gian được điều chỉnh theo mạng gần đây cố gắng cải thiện hiện trạng bằng cách cho phép khách hàng đồng thuận xác định thời gian khi khách hàng không thể biết thời gian hiện tại với độ chính xác cao; điều này chưa được thử nghiệm.
tiêu đề cấp đầu tiên
Bằng chứng tính toán tùy ý
Sự cố: Sự cố: Tạo chương trình POC_PROVE(P,I) -> (O,Q) và POC_VERIFY(P,O,Q) -> { 0, 1 } sao cho POC_PROVE chạy chương trình P trên đầu vào I và trả về kết quả đầu ra của chương trình là O và a Tính toán và chứng minh rằng Q và POC_VERIFY nhận được P, O và Q, đồng thời xuất liệu Q và O có được tạo hợp pháp bởi thuật toán POC_PROVE sử dụng P hay không.
Hiện trạng: Đã có nhiều tiến bộ cả về lý luận và thực hành.
Về cơ bản, điều này nói rằng, hãy xây dựng một SNARK (hoặc STARK, hoặc SHARK, hoặc…). Chúng tôi đã làm được! SNARK ngày càng được hiểu rõ hơn và thậm chí được sử dụng trong nhiều chuỗi khối (bao gồm cả Tornado.cash trên Ethereum). SNARK cực kỳ hữu ích, vừa là công nghệ bảo mật (xem Zcash và Tornado.cash) vừa là công nghệ có khả năng mở rộng (xem ZK Rollup, STARKDEX và STARKing Xóa Rễ dữ liệu được mã hóa).
tiêu đề phụ
xáo trộn mã
Chén thánh là tạo một bộ mã hóa O sao cho với bất kỳ chương trình P nào, bộ mã hóa có thể tạo một chương trình thứ hai O(P) = Q sao cho, với cùng một đầu vào, P và Q sẽ trả về cùng một đầu ra, quan trọng là Có, Q không cho thấy gì về phần bên trong của P. Mật khẩu, khóa mã hóa bí mật có thể được ẩn trong Q hoặc đơn giản là Q có thể được sử dụng để ẩn công việc độc quyền của chính thuật toán.
Tình trạng: Chậm tiến độ.
Nói một cách đơn giản, vấn đề là chúng ta muốn tìm cách "mã hóa" một chương trình sao cho chương trình được mã hóa vẫn cho cùng một đầu ra cho cùng một đầu vào, nhưng "bên trong" của chương trình sẽ bị ẩn. Một trường hợp sử dụng ví dụ về che giấu là một chương trình chứa khóa riêng tư, trong đó chương trình chỉ cho phép khóa riêng tư ký một số thông báo nhất định.
Các giải pháp làm xáo trộn mã rất hữu ích cho các giao thức chuỗi khối. Trường hợp sử dụng rất tế nhị, vì người ta phải đối phó với khả năng bộ mã hóa trên chuỗi bị sao chép và chạy trong một môi trường khác với chính chuỗi, nhưng có nhiều khả năng. Một điều mà cá nhân tôi quan tâm là loại bỏ toán tử tập trung khỏi các tiện ích chống thông đồng bằng cách thay thế toán tử bằng một số chương trình che giấu bằng chứng công việc, cho phép thực hiện nhiều lần với các đầu vào khác nhau. Chi phí xác định hành động của từng tác nhân là rất cao cao.
tiêu đề phụ
mật mã dựa trên hàm băm
Vấn đề: Tạo một thuật toán chữ ký không dựa vào các giả định bảo mật mà thay vào đó dựa vào các thuộc tính tiên tri ngẫu nhiên của hàm băm, giữ an toàn cho 160 bit so với kích thước tối ưu và các thuộc tính khác của máy tính cổ điển.
Tình trạng: Một số tiến bộ.
Kể từ năm 2014, đã có hai tiến bộ theo hướng này. SPHINCS là sơ đồ chữ ký "không trạng thái" (có nghĩa là nó không cần nhớ thông tin như nonce để sử dụng nhiều lần), được phát hành ngay sau danh sách "vấn đề khó" này và cung cấp chữ ký hoàn toàn dựa trên hàm băm. chương trình với kích thước khoảng 41 kB. Ngoài ra, STARK đã được phát triển để từ đó người ta có thể tạo chữ ký có kích thước tương tự. Trên thực tế, không chỉ chữ ký, mà cả bằng chứng phổ quát về kiến thức không có kiến thức đều có thể được thực hiện thông qua hàm băm, điều mà tôi chắc chắn không mong đợi cách đây 5 năm; tôi rất vui. Điều đó nói rằng, kích thước vẫn là một vấn đề và tiến trình đang tiếp tục giảm kích thước của bằng chứng (chẳng hạn như DEEP FRI gần đây), mặc dù có vẻ như tiến trình tiếp theo sẽ tăng dần.
tiêu đề cấp đầu tiên
tiêu đề phụ
Bằng chứng công việc kháng ASIC
Một cách để giải quyết vấn đề này là tạo thuật toán bằng chứng công việc dựa trên một loại tính toán rất khó chuyên biệt hóa... Xem https://blog.ethereum.org/2014/06/ để biết thêm chi tiết -thảo luận chuyên sâu về phần cứng kháng ASIC 19/khai thác/.
Tình trạng: Chúng tôi đã làm hết sức mình.
Khoảng 6 tháng sau khi danh sách "vấn đề khó khăn" được công bố, Ethereum đã giải quyết bằng thuật toán bằng chứng công việc kháng ASIC: Ethash. Ethash được coi là một thuật toán cứng bộ nhớ. Lý thuyết là bộ nhớ truy cập ngẫu nhiên trong các máy tính nói chung đã được tối ưu hóa tốt đến mức khó có thể cải thiện nó trong các ứng dụng chuyên dụng. Mục tiêu của Ethash là đạt được khả năng kháng ASIC bằng cách làm cho việc truy cập bộ nhớ trở thành một phần chính trong quá trình chạy các tính toán PoW.
Ethash không phải là thuật toán cứng bộ nhớ đầu tiên, nhưng nó có thêm một sự đổi mới: nó sử dụng tra cứu giả ngẫu nhiên trên DAG hai cấp, cho phép tính toán các hàm theo hai cách. Đầu tiên, nếu một người có toàn bộ DAG (khoảng 2GB), nó có thể được tính toán nhanh chóng; đây là "đường dẫn nhanh" cứng bộ nhớ. Thứ hai, nếu chỉ có lớp trên cùng của DAG, quá trình tính toán sẽ chậm hơn nhiều (nhưng vẫn có thể kiểm tra các giải pháp riêng lẻ một cách nhanh chóng); điều này được sử dụng để xác thực khối.
tiêu đề phụ
bằng chứng hữu ích của công việc
Làm cho bằng chứng công việc trở nên hữu ích đồng thời làm cho nó hữu ích; một ứng cử viên của dự án là Folding@home, một chương trình hiện có nơi người dùng tải xuống máy tính của họ phần mềm mô phỏng quá trình gấp protein và cung cấp cho các nhà nghiên cứu một lượng lớn dữ liệu để giúp họ điều trị bệnh .
Tình trạng: Có thể không khả thi, với một ngoại lệ.
Thách thức với bằng chứng công việc hữu ích là thuật toán bằng chứng công việc yêu cầu một số thuộc tính:
khó tính toán
dễ xác minh
Không phụ thuộc vào lượng lớn dữ liệu bên ngoài
Có thể được tính toán hiệu quả trong các khối nhỏ "cỡ cắn".
Thật không may, không có nhiều tính toán hữu ích bảo tồn tất cả các thuộc tính này và hầu hết các tính toán "hữu ích" với tất cả các thuộc tính này chỉ "hữu ích" trong một thời gian quá ngắn để xây dựng một loại tiền điện tử xung quanh chúng.
Tuy nhiên, có thể có một ngoại lệ: việc tạo ra các bằng chứng không có kiến thức. Bằng chứng không có kiến thức về tính hợp lệ của chuỗi khối (ví dụ: gốc tính khả dụng của dữ liệu) rất khó tính toán nhưng dễ xác minh. Hơn nữa, chúng luôn khó tính toán; nếu việc chứng minh tính toán "có cấu trúc cao" trở nên quá dễ dàng, người ta có thể chỉ cần chuyển sang xác minh toàn bộ chuyển đổi trạng thái của chuỗi khối, vì các máy ảo và truy cập bộ nhớ ngẫu nhiên cần phải được mô hình hóa, điều này sẽ trở thành rất đắt.
bằng chứng cổ phần
bằng chứng cổ phần
Một cách khác để giải quyết vấn đề tập trung khai thác là loại bỏ hoàn toàn việc khai thác và sử dụng các cơ chế khác để tính trọng số của từng nút trong sự đồng thuận. Cho đến nay, giải pháp thay thế phổ biến nhất trong các cuộc thảo luận là "bằng chứng cổ phần" — nghĩa là thay vì xem mô hình đồng thuận là "một đơn vị sức mạnh CPU, một phiếu bầu" mà là "một đơn vị tiền tệ, một phiếu bầu".
Tình trạng: Tiến bộ lớn về mặt lý thuyết, đang chờ đánh giá thực tế hơn.
Đến cuối năm 2014, cộng đồng bằng chứng cổ phần đã làm rõ rằng một số hình thức "tính chủ quan yếu kém" là không thể tránh khỏi. Để duy trì an ninh kinh tế, các nút cần có được thỏa thuận bổ sung điểm kiểm tra mới nhất khi chúng đồng bộ hóa lần đầu và cũng cần có lại thỏa thuận bổ sung điểm kiểm tra nếu chúng ngoại tuyến trong hơn một vài tháng. Đó là một viên thuốc khó nuốt; nhiều người ủng hộ PoW vẫn gắn bó với PoW vì trong chuỗi PoW, "đầu" của chuỗi có thể được phát hiện và dữ liệu duy nhất từ một nguồn đáng tin cậy là chính phần mềm máy khách blockchain. Tuy nhiên, những người ủng hộ PoS sẵn sàng nuốt viên thuốc này vì họ tin rằng các yêu cầu về độ tin cậy tăng lên là không đáng kể. Kể từ đó, con đường dẫn đến bằng chứng cổ phần thông qua các khoản tiền gửi dài hạn đã trở nên rõ ràng.
Hầu hết các thuật toán đồng thuận thú vị ngày nay về cơ bản tương tự như PBFT, nhưng thay thế bộ xác nhận cố định bằng một danh sách động mà bất kỳ ai cũng có thể gửi mã thông báo đến hợp đồng thông minh cấp hệ thống (với việc rút tiền bị khóa thời gian). Hãy tham gia danh sách động này. Trong một số trường hợp, việc rút tiền có thể mất tới 4 tháng để hoàn tất). Trong nhiều trường hợp (bao gồm cả Ethereum 2.0), các thuật toán này đạt được "mục tiêu kinh tế" bằng cách trừng phạt những người xác thực thực hiện các hành động vi phạm giao thức theo một số cách nhất định.
Cho đến hôm nay chúng ta có (trong số nhiều thuật toán khác):
Casper FFG：https：//arxiv.org/abs/1710.09437
Tendermint：https：//tendermint.com/docs/spec/consensus/consensus.html
HotStuff：https：//arxiv.org/abs/1803.05069
Casper CBC：https：//vitalik.ca/general/2018/12/05/cbc_casper.html
tiêu đề phụ
bằng chứng lưu trữ
Cách thứ ba để giải quyết vấn đề này là sử dụng các tài nguyên tính toán khan hiếm ngoài sức mạnh tính toán hoặc tiền tệ. Về vấn đề này, hai giải pháp thay thế chính đã được đề xuất là lưu trữ và băng thông. Về nguyên tắc, không có cách nào để cung cấp bằng chứng mã hóa sau sự kiện rằng băng thông đã được cung cấp hoặc sử dụng, do đó, bằng chứng băng thông nên được coi chính xác nhất là một tập hợp con của bằng chứng xã hội, sẽ được thảo luận sau, nhưng bằng chứng lưu trữ chắc chắn có thể tính toán được. Một trong những ưu điểm của Proof of Storage là nó hoàn toàn kháng ASIC; dung lượng lưu trữ của chúng tôi trong ổ cứng đã gần đạt mức tối ưu.
Tình trạng: Nhiều lý thuyết đã phát triển, mặc dù vẫn còn nhiều việc phải làm và cần có nhiều đánh giá thực tế hơn.
tiêu đề phụ
khía cạnh kinh tế
Tài sản tiền điện tử có giá trị ổn định
Một vấn đề lớn với Bitcoin là biến động giá. Vấn đề: Xây dựng một loại tiền điện tử ổn định về giá.
Tình trạng: Đang có chút tiến triển.
MakerDAO hiện đã hoạt động và đã hoạt động ổn định được gần hai năm. Nó đã sống sót sau khi giá trị của tài sản thế chấp cơ bản (ETH) giảm 93% và hiện có hơn 100 triệu đô la DAI chưa thanh toán. Nó đã trở thành trụ cột của hệ sinh thái Ethereum và nhiều dự án Ethereum đã hoặc đang tích hợp với nó. Các dự án mã thông báo tổng hợp khác, chẳng hạn như UMA, cũng đang nhanh chóng nhận được sự ủng hộ.
Tuy nhiên, mặc dù hệ thống MakerDAO vẫn tồn tại trong môi trường kinh tế khó khăn của năm 2019, nhưng đó hoàn toàn không phải là kịch bản khó khăn nhất có thể xảy ra. Bitcoin đã giảm 75% trong hai ngày trước đây; điều tương tự sẽ xảy ra với Ethereum hoặc bất kỳ tài sản thế chấp nào khác trong tương lai. Một cuộc tấn công vào chuỗi khối cơ bản là một rủi ro thậm chí còn lớn hơn chưa được kiểm chứng, đặc biệt nếu kết hợp với việc giảm giá cùng một lúc.
tiêu đề phụ
Ưu đãi hàng hóa công phi tập trung
Một trong những thách thức đối với các hệ thống kinh tế nói chung là vấn đề "hàng hóa công cộng". Ví dụ: giả sử có một dự án nghiên cứu khoa học sẽ tiêu tốn 1 triệu đô la để hoàn thành và người ta hiểu rằng nếu nó được hoàn thành, kết quả nghiên cứu sẽ tiết kiệm được 5 đô la cho mỗi 1 triệu người. Nhìn chung, lợi ích xã hội là rõ ràng...[nhưng] theo quan điểm của mọi người, sự đóng góp là vô nghĩa...
Hầu hết các vấn đề với hàng hóa công cho đến nay đều liên quan đến việc tập trung hóa. Các giả định và yêu cầu bổ sung: tồn tại một nhà tiên tri hoàn toàn đáng tin cậy để xác định xem một nhiệm vụ hàng hóa công nào đó đã được hoàn thành hay chưa (thực ra điều này là sai, nhưng đó là một vấn đề khác).
Tình trạng: Đang có chút tiến triển.
Vấn đề tài trợ cho hàng hóa công cộng thường được hiểu là được chia thành hai vấn đề: vấn đề tài chính (hàng hóa công cộng được tài trợ từ đâu) và vấn đề tổng hợp sở thích (làm thế nào để xác định đâu thực sự là hàng hóa công cộng và không phải là thú cưng của một cá nhân). dự án). Câu hỏi này tập trung cụ thể vào câu hỏi đầu tiên, giả sử câu hỏi sau đã được giải quyết (xem phần “Số liệu đóng góp phi tập trung” để biết về vấn đề này).
Nhìn chung, chưa có đột phá lớn mới nào trong lĩnh vực này. Có hai giải pháp chính. Đầu tiên, chúng ta có thể cố gắng thúc đẩy những đóng góp của cá nhân bằng cách trao cho mọi người những phần thưởng xã hội vì đã làm như vậy. Đề xuất của riêng tôi về hoạt động từ thiện thông qua phân biệt giá cận biên là một ví dụ; một ví dụ khác là huy hiệu quyên góp chống sốt rét trên Peepeth. Thứ hai, chúng tôi có thể thu tiền từ các ứng dụng có hiệu ứng mạng. Trong phạm vi của chuỗi khối, có một số có thể làm điều này:
phát hành tiền xu
Tính một phần phí giao dịch ở cấp độ giao thức (ví dụ: qua EIP 1559)
Từ một số ứng dụng layer2 (ví dụ: Uniswap hoặc một số giải pháp có thể mở rộng hoặc thậm chí là tiền thuê trạng thái trong môi trường thực thi của Ethereum 2.0)
Một số phí khác được áp dụng (ví dụ: đăng ký ENS)
tiêu đề phụ
hệ thống danh tiếng
Vấn đề: Thiết kế một hệ thống danh tiếng chính thức bao gồm điểm đại diện(A,B) -> V trong đó V là danh tiếng của B theo quan điểm của A, một cơ chế để xác định xác suất một bên có thể được bên kia tin cậy và một cơ chế để cập nhật danh tiếng được cung cấp một bản ghi về một tương tác công khai hoặc cuối cùng cụ thể.
Tình trạng: Chậm tiến độ.
Kể từ năm 2014, không có nhiều nghiên cứu được thực hiện về hệ thống danh tiếng. Có lẽ cách tốt nhất để làm điều này là sử dụng sổ đăng ký ký quỹ mã thông báo để tạo danh sách lưu ký các thực thể/đối tượng đáng tin cậy; Kleros ERC20 TCR (vâng, đó là sổ đăng ký cho mã thông báo ERC20 hợp pháp) là một ví dụ và thậm chí còn có một Ninja thay thế sử dụng Uniswap (http://uniswap.ninja) làm phụ trợ, từ đó nó nhận danh sách mã thông báo, mã thông báo và danh tính.
tiêu đề phụ
bằng chứng xuất sắc
Có một giải pháp thú vị và phần lớn chưa được khám phá cho vấn đề phân phối mã thông báo (đó là lý do tại sao nó không thể được sử dụng để khai thác dễ dàng như vậy), sử dụng các nhiệm vụ hữu ích cho xã hội nhưng đòi hỏi con người nguyên thủy phải nỗ lực và tài năng sáng tạo. Ví dụ: chúng tôi có thể đưa ra một đồng xu "bằng chứng về bằng chứng" để thưởng cho người chơi đưa ra bằng chứng toán học cho một số định lý.
Tình trạng: Không có tiến triển, các vấn đề phần lớn bị lãng quên.
tiêu đề phụ
Hệ thống chống phù thủy
Một vấn đề liên quan đến hệ thống danh tiếng là thách thức tạo ra "hệ thống nhận dạng duy nhất" - hệ thống tạo mã thông báo để chứng minh rằng danh tính không phải là một phần của cuộc tấn công Sybil...tuy nhiên, chúng tôi hy vọng có một hệ thống tốt hơn "một đô la một vote" , một hệ thống bình đẳng hơn; có thể cho rằng, một người, một phiếu bầu sẽ là lý tưởng.
Tình trạng: Đang có chút tiến triển.
Khá nhiều người đã cố gắng giải quyết vấn đề độc nhất vô nhị này của con người. Những suy nghĩ nên thử bao gồm (danh sách không đầy đủ!)
HumanityDAO：https：//www.humanitydao.org/
Pseudonym parties：https：//bford.info/pub/net/sybil.pdf
POAP ("Bằng chứng giao thức tham dự"): https://www.poap.xyz/
BrightID：https：//www.brightid.org/
tiêu đề phụ
Các chỉ số đóng góp phi tập trung
Thật không may, khuyến khích sản xuất hàng hóa công cộng không phải là vấn đề duy nhất mà tập trung hóa giải quyết. Một vấn đề khác, thứ nhất, là xác định loại hàng hóa công nào đáng để sản xuất và thứ hai, xác định mức độ nỗ lực nào đó thực sự hoàn thành việc sản xuất hàng hóa công. Thử thách này giải quyết câu hỏi thứ hai.
Tình trạng: Một số tiến bộ, với sự thay đổi trọng tâm.
Công việc gần đây về xác định giá trị đóng góp công ích đã không cố gắng tách việc xác định nhiệm vụ khỏi việc xác định chất lượng hoàn thành; lý do là hai điều này khó phân biệt trong thực tế. Công việc được thực hiện bởi một nhóm cụ thể thường không thể thay thế và đủ chủ quan nên cách tiếp cận hợp lý nhất là xem xét mức độ liên quan của các nhiệm vụ và chất lượng hiệu suất như một gói duy nhất và sử dụng các kỹ thuật giống nhau để đánh giá cả hai.
May mắn thay, đã có nhiều tiến bộ trong vấn đề này, đặc biệt là với việc phát hiện ra các khoản tài trợ thứ cấp. Các khoản trợ cấp bậc hai là nơi các cá nhân có thể quyên góp cho một dự án, sau đó dựa trên số lượng người quyên góp và số tiền họ quyên góp, một công thức được sử dụng để tính xem họ sẽ quyên góp bao nhiêu nếu họ hoàn toàn phù hợp với nhau (tức là bao nhiêu họ đã tặng). quan tâm đến lợi ích của nhau và không rơi vào bi kịch của cái chung).
Đối với bất kỳ dự án cụ thể nào, sự khác biệt giữa số tiền có thể đã được quyên góp và số tiền thực sự được quyên góp sẽ được trao cho dự án đó như một khoản trợ cấp từ một số quỹ trung ương. Thông báo trước là cơ chế này tập trung vào việc đáp ứng các giá trị cộng đồng nhất định hơn là đáp ứng một số mục tiêu nhất định, cho dù có ai quan tâm đến nó hay không. Do tính phức tạp của bài toán giá trị, cách tiếp cận này có thể mạnh mẽ hơn đối với những ẩn số chưa biết.
tiêu đề phụ
Số liệu thành công phi tập trung
Vấn đề: Đề xuất và triển khai một phương pháp phi tập trung để đo lường các biến số trong thế giới thực...hệ thống có thể đo lường bất kỳ thứ gì mà con người hiện có thể đạt được sự đồng thuận sơ bộ về (ví dụ: giá tài sản, nhiệt độ, nồng độ CO2 toàn cầu).
Tình trạng: Đang có chút tiến triển.
Điều này hiện nay thường được gọi là "vấn đề tiên tri". Phiên bản chạy tiên tri phi tập trung lớn nhất được biết đến là Augur, xử lý hàng triệu đô la kết quả đặt cược. Các cơ quan đăng ký quản lý mã thông báo như Kleros TCR của Token là một ví dụ khác. Tuy nhiên, các hệ thống này vẫn chưa được thử nghiệm thực tế về cơ chế rẽ nhánh do một vấn đề gây tranh cãi lớn hoặc do các cuộc tấn công 51% đã cố gắng thực hiện. Ngoài ra còn có nghiên cứu về vấn đề tiên tri xảy ra bên ngoài không gian chuỗi khối, dưới dạng tài liệu "dự đoán ngang hàng".
Một thách thức sắp xảy ra khác là mọi người muốn dựa vào các hệ thống này để hướng dẫn việc chuyển số lượng tài sản lớn hơn giá trị kinh tế của mã thông báo gốc của hệ thống. Trong trường hợp này, về mặt lý thuyết, chủ sở hữu mã thông báo sẽ có động cơ thông đồng để đưa ra câu trả lời sai nhằm đánh cắp tiền.
tiêu đề cấp đầu tiên
câu hỏi mới
Nếu tôi viết lại danh sách các câu đố vào năm 2019, một số câu hỏi sẽ là phần tiếp theo của các câu hỏi trên, nhưng trọng tâm sẽ thay đổi đáng kể và sẽ có những câu hỏi mới hay.
Dưới đây là một số câu hỏi:
Password Obfuscation: Tương tự như mục 4 ở trên.
Công việc đang diễn ra trong mật mã hậu lượng tử: các đối tượng toán học "có cấu trúc" an toàn dựa trên hàm băm và hậu lượng tử, vd. Dựng đường cong elip…
Cơ sở hạ tầng chống thông đồng: đang hoàn thiện và tinh chỉnh https://ethresear.ch/t/minimal-anti-collusion-infrastructure/5413, bao gồm thêm quyền riêng tư đối với người điều hành, thêm tính toán đa bên theo cách thiết thực nhất, v.v.
Tiên tri: Tương tự như #16 ở trên, nhưng không nhấn mạnh đến "chỉ số thành công" và tập trung vào vấn đề chung "thu thập dữ liệu trong thế giới thực".
Danh tính con người duy nhất (hoặc, thực tế hơn, danh tính con người bán duy nhất): giống như được viết ở mục #15 ở trên, nhưng nhấn mạnh một giải pháp ít "tuyệt đối" hơn: có được hai danh tính sẽ tốt hơn là có được một danh tính Khó hơn nhiều, nhưng không thể đạt được nhiều danh tính sẽ là không thể và có khả năng gây hại, ngay cả khi chúng tôi thành công.
Mã hóa đồng hình và tính toán đa bên: Để thực tế, vẫn cần cải tiến liên tục.
Cơ chế quản trị phi tập trung: DAO rất tuyệt, nhưng các DAO hiện tại vẫn còn rất sơ khai; chúng ta có thể làm tốt hơn.
Phản hồi chính thức đầy đủ đối với các cuộc tấn công 51% của PoS: xem https://ethresear.ch/t/responding-to-51-attacks-in-casper-ffg/6363.
Nhiều nguồn tài trợ hơn cho hàng hóa công cộng: Sẽ là lý tưởng nếu tính phí cho các tài nguyên bị tắc nghẽn (chẳng hạn như phí giao dịch) trong một hệ thống có hiệu ứng mạng, nhưng làm như vậy trong một hệ thống phi tập trung đòi hỏi tính hợp pháp của công chúng; do đó, nó vừa là một vấn đề xã hội, vừa là một vấn đề xã hội. cũng là một vấn đề kỹ thuật của việc tìm kiếm các nguồn có thể.
Hệ thống danh tiếng: Giống như #12 ở trên.
Nói chung, các vấn đề ở lớp cơ sở đang giảm dần nhưng chắc chắn, nhưng các vấn đề ở lớp ứng dụng chỉ mới bắt đầu.
Source：https://www.google.com/search?q=%E7%BF%BB%E8%AF%91&oq=%E7%BF%BB%E8%AF%91&aqs=chrome..69i57j0i512j0i433i512l2j46i131i199i433i465i512l2j0i131i433i512j0i433i512l2j46i433i512.1125j0j15&sourceid=chrome&ie=UTF-8
