Một lập trình viên vừa giải quyết một câu đố mã hóa bị lãng quên có tuổi đời đến 20 năm
Câu đố của Rivest về cơ bản xoay quanh việc tìm ra con số thu được từ việc thực hiện phép tính bình phương gần 80 nghìn tỷ lần. Ví dụ, nếu bạn bắt đầu bằng việc tính bình phương của 2, bạn sẽ được 4, sau đó bình phương của 4 để được 16, và lặp lại quá trình này 80 nghìn tỷ lần nữa. Sau đó bạn lấy kết quả thu được và chạy một phương trình toán học sử dụng con số đó và một con số được cho trước trong hướng dẫn giải đố. Phương trình này sẽ cho ra một con số mới có thể được phiên dịch ra thành một cụm từ mang ý nghĩa chúc mừng (Rivest và Fabrot từ chối tiết lộ cụm từ này chính xác là gì, và họ sẽ công bố nó khi mở “viên nang thời gian” vào ngày 15/5 tới).
Bạn đang đọc: Một lập trình viên vừa giải quyết một câu đố mã hóa bị lãng quên có tuổi đời đến 20 năm
Mấu chốt của câu đố này là nó yên cầu phải triển khai một chuỗi những phép tính liên tục, có nghĩa là bạn không hề tìm ra câu vấn đáp nhanh hơn bằng cách sử dụng điện toán song song được. Bạn cần thực thi quy trình tính bình phương một cách tuần tự, tức phép tính trước phải có tác dụng mới liên tục triển khai phép tính tiếp theo – chính vì thế, sử dụng thêm nhiều máy tính, hoặc giao việc làm giải thuật này cho một siêu máy tính, cũng không xử lý được yếu tố gì. Dựa trên định luật Moore và quãng thời gian cần để chạy phép tính bình phương vào năm 1999, Rivest ước tính rằng giám sát ra được câu vấn đáp cho câu đó phải mất giao động 35 năm .
Ron RivestFabrot, hiện là một nhà tăng trưởng độc lập, cho biết anh vô tình gặp câu đố này vào năm năm ngoái. Dù Rivest khởi đầu tung ra mã của câu đó bằng ngôn từ Java, Fabrot nhận ra rằng nó hoàn toàn có thể được giải nhanh hơn nếu dùng đến GNU Multiple Precision Arithmetic Library, một ứng dụng không tính tiền viết bằng ngôn từ C chuyên dùng vào việc thực thi những phép tính số học đúng chuẩn. Vậy nên Fabrot đã dành riêng một trong số nhiều nhân CPU trên máy tính để bàn của mình để chạy phép tính bình phương nhằm mục đích giải câu đó. Anh cho biết máy tính của mình chạy phép tính 24/7, trừ những khi anh đi du lịch hoặc bị mất điện .
“Trong suốt nhiều năm, tôi không nói với ai về việc đang cố giải câu đố, trừ những người bạn rất thân. Tôi biết tôi có cơ hội, nhưng nếu tôi nói cho mọi người, họ có thể dùng một CPU mạnh mẽ hơn để vượt mặt tôi” – Fabrot nói.
Ba năm rưỡi sau, Fabrot cuối cùng cũng hoàn tất hơn 80 nghìn tỷ phép tính bình phương và thu được lời giải cho câu đó. Dù Fabrot không biết, nhưng có một nhóm các nhà khoa học máy tính và chuyên gia mã hóa cũng đang thực hiện một dự án có tên là Cryptophage, trong đó sử dụng phần cứng chuyên dụng được thiết kế dành riêng cho việc giải mã câu đố MIT đó.
Dẫn đầu bởi cựu kỹ sư Intel, Simon Peffers, nhóm Cryptophage lúc này đang điều tra và nghiên cứu những tính năng trì hoãn hoàn toàn có thể kiểm chứng để làm chính sách bảo mật thông tin cho những blockchain như Ethereum. Các công dụng trì hoãn hoàn toàn có thể kiểm chứng là một dạng tân tiến hơn của phương pháp mã hóa trì hoãn thời gian sơ khai của Rivest, và giải thuật của chúng chỉ hoàn toàn có thể thu được trải qua những phép tính tuần tự nhau. Trong quy trình điều tra và nghiên cứu, Peffers cho biết nhóm đã gặp câu đố của Rivest và đánh giá và nhận định rằng đây có vẻ như là một ví dụ tốt cho việc thử nghiệm nghiên cứu và điều tra của họ .Vào giữa tháng 3, nhóm này khởi đầu chạy một thuật toán phong cách thiết kế bởi Erdinc Ozturk, một nhà nghiên cứu tại Đại học Sabanci, được tối ưu để giảm khoảng chừng trì hoãn giữa những phép tính bình phương. Thuật toán này được tiến hành trên một ” mảng cổng lập trình được dạng trường ” ( FPGA ), một con chip đa công dụng được lập trình để chạy một thuật toán đơn cử duy nhất, khiến nó hiệu suất cao hơn một CPU đại trà phổ thông thường thì. Sử dụng thuật toán của Ozturk, FPGA này chạy nhanh gấp 10 lần so với một CPU thương mại hạng sang chạy ứng dụng chưa được tối ưu hóa .Nhờ vào năng lực đo lường và thống kê hiệu suất cao của con chip, nhóm Cryptophage tính được rằng họ sẽ có giải thuật đúng mực cho câu đố của MIT vào tối ngày 10/5, chỉ 2 tháng sau khi mở màn quy trình giám sát. Thế nhưng khi họ liên hệ với MIT để thông tin rằng sắp có tác dụng, Rivest thông tin cho họ biết Fabrot đã đi trước một bước !
“Chẳng có ai liên hệ với chúng tôi cho đến khi hai người đó xuất hiện vào cùng một ngày để thông báo rằng ‘chúng tôi đã giải được vấn đề của ông rồi'” – Rivest nói – “Quả là một sự trùng hợp đáng kinh ngạc”.
Rivest nhanh gọn thừa nhận rằng ông đã nhìn nhận quá cao độ khó của câu đố mình đặt ra. Đưa ra Dự kiến về những nâng cấp cải tiến trong nghành công nghệ tiên tiến là điều rất khó nếu xét trên cả một quãng thời gian dài như vậy, và Rivest cho biết ông không ngờ đến những nâng tầm công nghệ tiên tiến, như chip FPGA – một thứ vào thời đó chưa phức tạp và thông dụng thoáng đãng như ngày này .Dù nhóm Cryptophage không phải là người tiên phong giải được câu đố, Peffers cho biết họ vẫn sẽ đến dự buổi lễ mở ” viên nang thời gian ” vào ngày 15/5 tới. Chỉ những người phong cách thiết kế ra ” viên nang ” biết được hàng loạt nội dung của nó, mặc dầu nó chứa trong đó những góp phần từ Tim Berners-Lee, nhà ý tưởng ra World Wide Web ; Bob Metcalfe, người ý tưởng ra ethernet ; và Bill Gates, người đã góp phần phiên bản nguyên thủy của Altair BASIC, mẫu sản phẩm tiên phong của Microsoft. Fabrot cho biết anh rất hào hứng để được thấy một bản sao nguyên bản của một trong những game show PC tiên phong, Zork, vốn được tàng trữ trong ” viên nang ” .
Tham khảo: Wired
Source: https://mbfamily.vn
Category: Tin tổng hợp
