【請求項1】 少なくとも3台の演算装置を含む秘匿計算システムであって、
M,mは1以上の整数であり、iは0以上の整数であり、0≦m
,...,を生成するランダム化部と、
秘匿演算の内容に応じて演算対象および演算結果のランダム化分散値をチェックサムC:=,...,へ含めながら少なくとも1つの秘匿演算を含む関数Fを実行して秘匿された関数値[F([a0],...,[aM-1])]を求める秘匿計算部と、
前記チェックサムCに含まれる分散値[fi]の総和に前記分散値[r]を乗じた分散値[φ]と前記チェックサムCに含まれる分散値[fir]の総和である分散値[ψ]とに基づいて前記関数値[F([a0],...,[aM-1])]の正当性を検証する正当性証明部と、
を含む秘匿計算システム。