не думаю, что многие знают, насколько невероятно сложна математика, стоящая за ZK-доказательствами. Когда доказательства в 1000 раз дороже, чем нативные, каждая функция должна быть тщательно оптимизирована. Эта точная инженерия — причина, по которой создание готовой к производству zkVM заняло годы.