refactor: restructuring of proving system #6

Closed heueristik closed 1 month ago