4

我正在尝试在以下部分中实现该功能：Per-commitment Secret Requirements。

generate_from_seed(seed, I):
    P = seed
    for B in 47 down to 0:
        if B set in I:
            flip(B) in P
            P = SHA256(P)
    return P

其中 "flip(B)" 替换值 P 中的第 B 个最低有效位。

根据这个定义，如果我们有seed=0x0101010101010101010101010101010101010101010101010101010101010101和I=1，我希望结果是

>>> from hashlib import sha256
>>> from binascii import hexlify

>>> hexlify(sha256(int(("00000001"*31)+"00000000",2).to_bytes(length=32,byteorder="big")).digest())
b'79356295f56e69998b9140cb77c63d3d80c93874259793a38d1dbd8678809ca9'

因为flip函数执行一次，所以将第 0 个 LSB（最右边的位）设置为 0。

相反，结果是（测试向量）：

>>> hexlify(sha256(int("00000000"+("00000001"*31),2).to_bytes(length=32,byteorder="big")).digest())
b'915c75942a26bb3a433a8ce2cb0427c29ec6c1775cfc78328b57f6ba7bfeaa9c'

看看一个实现，很明显人们正在使用：

output[lp / 8] ^= (1 << (lp % 8));

在我看来这是错误的，因为它正在改变字节的 LSB，如果lp它很小，它将更重要，因此根据我的解释是“最重要的”。但是在字节内部，它正在发生一些变化，如果我们在大端模式下工作，它可能会在相反的方向上被索引。这不符合规范，因为它只谈论位。

虽然我可以在这个例子中使用 little-endianness，它会修复这个特定的测试，但它不适用于其他测试向量，所以我不认为这是一个正确的修复，而且这没有任何意义，因为规范没有说明使用 little-endianness。

有人请帮助我理解“最低有效位”的定义，以便这些测试向量有意义。在我看来，它需要我考虑字节的存在，这不是我对 LSB 的理解。

4

2 回答 2

-1

这适用于 generate_from_seed 的所有五个测试：

            byte[] p = new byte[32];
            for (int i = 0; i < 32; ++i)
                p[i] = seed[i];
            for (int i = 47; i >= 0; --i)
            {
                int byteNumber =  i / 8;
                int bitNumber = (i % 8);
                byte mask = (byte) (1 << bitNumber);

                // access index in little endian order !!!

                if ((index[5 - byteNumber] & mask) == mask)
                {
                    p[byteNumber] ^= mask;
                    p = Utils.SHA256Hash(p);
                }
            }
            return p;
于 2018-07-14T15:09:52.150 回答
-1

这是一个规范错误，它没有提到这使用了小端：https ://github.com/lightningnetwork/lightning-rfc/pull/779

于 2021-07-25T20:00:01.503 回答