OH: "сжатые доказательные системы — это не криптография, это проектирование систем"