プライバシーを保護しつつ検証可能な計算

プライバシーを保護しつつ計算の正確性を保証する手法を提案する。