1

我正在尝试将我编写的 RC4 密码的 C# 实现翻译成 Racket 语言。

但是，它们正在生成不同的密钥流。我已经消除了在按键调度阶段写错的可能性；这必须是正确的，因为它们会产生相同的数组S。因此，我专注于在密钥流生成阶段寻找差异。

C＃：

public int Dencode (int c)
{
    I = (I + 1) % 256;
    J = (J + S [I]) % 256;
    int tmp = S [I];
    S [I] = S [J];
    S [J] = tmp;
    return S [(S[I] + S[J]) % 256] ^ c;
}

球拍：

(define (toret c)
    (set! i (unsafe-fxmodulo (add1 i) 256))
    (set! j (unsafe-fxmodulo (add1 (Sr i)) 256))
    (swap! (box (Sr i)) (box (Sr j)))
    (bitwise-xor (Sr (unsafe-fxmodulo (+ (Sr i) (Sr j)) 256)) c))

swap定义为

(define (swap! ba bb)
  (define temp (unbox ba))
  (set-box! ba (unbox bb))
  (set-box! bb temp))

并Sr定义为(define (Sr x) (unsafe-bytes-ref S x))。

有什么不同？为什么这些函数会产生不同的输出？在这两种情况下i和j都被初始化为 0，并且S是一个完全相同的 256 字节数组。

4

2 回答 2

1

线

(swap! (box (Sr i)) (box (Sr j)))

不会做你所期望的。它不会神奇地生成(Sr i)和(Sr j)可变引用。该swap!过程交换了盒子的内容——但盒子包含(Sr i)and(Sr j)值，而不是引用。

您需要做的是修改您的swap!程序以改为使用unsafe-bytes-set!。

这是一些代码来证明我的观点：

#lang racket
(require racket/unsafe/ops)

(define (box-swap! x y)
  (define tmp (unbox x))
  (set-box! x (unbox y))
  (set-box! y tmp))

(define (wrong-swap! bs x y)
  (box-swap! (box (unsafe-bytes-ref bs x))
             (box (unsafe-bytes-ref bs y))))

(define (right-swap! bs x y)
  (define tmp (unsafe-bytes-ref bs x))
  (unsafe-bytes-set! bs x (unsafe-bytes-ref bs y))
  (unsafe-bytes-set! bs y tmp))

例子：

> (define bs (bytes 1 2 3 4 5 6))
> bs
#"\1\2\3\4\5\6"
> (wrong-swap! bs 0 5)
> bs
#"\1\2\3\4\5\6"
> (right-swap! bs 0 5)
> bs
#"\6\2\3\4\5\1"
于 2013-09-07T17:10:22.360 回答
-1

有一个非常愚蠢的错误。(set! j (unsafe-fxmodulo (add1 (Sr i)) 256))不等于J = (J + S [I]) % 256;！在每条语句之后添加调试 printf 行有很大帮助。

于 2013-09-07T17:13:19.020 回答