数学によるセキュリティ。分散化による保証。