PNGのadler32の計算が合わない

Question

前提・実現したいこと

PNGの画像を読み込みんだアドラー32の値と計算した値が違うので解決したい。

プログラミング初心者です。PNGのデコード、エンコードのコードを自力で書いています。
アドラー32の計算をWikipediaなどのネット上に載っているコードを使ってみたが計算が合いません。

macプレビューではエンコードした画像を読み込んで表示できるので
表示を見ると読み込んだRGBAの値が違うという原因ではないように思います。
下のような画像です。

発生している問題・エラーメッセージ

<参考>
読み込んだadler32->2085692484
計算したadler32->3944975942

該当のソースコード

unsigned long update_adler32(unsigned long adler,
                             unsigned char *buf, unsigned len)
{
    unsigned long s1 = adler & 0xffff;
    unsigned long s2 = (adler >> 16) & 0xffff;
    int n;
    
    for (n = 0; n < len; n++) {
        s1 = (s1 + buf[n]) % BASE;
        s2 = (s2 + s1)     % BASE;
    }
    return (s2 << 16) + s1;
}

unsigned char RGB[10000];//読み込んだrgbの値
unsigned long adler=1L;

adler=update_adler32(adler,RGB,10000);

試したこと

pngをデコードしRGBA値に対して計算し、読み込んだadler32の値と比べた
pngをエンコードし、計算した値を書き込んだが、チェックするソフトでははじかれる。
共にadler32の計算値が違うようです。
チェックしない？mac OS プレビューでは表示できます。

補足情報（FW/ツールのバージョンなど）

使用ソフトはxcode 10.1です。

Comments

[jimbe]

BASE は 65521 でしょうか?

[RideWitMe_jp]

すみません、65521です。

[jimbe]

見た目としては RFC1950 ( https://tools.ietf.org/html/rfc1950 ) の9ページ目のままのようですので, RGB の値のほうが問題かと思います.
そちらをご確認しては如何でしょうか.

[RideWitMe_jp]

RGBの方が問題ですか。わかりました、別の画像などいろいろ確かめてみます。
ご回答ありがとうございます。

Answer 1

実際にpngからチャンクを切り出してinflateすると分かりますが
格納されているデータは50[行] * (4*50[列]+1) = 10050[byte]のデータです。

この1が何かと言うとこちらの解説によると行ごとのフィルターメソッド番号らしいです。

なお、切り出してinflateしたデータをadler32でハッシュ化すると7C512444が得られました。

(というか、zlibが勝手にadler32は付加するはずですが・・・)

---

各フィルターの解説

Comments

[RideWitMe_jp]

フィルター1バイトの付加、zlib公式コードでの圧縮で正しい答えがでることは承知しておりました。
単純な計算なので疑う余地がなさそうですが、アドラーの式に問題があるかと思いましたが、、、
その他に問題があるか再検証してみます。
実際に確認いただき、ありがとうございました。

[asm]

フィルター番号を付加する必要があることを認識していたとのことですが

> adler=update_adler32(adler,RGB,10000);
1バイト付加されてませんよね？

また、添付画像からinflateしたデータのadler32を質問のソースから計算できました。