Proving and Verifying (Proof System)

Todo: Using the core ACVM backend API