Fiat-Shamir

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