من المستحيل إثبات أن العقد الذكي آمن