смотрю выступления с семинара по доказательствам в Беркли и рад видеть, что даже в теоретических кругах становится общепринятым говорить zkzk, чтобы обозначить, что у вас действительно есть zk.