Usually by trusting/auditing/verifying the program you use to verify the proof. ...

		johncolanduoni on Aug 1, 2017 \| parent \| context \| favorite \| on: 200 terabyte proof demonstrates the potential of b... Usually by trusting/auditing/verifying the program you use to verify the proof. Which will be much easier to do by hand than 200TB worth of data.