Эффективные способы доказательства: обзор методов