Feature/rename output validity proof #122

Closed gligneul closed 1 year ago