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