1/ Přemýšleli jste někdy, proč se zkML neškáluje? Dokazování celých modelů je pomalé, nákladné a nepraktické. Co kdybyste mohli dokázat pouze ty části, na kterých záleží?