“Commonware has released research on a method for verifying 100,000 SNARKs per second on a single validator set.”