Add *Proof
functions to verkleFFI
#56
Merged
*Proof
functions to verkleFFI
#56