コード化された貢献の証明