SNARK theorem prover

1. REDIRECT SNARK (theorem prover)

{{R from modification}}