Все, что делает нотариус, это проверяет, что никакие состояния не были потрачены уже, когда транзакция отправлена ему. Это делается путем хранения хэшей израсходованных состояний и проверки того, что состояния в транзакции не сохраняются в нотариусе.
Он не использует согласованный алгоритм.
validating = true говорит о том, что он выполнит проверку контракта как часть проверки транзакции. Если для этого параметра установлено значение false, он будет проверять только двойные расходы.