Genau wie bei ethproofs muss es eine Seite für die N zkvms in der Produktion geben, mit nächtlichen Benchmarks auf einem statischen Satz von Programmen. Wer baut das?