2.4. Khuyến khích và bằng chứng công việc
Trong phần trước, chúng ta đã có cái nhìn cơ bản về thuật toán đồng thuận của Bitcoin và phát triển trực giác tốt về lý do tại sao chúng ta tin rằng nó an toàn. Nhưng hãy nhớ lại từ đầu chương rằng sự phi tập trung của Bitcoin một phần là cơ chế kỹ thuật và một phần là kỹ thuật khuyến khích thông minh. Cho đến nay, chúng ta chủ yếu xem xét cơ chế kỹ thuật. Bây giờ hãy nói về kỹ thuật khuyến khích được tích hợp vào Bitcoin.
Chúng tôi đã yêu cầu bạn thực hiện một bước nhảy vọt trước đó khi giả định rằng chúng ta có thể chọn một nút ngẫu nhiên và có lẽ khó giải quyết hơn là ít nhất 50% thời gian, quá trình này sẽ chọn một nút trung thực. Giả định về tính trung thực này đặc biệt có vấn đề nếu có các động cơ tài chính cho những người tham gia để phá vỡ quy trình, trong trường hợp đó, chúng ta không thể thực sự giả định rằng một nút sẽ trung thực. Sau đó, câu hỏi trở thành: Liệu chúng ta có thể tạo động lực cho các nút để cư xử trung thực không?
Hãy xem xét lại nỗ lực chi tiêu gấp đôi sau một lần xác nhận (xem Hình 2.2). Bằng cách nào đó, chúng ta có thể phạt nút đã tạo khối có giao dịch chi tiêu gấp đôi không? Chà, không hẳn vậy. Như đã đề cập trước đó, thật khó để biết đâu là giao dịch hợp pháp về mặt đạo đức. Nhưng ngay cả khi chúng ta đã làm vậy, vẫn khó để trừng phạt các nút, vì chúng không có danh tính. Vì vậy, thay vào đó, hãy lật lại câu hỏi và hỏi: Chúng ta có thể thưởng cho mỗi nút đã tạo ra các khối đã kết thúc trên chuỗi đồng thuận dài hạn không? Vâng, một lần nữa, vì các nút đó không tiết lộ danh tính trong thế giới thực của chúng, chúng ta không thể gửi tiền mặt cho chúng đến địa chỉ nhà của chúng. Giá như có một loại tiền kỹ thuật số nào đó mà chúng ta có thể sử dụng thay thế… bạn có thể thấy điều này đang diễn ra. Chúng ta sẽ sử dụng bitcoin để khuyến khích các nút đã tạo ra các khối này.
Hãy tạm dừng một chút. Mọi thứ được mô tả cho đến nay chỉ là một thuật toán trừu tượng để đạt được sự đồng thuận phân tán và không dành riêng cho ứng dụng. Bây giờ chúng ta sẽ sử dụng thực tế rằng ứng dụng chúng ta đang xây dựng thông qua quy trình đồng thuận phân tán này trên thực tế là một loại tiền tệ. Cụ thể, chúng ta sẽ khuyến khích các nút cư xử trung thực bằng cách thanh toán cho chúng bằng đơn vị tiền tệ này.
Phần thưởng khối
Làm thế nào là điều này được thực hiện? Hai cơ chế khuyến khích riêng biệt được sử dụng trong Bitcoin. Đầu tiên là phần thưởng khối (block reward). Theo các quy tắc của Bitcoin, nút tạo ra một khối sẽ bao gồm một giao dịch đặc biệt trong khối đó. Giao dịch này là một giao dịch tạo tiền xu (coin-creation), tương tự như CreateCoins trong Scroogecoin và nút cũng có thể chọn địa chỉ người nhận của giao dịch này. Tất nhiên nút đó thường sẽ chọn một địa chỉ thuộc về chính nó. Bạn có thể coi đây là một khoản thanh toán cho nút để đổi lấy dịch vụ tạo một khối trên chuỗi đồng thuận.
Kể từ năm 2015, giá trị của phần thưởng khối được cố định ở mức 25 bitcoin. Nhưng nó thực sự giảm đi một nửa với mỗi 210.000 khối được tạo ra. Dựa trên tốc độ tạo khối, tỷ lệ này giảm đi một nửa sau mỗi bốn năm. Bây giờ chúng ta đang ở trong thời kỳ thứ hai. Trong bốn năm đầu tiên tồn tại của Bitcoin, phần thưởng khối là 50 bitcoin; bây giờ là 25 và nó sẽ tiếp tục giảm một nửa. Điều này có một số hậu quả thú vị, mà chúng ta giải quyết dưới đây.
Bạn có thể tự hỏi tại sao phần thưởng khối khuyến khích hành vi trung thực. Dựa trên những gì chúng tôi đã nói cho đến nay, có thể xuất hiện rằng nút này nhận được phần thưởng khối bất kể nó đề xuất một khối hợp lệ hay hoạt động độc hại. Nhưng điều này là không đúng sự thật! Hãy nghĩ về điều đó—nút này sẽ thu thập phần thưởng của nó như thế nào? Điều đó sẽ chỉ xảy ra nếu khối được đề cập kết thúc trên nhánh đồng thuận dài hạn, bởi vì giống như mọi giao dịch khác, giao dịch tạo tiền xu sẽ chỉ được các nút khác chấp nhận nếu nó kết thúc trên chuỗi đồng thuận. Đó là ý tưởng chính đằng sau cơ chế khuyến khích này. Đó là một thủ thuật tinh tế nhưng mạnh mẽ. Nó khuyến khích các nút hoạt động theo bất kỳ cách nào mà họ tin rằng sẽ khiến các nút khác mở rộng khối của chúng. Vì vậy, nếu hầu hết mạng tuân theo quy tắc nhánh hợp lệ dài nhất, nó khuyến khích tất cả các nút tiếp tục tuân theo quy tắc đó. Đó là cơ chế khuyến khích đầu tiên của Bitcoin.
Chúng tôi đã đề cập rằng cứ sau 210.000 khối (hoặc khoảng bốn năm), phần thưởng khối sẽ bị cắt giảm một nửa. Trong Hình 2.4, độ dốc của đường cong này sẽ tiếp tục giảm một nửa. Đây là một chuỗi hình học và bạn có thể biết rằng nó có nghĩa là có một tổng số bitcoin hữu hạn được tạo ra bởi cơ chế này. Nó tìm ra với tổng số 21 triệu bitcoin.
Lưu ý rằng đây là cách duy nhất mà bitcoin mới có thể được tạo. Không có cơ chế tạo tiền xu nào khác, đó là lý do tại sao 21 triệu là con số cuối cùng và tổng số (ít nhất là theo quy tắc hiện tại) cho số lượng bitcoin có thể có. Phần thưởng khối này sẽ hết vào năm 2140, như mọi thứ hiện tại. Điều đó có nghĩa là hệ thống sẽ ngừng hoạt động vào năm 2140 và trở nên không an toàn, vì các nút không còn động lực để hoạt động trung thực? Không hẳn. Phần thưởng khối chỉ là cơ chế đầu tiên trong số hai cơ chế khuyến khích trong Bitcoin.
Phí giao dịch
Cơ chế khuyến khích thứ hai là phí giao dịch. Người tạo ra bất kỳ giao dịch nào có thể chọn làm cho tổng giá trị của đầu ra của giao dịch nhỏ hơn tổng giá trị của đầu vào của nó. Ai tạo khối đầu tiên đưa giao dịch đó vào chuỗi khối có thể thu khoản chênh lệch, đóng một khoản phí giao dịch. Vì vậy, nếu bạn là một nút đang tạo một khối, chẳng hạn như 200 giao dịch, thì tổng số 200 phí giao dịch đó sẽ được trả cho địa chỉ mà bạn đặt vào khối đó. Phí giao dịch là hoàn toàn tự nguyện, nhưng chúng ta mong đợi, dựa trên hiểu biết của chúng ta về hệ thống, rằng khi phần thưởng khối bắt đầu cạn kiệt, nó sẽ ngày càng trở nên quan trọng hơn, gần như bắt buộc, đối với người dùng phải bao gồm phí giao dịch để duy trì mức hợp lý chất lượng dịch vụ. Ở một mức độ nhất định, điều này đã bắt đầu xảy ra ngay bây giờ. Nhưng hiện tại vẫn chưa rõ chính xác hệ thống sẽ phát triển như thế nào; nó thực sự phụ thuộc vào rất nhiều lý thuyết trò chơi, vẫn chưa được hoàn thiện. Đây là một lĩnh vực nghiên cứu mở thú vị về Bitcoin.
HÌNH 2.4. Tổng cung bitcoin theo thời gian. Phần thưởng khối bị cắt giảm một nửa sau mỗi 4 năm, giới hạn tổng nguồn cung bitcoin xuống còn 21 triệu. Đây là một mô hình đơn giản hóa và đường cong thực tế trông hơi khác một chút, nhưng nó có cùng giới hạn 21 triệu.
Một số vấn đề vẫn còn tồn tại với cơ chế đồng thuận như được mô tả ở đây. Điều quan trọng đầu tiên là bước nhảy vọt về niềm tin mà chúng tôi yêu cầu bạn thực hiện rằng bằng cách nào đó chúng ta có thể chọn một nút ngẫu nhiên. Thứ hai, chúng ta đã tạo ra một vấn đề mới bằng cách cung cấp cho các nút những động lực này để tham gia. Hệ thống có thể trở nên không ổn định vì các ưu đãi gây ra sự miễn phí cho tất cả, nơi mọi người muốn chạy một nút Bitcoin với hy vọng giành được một số phần thưởng này. Và vấn đề thứ ba là một phiên bản thậm chí còn phức tạp hơn của vấn đề này: kẻ thù có thể tạo ra một số lượng lớn các nút Sybil để thử và phá vỡ quy trình đồng thuận.
Khai thác và Bằng chứng Công việc
Tất cả những vấn đề này đều có liên quan và đều có cùng một giải pháp, được gọi là bằng chứng công việc (proof of work). Ý tưởng chính đằng sau bằng chứng công việc là chúng ta ước tính việc lựa chọn một nút ngẫu nhiên bằng cách thay vào đó chọn các nút tương ứng với tài nguyên mà chúng ta hy vọng rằng không ai có thể độc quyền. Ví dụ, nếu tài nguyên đó là sức mạnh tính toán, thì đó là một hệ thống bằng chứng công việc. Mặt khác, nó có thể tương ứng với quyền sở hữu tiền tệ,được gọi là bằng chứng cổ phần (proof of stake). Mặc dù nó không được sử dụng trong Bitcoin, nhưng bằng chứng cổ phần là một mô hình thay thế hợp pháp được sử dụng trong các loại tiền điện tử khác. Chúng ta sẽ xem thêm về bằng chứng cổ phần và các biến thể bằng chứng công việc khác trong Chương 8.
Nhưng trở lại bằng chứng công việc. Hãy làm rõ ý nghĩa của việc chọn các nút tương ứng với sức mạnh tính toán của chúng. Điều này có thể được coi là cho phép các nút cạnh tranh với nhau bằng cách sử dụng sức mạnh tính toán của chúng, điều này sẽ dẫn đến việc các nút tự động được chọn tương ứng với dung lượng (capacity) đó. Tuy nhiên, một quan điểm khác về bằng chứng công việc là chúng ta đang cố gắng vừa phải để tạo ra danh tính mới. Đó là một loại thuế đánh vào việc tạo ra danh tính và do đó đối với cuộc tấn công Sybil. Tất cả điều này có vẻ hơi mơ hồ, vì vậy chúng ta hãy xem xét các chi tiết của hệ thống bằng chứng công việc được sử dụng trong Bitcoin, hệ thống này sẽ làm rõ khái niệm.
Bitcoin đạt được bằng chứng về công việc bằng cách sử dụng các câu đố băm (hash puzzles). Để tạo một khối, nút đề xuất khối đó được yêu cầu tìm một số (một nonce; xem Phần 1.1), sao cho khi bạn nối nonce, băm trước đó và danh sách các giao dịch tạo nên khối và sau đó lấy băm của toàn bộ chuỗi này, thì đầu ra băm đó phải là một số nằm trong không gian đích khá nhỏ so với không gian đầu ra lớn hơn nhiều của hàm băm đó. Chúng ta có thể định nghĩa không gian mục tiêu như vậy là bất kỳ giá trị nào giảm xuống dưới một giá trị mục tiêu nhất định. Trong trường hợp này, nonce sẽ phải thỏa mãn bất đẳng thức sau:
Như chúng ta đã thấy, thông thường một khối chứa một loạt các giao dịch mà một nút đang đề xuất. Ngoài ra, một khối cũng chứa một con trỏ băm đến khối trước đó. (Chúng ta đang sử dụng thuật ngữ “con trỏ băm” một cách lỏng lẻo. Con trỏ chỉ là một chuỗi trong ngữ cảnh này, vì nó không cần cho chúng ta biết nơi tìm khối này. Chúng ta có thể tìm thấy khối bằng cách yêu cầu các đồng nghiệp khác trên mạng tìm nó. Phần quan trọng là hàm băm vừa hoạt động như một ID khi yêu cầu các đồng nghiệp khác cho khối vừa cho phép chúng ta xác thực khối khi chúng ta đã lấy được nó.) Ngoài ra, hiện chúng ta đang yêu cầu một khối cũng phải chứa một nonce. Ý tưởng là chúng ta muốn gây khó khăn vừa phải để tìm một nonce thỏa mãn thuộc tính bắt buộc này, đó là việc băm toàn bộ khối lại với nhau, bao gồm cả nonce đó, sẽ dẫn đến một loại đầu ra cụ thể. Nếu hàm băm thỏa mãn thuộc tính thân thiện với câu đố từ Chương 1, thì cách duy nhất để thành công trong việc giải câu đố băm này là chỉ cần thử lần lượt đủ các nút lần lượt cho đến khi bạn gặp may. Vì vậy, cụ thể là, nếu không gian mục tiêu này chỉ là 1 phần trăm của không gian đầu ra tổng thể, bạn sẽ phải thử khoảng 100 nonces trước khi có khả năng gặp may. Trong thực tế, kích thước của không gian mục tiêu này gần như không cao bằng 1 phần trăm của không gian đầu ra. Nó nhỏ hơn rất nhiều, như chúng ta sẽ thấy ngay sau đây.
Khái niệm về câu đố băm và bằng chứng công việc này hoàn toàn loại bỏ yêu cầu chọn một nút ngẫu nhiên một cách kỳ diệu. Thay vào đó, các nút chỉ đơn giản là cạnh tranh độc lập để giải các câu đố băm này mọi lúc. Thỉnh thoảng, một trong số chúng sẽ tìm thấy một nonce ngẫu nhiên thỏa mãn thuộc tính này. Nút may mắn đó sau đó được đề xuất khối tiếp theo. Bằng cách này, hệ thống hoàn toàn phi tập trung. Không ai quyết định nút nào sẽ đề xuất khối tiếp theo.
Khó tính toán
Có ba thuộc tính quan trọng của câu đố băm. Đầu tiên là chúng cần phải khá khó tính toán. Chúng tôi đã nói là khó khăn vừa phải, nhưng bạn sẽ thấy lý do tại sao điều này thực sự thay đổi theo thời gian. Tính đến năm 2015, mức độ khó là hơn 1020 băm cho mỗi khối. Nói cách khác, kích thước của không gian đích nhỏ hơn 1/1020 kích thước của không gian đầu ra của hàm băm. Do đó, việc tìm kiếm không gian đầu ra đòi hỏi rất nhiều tính toán—ví dụ, nó nằm ngoài khả năng của một máy tính xách tay hàng hóa. Do đó, chỉ một số nút thậm chí còn muốn cạnh tranh trong quá trình tạo khối này. Quá trình liên tục thử và giải các câu đố băm này được gọi là khai thác Bitcoin (Bitcoin mining) và các nút tham gia được gọi là thợ đào (miners) Mặc dù về mặt kỹ thuật, bất kỳ ai cũng có thể là thợ đào, nhưng sức mạnh đã trở nên tập trung trong hệ sinh thái khai thác do chi phí khai thác cao.
Chi phí có thể tham số
Thuộc tính thứ hai mà chúng ta muốn là chi phí phải được tham số hóa thay vì cố định mọi lúc. Điều này được thực hiện bằng cách để tất cả các nút trong mạng ngang hàng Bitcoin tự động tính toán lại mục tiêu (tức là kích thước của không gian mục tiêu là một phần nhỏ của không gian đầu ra) sau mỗi 2.016 khối. Chúng tính toán lại mục tiêu theo cách sao cho thời gian trung bình giữa các khối liên tiếp được tạo ra trong mạng Bitcoin là khoảng 10 phút. Với thời gian trung bình 10 phút giữa các khối, 2.016 khối kết thúc trong hai tuần. Nói cách khác, việc tính toán lại mục tiêu diễn ra khoảng hai tuần một lần.
Hãy xem xét điều này có nghĩa là gì. Giả sử bạn là một thợ đào và bạn đã đầu tư một lượng phần cứng cố định vào khai thác Bitcoin. Nhưng hệ sinh thái khai thác tổng thể đang phát triển, ngày càng có nhiều thợ đào đến hoặc họ đang triển khai phần cứng ngày càng nhanh hơn, có nghĩa là trong khoảng thời gian hai tuần, sẽ có nhiều khối hơn một chút so với dự kiến. Vì vậy, các nút sẽ tự động điều chỉnh lại mục tiêu và số lượng công việc bạn phải làm để tìm một khối sẽ tăng lên. Vì vậy, nếu bạn đầu tư một số tiền cố định vào phần cứng, tốc độ bạn tìm thấy các khối thực sự phụ thuộc vào những gì các thợ đào khác đang làm. Một công thức rất hay ghi lại điều này: xác suất mà bất kỳ người khai thác nào, Alice, sẽ giành được khối tiếp theo tương đương với một phần của sức mạnh băm toàn cục mà cô ấy kiểm soát. Vì vậy, nếu Alice có phần cứng khai thác, chiếm khoảng 0,1% tổng sức mạnh băm, cô ấy sẽ tìm thấy khoảng một trong mỗi 1.000 khối.
Mục đích của việc điều chỉnh lại này là gì? Tại sao chúng ta muốn duy trì 10 phút bất biến này? Lý do khá đơn giản. Nếu các khối đến rất gần nhau, thì sẽ có rất nhiều sự kém hiệu quả và chúng ta sẽ mất đi lợi ích tối ưu hóa của việc có thể đặt nhiều giao dịch trong một khối duy nhất. Không có gì kỳ diệu về số 10, và nếu bạn thay đổi từ phút thứ 10 thành phút thứ 5, hệ thống có thể sẽ hoạt động tốt. Đã có rất nhiều cuộc thảo luận về độ trễ khối lý tưởng mà các altcoins (tiền điện tử thay thế) nên có. Nhưng bất chấp một số bất đồng về độ trễ lý tưởng, mọi người đều đồng ý rằng nó phải là một mức cố định. Nó không thể được phép đi xuống mà không có giới hạn. Đó là lý do tại sao Bitcoin có tính năng tự động tính lại mục tiêu.
Hai mô hình hành vi của thợ đào
Trong các lĩnh vực nghiên cứu về hệ thống phân tán và bảo mật máy tính, người ta thường cho rằng một số phần trăm các nút là trung thực và cho thấy rằng hệ thống hoạt động như dự định ngay cả khi các nút khác hoạt động tùy ý. Về cơ bản, đó là cách tiếp cận mà chúng ta đã thực hiện ở đây, ngoại trừ việc chúng ta cân nhắc các nút bằng sức mạnh băm khi tính toán phần lớn. Sách trắng ban đầu của Bitcoin cũng chứa loại phân tích này.
Nhưng lĩnh vực lý thuyết trò chơi cung cấp một cách hoàn toàn khác—được cho là phức tạp và thực tế hơn—để xác định cách một hệ thống sẽ hoạt động như thế nào. Theo quan điểm này, chúng ta không chia các nút thành trung thực và độc hại. Thay vào đó, chúng ta giả định rằng mọi nút hoạt động theo các ưu đãi của nó. Mỗi nút chọn một chiến lược (ngẫu nhiên) để tối đa hóa lợi nhuận của nó, có tính đến các chiến lược tiềm năng của các nút khác. Nếu giao thức và các biện pháp khuyến khích được thiết kế tốt, thì hầu hết các nút sẽ luôn tuân theo các quy tắc. Hành vi “trung thực” sau đó chỉ là một chiến lược trong số rất nhiều chiến lược và chúng ta không gắn sự tôn trọng đạo đức cụ thể nào với nó.
Theo quan điểm lý thuyết trò chơi, câu hỏi lớn được đặt ra là liệu hành vi của người khai thác mặc định có phải là trạng thái cân bằng Nash (Nash equilibrium) hay không, tức là liệu nó có đại diện cho một tình huống ổn định trong đó không người khai thác nào có thể nhận ra lợi nhuận cao hơn bằng cách đi chệch khỏi hành vi trung thực hay không. Câu hỏi này vẫn còn gây tranh cãi và là một lĩnh vực nghiên cứu tích cực.
Cách mà hàm chi phí và bằng chứng công việc này được thiết lập cho phép chúng ta định dạng lại giả định bảo mật của mình. Đây là nơi cuối cùng chúng ta khởi hành từ bước nhảy vọt cuối cùng của niềm tin mà chúng tôi đã yêu cầu bạn thực hiện trước đó. Thay vì giả định rằng bằng cách nào đó phần lớn các nút là trung thực trong bối cảnh mà các nút thậm chí không có danh tính và không rõ ràng về “sự trung thực” nghĩa là gì, giờ đây chúng ta có thể tuyên bố rõ ràng rằng nhiều cuộc tấn công vào Bitcoin là không khả thi nếu đa số thợ đào , được tính theo sức mạnh băm, đang tuân theo giao thức—nghĩa là trung thực. Điều này đúng bởi vì nếu hầu hết các thợ đào, được tính theo sức mạnh băm, là trung thực, thì cạnh tranh để đề xuất khối tiếp theo sẽ tự động đảm bảo ít nhất 50% khả năng khối tiếp theo được đề xuất tại bất kỳ thời điểm nào đến từ một nút trung thực.
Việc giải các câu đố băm là có tính xác suất, bởi vì không ai có thể đoán trước được nonce nào sẽ giải được câu đố băm. Cách duy nhất để giải câu đố là thử từng nonce một và hy vọng nonce đó thành công. Về mặt toán học, quá trình này được gọi là thử nghiệm Bernoulli (Bernoulli trial). Thử nghiệm Bernoulli là một thử nghiệm với hai kết quả có thể xảy ra và xác suất của mỗi kết quả xảy ra là cố định giữa các thử nghiệm liên tiếp. Ở đây, hai kết quả là (1) hàm băm nằm trong mục tiêu và (2) thì không. Giả sử rằng hàm băm hoạt động giống như một hàm ngẫu nhiên, xác suất của hai kết quả đó là cố định. Thông thường, các nút thử rất nhiều nonce khác nhau đến mức thử nghiệm Bernoulli, một quá trình xác suất rời rạc, có thể được gần đúng bằng quá trình xác suất liên tục được gọi là quá trình Poisson (Poisson process), một trong đó các sự kiện xảy ra độc lập với tốc độ trung bình không đổi. Kết quả cuối cùng là hàm mật độ xác suất hiển thị khả năng xảy ra tương đối của thời gian cho đến khi khối tiếp theo được tìm thấy giống như đồ thị trong Hình 2.5.
HÌNH 2.5. Hàm mật độ xác suất của thời gian cho đến khi khối tiếp theo được tìm thấy.
Đây được gọi là phân phối mũ (exponential distribution). Một số xác suất nhỏ tồn tại rằng nếu một khối đã được tìm thấy ngay bây giờ, thì khối tiếp theo sẽ được tìm thấy rất sớm, chẳng hạn như trong vài giây hoặc một phút. Và cũng có một số xác suất nhỏ là sẽ mất nhiều thời gian, chẳng hạn như một giờ, để tìm ra khối tiếp theo. Nhưng nhìn chung, mạng tự động điều chỉnh độ khó để thời gian liên khối được duy trì ở mức trung bình, lâu dài, là 10 phút. Lưu ý rằng Hình 2.5 cho thấy tần suất các khối sẽ được tạo bởi toàn bộ mạng, bất kể người khai thác nào thực sự tìm thấy khối.
Nếu bạn là một người khai thác, bạn có thể quan tâm đến việc mất bao lâu để tìm thấy một khối. Hàm mật độ xác suất này trông như thế nào? Nó sẽ có cùng hình dạng nhưng tỷ lệ khác trên trục x. Một lần nữa, nó có thể được biểu diễn bằng một phương trình đẹp.
Đối với một người khai thác cụ thể:
Nếu bạn có 0,1% tổng sức mạnh băm của mạng, phương trình này nói rằng bạn sẽ tìm thấy các khối cứ sau 10.000 phút một lần, tức là chỉ khoảng một tuần. Không chỉ thời gian trung bình của bạn giữa các khối sẽ cao, mà phương sai của thời gian giữa các khối mà bạn tìm thấy cũng sẽ cao. Điều này có một số hệ quả quan trọng được thảo luận trong Chương 5.
Tầm thường để xác minh
Bây giờ chúng ta chuyển sang thuộc tính quan trọng thứ ba của chức năng bằng chứng công việc này: việc xác minh rằng một nút đã tính toán bằng chứng công việc một cách chính xác là rất nhỏ. Ngay cả khi nó chiếm một nút, trung bình, 1020 cố gắng tìm một nonce khiến khối băm giảm xuống dưới mục tiêu, nonce đó phải được xuất bản như một phần của khối. Vì vậy, nó là tầm thường đối với bất kỳ nút nào khác xem xét nội dung khối, băm tất cả chúng lại với nhau và xác minh rằng đầu ra nhỏ hơn mục tiêu. Đây là một tính chất khá quan trọng, bởi vì, một lần nữa, nó cho phép chúng ta thoát khỏi tình trạng tập trung hóa. Chúng ta không cần bất kỳ cơ quan tập trung nào xác minh rằng các thợ đào đang thực hiện công việc của họ một cách chính xác. Bất kỳ nút nào hoặc bất kỳ người khai thác nào đều có thể xác minh ngay lập tức rằng một khối được tìm thấy bởi một người khai thác khác đáp ứng thuộc tính bằng chứng công việc này.