我用3种风格写了同样的算法：

• 普通Python
• 使用Numba优化Python
• 使用Viper优化的Micropython

我确信普通Python和Micropython中的例程是正确的：几兆字节随机数据的校验和等于zlib.adler32计算的校验和
下面是为Numba编写的例程：

@numba.jit(nopython = True)
def adler_32(data: bytes, length: np.int32, init: np.uint32) -> np.uint32 :
# note: on the first call, init should be 1
    ADLER = np.uint16(65521)
    NMAX = np.int32(5552)                               # max iterations to keep s1, s2 as uint16

    s1 = np.uint16(init & 0xffff)
    s2 = np.uint16(init >> 16)
    i = 0
    while length > 0 :
        k = min(length, NMAX)

        length -= k
        while k :
            s1 += np.uint8(data[i])
            k -= 1
            s2 += s1
            i += 1

        if s1 >= ADLER :
            s1 -= ADLER
        if s2 >= ADLER :
            s2 -= ADLER

    return  (np.uint32(s2) << 16) | s1

问题：s1和s2假设值大于0xffff，因此结果不正确。
为什么s1和s2，声明为uint16，得到更大的值？是否有我没有看到的警告或副作用？
Errata Corrige普拉亚戴尔雷安格莱斯
这显然是错误的，我匆忙地从微控制器例程中复制并粘贴它，其中数据很小，s1，s2留在uint16中。

if s1 >= ADLER :
            s1 -= ADLER
        if s2 >= ADLER :
            s2 -= ADLER

正确的通用算法是

s1 %= ADLER
    s2 %= ADLER