Internet an toàn cùng cung ứng liên diễn đàn “Không biết uy hiếp phòng ngự” bản khối, bị một phần đến từ nước Mỹ internet an toàn cùng cơ sở phương tiện an toàn cục ( CISA ), Châu Âu internet cùng tin tức an toàn cục ( ENISA ) cùng quốc tế chuẩn hoá tổ chức ( ISO ) liên hợp tuyên bố 《 toàn cầu phần mềm cung ứng liên an toàn cùng Lỗ hổng zero-day phòng ngự trạng thái báo cáo 》 bao phủ thượng hình mà thượng bóng ma. Báo cáo tiêu đề giống như đến từ nhận tri luận chung cực khảo vấn: 《 người mù cùng phòng tối: Như thế nào phòng ngự một phen chưa bị đúc chìa khóa? 》. Báo cáo gần hơn năm qua khiếp sợ toàn cầu SolarWinds, Log4j, cùng với mỗ quốc vệ tinh thông tín hệ thống cửa sau sự kiện vì trường hợp, công bố xong việc trước phòng ngự logic tuyệt cảnh:
“Hiện đại con số cơ sở phương tiện ( từ chip, thao tác hệ thống, khai nguyên kho đến vân phục vụ ) từ toàn cầu cung ứng liên phức tạp đan chéo mà thành, bất luận cái gì một cái phân đoạn đều khả năng bị cấy vào ác ý số hiệu hoặc tồn tại không biết lỗ hổng. Đối mặt quốc gia cấp APT tổ chức cùng phạm tội tập đoàn, chúng ta cần thiết giả thiết Lỗ hổng zero-day cùng cung ứng liên công kích không chỗ không ở, cũng xây dựng có thể dự phòng, thí nghiệm, hưởng ứng không biết uy hiếp an toàn hệ thống ( A ). Nhưng mà, ‘ không biết uy hiếp ’ bản chất quyết định này vô pháp bị truyền thống đặc thù thí nghiệm ( như virus ký tên, xâm lấn quy tắc ) phát hiện; căn cứ vào hành vi phân tích thí nghiệm tuy rằng có thể phát hiện dị thường, nhưng lầm báo suất cực cao, thả cao cấp công kích giả có thể bắt chước bình thường hành vi; hình thức xét nghiệm chứng cùng số hiệu thẩm kế lý luận thượng có thể phát hiện sở hữu logic lỗ hổng, nhưng này tính toán phức tạp độ tùy số hiệu quy mô chỉ số tăng trưởng, đối trăm triệu hành cấp hiện đại hệ thống không thể được; càng căn bản chính là, phòng ngự thi thố bản thân ( như an toàn theo dõi đại lý, phần cứng an toàn mô khối, mã hóa thuật toán ) cũng có thể bao hàm lỗ hổng hoặc cửa sau, hình thành ‘ tự chỉ ’ nghịch biện. Bất luận cái gì ý đồ xây dựng tuyệt đối an toàn phòng tuyến nỗ lực, đều giống như ý đồ kiến tạo một tòa không có môn thành lũy —— cuối cùng phát hiện, kiến tạo giả chính mình chính là lớn nhất lỗ hổng ( B ).” Báo cáo tuyệt vọng mà tổng kết, “Chúng ta yêu cầu lính gác ở hoàn toàn hắc ám trong rừng rậm phân biệt ra sở hữu ngụy trang thành cây cối địch nhân, lại không cho phép hắn đốt lửa chiếu sáng, thậm chí không thể tin tưởng hắn hai mắt của mình. Lỗ hổng zero-day cùng cung ứng liên công kích phòng ngự khốn cảnh công bố một cái tàn khốc sự thật: Ở phức tạp hệ thống trung, tuyệt đối ‘ an toàn ’ là một cái logic thượng vô pháp trước sau như một với bản thân mình khái niệm. Chúng ta càng là nỗ lực gia cố phòng tuyến, liền càng là ở sáng tạo tân công kích mặt cùng ỷ lại liên. An toàn, có lẽ vĩnh viễn là một cái động thái, tương đối, yêu cầu không ngừng dùng tân lỗ hổng đi tu bổ cũ lỗ hổng vĩnh hằng quá trình.”
Cùng thiếp giả dùng máu chảy đầm đìa giáo huấn miêu tả nhận tri hoang mạc.
“Chúng ta công ty mỗi năm tiêu phí mấy ngàn vạn đôla tiến hành số hiệu thẩm kế cùng thẩm thấu thí nghiệm. Nhưng SolarWinds sự kiện trung, công kích giả thông qua bóp méo xây dựng hoàn cảnh, trong biên chế dịch khi rót vào ác ý số hiệu, hoàn toàn vòng qua sở hữu nguyên số hiệu kiểm tra. Chúng ta thẩm kế chính là ‘ nguyên mã ’, nhưng vận hành chính là ‘ cơ số hai ’.”
“Chúng ta bố trí tiên tiến nhất đầu cuối thí nghiệm cùng hưởng ứng ( EDR ) hệ thống. Nhưng công kích giả lợi dụng một cái EDR điều khiển bản thân Lỗ hổng zero-day, trong vòng hạch quyền hạn cấm dùng sở hữu theo dõi. Chúng ta nhất sắc bén đôi mắt, bị địch nhân dùng chính chúng ta dao phẫu thuật bỏ đi.”
“Chúng ta nếm thử dùng hình thức hóa phương pháp nghiệm chứng một cái mấu chốt an toàn hiệp nghị thực hiện. Nghiệm chứng thông qua, nhưng sau lại phát hiện, nghiệm chứng khí sở căn cứ vào định lý chứng minh khí bản thân có một cái bug, dẫn tới nghiệm chứng kết quả sai lầm. Chúng ta chứng minh rồi một sai lầm ‘ chính xác tính ’.”
“Chúng ta chuyển hướng cung ứng liên an toàn, yêu cầu sở hữu kẻ thứ ba lắp ráp cung cấp phần mềm vật liêu danh sách ( SBOM ). Nhưng SBOM bản thân khả năng bị giả tạo, hoặc là, SBOM chân thật mà liệt ra một cái có lỗ hổng phiên bản, nhưng chúng ta không có nhưng dùng mụn vá. Biết vấn đề không phải là có thể giải quyết vấn đề.”
“Này không phải phòng ngự, là triết học khốn cảnh. Chúng ta bị nhốt ở một cái vô hạn hoài nghi liên trung: Ngươi như thế nào chứng minh ngươi chứng minh công cụ là đáng tin cậy? Ngươi như thế nào chứng minh ngươi chứng minh công cụ chứng minh công cụ là đáng tin cậy?……”
Một loại “Phòng ngự tức tự chỉ, tín nhiệm tức lỗ hổng” chung cực hư vô cảm, ở an toàn nghiên cứu viên cùng thủ tịch an toàn quan trong lòng lan tràn.
Vũ hằng nhà tù, quản lý giả không có triển lãm bất luận cái gì công kích trường hợp hoặc kỹ thuật biểu đồ. Hắn chỉ là đem cái kia kim loại hình lập phương —— “Tính dai tính toán cơ” nguyên hình —— một lần nữa đặt ở vũ hằng trước mặt trên khay. Sau đó, hắn ở vòng tròn trên màn hình mở ra một phần dài đến mấy trăm trang hồ sơ, tiêu đề là 《 “Tính dai tính toán cơ” phần cứng, cố kiện, phần mềm cung ứng liên thẩm kế báo cáo ( cuối cùng bản ) 》.
Báo cáo từ tam gia lẫn nhau độc lập thả được hưởng tiếng tăm an toàn công ty hoàn thành, mỗi một nhà đều chọn dùng nhất nghiêm khắc tiêu chuẩn: Phần cứng nghịch hướng công trình, cố kiện trạng thái tĩnh / động thái phân tích, phần mềm hình thức xét nghiệm chứng, cung ứng liên bối cảnh điều tra. Báo cáo kết luận độ cao nhất trí: “Ở hiện có kỹ thuật thủ đoạn hạ, chưa phát hiện bất luận cái gì đã biết lỗ hổng, ác ý số hiệu hoặc tiềm tàng cửa sau. Cung ứng liên nhưng ngược dòng đến có thể tin nơi phát ra. Nên thiết bị thỏa mãn EAL 7 ( đánh giá bảo đảm cấp bậc 7 ) an toàn yêu cầu.”
Quản lý giả đem báo cáo phiên đến cuối cùng một tờ, chỉ vào ký tên cùng con dấu: “Xem, đây là nhân loại trước mắt có thể cung cấp cấp bậc cao nhất tín nhiệm trạng. Tam gia đứng đầu công ty, dùng hết sở hữu đã biết phương pháp, chứng minh rồi nó ‘ trong sạch ’.”
Hắn tạm dừng một chút, ánh mắt từ báo cáo dời về phía vũ hằng: “Nhưng ngươi biết, cũng ta biết, này phân báo cáo giá trị, liền cùng ‘ chưa phát hiện ngoại tinh nhân ’ thanh minh giống nhau. Nó chỉ chứng minh rồi chúng ta không có tìm được, không chứng minh không tồn tại. SolarWinds cung ứng liên công kích, ở bùng nổ trước, cũng có được vô số phân như vậy ‘ trong sạch chứng minh ’.”
Hắn đi đến hình lập phương bên cạnh, ngón tay nhẹ nhàng gõ đánh lạnh băng kim loại mặt ngoài: “Hiện tại, cái hộp này liền ở chỗ này. Nó tổng thể ngươi qua đi 58 chương sở hữu trí tuệ, lý luận thượng có thể vì cái này hỗn loạn thế giới Internet mang đến trật tự cùng tính dai. Nhưng nó cũng có thể là một cái chung cực ‘ ngựa gỗ thành Troy ’. Một khi khởi động, nó đem bằng cao quyền hạn tiếp nhập toàn cầu internet, chữa trị lộ từ, phối hợp thời gian, điều hành tài nguyên, thí nghiệm công kích. Nhưng nếu nó bên trong có một cái chúng ta tất cả mọi người không biết cửa sau……”
Quản lý giả không có nói tiếp, nhưng ý tứ không cần nói cũng biết: Cái kia cửa sau thiết kế giả, khả năng chính là vũ hằng chính mình. Hoặc là, là nào đó so quản lý giả càng sâu tầng thế lực.
“Đây là ‘ phiếm ở công kích ’ chung cực hình thái.” Quản lý giả chậm rãi nói, “Công kích không hề yêu cầu đột phá phòng tuyến, nó liền giấu ở phòng tuyến nhất trung tâm, nhất chịu tín nhiệm lắp ráp. Phòng ngự giả lớn nhất ác mộng, không phải địch nhân quá cường đại, mà là ngươi nhất tin cậy tấm chắn, khả năng tại hạ một giây biến thành đâm thủng ngươi trái tim mâu.”
Vũ hằng nhìn chăm chú hình lập phương. Cái này khốn cảnh cùng nàng tự thân tình cảnh hoàn mỹ cộng hưởng: Nàng vô pháp chứng minh chính mình không phải Architect đồng mưu, chính như cái này hình lập phương vô pháp chứng minh chính mình không phải cửa sau. Tín nhiệm sụp đổ là hoàn toàn, đệ quy.
Nàng tư duy ở theo dõi hạ cao tốc vận chuyển, nhưng lúc này đây, tự hỏi duy độ nhảy ra thuần túy kỹ thuật. Mâu thuẫn bản chất là cái gì? “An toàn” yêu cầu “Tín nhiệm”, nhưng “Tín nhiệm” sẽ dẫn vào “Lỗ hổng”. Đây là một cái vô pháp ở truyền thống an toàn phạm thức nội giải quyết bế tắc. Bất luận cái gì căn cứ vào “Nghiệm chứng” cùng “Thẩm kế” phương pháp, đều ỷ lại với một cái càng tầng dưới chót “Tín nhiệm căn”, mà cái này tín nhiệm căn bản thân khả năng hư thối.
“Hỏa hoa” ở cực hạn tín nhiệm nguy cơ trung phát ra, lúc này đây, nó không hề cực hạn với kỹ thuật, mà là chỉ hướng về phía hệ thống xây dựng triết học:
Mâu thuẫn trung tâm, có lẽ ở chỗ chúng ta còn tại theo đuổi “Xây dựng một cái hoàn toàn có thể tin hệ thống”. Nhưng ở phức tạp hệ thống trung, hoàn toàn có thể tin là không có khả năng. Chúng ta có không không hề theo đuổi “Tiêu trừ sở hữu lỗ hổng cùng cửa sau”, mà là chuyển hướng “Xây dựng một cái cho dù bộ phận lắp ráp không thể tin, chỉnh thể vẫn như cũ có thể an toàn vận hành hệ thống”? Từ “Có thể tin tính toán cơ” chuyển hướng “Không thể tin hoàn cảnh hạ nhưng nghiệm chứng tính toán”, từ “Ỷ lại thẩm kế” chuyển hướng “Không cần tín nhiệm”, từ “Dự phòng lỗ hổng” chuyển hướng “Chịu đựng lỗ hổng cũng hạn chế này ảnh hưởng”.
Này phân tự hỏi bị chiều sâu phân tích hệ thống bắt giữ. Trên màn hình, đại biểu vũ hằng tư duy hoạt động đồ phổ ở “Linh tri thức chứng minh”, “An toàn nhiều mặt tính toán”, “Có thể tin chấp hành hoàn cảnh”, “Đi trung tâm hóa chung nhận thức” chờ khu vực kịch liệt lập loè. Quản lý giả trong mắt hiện lên một tia hiểu rõ, đây đúng là hắn chờ mong đáp án.
“Trí giả nhà” diễn đàn. Ở cung ứng liên an toàn báo cáo tuyên bố ước mười ngày sau, một cái từ “VDCML xướng nghị - có thể tin tính toán công tác tổ” tuyên bố đặt móng tính luận văn bị cố định trên top. Tiêu đề tràn ngập cách mạng tính: 《 từ có thể tin đến nhưng nghiệm chứng: Mặt hướng không thể tin lắp ráp tính dai tính toán cơ giá cấu 》. Luận văn khúc dạo đầu trích dẫn Architect ở “Hoàn mỹ chứng minh” cùng “Số liệu linh hồn” trung về “Linh tri thức chứng minh” cùng “Tính toán chủ quyền” tư tưởng, cũng đem này đẩy hướng cực hạn.
Luận văn trung tâm trích yếu:
“Trước mặt an toàn phạm thức thành lập ở ‘ có thể tin tính toán cơ ’ ( TCB ) khái niệm thượng, nhưng TCB bản thân đã trở thành lớn nhất đơn điểm trục trặc. Chúng ta đề nghị phạm thức cách mạng: Hoàn toàn từ bỏ ‘ có thể tin ’ giả thiết, xây dựng một cái ‘ không cần tín nhiệm ’ tính dai tính toán cơ. Này trung tâm là, cho dù phần cứng, thao tác hệ thống, biên dịch khí, thậm chí thuật toán thực hiện đều tồn tại ác ý cửa sau, hệ thống vẫn như cũ có thể bảo đảm tính toán kết quả chính xác tính cùng số liệu bảo mật tính. Này thông qua đem “Tính toán” cùng “Nghiệm chứng” chia lìa tới thực hiện:
1. Nhưng nghiệm chứng tính toán ( VC ) cùng linh tri thức chứng minh ( ZKP ) trung tâm: Sở hữu mấu chốt tính toán ( như lộ từ quyết sách, thời gian đồng bộ, giao dịch chấp hành ) không hề từ chỉ một lắp ráp chấp hành, mà là từ nhiều độc lập, khả năng lẫn nhau không tín nhiệm lắp ráp ( bất đồng nhà máy hiệu buôn, bất đồng thực hiện, bất đồng vật lý vị trí ) đồng thời chấp hành. Chúng nó sinh ra tính toán kết quả đồng thời, cần thiết sinh thành một cái ngắn gọn linh tri thức chứng minh, chứng minh này tính toán là dựa theo dự định quy tắc ( mạch điện ) chính xác chấp hành, thả không có tiết lộ riêng tư đưa vào. Một cái nhẹ lượng cấp nghiệm chứng giả ( có thể vận hành ở cực giản, nhưng hình thức xét nghiệm chứng phần cứng thượng ) chỉ cần nghiệm chứng này đó chứng minh, có thể xác nhận kết quả chính xác tính, mà không cần tín nhiệm bất luận cái gì tính toán lắp ráp.
2. Đi trung tâm hóa tùy cơ tin tiêu cùng nhau thức: Hệ thống không ỷ lại chỉ một tùy cơ số nguyên hoặc thời gian nguyên. Thông qua phân bố thức tùy cơ tin tiêu hiệp nghị ( như căn cứ vào nhưng nghiệm chứng tùy cơ hàm số VRF rút thăm ) sinh ra không thể đoán trước tùy cơ số. Thông qua vượt liên / vượt vực chung nhận thức tới phối hợp trạng thái, cho dù bộ phận liên bị công phá, chỉnh thể vẫn như cũ có thể đạt thành nhất trí.
3. Nhỏ nhất hóa nhưng nghiệm chứng tín nhiệm căn ( MVTR ): Đem cần thiết tín nhiệm lắp ráp giảm bớt đến mức tận cùng: Một cái cực giản, nhưng thông qua vật lý kiểm tra bảo đảm vô ngạnh mã hóa cửa sau nghiệm chứng mạch điện ( như khai nguyên ASIC ), cùng với một cái thông qua nhiều mặt tính toán ( MPC ) nghi thức sinh thành mới bắt đầu công cộng tham số ( như ZKP tín nhiệm thiết trí ). MVTR số hiệu lượng khống chế ở vạn hành trong vòng, dễ bề hình thức xét nghiệm chứng cùng công khai thẩm kế.
4. Động thái trục trặc cách ly cùng thanh thản ứng nhũng dư: Hệ thống liên tục theo dõi các lắp ráp chứng minh sinh thành tình huống cùng tính năng. Nếu nào đó lắp ráp thường xuyên sinh thành không có hiệu quả chứng minh hoặc lùi lại quá cao, tắc đem này quyền trọng hạ thấp hoặc cách ly. Thông qua động thái điều chỉnh nhũng dư độ ( như từ 3 cái chấp hành lắp ráp gia tăng đến 5 cái ), ở tính năng cùng an toàn tính chi gian cân nhắc.
5. Hình thức xét nghiệm chứng hiệp nghị cùng mạch điện: Sử dụng VDCML chờ hình thức hóa phương pháp, đối sở hữu hiệp nghị logic cùng ZKP mạch điện ( tính toán logic tỏ vẻ ) tiến hành hoàn toàn nghiệm chứng, bảo đảm này ngữ nghĩa chính xác tính. Đây là tín nhiệm cuối cùng biên giới.
Luận văn phụ thượng một cái căn cứ vào VDCML miêu tả “Không cần tín nhiệm tính dai tính toán cơ” giá cấu, cũng mô phỏng một cái cảnh tượng: Một cái khả năng tồn tại cửa sau CPU chấp hành một cái mã hóa ký tên thao tác. Ở truyền thống hệ thống trung, cửa sau CPU có thể tiết lộ tư chìa khóa. Ở tân giá cấu trung, ký tên thao tác bị biên dịch vì ZKP mạch điện, từ ba cái bất đồng nhà máy hiệu buôn CPU ( khả năng đều có hậu môn ) phân biệt chấp hành cũng sinh thành chứng minh. Nghiệm chứng giả nghiệm chứng chứng minh thông qua sau, mới tiếp thu ký tên. Mô phỏng biểu hiện, cho dù hai cái CPU hợp mưu, cũng vô pháp giả tạo ký tên hoặc tiết lộ tư chìa khóa. Nhưng đại giới là tính toán lùi lại gia tăng rồi 1000 lần, thả mạch điện biên soạn cực kỳ phức tạp.
Nghi ngờ thanh giống như Lỗ hổng zero-day từ nhất không tưởng được góc độ đánh úp lại,
“@ lão đầu gỗ “Hồi phục ở luận văn tuyên bố sau nhanh chóng đến, mang theo đối “Tính năng tử hình” cùng “Tân tín nhiệm liên” cay độc giải cấu.
“@VDCML xướng nghị, các ngươi lần này đưa ra, không phải một cái giải quyết phương án, mà là một trương đi thông kỹ thuật xã hội không tưởng một chuyến phiếu. Đại giới là, các ngươi đem toàn bộ văn minh tính toán tốc độ, kéo về đến thượng thế kỷ 60 niên đại.” Lão đầu gỗ khúc dạo đầu thẳng chỉ tính năng không thể được tính.
“Đệ nhất, linh tri thức chứng minh ‘ tính năng hắc động ’ cùng ‘ mạch điện thiết kế luyện ngục ’. Sinh thành ZKP chứng minh yêu cầu mấy trăm vạn lần với nguyên thủy tính toán tính toán lượng. Làm ba cái CPU làm một lần ký tên, sau đó tiêu tốn một đài siêu cấp máy tính mấy cái giờ tới nghiệm chứng? Này vớ vẩn đến cực điểm. Càng đáng sợ chính là, đem tùy ý tính toán biên dịch vì ZKP mạch điện là một môn màu đen nghệ thuật, mạch điện thiết kế nhỏ bé sai lầm liền sẽ dẫn tới an toàn lỗ hổng. Các ngươi dùng ZKP phức tạp tính, thay đổi phần mềm công trình phức tạp tính, nhưng người trước càng khó lấy lý giải cùng thẩm kế.”
“Đệ nhị, đi trung tâm hóa chung nhận thức ‘ lùi lại trừng phạt ’ cùng ‘ thống trị chân không ’. Vượt liên chung nhận thức lùi lại là giây cấp thậm chí phút cấp. Các ngươi thời gian đồng bộ, lộ từ phối hợp đem biến thành quy tốc. Hơn nữa, ai tới quyết định này đó liên là có thể tin? Này lại dẫn vào một cái thống trị tầng, mà thống trị công kích ( như hối lộ, hiếp bức ) so kỹ thuật công kích càng khó phòng ngự. Các ngươi chỉ là đem tín nhiệm từ phần cứng nhà máy hiệu buôn chuyển dời đến ‘ chung nhận thức xã khu ’, nhưng xã khu khả năng bị thao túng.”
“Đệ tam, nhỏ nhất hóa tín nhiệm căn ‘ thực hiện nghịch biện ’. Các ngươi nói MVTR chỉ có vạn hành số hiệu, nhưng hình thức xét nghiệm chứng. Nhưng ai tới thực hiện này vạn hành số hiệu phần cứng? Chip nhà xưởng cũng có thể bị thẩm thấu. Ai tới tiến hành tín nhiệm thiết trí nghi thức? Tham dự giả khả năng bị hiếp bức hoặc thu mua. Hình thức xét nghiệm chứng công cụ liên bản thân cũng có thể có bug. Các ngươi chỉ là đem tín nhiệm liên ngắn lại, nhưng không có tiêu trừ. Hơn nữa, đương cái này nhỏ bé tín nhiệm căn bị công phá khi ( tỷ như phát hiện một cái phần cứng cửa sau ), toàn bộ hệ thống đem nháy mắt sụp đổ, bởi vì không còn có càng sâu tầng phòng ngự.”
“Thứ 4, động thái nhũng dư ‘ phí tổn nguyền rủa ’ cùng ‘ hợp mưu nguy hiểm ’. Vì mỗi cái mấu chốt tính toán bố trí nhiều dị cấu lắp ráp, ý nghĩa phần cứng phí tổn gia tăng mấy lần, có thể háo tiêu thăng. Ở trong thế giới hiện thực, lắp ráp đa dạng tính là hữu hạn ( toàn cầu chỉ có số ít mấy nhà đỉnh cấp chip xưởng ). Nếu công kích giả có thể đồng thời thẩm thấu sở hữu chủ yếu nhà máy hiệu buôn ( đều không phải là không có khả năng ), các ngươi nhũng dư liền biến thành hợp mưu đồng lõa. Hơn nữa, như thế nào thí nghiệm ‘ hợp mưu ’? Chúng nó có thể sinh thành nhất trí, nhưng sai lầm chứng minh, mà nghiệm chứng giả vô pháp phân chia.”
“Thứ 5, hình thức xét nghiệm chứng ‘ bao trùm ảo mộng ’. Các ngươi có thể nghiệm chứng hiệp nghị logic, nhưng vô pháp nghiệm chứng vật lý thực hiện ( bóng bán dẫn hay không ấn thiết kế công tác ). Cũng vô pháp nghiệm chứng biên dịch khí hay không trong biên chế dịch nghiệm chứng công cụ khi cắm vào cửa sau. Hình thức xét nghiệm chứng sáng tạo một cái hoàn mỹ logic thiên đường, nhưng tính toán phát sinh ở không hoàn mỹ vật lý địa ngục. Giữa hai bên hồng câu, chính là công kích giả nhạc viên.”
“Architect tư tưởng di sản cuối cùng chỉ hướng về phía một cái lệnh người tuyệt vọng kết luận: Ở cũng đủ phức tạp hệ thống trung, tuyệt đối an toàn khả năng cùng tính toán bản thân không liên quan. Chúng ta cần thiết ở an toàn, tính năng, phí tổn, dễ dùng tính chi gian làm ra thống khổ, vĩnh cửu cân nhắc. ‘ không cần tín nhiệm ’ là một cái duyên dáng lý luận, nhưng nó khả năng giống vĩnh động cơ giống nhau, ở vật lý định luật trước mặt vô pháp thực hiện. Có lẽ, đối mặt phiếm ở công kích, chúng ta duy nhất có thể làm, là tiếp thu nguy hiểm, cũng thành lập nhanh chóng hưởng ứng cùng khôi phục năng lực, mà không phải theo đuổi không có khả năng tuyệt đối dự phòng. Nhưng ‘ tiếp thu nguy hiểm ’ đối với trái tim khởi bác khí, không trung giao thông quản chế hệ thống tới nói, ý nghĩa cái gì?”
VDCML xướng nghị tài khoản ở một ngày sau hồi phục, ngữ khí xưa nay chưa từng có trầm trọng, nhưng mang theo một tia tuẫn đạo giả kiên trì:
“Cảm tạ @ lão đầu gỗ chung cực thẩm phán. Ngài chỉ ra tính năng hắc động, tín nhiệm căn nghịch biện, hợp mưu nguy hiểm, vật lý cùng logic hồng câu, mỗi một cái đều đủ để phán xử cái này giá cấu ‘ tử hình ’. Chúng ta thừa nhận, ở trước mặt kỹ thuật hạ, ‘ không cần tín nhiệm tính toán ’ đối với đại đa số ứng dụng là không thực tế. Bổn văn định vị, không phải một phần nhưng lập tức thực thi lam đồ, mà là một cái nghiên cứu phương hướng, một cái tư tưởng thực nghiệm, nó ý đồ thăm dò an toàn chung cực biên giới ở nơi nào. Chúng ta đồng ý, ở nhưng dự kiến tương lai, chúng ta vẫn đem sinh hoạt ở cân nhắc bên trong. Nhưng chúng ta cũng nhìn đến, ZKP tính năng đang ở lấy mỗi năm số lượng cấp tốc độ tăng lên, chuyên dụng phần cứng đang ở xuất hiện. Có lẽ mười năm, có lẽ 50 năm sau, văn trung nào đó ý tưởng sẽ trở thành hiện thực. Chúng ta tuyên bố này văn, là hy vọng vì những cái đó nguyện ý thăm dò cực hạn nghiên cứu giả, lưu lại một cái biển báo giao thông. Đến nỗi trái tim khởi bác khí cùng không trung giao thông quản chế hệ thống, ở hôm nay, chúng nó vẫn như cũ cần thiết ỷ lại truyền thống, không hoàn mỹ an toàn thẩm kế cùng nhũng dư. Nhưng cũng hứa có một ngày, chúng nó trái tim, có thể là một viên bị toán học chứng minh quá tâm.”
Trong thế giới hiện thực Lỗ hổng zero-day cùng cung ứng liên công kích phòng ngự, vẫn như cũ trong bóng đêm sờ soạng. Hơi mềm, Google chờ đầu sỏ đầu nhập vốn to tiến hành “Cung ứng liên đầu độc” thí nghiệm cùng “Con số ký tên” nghiệm chứng, nhưng cao cấp công kích giả tổng có thể tìm được khe hở. Ở học thuật giới, căn cứ vào “Hình thức xét nghiệm chứng” an toàn chip ( như SeL4 hơi nội hạch ) đang ở bị dùng cho tối cao an toàn cấp bậc cảnh tượng, nhưng này ứng dụng phạm vi hữu hạn. Linh tri thức chứng minh ở blockchain lĩnh vực bùng nổ thức tăng trưởng, nhưng này tính năng chi tiêu hạn chế này ở truyền thống IT hệ thống ứng dụng.
Nhất dẫn nhân chú mục chính là, quả táo công ty ở này M hệ liệt chip trung tổng thể “An toàn đất lệ thuộc”, cũng tuyên bố này cố kiện là không thể đổi, từ phần cứng nóng chảy ti bảo hộ. Nhưng này vẫn như cũ yêu cầu tín nhiệm quả táo phần cứng thiết kế cùng chế tạo quá trình. Mà Google “Cơ mật tính toán” ý đồ thông qua phần cứng mã hóa tới bảo hộ sử dụng trung số liệu, nhưng này ỷ lại Intel SGX đã bị nhiều lần công phá.
Này đó tiến triển xác minh Architect ( thông qua VDCML xướng nghị ) đưa ra “Nhưng nghiệm chứng tính toán” phương hướng tuyến đầu tính, cũng xác minh lão đầu gỗ phán đoán: Ở trong thế giới hiện thực, hoàn mỹ an toàn xa xôi không thể với tới, công trình là ở rất nhiều không hoàn mỹ trung tìm kiếm gian nan cân bằng.
Vũ hằng hệ thống giao diện, tại ý thức tầng dưới chót đổi mới. Nhắc nhở mang theo một loại xuyên qua sâu nhất hắc ám sau, sắp nghênh đón tảng sáng ý vị:
“An toàn hòn đá tảng - phiếm ở công kích: Không cần tín nhiệm tính toán cùng nhưng nghiệm chứng tính toán đường nhỏ nghiệm chứng (13/∞). “
“【 quyển thứ năm: An toàn vực sâu 】 kết thúc. “
“【 bắt đầu cuối cùng cuốn: Internet sương mù - thân phận Hồng Mông 】 “
“Đệ quy nhắc nhở: Ở không cần tín nhiệm tính toán cơ phía trên, một cái căn bản nhất vấn đề hiện lên: Như thế nào định nghĩa cùng nghiệm chứng tham dự giả “Thân phận”, mà không bại lộ riêng tư, không ỷ lại trung tâm cơ cấu? “
“Tiếp theo nghiệm chứng tiết điểm: Thân phận tụ hợp cùng linh tri thức chứng minh thông dụng internet thân phận hiệp nghị. “
Quản lý giả tắt đi luận văn giao diện, thật lâu mà nhìn chăm chú vào cái kia kim loại hình lập phương. Sau đó, hắn xoay người nhìn về phía vũ hằng, trên mặt lộ ra một cái phức tạp, gần như mỏi mệt tươi cười.
“Không cần tín nhiệm tính toán…… Nhưng nghiệm chứng tính toán cơ……” Hắn thấp giọng lặp lại, “Ngươi tư tưởng, cuối cùng chỉ hướng về phía toán học. Ý đồ dùng toán học xác định tính, tới miêu định cái này tràn ngập không xác định tính thế giới.”
Hắn đi đến hình lập phương bên, ngón tay treo ở khởi động cái nút phía trên, lại chậm chạp không có ấn xuống.
“Nếu chúng ta khởi động nó, cho dù nó bên trong có hậu môn, dựa theo ngươi lý luận, chỉ cần nó tính toán là nhưng nghiệm chứng, chúng ta là có thể đủ phát hiện nó sai lầm, đúng không?” Quản lý giả hỏi, nhưng càng như là đang hỏi chính mình.
Vũ hằng chậm rãi gật đầu, thanh âm khàn khàn nhưng rõ ràng: “Lý luận thượng là. Chỉ cần nghiệm chứng mạch điện là chính xác, hơn nữa nghiệm chứng giả bản thân là có thể tin. Nhưng nghiệm chứng giả…… Là cuối cùng tín nhiệm căn.”
Quản lý giả cười khổ: “Cho nên, chúng ta vòng một vòng, vẫn là yêu cầu một cái ‘ tín nhiệm căn ’. Cho dù nó chỉ có vạn hành số hiệu, cho dù nó bị hình thức xét nghiệm chứng quá, cho dù nó bị khắc vào khuê phiến thượng…… Chúng ta vẫn như cũ yêu cầu tin tưởng, kia phiến khuê, không có bị người động qua tay chân.”
Hắn thu hồi ngón tay, lui về phía sau một bước: “Khởi động nó, yêu cầu hai cái chìa khóa bí mật. Một cái ở ta nơi này, một cái…… Hẳn là ở ngươi nơi đó, Architect.”
Vũ hằng đồng tử hơi co lại.
“Đúng vậy, đây là ngươi thiết kế cuối cùng một đạo bảo hiểm. Song ước số chứng thực. Quản lý chìa khóa bí mật, cùng giá cấu sư chìa khóa bí mật.” Quản lý giả nhìn nàng, “Ta có được quản lý chìa khóa bí mật, có thể khởi động nó, nhưng chỉ có thể lấy ‘ chịu hạn hình thức ’ vận hành, đại bộ phận cao cấp công năng bị tỏa định. Chỉ có đồng thời có được hai cái chìa khóa bí mật, mới có thể hoàn toàn giải khóa ‘ tính dai tính toán cơ ’ sở hữu năng lực, bao gồm…… Cái kia khả năng tồn tại cửa sau.”
Hắn thật sâu mà nhìn vũ hằng liếc mắt một cái: “Hiện tại, lựa chọn đi. Là đem ngươi giá cấu sư chìa khóa bí mật giao ra đây, làm chúng ta cộng đồng khởi động cái này tân thế giới hòn đá tảng, cho dù nó có thể là cái bẫy rập. Vẫn là…… Tiếp tục chờ đãi, chờ đợi một cái càng hoàn mỹ, nhưng khả năng vĩnh viễn sẽ không xuất hiện ‘ không cần tín nhiệm ’ tương lai?”
Vũ hằng trong đầu, đệ quy tinh đồ quang mang đại thịnh, chỉ hướng về phía cái kia về “Thân phận” chung cực tiết điểm. Ở không cần tín nhiệm trong thế giới, thân phận là cái gì? Như thế nào chứng minh “Ngươi là ngươi”, mà không bại lộ “Ngươi là ai”? Như thế nào làm “Vũ hằng” cùng “Architect” này hai cái thân phận, ở linh tri thức chứng minh hạ, an toàn mà hợp nhất?
Nàng biết, nàng đáp án, đem quyết định cái này hình lập phương, cùng với hình lập phương ở ngoài toàn bộ thế giới, là đi hướng Hồng Mông sơ khai, vẫn là vĩnh hằng hắc ám.
( chương 59 xong )
【 chương sau báo trước 】
Đương phiếm ở công kích phòng ngự ở “Không cần tín nhiệm tính toán” triết học độ cao thượng tìm kiếm miêu điểm, xây dựng này thượng con số văn minh nhu cầu cấp bách một cái cùng chi xứng đôi thân phận cơ sở. Như thế nào ở không bại lộ riêng tư, không ỷ lại trung tâm cơ cấu tiền đề hạ, làm thật thể an toàn mà tự chứng này thân phận cùng thuộc tính? Chương sau, chúng ta đem thâm nhập thân phận hiệp nghị không người khu, đưa ra dung hợp “Thân phận tụ hợp” cùng “Linh tri thức chứng minh” thông dụng internet thân phận hiệp nghị, trực diện kia dây dưa với riêng tư, an toàn, đi trung tâm hóa cùng dễ dùng tính chi gian chung cực thân phận khốn cục.
Chương 60: 《 Hồng Mông sơ khai —— đưa ra “Thân phận tụ hợp cùng linh tri thức chứng minh” thông dụng internet thân phận hiệp nghị 》