Bitcoin, Blockchain, Cryptocurrency, Social Justice, Games.
producing the proof. The key data in the proof is the witness. The witness records the commands that the human intelligence inputs to complete the intex. Later, the commands in the witness can be replayed in order to validate the proof. If the commands complete the intex, the proof is valid;