Sharded Recursive zk-SNARK Proofs

for topology: