hyperspace-cosmos: integrate zk prover#451

Draft

blasrodri wants to merge 3 commits intomasterfrom

Commits on Nov 7, 2023

Commits on Nov 8, 2023

draft of function calling the zk-prover http server
blasrodri
committed