proof of pro

@nair_advaith @SuccinctLabs