sp1 + ziren: add prover and verifier#616

gballet wants to merge 4 commits intomainblockblaz/zeam:mainfrom

verify-and-prove-zirenblockblaz/zeam:verify-and-prove-zirenCopy head branch name to clipboard