TU Wien araştırmacıları Bitcoin'in Ark protokolünün güvenliğini resmi olarak kanıtlamaya çalışıyor