Can the devs explain why the theoretical speed of zk SNARKS with DAG is 1700 txs? What is the basis of this limit? We know Stone is suggesting 7000 txs, which has been refuted, can someone provide a quick explanation? I am very interested in this project, just need some technical details.