The philosophy behind the proof is

The philosophy behind the proof is that the collision finder algorithm gets an rlm for free. This consists intuitively of all the useful information that any algorithm can ever hope to obtain about the 4 intermediate values. The generation of an rlm requires 258 computations. The algorithm is subsequently only allowed to use function calls to produce values for either a or b. Under these conditions it is shown that the expected running time for an optimal algorithm F to produce a collision for f is as least as long as the expected running time for an algorithm F0 to find a pair of doubly linked quadruples such that both quadruples generate the same output.

Kết quả (Việt) 1:

Triết lý đằng sau những bằng chứng là các thuật toán finder va chạm được một rlm miễn phí. Điều này bao gồm trực giác của tất cả các thông tin hữu ích mà bất kỳ thuật toán có thể bao giờ hy vọng để có được về các giá trị trung bình 4. Các thế hệ của rlm một đòi hỏi tính toán 258. Thuật toán là sau đó chỉ được phép sử dụng chức năng cuộc gọi để sản xuất ra giá trị cho cả hai một hoặc b. Theo những điều kiện đó hiển thị thời gian dự kiến sẽ cho một thuật toán tối ưu F để sản xuất một vụ va chạm cho f là ít nhất là miễn là thời gian dự kiến cho một giải thuật F0 đến nhiều gấp đôi liên kết một cặp quadruples như vậy mà cả hai quadruples tạo ra cùng một.

Kết quả (Việt) 2:

Triết lý đằng sau những bằng chứng là thuật toán va chạm fi nder được một RLM miễn phí. Điều này bao gồm trực giác của tất cả các thông tin hữu ích mà bất kỳ thuật toán nào có thể hy vọng sẽ có được khoảng 4 giá trị trung gian. Các thế hệ của một RLM đòi hỏi 258 tính toán. Thuật toán được sau đó chỉ được phép sử dụng chức năng cuộc gọi để sản xuất giá trị cho cả một hoặc b. Dưới những điều kiện nó được hiển thị rằng thời gian chạy dự kiến ​​cho một thuật toán F tối ưu để sản xuất một vụ va chạm cho e là như ít nhất là dài như thời gian chạy dự kiến ​​cho một F0 thuật toán để fi thứ một cặp kép liên kết gấp bốn lần như vậy mà cả hai tăng gấp bốn tạo cùng một đầu ra.