"Даже с Великой Сценарной Реставрацией от @rusty_twit's вы не можете сделать zk верификацию..." Это не правда! С помощью CAT и MUL (оба являются частью GSR) возможно выполнить zk верификацию в стандартной транзакции биткойна. Даже с помощью только CAT это возможно, хотя и с использованием нестандартной транзакции.