Merkle hashes

MIT о SNARGs: «Локальная согласованность не гарантирует глобальную корректность»